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

Packages that use Type

org.eclipse.ocl.examples.codegen.analyzer
org.eclipse.ocl.examples.codegen.cgmodel.impl
org.eclipse.ocl.examples.codegen.common
org.eclipse.ocl.examples.codegen.dynamic
org.eclipse.ocl.examples.codegen.generator
org.eclipse.ocl.examples.codegen.java.types
org.eclipse.ocl.examples.codegen.oclinecore
org.eclipse.ocl.examples.pivot
org.eclipse.ocl.examples.pivot.context
org.eclipse.ocl.examples.pivot.delegate
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.basecs
org.eclipse.ocl.examples.xtext.base.basecs.impl
org.eclipse.ocl.examples.xtext.base.cs2as
org.eclipse.ocl.examples.xtext.base.pivot2cs
org.eclipse.ocl.examples.xtext.completeocl.completeoclcs
org.eclipse.ocl.examples.xtext.completeocl.completeoclcs.impl
org.eclipse.ocl.examples.xtext.completeocl.cs2as
org.eclipse.ocl.examples.xtext.completeocl.pivot2cs
org.eclipse.ocl.examples.xtext.essentialocl.attributes
org.eclipse.ocl.examples.xtext.essentialocl.cs2as
org.eclipse.ocl.examples.xtext.essentialocl.essentialoclcs
org.eclipse.ocl.examples.xtext.essentialocl.essentialoclcs.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.analyzer

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

CGExecutorType

CodeGenAnalyzer.createExecutorType(Type asType)

Uses of Type in org.eclipse.ocl.examples.codegen.cgmodel.impl

Methods in org.eclipse.ocl.examples.codegen.cgmodel.impl that return Type

Type	CGModelFactoryImpl.createTypeFromString(org.eclipse.emf.ecore.EDataType eDataType, java.lang.String initialValue)

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

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)
org.eclipse.emf.codegen.ecore.genmodel.GenPackage	CodeGenHelper.getGenPackage(Type type) Return the GenPackage for a type.
static java.util.LinkedHashSet<Operation>	PivotQueries.getOperations(Type type)
static java.util.LinkedHashSet<Property>	PivotQueries.getProperties(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.

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

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

org.eclipse.emf.codegen.ecore.genmodel.GenClass	JavaGenModelCodeGenHelper.getGenClass(org.eclipse.emf.codegen.ecore.genmodel.GenPackage genPackage, Type type)
org.eclipse.emf.codegen.ecore.genmodel.GenPackage	JavaGenModelCodeGenHelper.getGenPackage(Type type)

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

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

java.lang.String	AbstractGenModelHelper.getEcoreClassName(Type type)
java.lang.String	GenModelHelper.getEcoreClassName(Type type)
java.lang.Class<?>	AbstractGenModelHelper.getEcoreInterfaceClass(Type type)
java.lang.Class<?>	GenModelHelper.getEcoreInterfaceClass(Type owningType)
java.lang.String	AbstractGenModelHelper.getEcoreInterfaceName(Type type)
java.lang.String	GenModelHelper.getEcoreInterfaceName(Type type)
protected org.eclipse.emf.codegen.ecore.genmodel.GenClass	AbstractGenModelHelper.getGenClass(Type type)
org.eclipse.emf.codegen.ecore.genmodel.GenClassifier	AbstractGenModelHelper.getGenClassifier(Type type)
org.eclipse.emf.codegen.ecore.genmodel.GenClassifier	GenModelHelper.getGenClassifier(Type type)
org.eclipse.emf.codegen.ecore.genmodel.GenPackage	AbstractGenModelHelper.getGenPackage(Type type)
org.eclipse.emf.codegen.ecore.genmodel.GenPackage	GenModelHelper.getGenPackage(Type type)
java.lang.String	AbstractGenModelHelper.getQualifiedFactoryInstanceAccessor(Type type)
java.lang.String	GenModelHelper.getQualifiedFactoryInstanceAccessor(Type type)
java.lang.String	AbstractGenModelHelper.getQualifiedFactoryInterfaceName(Type type)
java.lang.String	GenModelHelper.getQualifiedFactoryInterfaceName(Type type)
DomainOperation	AbstractCodeGenerator.isFinal(Operation anOperation, Type staticType)
DomainOperation	CodeGenerator.isFinal(Operation anOperation, Type staticType)

Uses of Type in org.eclipse.ocl.examples.codegen.java.types

Fields in org.eclipse.ocl.examples.codegen.java.types declared as Type

protected Type

UnboxedElementsDescriptor.type

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

protected org.eclipse.emf.ecore.EClassifier

Id2BoxedDescriptorVisitor.getEClassifier(Type type)

Constructors in org.eclipse.ocl.examples.codegen.java.types with parameters of type Type

UnboxedElementsDescriptor(CollectionTypeId collectionTypeId, DomainStandardLibrary standardLibrary, Type type)

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

Fields in org.eclipse.ocl.examples.codegen.oclinecore with type parameters of type Type

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

OCLinEcoreTablesUtils.CodeGenString.typeNameMap

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

protected java.util.Set<? extends Type>

OCLinEcoreTablesUtils.getActiveTypes(Package pPackage)

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

void	OCLinEcoreTablesUtils.CodeGenString.appendScopedTypeName(Type theType) Append the encoded name of a type with an _ prefix.
protected void	OCLinEcoreTables.appendTypeFlags(Type type)
void	OCLinEcoreTablesUtils.CodeGenString.appendUnscopedTypeName(MetaModelManager metaModelManager, Type theType) Append the encoded name of a type with a suffix if disambiguation acros packages is required.
protected java.lang.String	OCLinEcoreCG2JavaVisitor.generateValidatorBody(CGValuedElement cgBody, Constraint asConstraint, Type asType)
protected org.eclipse.emf.codegen.ecore.genmodel.GenPackage	OCLinEcoreTablesUtils.getGenPackage(Type type)
protected java.util.LinkedHashSet<Operation>	OCLinEcoreTablesUtils.getOperations(Type type)
protected java.util.LinkedHashSet<Property>	OCLinEcoreTablesUtils.getProperties(Type type)
protected java.lang.String	OCLinEcoreTablesUtils.getQualifiedTablesClassName(Type type)
protected java.lang.Boolean	OCLinEcoreTablesUtils.hasEcore(Type type) Return true if type has an Ecore counterpart.
static java.lang.Boolean	OCLinEcoreTablesUtils.isBuiltInType(Type type)
java.lang.Object	OCLinEcoreTablesUtils.DeclareParameterTypeVisitor.visitType(Type type)
java.lang.Object	OCLinEcoreTablesUtils.EmitLiteralVisitor.visitType(Type type)
java.lang.Object	OCLinEcoreTablesUtils.EmitQualifiedLiteralVisitor.visitType(Type type)

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	Behavior A representation of the model object 'Behavior'.
interface	Class A representation of the model object 'Class'.
interface	CollectionType A representation of the model object 'Collection Type'.
interface	DataType A representation of the model object 'Data Type'.
interface	DynamicType A representation of the model object 'Dynamic Type'.
interface	ElementExtension A representation of the model object 'Applied Stereotype'.
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	Metaclass<T> A representation of the model object 'Classifier 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	StateMachine A representation of the model object 'State Machine'.
interface	Stereotype A representation of the model object 'Stereotype'.
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	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	Metaclass.getInstanceType() Returns the value of the 'Instance Type' reference.
Type	UnspecifiedType.getLowerBound() Returns the value of the 'Lower Bound' reference.
Type	DynamicElement.getMetaType() Returns the value of the 'Meta Type' 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	TypeExtension.getType() Returns the value of the 'Type' reference.
Type	TypedElement.getType() Returns the value of the 'Type' reference.
Type	UnspecifiedType.getUpperBound() Returns the value of the 'Upper Bound' reference.
Type	Query.resultType() Obtains the OCL result type of the query.
Type	SelfType.specializeIn(OCLExpression expr, Type selfType)
Type	Type.specializeIn(OCLExpression expr, Type selfType)

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

java.util.List<Type>	TypeTemplateParameter.getConstrainingType() Returns the value of the 'Constraining Type' reference list.
java.util.List<Type>	Package.getOwnedType() Returns the value of the 'Owned Type' containment reference list.
java.util.List<Type>	LambdaType.getParameterType() Returns the value of the 'Parameter Type' reference list.
java.util.List<Type>	Operation.getRaisedException() Returns the value of the 'Raised Exception' reference list.
java.util.List<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.
Element	Element.getValue(Type stereotype, java.lang.String propertyName)
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	Metaclass.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	DynamicElement.setMetaType(Type value) Sets the value of the 'Meta Type' 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	TypeExtension.setType(Type value) Sets the value of the '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.
Type	SelfType.specializeIn(OCLExpression expr, Type selfType)
Type	Type.specializeIn(OCLExpression expr, Type selfType)

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	EObjectContext.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) Deprecated.
void	AbstractBase2PivotConversion.setType(TypedElement pivotElement, Type type, boolean isRequired)

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.delegate

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

void	DelegateInstaller.installDelegates(org.eclipse.emf.ecore.EClassifier eClassifier, Type pivotType)

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

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

Type	Pivot2EcoreReferenceVisitor.OptionalType.type

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.EDataType eClassifier)
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.EClassifier eClassifier)
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)
CollectionType	Pivot2Ecore.isEcoreCollection(Type asType) Return the non-Null CollectionType if asType can use Ecore multiplicities to express the (outer) collection.
org.eclipse.emf.ecore.EGenericType	Pivot2EcoreTypeRefVisitor.resolveEGenericType(Type type)
protected void	Pivot2EcoreReferenceVisitor.setEType(org.eclipse.emf.ecore.ETypedElement eTypedElement, Type pivotType)
protected void	Pivot2EcoreReferenceVisitor.setETypeAndMultiplicity(org.eclipse.emf.ecore.ETypedElement eTypedElement, Type pivotType, boolean isRequired)
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.lang.Class<?> javaClass, java.util.List<org.eclipse.emf.ecore.EGenericType> eGenericTypes, java.util.List<T> eTypes, java.util.List<? extends Type> asTypes)

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

Pivot2EcoreReferenceVisitor.OptionalType(Type type, boolean isRequired)

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.lang.Object	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.
java.lang.Object	PivotEvaluationEnvironment.navigateAssociationClass(Type associationClass, Property navigationSource, java.lang.Object source)

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

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

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

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	BehaviorImpl An implementation of the model object 'Behavior'.
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	DynamicTypeImpl An implementation of the model object 'Dynamic Type'.
class	ElementExtensionImpl An implementation of the model object 'Applied Stereotype'.
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	MetaclassImpl<T> An implementation of the model object 'Classifier 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	StateMachineImpl An implementation of the model object 'State Machine'.
class	StereotypeImpl An implementation of the model object 'Stereotype'.
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	MetaclassImpl.instanceType The cached value of the 'Instance Type' reference.
protected Type	UnspecifiedTypeImpl.lowerBound The cached value of the 'Lower Bound' reference.
protected Type	DynamicElementImpl.metaType The cached value of the 'Meta Type' reference.
protected Type	DynamicTypeImpl.metaType The cached value of the 'Meta Type' 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	TypeExtensionImpl.type The cached value of the '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	MetaclassImpl.basicGetInstanceType()
Type	UnspecifiedTypeImpl.basicGetLowerBound()
Type	DynamicElementImpl.basicGetMetaType()
Type	DynamicTypeImpl.basicGetMetaType()
Type	TypeExpImpl.basicGetReferredType()
Type	LambdaTypeImpl.basicGetResultType()
Type	TypeExtensionImpl.basicGetType()
Type	TypedElementImpl.basicGetType()
Type	UnspecifiedTypeImpl.basicGetUpperBound()
Type	PivotFactoryImpl.createType()
Type	DataTypeImpl.getBehavioralType()
Type	LambdaTypeImpl.getContextType()
Type	CollectionTypeImpl.getElementType()
Type	MetaclassImpl.getInstanceType()
Type	UnspecifiedTypeImpl.getLowerBound()
Type	DynamicElementImpl.getMetaType()
Type	DynamicTypeImpl.getMetaType()
Type	OperationImpl.getOwningType()
Type	PropertyImpl.getOwningType()
Type	TypeExpImpl.getReferredType()
Type	LambdaTypeImpl.getResultType()
Type	TypeExtensionImpl.getType()
Type	TypedElementImpl.getType()
Type	UnspecifiedTypeImpl.getUpperBound()
Type	SelfTypeImpl.specializeIn(OCLExpression expr, Type selfType)
Type	TypeImpl.specializeIn(OCLExpression expr, Type selfType)

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

java.util.List<Type>	TypeTemplateParameterImpl.getConstrainingType()
java.util.List<Type>	PackageImpl.getOwnedType()
java.util.List<Type>	LambdaTypeImpl.getParameterType()
java.util.List<Type>	OperationImpl.getRaisedException()
java.util.List<Type>	ClassImpl.getSuperClass()
java.util.List<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)
org.eclipse.emf.common.notify.NotificationChain	TypeExtensionImpl.basicSetType(Type newType, org.eclipse.emf.common.notify.NotificationChain msgs)
Element	ElementImpl.getValue(Type stereotype, java.lang.String propertyName)
void	DataTypeImpl.setBehavioralType(Type newBehavioralType)
void	LambdaTypeImpl.setContextType(Type newContextType)
void	CollectionTypeImpl.setElementType(Type newElementType)
void	MetaclassImpl.setInstanceType(Type newInstanceType)
void	UnspecifiedTypeImpl.setLowerBound(Type newLowerBound)
void	DynamicElementImpl.setMetaType(Type newMetaType)
void	DynamicTypeImpl.setMetaType(Type newMetaType)
void	OperationImpl.setOwningType(Type newOwningType)
void	PropertyImpl.setOwningType(Type newOwningType)
void	TypeExpImpl.setReferredType(Type newReferredType)
void	LambdaTypeImpl.setResultType(Type newResultType)
void	TypeExtensionImpl.setType(Type newType)
void	TypedElementImpl.setType(Type newType)
void	UnspecifiedTypeImpl.setUpperBound(Type newUpperBound)
Type	SelfTypeImpl.specializeIn(OCLExpression expr, Type selfType)
Type	TypeImpl.specializeIn(OCLExpression expr, Type selfType)

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

TuplePartImpl(TuplePartId partId, Type partType)

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

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

protected Type

OrphanTypeServer.target

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

static java.util.List<Type>

MetaModelManager.EMPTY_TYPE_LIST

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)

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

protected Type	CollectionTypeServer.createSpecialization(CollectionTypeParameters<Type> typeParameters)
protected Type	TemplateableTypeServer.createSpecialization(DomainTypeParameters templateArguments)
Type	CollectionTypeServer.findSpecializedType(CollectionTypeParameters<Type> typeParameters)
Type	TemplateableTypeServer.findSpecializedType(DomainTypeParameters templateArguments)
Type	MetaModelManager.getCollectionType(java.lang.String collectionTypeName, Type elementType, IntegerValue lower, IntegerValue upper)
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	PackageServer.getMemberType(java.lang.String typeName)
protected Type	MetaModelManager.getMutable(Type asType)
Type	PivotStandardLibrary.getOclMessageType()
Type	ExtensibleTypeServer.getPivotType()
Type	OrphanTypeServer.getPivotType()
Type	TypeServer.getPivotType() Return a Type that represents this type merge.
Type	MetaModelManager.getPivotType(java.lang.String className) Return the pivot model class for className with the Pivot Model.
Type	MetaModelManager.getPrimaryType(DomainType type)
Type	MetaModelManager.getPrimaryType(java.lang.String nsURI, java.lang.String path, java.lang.String... extraPath)
Type	PivotStandardLibrary.getRequiredLibraryType(java.lang.String typeName)
protected Type	MetaModelManager.getSpecializedLambdaType(LambdaType type, java.util.Map<TemplateParameter,ParameterableElement> usageBindings)
Type	TemplateableTypeServer.getSpecializedType(DomainTypeParameters templateArguments)
Type	TemplateableTypeServer.getSpecializedType(java.util.List<? extends DomainElement> templateArguments)
Type	CollectionTypeServer.getSpecializedType(Type elementType, IntegerValue lower, IntegerValue upper)
Type	MetaModelManager.getSpecializedType(Type type, java.util.Map<TemplateParameter,ParameterableElement> usageBindings)
Type	MetaModelManager.getType(DomainType dType)
Type	PivotIdResolver.getType(TypeId typeId, java.lang.Object context)

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

java.lang.Iterable<Type>	MetaModelManager.getAllTypes(Type pivotType) Deprecated.
java.lang.Iterable<Type>	MetaModelManager.getGlobalTypes()
protected java.lang.Iterable<Type>	MetaModelManager.CompleteClassSuperClassesIterable.getInnerIterable(Type model)
org.eclipse.emf.common.util.EList<Type>	Orphanage.getOwnedType()
java.lang.Iterable<Type>	OrphanTypeServer.getPartialTypes()
java.lang.Iterable<Type>	MetaModelManager.getSuperClasses(Type pivotType)
java.util.Iterator<Type>	OrphanTypeServer.iterator()

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

void	MetaModelManager.addOrphanClass(Type pivotElement)
protected void	PrecedenceManager.compilePrecedenceType(java.util.List<java.lang.String> errors, Type pivotType)
boolean	MetaModelManager.conformsTo(Type firstType, Type secondType, java.util.Map<TemplateParameter,ParameterableElement> bindings)
protected Property	AbstractTypeServer.createExtensionProperty(ElementExtension stereotypeInstance, Type baseType)
protected Metaclass<?>	MetaclassServer.createMetaclass(Type type)
protected void	PivotStandardLibrary.defineLibraryType(Type pivotType) Names of all iterations in the libraries.
java.lang.Iterable<Constraint>	MetaModelManager.getAllInvariants(Type pivotType) Return all constraints applicable to a type and its superclasses.
java.lang.Iterable<Type>	MetaModelManager.getAllTypes(Type pivotType) Deprecated.
CollectionType	MetaModelManager.getBagType(Type elementType, IntegerValue lower, IntegerValue upper)
CollectionType	MetaModelManager.getCollectionType(boolean isOrdered, boolean isUnique, Type elementType, IntegerValue lower, IntegerValue upper)
Type	MetaModelManager.getCollectionType(java.lang.String collectionTypeName, Type elementType, IntegerValue lower, IntegerValue upper)
<T extends CollectionType> T	MetaModelManager.getCollectionType(T containerType, Type elementType, IntegerValue lower, IntegerValue upper)
java.util.Set<DomainInheritance>	MetaModelManager.getCommonClasses(Type leftClass, Type rightClass, java.util.Set<DomainInheritance> commonClasses)
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)
protected java.lang.Iterable<Constraint>	MetaModelManager.CompleteElementInvariantsIterable.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.getLocalInvariants(Type type)
java.lang.Iterable<Operation>	MetaModelManager.getMemberOperations(Type type, boolean selectStatic)
java.lang.Iterable<Property>	MetaModelManager.getMemberProperties(Type type, boolean selectStatic)
Metaclass<?>	MetaclassServer.getMetaclass(Type type)
protected Type	MetaModelManager.getMutable(Type asType)
CollectionType	MetaModelManager.getOrderedSetType(Type elementType, IntegerValue lower, IntegerValue upper)
CollectionType	MetaModelManager.getSequenceType(Type elementType, IntegerValue lower, IntegerValue upper)
CollectionType	MetaModelManager.getSetType(Type elementType, IntegerValue lower, IntegerValue upper)
Type	CollectionTypeServer.getSpecializedType(Type elementType, IntegerValue lower, IntegerValue upper)
Type	MetaModelManager.getSpecializedType(Type type, java.util.Map<TemplateParameter,ParameterableElement> usageBindings)
java.lang.Iterable<Type>	MetaModelManager.getSuperClasses(Type pivotType)
protected void	AbstractTypeServer.initExtensionPropertiesFrom(Type baseType, Stereotype stereotype)
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, FeatureFilter featureFilter, java.lang.String operationName, java.util.List<Parameter> parameters) 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	TemplateParameterSubstitutionVisitor.visit(Type newFormal, DomainType newActual)
protected void	TemplateParameterSubstitutionVisitor.visit(Type formalType, DomainTypedElement actualElement)
java.lang.Object	TemplateParameterReferenceVisitor.visitType(Type object)
java.lang.Object	TemplateParameterSubstitutionVisitor.visitType(Type object)

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	CollectionTypeServer.createSpecialization(CollectionTypeParameters<Type> typeParameters)
Type	CollectionTypeServer.findSpecializedType(CollectionTypeParameters<Type> typeParameters)
static TemplateParameter[]	TupleTypeManager.getAllTemplateParameterReferences(java.lang.Iterable<? extends Type> partTypes)
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)
TupleType	TupleTypeManager.getTupleType(java.lang.String tupleName, java.util.Map<java.lang.String,? extends Type> parts) Return the named tuple typeId with the defined parts (which need not be alphabetically ordered).
protected void	TemplateParameterSubstitutionVisitor.visitAllTypes(java.util.List<? extends Type> formalElements, java.util.List<? extends DomainType> actualElements)

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

OrphanTypeServer(OrphanPackageServer packageServer, Type type)

TemplateParameterSubstitutionVisitor(MetaModelManager metaModelManager, Type selfType)

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

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

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

MetaModelManager.CompleteElementInvariantsIterable(java.lang.Iterable<? extends Type> models)

MetaModelManager.CompleteTypeOperationsIterable(java.lang.Iterable<Type> types, 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 OpaqueExpression	AbstractContents.createOpaqueExpression(Type type, java.lang.String exprString)
protected Operation	AbstractContents.createOperation(org.eclipse.emf.ecore.EOperation eOperation, 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, boolean isRequired)
protected Property	AbstractContents.createProperty(org.eclipse.emf.ecore.EStructuralFeature eFeature, 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) Deprecated. This Classic OCL API is not used by the Pivot.

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

PrettyPrintVisitor.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.addAllElements(Type type, ScopeView scopeView)
void	EnvironmentView.addAllOperations(Type type, FeatureFilter featureFilter)
void	EnvironmentView.addAllProperties(Type type, FeatureFilter featureFilter)
void	EnvironmentView.addAllStates(Type type)
void	EnvironmentView.addLibContents(Type libType, ScopeView scopeView)

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

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

Type	ProfileAnalysis.getMetatype(java.lang.String packageName, java.lang.String className)
abstract Type	UML2Pivot.getPivotType(org.eclipse.emf.ecore.EObject eObject)
Type	UML2Pivot.Inner.getPivotType(org.eclipse.emf.ecore.EObject eObject)
Type	UML2Pivot.Outer.getPivotType(org.eclipse.emf.ecore.EObject eObject)
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 that return types with arguments of type Type

java.util.Map<Type,java.util.Set<TypeExtension>>	ProfileAnalysis.computeMetatypes2typeExtensions()
java.util.Map<Type,java.util.Set<TypeExtension>>	ProfileAnalysis.computeMetatypes2typeExtensions(java.util.Set<Profile> appliedProfileClosure)

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

abstract void	UML2Pivot.addProperty(Type asType, Property asProperty)
void	UML2Pivot.Inner.addProperty(Type asType, Property asProperty)
void	UML2Pivot.Outer.addProperty(Type asType, Property asProperty)
protected void	Pivot2UMLDeclarationVisitor.copyClassifier(org.eclipse.uml2.uml.Classifier umlClassifier, Type pivotType)
protected static void	UMLOCLEValidator.gatherTypes(java.util.Set<Type> allTypes, java.util.Set<DomainConstraint> allConstraints, Type newType)

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

protected static void	UMLOCLEValidator.gatherTypes(java.util.Set<Type> allTypes, java.util.Set<DomainConstraint> allConstraints, Type newType)
protected void	ModelAnalysis.printMetatypes2StereotypeExtensions(Package asPackage, java.util.Map<Type,java.util.Set<TypeExtension>> metatype2typeExtensions)

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

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

T1	PivotSwitch.caseType(Type object) Returns the result of interpreting the object as an instance of 'Type'.
boolean	PivotValidator.validateType_validateUniqueInvariantName(Type type, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) Validates the validateUniqueInvariantName constraint 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	AbstractWrappingVisitor.visitType(Type object)
R	Visitor.visitType(Type object)

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

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

static java.util.Comparator<Type>

ASSaverNormalizeVisitor.TypeComparator.INSTANCE

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

<T extends Type> T

ASSaver.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) Deprecated.
static Type	PivotUtil.getBehavioralType(TypedElement element) Deprecated.
protected Type	PivotEnvironmentFactory.getClassifier(java.lang.Object context)
static Type	PivotUtil.getContainingType(org.eclipse.emf.ecore.EObject element)
protected Type	ASSaver.getOrphanClass(Package orphanagePackage)
static Type	PivotUtil.getOwningType(Feature feature)
static Type	PivotUtil.getType(Type type)
static Type	PivotUtil.getType(TypedElement typedElement)
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

boolean	ASSaver.addSpecializingElement(Element object, Type referredType)
void	AS2Moniker.appendLambdaType(Type contextType, java.util.List<? extends Type> parameterTypes, Type resultType, java.util.Map<TemplateParameter,ParameterableElement> bindings)
protected void	AS2XMIidVisitor.appendType(Type type)
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.
int	ASSaverNormalizeVisitor.TypeComparator.compare(Type o1, Type o2)
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) Deprecated.
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 Type	PivotUtil.getType(Type type)
static boolean	PivotUtil.isLibraryType(Type type)
java.lang.Object	ASSaverResolveVisitor.visitType(Type object)

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

void	AS2Moniker.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.basecs

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

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

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

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

Type	ClassifierCSImpl.ast()
Type	TypedTypeRefCSImpl.getType()

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

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

protected Type	BaseCSContainmentVisitor.refreshClassifier(Type pivotElement, ClassifierCS csElement)
Type	CS2PivotConversion.refreshRequiredType(TypedMultiplicityElement pivotElement, TypedElementCS csTypedElement)

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

void	CS2PivotConversion.installPivotTypeWithMultiplicity(Type pivotType, TypedRefCS csElement)
protected Type	BaseCSContainmentVisitor.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.completeoclcs

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

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

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

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

Type	ClassifierContextDeclCSImpl.getClassifier()

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

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

protected Type

CompleteOCLCSContainmentVisitor.refreshContextType(Type modelClassifier, ClassifierContextDeclCS csElement)

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

protected void	CompleteOCLCSContainmentVisitor.installOperationContainment(Type modelType, Type contextType)
protected void	CompleteOCLCSContainmentVisitor.installPropertyContainment(Type modelType, Type contextType, java.util.List<Constraint> allInvariants)
protected Type	CompleteOCLCSContainmentVisitor.refreshContextType(Type modelClassifier, ClassifierContextDeclCS csElement)
protected void	CompleteOCLCSContainmentVisitor.registerOperation(Type modelClassifier, Operation pivotElement)
protected void	CompleteOCLCSContainmentVisitor.registerProperty(Type modelClassifier, Property pivotElement)

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

CompleteOCLCSContainmentVisitor.OperationDeclScopeFilter(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

protected ScopeFilter

InvocationExpCSAttribution.createInvocationFilter(InvocationExpCS targetElement, Type type)

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

AbstractOperationFilter(Type sourceType)

BinaryOperationFilter(Type sourceType, Type argumentType)

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

ImplicitCollectionFilter(Type sourceType)

OperationFilter(Type sourceType, InvocationExpCS csNavigatingExp)

UnaryOperationFilter(Type sourceType)

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

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

protected Type

EssentialOCLCSLeft2RightVisitor.resolvePropertyReturnType(OCLExpression sourceExp, NameExpCS csNameExp, Property property)

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

protected OCLExpression	EssentialOCLCSLeft2RightVisitor.createImplicitSourceVariableExp(AbstractNameExpCS csNameExp, Type owningType)
protected VariableDeclaration	EssentialOCLCSLeft2RightVisitor.getImplicitSource(ModelElementCS csExp, Type requiredType)
protected java.util.List<NamedElement>	EssentialOCLCSLeft2RightVisitor.getInvocations(Type asType, java.lang.String name, int iteratorCount, int expressionCount) Return all operations/iterations in asType and its superclasses whose name is name.
protected boolean	EssentialOCLCSLeft2RightVisitor.isInvalidType(Type type)
protected OCLExpression	EssentialOCLCSLeft2RightVisitor.resolveImplicitAsSet(OCLExpression sourceExp, Type sourceType, NavigationOperatorCS csOperator)
protected TypeExp	EssentialOCLCSLeft2RightVisitor.resolveTypeExp(ExpCS csExp, Type type)

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

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

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

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

void	AbstractNameExpCS.setSourceType(Type value) Sets the value of the 'Source Type' reference.

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

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

protected Type	NameExpCSImpl.sourceType The cached value of the 'Source Type' reference.
protected Type	NamedExpCSImpl.sourceType The cached value of the 'Source Type' reference.

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

Type	TypeNameExpCSImpl.getElement()
Type	NameExpCSImpl.getSourceType()
Type	NamedExpCSImpl.getSourceType()

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

void	NameExpCSImpl.setSourceType(Type newSourceType)
void	NamedExpCSImpl.setSourceType(Type newSourceType)

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)