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

Packages that use Type

org.eclipse.ocl.examples.library.iterator
org.eclipse.ocl.examples.pivot
org.eclipse.ocl.examples.pivot.ecore
org.eclipse.ocl.examples.pivot.evaluation
org.eclipse.ocl.examples.pivot.helper
org.eclipse.ocl.examples.pivot.internal.impl
org.eclipse.ocl.examples.pivot.internal.operations
org.eclipse.ocl.examples.pivot.options
org.eclipse.ocl.examples.pivot.prettyprint
org.eclipse.ocl.examples.pivot.uml
org.eclipse.ocl.examples.pivot.util
org.eclipse.ocl.examples.pivot.utilities
org.eclipse.ocl.examples.pivot.values
org.eclipse.ocl.examples.pivot.values.impl
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.base.scope
org.eclipse.ocl.examples.xtext.base.scoping.cs
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.scoping
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.scoping
org.eclipse.ocl.examples.xtext.essentialocl.ui.labeling
org.eclipse.ocl.examples.xtext.essentialocl.utilities

Uses of Type in org.eclipse.ocl.examples.library.iterator

Methods in org.eclipse.ocl.examples.library.iterator that return Type

Type	SortedByIteration.SortingValue.getType(TypeManager typeManager, Type staticType)

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

Type	SortedByIteration.SortingValue.getType(TypeManager typeManager, Type staticType)

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	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	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	StandardLibrary.getOclMessageType() Obtains the generic instance of the MessageType metatype, named OclMessage.
Type	StandardLibrary.getPivotType(java.lang.String className)
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	QueryBase.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.getConstrainingTypes() Returns the value of the 'Constraining Type' reference list.
org.eclipse.emf.common.util.EList<Type>	Package.getOwnedTypes() Returns the value of the 'Owned Type' containment reference list.
org.eclipse.emf.common.util.EList<Type>	LambdaType.getParameterTypes() Returns the value of the 'Parameter Type' reference list.
org.eclipse.emf.common.util.EList<Type>	Operation.getRaisedExceptions() Returns the value of the 'Raised Exception' reference list.

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

boolean	StandardLibrary.conformsTo(Type firstType, Type secondType) Deprecated.
boolean	StandardLibrary.conformsTo(Type firstType, Type secondType, java.util.Map<TemplateParameter,ParameterableElement> templateParameterSubstitutions)
BagType	OCLFactory.createBagType(Type elementType) Returns a new object of class 'Bag 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.
CollectionType	OCLFactory.createCollectionType(CollectionKind kind, Type elementType) Returns a new object of class 'Collection Type'.
CollectionType	OCLFactory.createCollectionType(Type elementType) Returns a new object of class 'Collection Type'.
OrderedSetType	OCLFactory.createOrderedSetType(Type elementType) Returns a new object of class 'Ordered Set Type'.
SequenceType	OCLFactory.createSequenceType(Type elementType) Returns a new object of class 'Sequence Type'.
SetType	OCLFactory.createSetType(Type elementType) Returns a new object of class 'Set Type'.
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.
boolean	StandardLibrary.isOrdered(Type sourceType)
boolean	StandardLibrary.isUnique(Type sourceType)
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	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.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(TypeManager typeManager, 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

java.util.Set<org.eclipse.emf.ecore.EObject>	LazyModelManager.get(Type type) Lazily computes the extent of the specified class key.
java.util.Set<org.eclipse.emf.ecore.EObject>	ModelManager.get(Type type)
protected abstract boolean	LazyModelManager.isInstance(Type type, org.eclipse.emf.ecore.EObject element) Implemented by subclasses to determine whether the specified element is an instance of the specified class, according to the metamodel semantics implemented by the environment that created this extent map.
protected boolean	PivotModelManager.isInstance(Type requiredType, org.eclipse.emf.ecore.EObject eObject)
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) Ecore implementation of the enumeration literal value.

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

void	EvaluationContext.setContext(NamedElement context, java.util.Map<java.lang.String,Type> parameters)

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

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

void	OCLHelper.setAttributeContext(Type context, Property property) Sets the attribute context of the OCL expression for which syntax or parsing help is to be provided.
void	OCLHelper.setContext(Type context) Sets the classifier context of the OCL expression for which syntax or parsing help is to be provided.
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.

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	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.constrainingTypes The cached value of the 'Constraining Type' reference list.
protected org.eclipse.emf.common.util.EList<Type>	PackageImpl.ownedTypes The cached value of the 'Owned Type' containment reference list.
protected org.eclipse.emf.common.util.EList<Type>	LambdaTypeImpl.parameterTypes The cached value of the 'Parameter Type' reference list.
protected org.eclipse.emf.common.util.EList<Type>	OperationImpl.raisedExceptions The cached value of the 'Raised Exception' 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	LambdaTypeImpl.getContextType()
Type	CollectionTypeImpl.getElementType()
Type	ClassifierTypeImpl.getInstanceType()
Type	UnspecifiedTypeImpl.getLowerBound()
Type	TypeExpImpl.getReferredType()
Type	LambdaTypeImpl.getResultType()
Type	TypedElementImpl.getType()
Type	UnspecifiedTypeImpl.getUpperBound()

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.getConstrainingTypes()
org.eclipse.emf.common.util.EList<Type>	PackageImpl.getOwnedTypes()
org.eclipse.emf.common.util.EList<Type>	LambdaTypeImpl.getParameterTypes()
org.eclipse.emf.common.util.EList<Type>	OperationImpl.getRaisedExceptions()

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

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	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.internal.operations

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

static boolean

TypeOperations.isTemplate(Type type) The query isTemplate() returns whether this templateable element is actually a template.

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	PrettyPrintNameVisitor.visitType(Type object)
java.lang.Object	PrettyPrintTypeVisitor.visitType(Type object)

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

<T extends Type> T	TypeCaches.findOrphanClass(java.lang.Class<T> unspecializedType, java.lang.String moniker)
<T extends Type> T	TypeManager.getLibraryType(T libraryType, java.util.List<? extends ParameterableElement> templateArguments, boolean resolveSuperClasses)
protected <T extends Type> T	PivotSaver.PivotSaveResolveVisitor.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(TypeManager typeManager, org.eclipse.emf.ecore.EClassifier eClass)
static Type	PivotUtil.getBehavioralType(Type type)
protected Type	PivotEnvironmentFactory.getClassifier(java.lang.Object context)
Type	TypeManager.getCollectionType(java.lang.String collectionTypeName, Type elementType)
Type	TypeManager.getCommonTupleType(TupleType leftType, TupleType rightType, java.util.Map<TemplateParameter,ParameterableElement> bindings)
Type	TypeManager.getCommonType(Type leftType, Type rightType) Deprecated.
Type	TypeManager.getCommonType(Type leftType, Type rightType, java.util.Map<TemplateParameter,ParameterableElement> templateParameterSubstitutions)
Type	PivotStandardLibrary.getLibraryType(java.lang.String typeName)
Type	TypeManager.getLibraryType(java.lang.String string, java.util.List<? extends ParameterableElement> templateArguments)
Type	PivotStandardLibrary.getOclMessageType()
Type	TypeManager.getPivotType(java.lang.String className) Return the pivot model class for className with the Pivot Model.
Type	PivotStandardLibrary.getRequiredLibraryType(java.lang.String typeName)
protected Type	TypeManager.getSpecializedLambdaType(LambdaType type, java.util.Map<TemplateParameter,ParameterableElement> usageBindings)
protected Type	TypeManager.getSpecializedTupleType(TupleType type, java.util.Map<TemplateParameter,ParameterableElement> usageBindings)
protected abstract Type	TypeCaches.getSpecializedType(Type type, java.util.Map<TemplateParameter,ParameterableElement> usageBindings)
protected Type	TypeManager.getSpecializedType(Type type, java.util.Map<TemplateParameter,ParameterableElement> usageBindings)
Type	TypeManager.getTypeWithMultiplicity(TypedMultiplicityElement element)
Type	QueryBaseImpl.resultType()
Type	QueryImpl.resultType()

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

java.lang.Iterable<Type>	TypeManager.getGlobalTypes()
protected java.lang.Iterable<Type>	TypeCaches.CompletePackageTypesIterable.getInnerIterable(Package model)
java.lang.Iterable<Type>	TypeCaches.getLocalClasses(Package pkg)
static java.util.List<Type>	PivotUtil.getTypeTemplateParameterables(TemplateableElement templateableElement)

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

void	TypeCaches.addOrphanClass(Type pivotElement)
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.
protected void	TypeManager.compilePrecedenceType(Type pivotType)
boolean	TypeManager.conformsTo(Type firstType, Type secondType) Deprecated.
boolean	TypeManager.conformsTo(Type firstType, Type secondType, java.util.Map<TemplateParameter,ParameterableElement> bindings)
BagType	OCLFactoryImpl.createBagType(Type elementType)
CollectionType	OCLFactoryImpl.createCollectionType(CollectionKind kind, Type elementType)
CollectionType	OCLFactoryImpl.createCollectionType(Type elementType)
OrderedSetType	OCLFactoryImpl.createOrderedSetType(Type elementType)
SequenceType	OCLFactoryImpl.createSequenceType(Type elementType)
SetType	OCLFactoryImpl.createSetType(Type elementType)
protected void	PivotStandardLibrary.defineLibraryType(Type pivotType)
java.lang.Iterable<Class>	TypeCaches.getAllClasses(Type type)
java.lang.Iterable<Constraint>	TypeCaches.getAllConstraints(Type type) Return all constraints applicable to a type and its superclasses.
protected java.util.Set<Constraint>	TypeCaches.getAllConstraints(Type type, java.util.Set<Constraint> knownConstraints)
static java.util.Map<TemplateParameter,ParameterableElement>	PivotUtil.getAllTemplateParameterSubstitutions(java.util.Map<TemplateParameter,ParameterableElement> bindings, Type argumentType, LambdaType lambdaType)
static Type	PivotUtil.getBehavioralType(Type type)
ClassifierType	TypeManager.getClassifierType(Type type)
CollectionType	TypeManager.getCollectionType(boolean isOrdered, boolean isUnique, Type elementType)
Type	TypeManager.getCollectionType(java.lang.String collectionTypeName, Type elementType)
Type	TypeManager.getCommonType(Type leftType, Type rightType) Deprecated.
Type	TypeManager.getCommonType(Type leftType, Type rightType, java.util.Map<TemplateParameter,ParameterableElement> templateParameterSubstitutions)
Operation	TypeCaches.getDynamicOperation(Type dynamicType, Operation staticOperation)
LambdaType	TypeManager.getLambdaType(java.lang.String typeName, Type contextType, java.util.List<? extends Type> parameterTypes, Type resultType, java.util.Map<TemplateParameter,ParameterableElement> bindings, java.lang.String moniker)
java.lang.Iterable<Constraint>	TypeCaches.getLocalConstraints(Type type)
java.lang.Iterable<Operation>	TypeCaches.getLocalOperations(Type type, java.lang.Boolean selectStatic)
java.lang.Iterable<Property>	TypeCaches.getLocalProperties(Type type, java.lang.Boolean selectStatic)
Class	TypeCaches.getPrimaryClass(Type pivotClass)
CollectionType	TypeManager.getSetType(Type elementType)
protected java.lang.String	TypeManager.getSpecializedMoniker(Type libraryType, java.util.List<? extends ParameterableElement> templateArguments)
protected abstract Type	TypeCaches.getSpecializedType(Type type, java.util.Map<TemplateParameter,ParameterableElement> usageBindings)
protected Type	TypeManager.getSpecializedType(Type type, java.util.Map<TemplateParameter,ParameterableElement> usageBindings)
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.
java.lang.Iterable<Class>	TypeCaches.getSuperClasses(Type pivotType)
static boolean	TypeManager.isLibraryType(Type type)
boolean	PivotStandardLibrary.isOrdered(Type sourceType)
protected boolean	PivotSaver.isOrphanType(Type type)
boolean	TypeManager.isSuperClassOf(Type unspecializedFirstType, Class secondType)
boolean	PivotStandardLibrary.isUnique(Type sourceType)
java.util.Set<Operation>	TypeManager.resolveLocalOperation(Class pivotClass, java.lang.String operationName, Type... pivotArguments) Add a resource-specific map of elements to preferred aliases, updating the internal pivot-resource-set-wide map of elements to pivot-aliases and vice-versa.
Operation	TypeManager.resolveOperation(Type leftType, java.lang.String operationName, Type... rightTypes)
Operation	TypeManager.resolveOperation(Type leftType, java.lang.String operationName, Type... rightTypes)
java.util.Set<Operation>	TypeManager.resolveOperations(Class pivotClass, java.lang.String operationName, Type... pivotArguments)

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

boolean	TypeManager.addGlobalTypes(java.util.Collection<Type> types)
void	Abstract2Moniker.appendLambdaType(Type contextType, java.util.List<? extends Type> parameterTypes, Type resultType, java.util.Map<TemplateParameter,ParameterableElement> bindings)
LambdaType	TypeManager.getLambdaType(java.lang.String typeName, Type contextType, java.util.List<? extends Type> parameterTypes, Type resultType, java.util.Map<TemplateParameter,ParameterableElement> bindings, java.lang.String moniker)

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

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

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

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

Type	TypeValue.getInstanceType()
Type	TypeValue.getType()
Type	Value.getType(TypeManager typeManager, Type staticType)

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

Type	Value.getType(TypeManager typeManager, Type staticType)

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

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

Type	AbstractUndefinedValue.getElement()
Type	AbstractUndefinedValue.getInstanceType()
Type	TypeValueImpl.getInstanceType()
Type	AbstractUndefinedValue.getType()
Type	BagValueImpl.getType(TypeManager typeManager, Type staticType)
Type	BooleanValueImpl.getType(TypeManager typeManager, Type staticType)
Type	ElementValueImpl.getType(TypeManager typeManager, Type staticType)
Type	IntegerRangeValueImpl.getType(TypeManager typeManager, Type staticType)
Type	IntegerValueImpl.getType(TypeManager typeManager, Type staticType)
Type	InvalidValueImpl.getType(TypeManager typeManager, Type staticType)
Type	NullValueImpl.getType(TypeManager typeManager, Type staticType)
Type	ObjectValueImpl.getType(TypeManager typeManager, Type staticType)
Type	OrderedSetValueImpl.getType(TypeManager typeManager, Type staticType)
Type	RealValueImpl.getType(TypeManager typeManager, Type staticType)
Type	SequenceValueImpl.getType(TypeManager typeManager, Type staticType)
Type	SetValueImpl.getType(TypeManager typeManager, Type staticType)
Type	StringValueImpl.getType(TypeManager typeManager, Type staticType)
Type	TupleValueImpl.getType(TypeManager typeManager, Type staticType)
Type	UnlimitedValueImpl.getType(TypeManager typeManager, Type staticType)

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

Type	BagValueImpl.getType(TypeManager typeManager, Type staticType)
Type	BooleanValueImpl.getType(TypeManager typeManager, Type staticType)
Type	ElementValueImpl.getType(TypeManager typeManager, Type staticType)
Type	IntegerRangeValueImpl.getType(TypeManager typeManager, Type staticType)
Type	IntegerValueImpl.getType(TypeManager typeManager, Type staticType)
Type	InvalidValueImpl.getType(TypeManager typeManager, Type staticType)
Type	NullValueImpl.getType(TypeManager typeManager, Type staticType)
Type	ObjectValueImpl.getType(TypeManager typeManager, Type staticType)
Type	OrderedSetValueImpl.getType(TypeManager typeManager, Type staticType)
Type	RealValueImpl.getType(TypeManager typeManager, Type staticType)
Type	SequenceValueImpl.getType(TypeManager typeManager, Type staticType)
Type	SetValueImpl.getType(TypeManager typeManager, Type staticType)
Type	StringValueImpl.getType(TypeManager typeManager, Type staticType)
Type	TupleValueImpl.getType(TypeManager typeManager, Type staticType)
ClassifierType	TypeValueImpl.getType(TypeManager typeManager, Type staticType)
Type	UnlimitedValueImpl.getType(TypeManager typeManager, Type staticType)

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.

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

void	TypedTypeRefCS.setType(Type value) Sets the value of the 'Type' reference.

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

Fields in org.eclipse.ocl.examples.xtext.base.baseCST.impl declared as Type

protected Type

TypedTypeRefCSImpl.type The cached value of the 'Type' reference.

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

Type	TypedTypeRefCSImpl.basicGetType()
Type	TypedTypeRefCSImpl.getType()

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

void	TypedTypeRefCSImpl.setType(Type newType)

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

CS2PivotConversion.resolveUnderspecifiedType(Type type)

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

protected Type	CS2PivotConversion.resolveUnderspecifiedType(Type type)
void	CS2PivotConversion.setType(TypedElement pivotElement, Type type) Set the type and so potentially satisfy some TypeOfDependency.

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.base.scope

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

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)
int	EnvironmentView.computeLookups(Type type)
boolean	EnvironmentView.Filter.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.

Uses of Type in org.eclipse.ocl.examples.xtext.base.scoping.cs

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

protected Type	BaseCSScopeAdapter.commonConformantType(Type firstTypeCS, Type secondTypeCS)
Type	BaseCSScopeAdapter.getLibraryType(ElementCS csElement) Get a library type by name

Methods in org.eclipse.ocl.examples.xtext.base.scoping.cs that return types with arguments of type Type

java.util.List<Type>

BaseCSScopeAdapter.getConformsTo(ClassCS csClass)

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

protected Type	BaseCSScopeAdapter.commonConformantType(Type firstTypeCS, Type secondTypeCS)
protected boolean	BaseCSScopeAdapter.conformsTo(Type candidateType, Type requiredType)

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.

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

void	ClassifierContextDeclCS.setClassifier(Type value) Sets the value of the 'Classifier' reference.

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

Fields in org.eclipse.ocl.examples.xtext.completeocl.completeOCLCST.impl declared as Type

protected Type

ClassifierContextDeclCSImpl.classifier The cached value of the 'Classifier' reference.

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

Type	ClassifierContextDeclCSImpl.basicGetClassifier()
Type	ClassifierContextDeclCSImpl.getClassifier()

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

void	ClassifierContextDeclCSImpl.setClassifier(Type newClassifier)

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

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

protected Class

CompleteOCLPreOrderVisitor.getContextClassifier(Type modelType, ModelElementCS csElement)

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

Methods in org.eclipse.ocl.examples.xtext.completeocl.scoping 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.essentialocl.cs2pivot

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

protected Type

EssentialOCLLeft2RightVisitor.getSourceElementType(NavigatingExpCS 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.

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

void	TypeNameExpCS.setElement(Type value) Sets the value of the 'Element' reference.

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

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

protected Type

TypeNameExpCSImpl.element The cached value of the 'Element' reference.

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

Type	TypeNameExpCSImpl.basicGetElement()
Type	TypeNameExpCSImpl.getElement()

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

void	TypeNameExpCSImpl.setElement(Type newElement)

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

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

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

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

Type	EssentialOCLCSScopeAdapter.getLibraryType(ElementCS csElement)

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

protected void	AbstractOperationFilter.installBindings(EnvironmentView environmentView, Type forType, org.eclipse.emf.ecore.EObject eObject, java.util.Map<TemplateParameter,ParameterableElement> bindings)
protected void	ImplicitCollectionFilter.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)
protected void	AbstractOperationFilter.installOclSelfBinding(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	ContextCSScopeAdapter.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)

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

AbstractOperationFilter(TypeManager typeManager, Type sourceType)

BinaryOperationFilter(TypeManager typeManager, Type sourceType, Type argumentType)

ImplicitCollectFilter(TypeManager typeManager, CollectionType sourceType, Type iteratorType)
Configure an OperationFilter for an implicit collect.

ImplicitCollectionFilter(TypeManager typeManager, Type sourceType)

OperationFilter(TypeManager typeManager, Type sourceType, NavigatingExpCS csNavigatingExp)

UnaryOperationFilter(TypeManager typeManager, Type sourceType)

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.StringBuffer s, Type type)
protected void	EssentialOCLLabelProvider.appendType(java.lang.StringBuffer s, Type type)
protected java.lang.String	BaseLabelProvider.text(Type ele)

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

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

void	EssentialOCLCSResource.setContext(NamedElement pivotContext, java.util.Map<java.lang.String,Type> pivotParameters)