Uses of Interface
org.eclipse.ocl.examples.pivot.Type

Packages that use Type

org.eclipse.ocl.examples.codegen.common
org.eclipse.ocl.examples.pivot
org.eclipse.ocl.examples.pivot.context
org.eclipse.ocl.examples.pivot.ecore
org.eclipse.ocl.examples.pivot.evaluation
org.eclipse.ocl.examples.pivot.executor
org.eclipse.ocl.examples.pivot.helper
org.eclipse.ocl.examples.pivot.internal.impl
org.eclipse.ocl.examples.pivot.manager
org.eclipse.ocl.examples.pivot.model
org.eclipse.ocl.examples.pivot.options
org.eclipse.ocl.examples.pivot.prettyprint
org.eclipse.ocl.examples.pivot.scoping
org.eclipse.ocl.examples.pivot.uml
org.eclipse.ocl.examples.pivot.util
org.eclipse.ocl.examples.pivot.utilities
org.eclipse.ocl.examples.xtext.base.baseCST
org.eclipse.ocl.examples.xtext.base.baseCST.impl
org.eclipse.ocl.examples.xtext.base.cs2pivot
org.eclipse.ocl.examples.xtext.base.pivot2cs
org.eclipse.ocl.examples.xtext.completeocl.attributes
org.eclipse.ocl.examples.xtext.completeocl.completeOCLCST
org.eclipse.ocl.examples.xtext.completeocl.completeOCLCST.impl
org.eclipse.ocl.examples.xtext.completeocl.cs2pivot
org.eclipse.ocl.examples.xtext.completeocl.pivot2cs
org.eclipse.ocl.examples.xtext.essentialocl.attributes
org.eclipse.ocl.examples.xtext.essentialocl.cs2pivot
org.eclipse.ocl.examples.xtext.essentialocl.essentialOCLCST
org.eclipse.ocl.examples.xtext.essentialocl.essentialOCLCST.impl
org.eclipse.ocl.examples.xtext.essentialocl.pivot2cs
org.eclipse.ocl.examples.xtext.essentialocl.ui.labeling

Uses of Type in org.eclipse.ocl.examples.codegen.common

Methods in org.eclipse.ocl.examples.codegen.common that return Type

Type	GenPackageQueries.getAnotherType(org.eclipse.emf.codegen.ecore.genmodel.GenPackage genPackage, Type type)
Type	PivotQueries.getBehavioralType(Type type)

Methods in org.eclipse.ocl.examples.codegen.common with parameters of type Type

protected java.lang.String	NameQueries.TuplePartAllocation.computeUniqueText(java.lang.String partName, Type partType)
java.lang.String	NameQueries.TuplePartAllocation.get(java.lang.String partName, Type partType)
protected int	PivotQueries.getAllSuperClasses(java.util.Map<Type,java.lang.Integer> results, Type aClass)
Type	GenPackageQueries.getAnotherType(org.eclipse.emf.codegen.ecore.genmodel.GenPackage genPackage, Type type)
Type	PivotQueries.getBehavioralType(Type type)
int	PivotQueries.getDepth(Type aClass)
org.eclipse.emf.codegen.ecore.genmodel.GenClass	GenPackageQueries.getGenClass(org.eclipse.emf.codegen.ecore.genmodel.GenPackage genPackage, Type type)
java.lang.String	GenPackageQueries.getOperationID(org.eclipse.emf.codegen.ecore.genmodel.GenPackage genPackage, Type type, Constraint rule, java.lang.Boolean diagnosticCode)
java.util.LinkedHashSet<Operation>	PivotQueries.getOperations(Type type)
java.util.LinkedHashSet<Property>	PivotQueries.getProperties(Type type)
java.lang.String	GenPackageQueries.getQualifyingPackage(org.eclipse.emf.codegen.ecore.genmodel.GenPackage genPackage, Type type)
static java.lang.String	NameQueries.getUniqueText(Element context, Type type) Return a valid Java identifier suffix encoding of a property name that is unique within the scope of element.
java.lang.Boolean	GenPackageQueries.hasAnotherType(org.eclipse.emf.codegen.ecore.genmodel.GenPackage genPackage, Type type) Return true if type has another definition counterpart.
java.lang.Boolean	GenPackageQueries.hasEcore(org.eclipse.emf.codegen.ecore.genmodel.GenPackage genPackage, Type type) Return true if type has an Ecore counterpart.

Method parameters in org.eclipse.ocl.examples.codegen.common with type arguments of type Type

protected int

PivotQueries.getAllSuperClasses(java.util.Map<Type,java.lang.Integer> results, Type aClass)

Uses of Type in org.eclipse.ocl.examples.pivot

Subinterfaces of Type in org.eclipse.ocl.examples.pivot

interface	AnyType A representation of the model object 'Any Type'.
interface	AssociationClass A representation of the model object 'Association Class'.
interface	BagType A representation of the model object 'Bag Type'.
interface	Class A representation of the model object 'Class'.
interface	ClassifierType A representation of the model object 'Classifier Type'.
interface	CollectionType A representation of the model object 'Collection Type'.
interface	DataType A representation of the model object 'Data Type'.
interface	Enumeration A representation of the model object 'Enumeration'.
interface	InvalidType A representation of the model object 'Invalid Type'.
interface	LambdaType A representation of the model object 'Lambda Type'.
interface	MessageType A representation of the model object 'Message Type'.
interface	OrderedSetType A representation of the model object 'Ordered Set Type'.
interface	PrimitiveType A representation of the model object 'Primitive Type'.
interface	SelfType A representation of the model object 'Self Type'.
interface	SequenceType A representation of the model object 'Sequence Type'.
interface	SetType A representation of the model object 'Set Type'.
interface	TemplateParameterType A representation of the model object 'Template Parameter Type'.
interface	TupleType A representation of the model object 'Tuple Type'.
interface	UnspecifiedType A representation of the model object 'Unspecified Type'.
interface	VoidType A representation of the model object 'Void Type'.

Methods in org.eclipse.ocl.examples.pivot that return Type

Type	Package.createOwnedType() Creates a new Type and appends it to the 'Owned Type' containment reference list.
Type	Package.createOwnedType(org.eclipse.emf.ecore.EClass eClass) Creates a new Type and appends it to the 'Owned Type' containment reference list.
Type	PivotFactory.createType() Returns a new object of class 'Type'.
Type	DataType.getBehavioralType() Returns the value of the 'Behavioral Type' reference.
protected abstract Type	AbstractEnvironmentFactory.getClassifier(java.lang.Object context) Obtains client metamodel's classifier for the specified context object, which may be an instance of a classifier in the user model or may actually be a classifier in the user model.
Type	AbstractEnvironment.getContextClassifier()
Type	Environment.getContextClassifier() Obtains the context classifier of this environment.
Type	LambdaType.getContextType() Returns the value of the 'Context Type' reference.
Type	CollectionType.getElementType() Returns the value of the 'Element Type' reference.
Type	ClassifierType.getInstanceType() Returns the value of the 'Instance Type' reference.
Type	UnspecifiedType.getLowerBound() Returns the value of the 'Lower Bound' reference.
Type	Operation.getOwningType() Returns the value of the 'Owning Type' container reference.
Type	Property.getOwningType() Returns the value of the 'Owning Type' container reference.
Type	TypeExp.getReferredType() Returns the value of the 'Referred Type' reference.
Type	LambdaType.getResultType() Returns the value of the 'Result Type' reference.
Type	TypedElement.getType() Returns the value of the 'Type' reference.
Type	UnspecifiedType.getUpperBound() Returns the value of the 'Upper Bound' reference.
Type	SelfType.resolveSelfType(Type selfType)
Type	Type.resolveSelfType(Type selfType)
Type	Query.resultType() Obtains the OCL result type of the query.

Methods in org.eclipse.ocl.examples.pivot that return types with arguments of type Type

org.eclipse.emf.common.util.EList<Type>	TypeTemplateParameter.getConstrainingType() Returns the value of the 'Constraining Type' reference list.
org.eclipse.emf.common.util.EList<Type>	Package.getOwnedType() Returns the value of the 'Owned Type' containment reference list.
org.eclipse.emf.common.util.EList<Type>	LambdaType.getParameterType() Returns the value of the 'Parameter Type' reference list.
org.eclipse.emf.common.util.EList<Type>	Operation.getRaisedException() Returns the value of the 'Raised Exception' reference list.
org.eclipse.emf.common.util.EList<Type>	Type.getSuperClass() Returns the value of the 'Super Class' reference list.

Methods in org.eclipse.ocl.examples.pivot with parameters of type Type

Environment	AbstractEnvironmentFactory.createClassifierContext(Environment parent, Type context)
Environment	EnvironmentFactory.createClassifierContext(Environment parent, Type context) Creates an environment suitable for parsing OCL expressions in the specified context, which is some classifier in the client's model.
java.util.List<State>	Environment.getStates(Type owner, java.util.List<java.lang.String> pathPrefix) Retrieves a list of all possible states of the specified owner whose paths are prefixed by the specified partial name.
Type	SelfType.resolveSelfType(Type selfType)
Type	Type.resolveSelfType(Type selfType)
void	DataType.setBehavioralType(Type value) Sets the value of the 'Behavioral Type' reference.
void	LambdaType.setContextType(Type value) Sets the value of the 'Context Type' reference.
void	CollectionType.setElementType(Type value) Sets the value of the 'Element Type' reference.
void	ClassifierType.setInstanceType(Type value) Sets the value of the 'Instance Type' reference.
void	UnspecifiedType.setLowerBound(Type value) Sets the value of the 'Lower Bound' reference.
void	Operation.setOwningType(Type value) Sets the value of the 'Owning Type' container reference.
void	Property.setOwningType(Type value) Sets the value of the 'Owning Type' container reference.
void	TypeExp.setReferredType(Type value) Sets the value of the 'Referred Type' reference.
void	LambdaType.setResultType(Type value) Sets the value of the 'Result Type' reference.
void	TypedElement.setType(Type value) Sets the value of the 'Type' reference.
void	UnspecifiedType.setUpperBound(Type value) Sets the value of the 'Upper Bound' reference.

Uses of Type in org.eclipse.ocl.examples.pivot.context

Fields in org.eclipse.ocl.examples.pivot.context declared as Type

protected Type

ClassContext.classContext

Methods in org.eclipse.ocl.examples.pivot.context that return Type

Type	AbstractParserContext.getClassContext()
Type	ClassContext.getClassContext()
Type	EClassContext.getClassContext()
Type	ParserContext.getClassContext() Return the type of the self variable.
protected Type	AbstractBase2PivotConversion.resolveUnderspecifiedType(Type type)

Methods in org.eclipse.ocl.examples.pivot.context that return types with arguments of type Type

java.util.Map<java.lang.String,Type>

EInvocationContext.getParameters()

Methods in org.eclipse.ocl.examples.pivot.context with parameters of type Type

protected Type	AbstractBase2PivotConversion.resolveUnderspecifiedType(Type type)
void	AbstractBase2PivotConversion.setClassifierContext(ExpressionInOCL pivotSpecification, Type contextType)
void	Base2PivotConversion.setClassifierContext(ExpressionInOCL pivotSpecification, Type contextType)
void	AbstractBase2PivotConversion.setContextVariable(ExpressionInOCL pivotSpecification, java.lang.String selfVariableName, Type contextType)
void	Base2PivotConversion.setContextVariable(ExpressionInOCL pivotSpecification, java.lang.String selfVariableName, Type contextType)
void	AbstractBase2PivotConversion.setType(TypedElement pivotElement, Type type) Set the type and so potentially satisfy some TypeOfDependency.

Method parameters in org.eclipse.ocl.examples.pivot.context with type arguments of type Type

void	AbstractBase2PivotConversion.setParameterVariables(ExpressionInOCL pivotSpecification, java.util.Map<java.lang.String,Type> parameters)
void	Base2PivotConversion.setParameterVariables(ExpressionInOCL pivotSpecification, java.util.Map<java.lang.String,Type> parameters)

Constructors in org.eclipse.ocl.examples.pivot.context with parameters of type Type

ClassContext(MetaModelManager metaModelManager, org.eclipse.emf.common.util.URI uri, Type classContext)

Uses of Type in org.eclipse.ocl.examples.pivot.ecore

Methods in org.eclipse.ocl.examples.pivot.ecore that return Type

Type	Ecore2Pivot.getPivotType(org.eclipse.emf.ecore.EObject eObject)
protected Type	Ecore2Pivot.resolveDataType(org.eclipse.emf.ecore.EGenericType eGenericType)
protected Type	Ecore2Pivot.resolveGenericType(java.util.Map<java.lang.String,Type> resolvedSpecializations, org.eclipse.emf.ecore.EGenericType eGenericType)
protected Type	Ecore2Pivot.resolveSimpleType(org.eclipse.emf.ecore.EGenericType eGenericType)
protected Type	Ecore2Pivot.resolveType(java.util.Map<java.lang.String,Type> resolvedSpecializations, org.eclipse.emf.ecore.EGenericType eGenericType)
protected Type	Ecore2Pivot.resolveTypeParameter(org.eclipse.emf.ecore.EGenericType eGenericType)
protected Type	Ecore2Pivot.resolveWildcardType(org.eclipse.emf.ecore.EGenericType eGenericType)

Methods in org.eclipse.ocl.examples.pivot.ecore that return types with arguments of type Type

java.util.Map<org.eclipse.emf.ecore.EClassifier,Type>

Ecore2Pivot.getEcore2PivotMap()

Methods in org.eclipse.ocl.examples.pivot.ecore with parameters of type Type

protected void	Pivot2EcoreDeclarationVisitor.copyClassifier(org.eclipse.emf.ecore.EClassifier eClassifier, Type pivotType)
static void	Pivot2Ecore.installDelegates(MetaModelManager metaModelManager, org.eclipse.emf.ecore.EClassifier eClassifier, Type pivotType)
org.eclipse.emf.ecore.EGenericType	Pivot2EcoreTypeRefVisitor.resolveEGenericType(Type type)
org.eclipse.emf.ecore.EObject	Pivot2EcoreTypeRefVisitor.visitType(Type pivotType)

Method parameters in org.eclipse.ocl.examples.pivot.ecore with type arguments of type Type

protected Type	Ecore2Pivot.resolveGenericType(java.util.Map<java.lang.String,Type> resolvedSpecializations, org.eclipse.emf.ecore.EGenericType eGenericType)
protected Type	Ecore2Pivot.resolveType(java.util.Map<java.lang.String,Type> resolvedSpecializations, org.eclipse.emf.ecore.EGenericType eGenericType)
<T extends org.eclipse.emf.ecore.EClassifier> void	Pivot2EcoreReferenceVisitor.safeVisitAll(java.util.List<org.eclipse.emf.ecore.EGenericType> eGenericTypes, java.util.List<T> eTypes, java.util.List<? extends Type> superClasses)

Uses of Type in org.eclipse.ocl.examples.pivot.evaluation

Methods in org.eclipse.ocl.examples.pivot.evaluation that return Type

Type	EvaluationEnvironment.getType(java.lang.Object object) Deprecated.
Type	PivotEvaluationEnvironment.getType(java.lang.Object object)

Methods in org.eclipse.ocl.examples.pivot.evaluation with parameters of type Type

Value	EvaluationEnvironment.navigateAssociationClass(Type associationClass, Property navigationSource, java.lang.Object source) Obtains the instance of the specified association class that links the specified source element, optionally via the specified property.
Value	PivotEvaluationEnvironment.navigateAssociationClass(Type associationClass, Property navigationSource, java.lang.Object source)

Uses of Type in org.eclipse.ocl.examples.pivot.executor

Fields in org.eclipse.ocl.examples.pivot.executor declared as Type

protected Type

PivotReflectiveType.type

Methods in org.eclipse.ocl.examples.pivot.executor that return Type

protected Type	PivotExecutorStandardLibrary.createType(DomainType domainType)
Type	PivotReflectiveType.getPivotType()
protected Type	PivotExecutorStandardLibrary.getType(DomainType typeType)

Constructors in org.eclipse.ocl.examples.pivot.executor with parameters of type Type

PivotReflectiveType(PivotReflectivePackage executorPackage, Type type)

Uses of Type in org.eclipse.ocl.examples.pivot.helper

Methods in org.eclipse.ocl.examples.pivot.helper that return Type

Type	OCLHelper.getContextClassifier() Obtains my OCL context classifier as a classifier.
Type	OCLHelperImpl.getContextClassifier()

Methods in org.eclipse.ocl.examples.pivot.helper with parameters of type Type

void	OCLHelper.setContext(Type context) Sets the classifier context of the OCL expression for which syntax or parsing help is to be provided.
void	OCLHelperImpl.setContext(Type context)
void	OCLHelper.setOperationContext(Type context, Operation operation) Sets the operation context of the OCL expression for which syntax or parsing help is to be provided.
void	OCLHelperImpl.setOperationContext(Type context, Operation operation)
void	OCLHelper.setPropertyContext(Type context, Property property) Sets the attribute context of the OCL expression for which syntax or parsing help is to be provided.
void	OCLHelperImpl.setPropertyContext(Type context, Property property)

Uses of Type in org.eclipse.ocl.examples.pivot.internal.impl

Classes in org.eclipse.ocl.examples.pivot.internal.impl that implement Type

class	AnyTypeImpl An implementation of the model object 'Any Type'.
class	AssociationClassImpl An implementation of the model object 'Association Class'.
class	BagTypeImpl An implementation of the model object 'Bag Type'.
class	ClassifierTypeImpl An implementation of the model object 'Classifier Type'.
class	ClassImpl An implementation of the model object 'Class'.
class	CollectionTypeImpl An implementation of the model object 'Collection Type'.
class	DataTypeImpl An implementation of the model object 'Data Type'.
class	EnumerationImpl An implementation of the model object 'Enumeration'.
class	InvalidTypeImpl An implementation of the model object 'Invalid Type'.
class	LambdaTypeImpl An implementation of the model object 'Lambda Type'.
class	MessageTypeImpl An implementation of the model object 'Message Type'.
class	OrderedSetTypeImpl An implementation of the model object 'Ordered Set Type'.
class	PrimitiveTypeImpl An implementation of the model object 'Primitive Type'.
class	SelfTypeImpl An implementation of the model object 'Self Type'.
class	SequenceTypeImpl An implementation of the model object 'Sequence Type'.
class	SetTypeImpl An implementation of the model object 'Set Type'.
class	TemplateParameterTypeImpl An implementation of the model object 'Template Parameter Type'.
class	TupleTypeImpl An implementation of the model object 'Tuple Type'.
class	TypeImpl An implementation of the model object 'Type'.
class	UnspecifiedTypeImpl An implementation of the model object 'Unspecified Type'.
class	VoidTypeImpl An implementation of the model object 'Void Type'.

Fields in org.eclipse.ocl.examples.pivot.internal.impl declared as Type

protected Type	DataTypeImpl.behavioralType The cached value of the 'Behavioral Type' reference.
protected Type	LambdaTypeImpl.contextType The cached value of the 'Context Type' reference.
protected Type	CollectionTypeImpl.elementType The cached value of the 'Element Type' reference.
protected Type	ClassifierTypeImpl.instanceType The cached value of the 'Instance Type' reference.
protected Type	UnspecifiedTypeImpl.lowerBound The cached value of the 'Lower Bound' reference.
protected Type	TypeExpImpl.referredType The cached value of the 'Referred Type' reference.
protected Type	LambdaTypeImpl.resultType The cached value of the 'Result Type' reference.
protected Type	TypedElementImpl.type The cached value of the 'Type' reference.
protected Type	UnspecifiedTypeImpl.upperBound The cached value of the 'Upper Bound' reference.

Fields in org.eclipse.ocl.examples.pivot.internal.impl with type parameters of type Type

protected org.eclipse.emf.common.util.EList<Type>	TypeTemplateParameterImpl.constrainingType The cached value of the 'Constraining Type' reference list.
protected org.eclipse.emf.common.util.EList<Type>	PackageImpl.ownedType The cached value of the 'Owned Type' containment reference list.
protected org.eclipse.emf.common.util.EList<Type>	LambdaTypeImpl.parameterType The cached value of the 'Parameter Type' reference list.
protected org.eclipse.emf.common.util.EList<Type>	OperationImpl.raisedException The cached value of the 'Raised Exception' reference list.
protected org.eclipse.emf.common.util.EList<Type>	TypeImpl.superClass The cached value of the 'Super Class' reference list.

Methods in org.eclipse.ocl.examples.pivot.internal.impl that return Type

Type	DataTypeImpl.basicGetBehavioralType()
Type	LambdaTypeImpl.basicGetContextType()
Type	CollectionTypeImpl.basicGetElementType()
Type	ClassifierTypeImpl.basicGetInstanceType()
Type	UnspecifiedTypeImpl.basicGetLowerBound()
Type	TypeExpImpl.basicGetReferredType()
Type	LambdaTypeImpl.basicGetResultType()
Type	TypedElementImpl.basicGetType()
Type	UnspecifiedTypeImpl.basicGetUpperBound()
Type	PackageImpl.createOwnedType()
Type	PackageImpl.createOwnedType(org.eclipse.emf.ecore.EClass eClass)
Type	PivotFactoryImpl.createType()
Type	DataTypeImpl.getBehavioralType()
Type	CollectionTypeImpl.getContainerType()
Type	LambdaTypeImpl.getContextType()
Type	CollectionTypeImpl.getElementType()
Type	ClassifierTypeImpl.getInstanceType()
Type	UnspecifiedTypeImpl.getLowerBound()
Type	OperationImpl.getOwningType()
Type	PropertyImpl.getOwningType()
Type	TypeExpImpl.getReferredType()
Type	LambdaTypeImpl.getResultType()
Type	TypedElementImpl.getType()
Type	UnspecifiedTypeImpl.getUpperBound()
Type	SelfTypeImpl.resolveSelfType(Type selfType)
Type	TypeImpl.resolveSelfType(Type selfType)

Methods in org.eclipse.ocl.examples.pivot.internal.impl that return types with arguments of type Type

org.eclipse.emf.common.util.EList<Type>	TypeTemplateParameterImpl.getConstrainingType()
org.eclipse.emf.common.util.EList<Type>	PackageImpl.getOwnedType()
org.eclipse.emf.common.util.EList<Type>	LambdaTypeImpl.getParameterType()
IndexableIterable<Type>	OperationImpl.getParameterType()
org.eclipse.emf.common.util.EList<Type>	OperationImpl.getRaisedException()
org.eclipse.emf.common.util.EList<Type>	ClassImpl.getSuperClass()
org.eclipse.emf.common.util.EList<Type>	TypeImpl.getSuperClass()

Methods in org.eclipse.ocl.examples.pivot.internal.impl with parameters of type Type

org.eclipse.emf.common.notify.NotificationChain	OperationImpl.basicSetOwningType(Type newOwningType, org.eclipse.emf.common.notify.NotificationChain msgs)
org.eclipse.emf.common.notify.NotificationChain	PropertyImpl.basicSetOwningType(Type newOwningType, org.eclipse.emf.common.notify.NotificationChain msgs)
Type	SelfTypeImpl.resolveSelfType(Type selfType)
Type	TypeImpl.resolveSelfType(Type selfType)
void	DataTypeImpl.setBehavioralType(Type newBehavioralType)
void	LambdaTypeImpl.setContextType(Type newContextType)
void	CollectionTypeImpl.setElementType(Type newElementType)
void	ClassifierTypeImpl.setInstanceType(Type newInstanceType)
void	UnspecifiedTypeImpl.setLowerBound(Type newLowerBound)
void	OperationImpl.setOwningType(Type newOwningType)
void	PropertyImpl.setOwningType(Type newOwningType)
void	TypeExpImpl.setReferredType(Type newReferredType)
void	LambdaTypeImpl.setResultType(Type newResultType)
void	TypedElementImpl.setType(Type newType)
void	UnspecifiedTypeImpl.setUpperBound(Type newUpperBound)

Uses of Type in org.eclipse.ocl.examples.pivot.manager

Fields in org.eclipse.ocl.examples.pivot.manager declared as Type

protected Type

TypeTracker.target

Fields in org.eclipse.ocl.examples.pivot.manager with type parameters of type Type

static com.google.common.base.Function<TypeTracker,Type>

TypeServer.tracker2class

Methods in org.eclipse.ocl.examples.pivot.manager with type parameters of type Type

<T extends Type> T	MetaModelManager.getLibraryType(T libraryType, java.util.List<? extends ParameterableElement> templateArguments)
protected <T extends Type> T	MetaModelManager.getSpecializedTypeServer(T unspecializedType, java.util.List<? extends ParameterableElement> templateArguments)

Methods in org.eclipse.ocl.examples.pivot.manager that return Type

protected Type	TypeServer.createSpecialization(java.util.List<? extends ParameterableElement> templateArguments)
protected Type	TypeServer.findSpecialization(java.util.List<java.lang.ref.WeakReference<Type>> partialSpecializations, java.util.List<? extends ParameterableElement> templateArguments)
Type	TypeServer.findSpecializedType(java.util.List<? extends ParameterableElement> templateArguments)
Type	MetaModelManager.getCollectionType(java.lang.String collectionTypeName, Type elementType)
Type	TupleTypeManager.getCommonType(TupleType leftType, TupleType rightType, java.util.Map<TemplateParameter,ParameterableElement> bindings)
Type	MetaModelManager.getCommonType(Type leftType, Type rightType, java.util.Map<TemplateParameter,ParameterableElement> templateParameterSubstitutions)
Type	PivotStandardLibrary.getLibraryType(java.lang.String typeName)
Type	MetaModelManager.getLibraryType(java.lang.String string, java.util.List<? extends ParameterableElement> templateArguments)
Type	PivotStandardLibrary.getOclMessageType()
Type	MetaModelManager.getPivotType(java.lang.String className) Return the pivot model class for className with the Pivot Model.
Type	TypeTracker.getPrimaryType()
Type	MetaModelManager.getPrimaryType(Package parentPackage, java.lang.String typeName) Lookup a primary type.
Type	MetaModelManager.getPrimaryType(java.lang.String nsURI, java.lang.String path, java.lang.String... extraPath)
Type	MetaModelManager.getPrimaryType(Type pivotType)
Type	PivotStandardLibrary.getRequiredLibraryType(java.lang.String typeName)
protected Type	MetaModelManager.getSpecializedLambdaType(LambdaType type, java.util.Map<TemplateParameter,ParameterableElement> usageBindings)
Type	TypeServer.getSpecializedType(java.util.List<? extends ParameterableElement> templateArguments)
Type	MetaModelManager.getSpecializedType(Type type, java.util.Map<TemplateParameter,ParameterableElement> usageBindings)
Type	TypeTracker.getTarget()
Type	MetaModelManager.getType(DomainType dType)
Type	PackageServer.getType(java.lang.String typeName)
Type	MetaModelManager.getTypeWithMultiplicity(TypedMultiplicityElement element)

Methods in org.eclipse.ocl.examples.pivot.manager that return types with arguments of type Type

java.lang.Iterable<Type>	MetaModelManager.getAllTypes(Type pivotType)
java.util.List<Type>	MetaModelManager.getCommonClasses(Type leftClass, Type rightClass)
java.lang.Iterable<Type>	MetaModelManager.getGlobalTypes()
protected java.lang.Iterable<Type>	MetaModelManager.CompletePackageTypesIterable.getInnerIterable(Package model)
protected java.lang.Iterable<Type>	MetaModelManager.CompleteClassSuperClassesIterable.getInnerIterable(Type model)
java.lang.Iterable<Type>	MetaModelManager.getLocalClasses(Package pkg)
java.lang.Iterable<Type>	MetaModelManager.getSuperClasses(Type pivotType)
java.lang.Iterable<Type>	TypeServer.getTypes()

Methods in org.eclipse.ocl.examples.pivot.manager with parameters of type Type

void	MetaModelManager.addOrphanClass(Type pivotElement)
TypeClient	TypeServer.addSecondaryType(Type secondaryType)
protected void	PrecedenceManager.compilePrecedenceType(java.util.List<java.lang.String> errors, Type pivotType)
boolean	MetaModelManager.conformsTo(Type firstType, Type secondType) Deprecated.
boolean	MetaModelManager.conformsTo(Type firstType, Type secondType, java.util.Map<TemplateParameter,ParameterableElement> bindings)
protected void	PivotStandardLibrary.defineLibraryType(Type pivotType)
TypeTracker	MetaModelManager.findTypeTracker(Type pivotType)
TypeTracker	PackageManager.findTypeTracker(Type pivotType)
java.lang.Iterable<Constraint>	MetaModelManager.getAllConstraints(Type pivotType) Return all constraints applicable to a type and its superclasses.
protected java.util.Set<Constraint>	MetaModelManager.getAllConstraints(Type type, java.util.Set<Constraint> knownConstraints)
java.lang.Iterable<Type>	MetaModelManager.getAllTypes(Type pivotType)
CollectionType	MetaModelManager.getBagType(Type elementType)
ClassifierType	MetaModelManager.getClassifierType(Type instanceType)
CollectionType	MetaModelManager.getCollectionType(boolean isOrdered, boolean isUnique, Type elementType)
Type	MetaModelManager.getCollectionType(java.lang.String collectionTypeName, Type elementType)
java.util.List<Type>	MetaModelManager.getCommonClasses(Type leftClass, Type rightClass)
Type	MetaModelManager.getCommonType(Type leftType, Type rightType, java.util.Map<TemplateParameter,ParameterableElement> templateParameterSubstitutions)
protected java.lang.Iterable<Operation>	MetaModelManager.CompleteTypeOperationsIterable.getInnerIterable(Type model)
protected java.lang.Iterable<Property>	MetaModelManager.CompleteClassPropertiesIterable.getInnerIterable(Type model)
protected java.lang.Iterable<Type>	MetaModelManager.CompleteClassSuperClassesIterable.getInnerIterable(Type model)
LambdaType	LambdaTypeManager.getLambdaType(java.lang.String typeName, Type contextType, java.util.List<? extends Type> parameterTypes, Type resultType)
LambdaType	LambdaTypeManager.getLambdaType(java.lang.String typeName, Type contextType, java.util.List<? extends Type> parameterTypes, Type resultType, java.util.Map<TemplateParameter,ParameterableElement> bindings)
LambdaType	MetaModelManager.getLambdaType(java.lang.String typeName, Type contextType, java.util.List<? extends Type> parameterTypes, Type resultType, java.util.Map<TemplateParameter,ParameterableElement> bindings)
java.lang.Iterable<Comment>	MetaModelManager.getLocalComments(Type type)
java.lang.Iterable<Constraint>	MetaModelManager.getLocalConstraints(Type type)
java.lang.Iterable<Operation>	MetaModelManager.getLocalOperations(Type type, java.lang.Boolean selectStatic)
java.lang.Iterable<Property>	MetaModelManager.getLocalProperties(Type type, java.lang.Boolean selectStatic)
CollectionType	MetaModelManager.getOrderedSetType(Type elementType)
Type	MetaModelManager.getPrimaryType(Type pivotType)
CollectionType	MetaModelManager.getSequenceType(Type elementType)
CollectionType	MetaModelManager.getSetType(Type elementType)
Type	MetaModelManager.getSpecializedType(Type type, java.util.Map<TemplateParameter,ParameterableElement> usageBindings)
java.lang.Iterable<Type>	MetaModelManager.getSuperClasses(Type pivotType)
TypeServer	MetaModelManager.getTypeServer(Type pivotType)
TypeTracker	MetaModelManager.getTypeTracker(Type pivotType)
TypeTracker	PackageClient.getTypeTracker(Type pivotType)
TypeTracker	TypeServer.getTypeTracker(Type pivotType)
boolean	PivotStandardLibrary.isOrdered(Type sourceType)
boolean	MetaModelManager.isSuperClassOf(Type unspecializedFirstType, Type secondType)
boolean	PivotStandardLibrary.isUnique(Type sourceType)
protected void	MetaModelManager.resolveAllOperations(java.util.Set<Operation> allOperations, Type forType, java.lang.Boolean selectStatic, java.lang.String operationName, java.util.List<Parameter> parameters, java.util.Set<Type> alreadyVisited) Return all matching operations.
java.util.Set<Operation>	MetaModelManager.resolveLocalOperation(Type pivotClass, java.lang.String operationName, Type... pivotArguments)
java.util.Set<Operation>	MetaModelManager.resolveLocalOperation(Type pivotClass, java.lang.String operationName, Type... pivotArguments)
Operation	MetaModelManager.resolveOperation(Type leftType, java.lang.String operationName, Type... rightTypes)
Operation	MetaModelManager.resolveOperation(Type leftType, java.lang.String operationName, Type... rightTypes)
java.util.Set<Operation>	MetaModelManager.resolveOperations(Type pivotClass, java.lang.String operationName, Type... pivotArguments)
java.util.Set<Operation>	MetaModelManager.resolveOperations(Type pivotClass, java.lang.String operationName, Type... pivotArguments)
protected void	TypeServer.resolveSuperClasses(Type specializedClass, Type libraryClass, java.util.Map<TemplateParameter,ParameterableElement> allBindings)

Method parameters in org.eclipse.ocl.examples.pivot.manager with type arguments of type Type

boolean	MetaModelManager.addGlobalTypes(java.util.Collection<Type> types)
protected Type	TypeServer.findSpecialization(java.util.List<java.lang.ref.WeakReference<Type>> partialSpecializations, java.util.List<? extends ParameterableElement> templateArguments)
LambdaType	LambdaTypeManager.getLambdaType(java.lang.String typeName, Type contextType, java.util.List<? extends Type> parameterTypes, Type resultType)
LambdaType	LambdaTypeManager.getLambdaType(java.lang.String typeName, Type contextType, java.util.List<? extends Type> parameterTypes, Type resultType, java.util.Map<TemplateParameter,ParameterableElement> bindings)
LambdaType	MetaModelManager.getLambdaType(java.lang.String typeName, Type contextType, java.util.List<? extends Type> parameterTypes, Type resultType, java.util.Map<TemplateParameter,ParameterableElement> bindings)
protected void	MetaModelManager.resolveAllOperations(java.util.Set<Operation> allOperations, Type forType, java.lang.Boolean selectStatic, java.lang.String operationName, java.util.List<Parameter> parameters, java.util.Set<Type> alreadyVisited) Return all matching operations.

Constructors in org.eclipse.ocl.examples.pivot.manager with parameters of type Type

TupleTypeManager.TuplePart(java.lang.String name, Type type)

TypeClient(TypeServer typeServer, Type target)

TypeServer(PackageManager packageManager, Type primaryType)

TypeTracker(PackageManager packageManager, Type target)

Constructor parameters in org.eclipse.ocl.examples.pivot.manager with type arguments of type Type

MetaModelManager.CompleteClassPropertiesIterable(java.lang.Iterable<Type> types, java.lang.Boolean selectStatic)

MetaModelManager.CompleteClassSuperClassesIterable(java.lang.Iterable<Type> types)

MetaModelManager.CompleteTypeOperationsIterable(java.lang.Iterable<Type> types, java.lang.Boolean selectStatic)

Uses of Type in org.eclipse.ocl.examples.pivot.model

Methods in org.eclipse.ocl.examples.pivot.model with parameters of type Type

protected Iteration	AbstractContents.createIteration(java.lang.String name, Type type, java.lang.String implementationClass, LibraryFeature implementation)
protected Operation	AbstractContents.createOperation(java.lang.String name, Type type, java.lang.String implementationClass, LibraryFeature implementation)
protected Parameter	AbstractContents.createParameter(java.lang.String name, Type type)
protected Property	AbstractContents.createProperty(java.lang.String name, Type type)
protected TypeTemplateParameter	AbstractContents.createTypeTemplateParameter(Type type)

Uses of Type in org.eclipse.ocl.examples.pivot.options

Methods in org.eclipse.ocl.examples.pivot.options that return types with arguments of type Type

static Option<Type>

ParsingOptions.implicitRootClass(Environment env) A parsing option specifying a class that's assumed to be the implicit root of the subject model's class hierarchy.

Uses of Type in org.eclipse.ocl.examples.pivot.prettyprint

Methods in org.eclipse.ocl.examples.pivot.prettyprint with parameters of type Type

java.lang.Object

PivotPrettyPrintVisitor.visitType(Type object)

Uses of Type in org.eclipse.ocl.examples.pivot.scoping

Methods in org.eclipse.ocl.examples.pivot.scoping with parameters of type Type

void	EnvironmentView.addAllContents(Type forType, ScopeView scopeView, Type pivotClass, java.lang.Boolean selectStatic, java.util.Set<Type> alreadyVisited)
void	EnvironmentView.addAllProperties(Type type, java.lang.Boolean selectStatic)
protected void	EnvironmentView.addAllProperties(Type forType, Type pivotClass, java.lang.Boolean selectStatic, java.util.Set<Type> alreadyVisited)
int	EnvironmentView.addElement(java.lang.String elementName, Type forType, org.eclipse.emf.ecore.EObject element)
int	EnvironmentView.addElements(Type forType, java.lang.Iterable<? extends org.eclipse.emf.ecore.EObject> elements)
void	EnvironmentView.addLibContents(Type libType, ScopeView scopeView)
int	EnvironmentView.addNamedElement(Type forType, Nameable namedElement)
int	EnvironmentView.addNamedElements(Type forType, java.lang.Iterable<? extends Nameable> namedElements)
boolean	ScopeFilter.matches(EnvironmentView environmentView, Type forType, org.eclipse.emf.ecore.EObject eObject) Return true if the filter accepts eObject as a candidate for inclusion in the EnvironmentView.

Method parameters in org.eclipse.ocl.examples.pivot.scoping with type arguments of type Type

void	EnvironmentView.addAllContents(Type forType, ScopeView scopeView, Type pivotClass, java.lang.Boolean selectStatic, java.util.Set<Type> alreadyVisited)
protected void	EnvironmentView.addAllProperties(Type forType, Type pivotClass, java.lang.Boolean selectStatic, java.util.Set<Type> alreadyVisited)

Uses of Type in org.eclipse.ocl.examples.pivot.uml

Methods in org.eclipse.ocl.examples.pivot.uml that return Type

Type	UML2Pivot.getPivotType(org.eclipse.emf.ecore.EObject eObject)
protected Type	UML2Pivot.resolveDataType(org.eclipse.emf.ecore.EGenericType eGenericType)
protected Type	UML2Pivot.resolveSimpleType(org.eclipse.emf.ecore.EGenericType eGenericType)
protected Type	UML2Pivot.resolveType(org.eclipse.uml2.uml.Type umlType)
protected Type	UML2Pivot.resolveTypeParameter(org.eclipse.emf.ecore.EGenericType eGenericType)
protected Type	UML2Pivot.resolveWildcardType(org.eclipse.emf.ecore.EGenericType eGenericType)

Methods in org.eclipse.ocl.examples.pivot.uml with parameters of type Type

protected void

Pivot2UMLDeclarationVisitor.copyClassifier(org.eclipse.uml2.uml.Classifier umlClassifier, Type pivotType)

Uses of Type in org.eclipse.ocl.examples.pivot.util

Methods in org.eclipse.ocl.examples.pivot.util with parameters of type Type

T	PivotSwitch.caseType(Type object) Returns the result of interpreting the object as an instance of 'Type'.
boolean	PivotValidator.validateType(Type type, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
R	AbstractDelegatingVisitor.visitType(Type object)
R	AbstractExtendingVisitor.visitType(Type object)
R	AbstractNullVisitor.visitType(Type object)
R	Visitor.visitType(Type object)

Uses of Type in org.eclipse.ocl.examples.pivot.utilities

Methods in org.eclipse.ocl.examples.pivot.utilities with type parameters of type Type

static <T extends Type> T	PivotUtil.getUnspecializedTemplateableElement(T templateableElement)
abstract <T extends Type> T	AbstractPivotSaver.resolveType(T referredType)
<T extends Type> T	PivotSaver.resolveType(T referredType) Return the resolved variant of referredType, which may require creation of a local copy of a specialization.

Methods in org.eclipse.ocl.examples.pivot.utilities that return Type

static Type	PivotUtil.findTypeOf(MetaModelManager metaModelManager, org.eclipse.emf.ecore.EClassifier eClass)
static Type	PivotUtil.getBehavioralType(Type type)
protected Type	PivotEnvironmentFactory.getClassifier(java.lang.Object context)
static Type	PivotUtil.getOwningType(Feature feature)
Type	QueryImpl.resultType()

Methods in org.eclipse.ocl.examples.pivot.utilities that return types with arguments of type Type

static java.util.List<Type>

PivotUtil.getTypeTemplateParameterables(TemplateableElement templateableElement)

Methods in org.eclipse.ocl.examples.pivot.utilities with parameters of type Type

abstract boolean	AbstractPivotSaver.addSpecializingElement(Element object, Type referredType)
boolean	PivotSaver.addSpecializingElement(Element object, Type referredType)
void	Abstract2Moniker.appendLambdaType(Type contextType, java.util.List<? extends Type> parameterTypes, Type resultType, java.util.Map<TemplateParameter,ParameterableElement> bindings)
protected void	ToStringVisitor.appendType(Type type)
protected void	PivotEnvironment.collectStates(Type owner, java.util.List<java.lang.String> pathPrefix, java.util.List<State> states) Implemented by subclasses to find all states in the specified owner type that match the given path name prefix and add them to the accumulator list.
static boolean	PivotUtil.debugWellContainedness(Type type)
static java.util.Map<TemplateParameter,ParameterableElement>	PivotUtil.getAllTemplateParameterSubstitutions(java.util.Map<TemplateParameter,ParameterableElement> bindings, Type argumentType, LambdaType lambdaType)
static Type	PivotUtil.getBehavioralType(Type type)
java.util.List<State>	PivotEnvironment.getStates(Type owner, java.util.List<java.lang.String> pathPrefix) Obtains the states matching the specified path prefix in the owner type by trying the PivotEnvironment.collectStates(org.eclipse.ocl.examples.pivot.Type, java.util.List, java.util.List) method on it and, recursively, its supertypes to find all matches.
static boolean	PivotUtil.isLibraryType(Type type)

Method parameters in org.eclipse.ocl.examples.pivot.utilities with type arguments of type Type

void	Abstract2Moniker.appendLambdaType(Type contextType, java.util.List<? extends Type> parameterTypes, Type resultType, java.util.Map<TemplateParameter,ParameterableElement> bindings)

Uses of Type in org.eclipse.ocl.examples.xtext.base.baseCST

Methods in org.eclipse.ocl.examples.xtext.base.baseCST that return Type

Type	TypedTypeRefCS.getType() Returns the value of the 'Type' reference.

Uses of Type in org.eclipse.ocl.examples.xtext.base.baseCST.impl

Methods in org.eclipse.ocl.examples.xtext.base.baseCST.impl that return Type

Type	TypedTypeRefCSImpl.getType()

Uses of Type in org.eclipse.ocl.examples.xtext.base.cs2pivot

Methods in org.eclipse.ocl.examples.xtext.base.cs2pivot that return Type

protected Type

BaseContainmentVisitor.refreshClassifier(Type pivotElement, ClassifierCS csElement)

Methods in org.eclipse.ocl.examples.xtext.base.cs2pivot with parameters of type Type

protected Type

BaseContainmentVisitor.refreshClassifier(Type pivotElement, ClassifierCS csElement)

Uses of Type in org.eclipse.ocl.examples.xtext.base.pivot2cs

Methods in org.eclipse.ocl.examples.xtext.base.pivot2cs with parameters of type Type

protected <T extends ClassifierCS> T

Pivot2CSConversion.refreshClassifier(java.lang.Class<T> csClass, org.eclipse.emf.ecore.EClass csEClass, Type object)

Uses of Type in org.eclipse.ocl.examples.xtext.completeocl.attributes

Methods in org.eclipse.ocl.examples.xtext.completeocl.attributes with parameters of type Type

boolean

OperationContextFilter.matches(EnvironmentView environmentView, Type forType, org.eclipse.emf.ecore.EObject eObject)

Uses of Type in org.eclipse.ocl.examples.xtext.completeocl.completeOCLCST

Methods in org.eclipse.ocl.examples.xtext.completeocl.completeOCLCST that return Type

Type	ClassifierContextDeclCS.getClassifier() Returns the value of the 'Classifier' reference.

Uses of Type in org.eclipse.ocl.examples.xtext.completeocl.completeOCLCST.impl

Methods in org.eclipse.ocl.examples.xtext.completeocl.completeOCLCST.impl that return Type

Type	ClassifierContextDeclCSImpl.getClassifier()

Uses of Type in org.eclipse.ocl.examples.xtext.completeocl.cs2pivot

Methods in org.eclipse.ocl.examples.xtext.completeocl.cs2pivot that return Type

protected Type

CompleteOCLContainmentVisitor.refreshContextType(Type modelClassifier, ClassifierContextDeclCS csElement)

Methods in org.eclipse.ocl.examples.xtext.completeocl.cs2pivot with parameters of type Type

protected void	CompleteOCLContainmentVisitor.installOperationContainment(Type modelType, Type contextType)
protected void	CompleteOCLContainmentVisitor.installPropertyContainment(Type modelType, Type contextType)
boolean	CompleteOCLContainmentVisitor.OperationDeclScopeFilter.matches(EnvironmentView environmentView, Type forType, org.eclipse.emf.ecore.EObject eObject)
protected Type	CompleteOCLContainmentVisitor.refreshContextType(Type modelClassifier, ClassifierContextDeclCS csElement)
protected void	CompleteOCLContainmentVisitor.registerOperation(Type modelClassifier, Operation pivotElement)
protected void	CompleteOCLContainmentVisitor.registerProperty(Type modelClassifier, Property pivotElement)

Constructors in org.eclipse.ocl.examples.xtext.completeocl.cs2pivot with parameters of type Type

CompleteOCLContainmentVisitor.OperationDeclScopeFilter(MetaModelManager metaModelManager, Type sourceType, java.util.List<ParameterCS> csParameters)

Uses of Type in org.eclipse.ocl.examples.xtext.completeocl.pivot2cs

Methods in org.eclipse.ocl.examples.xtext.completeocl.pivot2cs with parameters of type Type

org.eclipse.emf.ecore.EObject	CompleteOCLSplitter.Separator.caseType(Type object)
ElementCS	CompleteOCLDeclarationVisitor.visitType(Type object)

Uses of Type in org.eclipse.ocl.examples.xtext.essentialocl.attributes

Fields in org.eclipse.ocl.examples.xtext.essentialocl.attributes declared as Type

protected Type	BinaryOperationFilter.argumentType
protected Type	ImplicitCollectFilter.iteratorType
protected Type	AbstractOperationFilter.sourceType

Methods in org.eclipse.ocl.examples.xtext.essentialocl.attributes with parameters of type Type

static void	ConstructorPartCSAttribution.addAllContents(EnvironmentView environmentView, Type forType, ScopeView scopeView, Type pivotClass, java.util.Set<Type> alreadyVisited)
protected ScopeFilter	InvocationExpCSAttribution.createInvocationFilter(MetaModelManager metaModelManager, InvocationExpCS targetElement, Type type)
protected void	AbstractOperationFilter.installBindings(EnvironmentView environmentView, Type forType, org.eclipse.emf.ecore.EObject eObject, java.util.Map<TemplateParameter,ParameterableElement> bindings)
protected void	OperationFilter.installBindings(EnvironmentView environmentView, Type forType, org.eclipse.emf.ecore.EObject eObject, java.util.Map<TemplateParameter,ParameterableElement> bindings)
boolean	BinaryOperationFilter.matches(EnvironmentView environmentView, Type forType, org.eclipse.emf.ecore.EObject eObject)
boolean	ContextCSAttribution.NoImplicitProperties.matches(EnvironmentView environmentView, Type forType, org.eclipse.emf.ecore.EObject eObject)
boolean	ImplicitCollectFilter.matches(EnvironmentView environmentView, Type forType, org.eclipse.emf.ecore.EObject eObject)
boolean	ImplicitCollectionFilter.matches(EnvironmentView environmentView, Type forType, org.eclipse.emf.ecore.EObject eObject)
boolean	OperationFilter.matches(EnvironmentView environmentView, Type forType, org.eclipse.emf.ecore.EObject eObject)
boolean	UnaryOperationFilter.matches(EnvironmentView environmentView, Type forType, org.eclipse.emf.ecore.EObject eObject)

Method parameters in org.eclipse.ocl.examples.xtext.essentialocl.attributes with type arguments of type Type

static void

ConstructorPartCSAttribution.addAllContents(EnvironmentView environmentView, Type forType, ScopeView scopeView, Type pivotClass, java.util.Set<Type> alreadyVisited)

Constructors in org.eclipse.ocl.examples.xtext.essentialocl.attributes with parameters of type Type

AbstractOperationFilter(MetaModelManager metaModelManager, Type sourceType)

BinaryOperationFilter(MetaModelManager metaModelManager, Type sourceType, Type argumentType)

ImplicitCollectFilter(MetaModelManager metaModelManager, CollectionType sourceType, Type iteratorType)
Configure an OperationFilter for an implicit collect.

ImplicitCollectionFilter(MetaModelManager metaModelManager, Type sourceType)

OperationFilter(MetaModelManager metaModelManager, Type sourceType, InvocationExpCS csNavigatingExp)

UnaryOperationFilter(MetaModelManager metaModelManager, Type sourceType)

Uses of Type in org.eclipse.ocl.examples.xtext.essentialocl.cs2pivot

Methods in org.eclipse.ocl.examples.xtext.essentialocl.cs2pivot that return Type

protected Type

EssentialOCLLeft2RightVisitor.getSourceElementType(InvocationExpCS csNavigatingExp, OCLExpression source)

Methods in org.eclipse.ocl.examples.xtext.essentialocl.cs2pivot with parameters of type Type

protected TypeExp

EssentialOCLLeft2RightVisitor.resolveTypeExp(ExpCS csExp, Type type)

Uses of Type in org.eclipse.ocl.examples.xtext.essentialocl.essentialOCLCST

Methods in org.eclipse.ocl.examples.xtext.essentialocl.essentialOCLCST that return Type

Type	TypeNameExpCS.getElement() Returns the value of the 'Element' reference.

Uses of Type in org.eclipse.ocl.examples.xtext.essentialocl.essentialOCLCST.impl

Methods in org.eclipse.ocl.examples.xtext.essentialocl.essentialOCLCST.impl that return Type

Type	TypeNameExpCSImpl.getElement()

Uses of Type in org.eclipse.ocl.examples.xtext.essentialocl.pivot2cs

Methods in org.eclipse.ocl.examples.xtext.essentialocl.pivot2cs with parameters of type Type

ElementCS

EssentialOCLReferenceVisitor.visitType(Type object)

Uses of Type in org.eclipse.ocl.examples.xtext.essentialocl.ui.labeling

Methods in org.eclipse.ocl.examples.xtext.essentialocl.ui.labeling with parameters of type Type

protected void	BaseLabelProvider.appendType(java.lang.StringBuilder s, Type type)
protected void	EssentialOCLLabelProvider.appendType(java.lang.StringBuilder s, Type type)
protected java.lang.String	BaseLabelProvider.text(Type ele)

Method parameters in org.eclipse.ocl.examples.xtext.essentialocl.ui.labeling with type arguments of type Type

protected void

BaseLabelProvider.appendSuperTypes(java.lang.StringBuilder s, java.util.List<? extends Type> superTypes)