Uses of Interface
org.eclipse.ocl.examples.domain.elements.DomainType

Packages that use DomainType

org.eclipse.ocl.examples.codegen.analyzer
org.eclipse.ocl.examples.domain.elements
org.eclipse.ocl.examples.domain.evaluation
org.eclipse.ocl.examples.domain.ids
org.eclipse.ocl.examples.domain.ids.impl
org.eclipse.ocl.examples.domain.types
org.eclipse.ocl.examples.domain.utilities
org.eclipse.ocl.examples.domain.values.impl
org.eclipse.ocl.examples.domain.values.util
org.eclipse.ocl.examples.library.collection
org.eclipse.ocl.examples.library.ecore
org.eclipse.ocl.examples.library.executor
org.eclipse.ocl.examples.library.oclany
org.eclipse.ocl.examples.pivot
org.eclipse.ocl.examples.pivot.evaluation
org.eclipse.ocl.examples.pivot.executor
org.eclipse.ocl.examples.pivot.internal.impl
org.eclipse.ocl.examples.pivot.library
org.eclipse.ocl.examples.pivot.manager

Uses of DomainType in org.eclipse.ocl.examples.codegen.analyzer

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

protected java.lang.String

NameManager.getTypeNameHint(DomainType aType)

Uses of DomainType in org.eclipse.ocl.examples.domain.elements

Subinterfaces of DomainType in org.eclipse.ocl.examples.domain.elements

interface	DomainCollectionType
interface	DomainEnumeration
interface	DomainInheritance An Inheritance provides access to the transitive inheritance relationships of a type with respect to a particular type regime, noting that the complexities of CompleteOCL allow for different inheritance for different applications.
interface	DomainInvalidType
interface	DomainLambdaType
interface	DomainMetaclass
interface	DomainTupleType

Fields in org.eclipse.ocl.examples.domain.elements declared as DomainType

protected DomainType

DomainParameterTypes.DomainParameter.type

Methods in org.eclipse.ocl.examples.domain.elements that return DomainType

DomainType[]	DomainParameterTypes.get()
DomainType	DomainParameterTypes.get(int index)
DomainType	DomainStandardLibrary.getBagType() Obtains the generic instance of the BagType metatype, named Bag(T).
DomainType	DomainStandardLibrary.getBooleanType() Obtains the instance of the PrimitiveType metatype, named Boolean.
DomainType	DomainStandardLibrary.getCollectionType() Obtains the generic instance of the CollectionType metatype, named Collection(T).
DomainType	DomainType.getCommonType(IdResolver idResolver, DomainType thatType) Return the most derived type com mon to this type and thatType within standardLibrary.
DomainType	DomainCollectionType.getContainerType()
DomainType	DomainMetaclass.getContainerType()
DomainType	DomainLambdaType.getContextType()
DomainType	DomainCollectionType.getElementType()
DomainType	DomainStandardLibrary.getEnumerationType() Obtains the single instance of the EnumerationType metatype, named Enumeration.
DomainType	DomainMetaclass.getInstanceType()
DomainType	DomainStandardLibrary.getIntegerType() Obtains the instance of the PrimitiveType metatype, named Integer.
DomainType	DomainStandardLibrary.getMetaclassType() Obtains the single instance of the DomainMetaclass metatype, named Metaclass.
DomainType	DomainStandardLibrary.getMetaType(DomainType type) Returns the meta-type of a given type.
DomainType	DomainStandardLibrary.getNestedType(DomainPackage parentPackage, java.lang.String name)
DomainType	DomainType.getNormalizedType(DomainStandardLibrary standardLibrary) Return the unique executable form of this type within standardLibrary.
DomainType	DomainStandardLibrary.getOclAnyType() Obtains the single instance of the AnyType metatype, named OclAny.
DomainType	DomainStandardLibrary.getOclComparableType() Obtains the single instance of the OclComparable metatype, named OclAny.
DomainType	DomainStandardLibrary.getOclElementType() Obtains the single instance of the Class metatype, named OclElement.
DomainType	DomainStandardLibrary.getOclInvalidType() Obtains the single instance of the InvalidType metatype, named OclInvalid.
DomainType	DomainStandardLibrary.getOclMessageType() Obtains the generic instance of the MessageType metatype, named OclMessage.
DomainType	DomainStandardLibrary.getOclSelfType() Obtains the single instance of the OclSelf pseudo-metatype, named OclSelf.
DomainType	DomainStandardLibrary.getOclSummableType() Obtains the single instance of the OclSummable metatype, named OclAny.
DomainType	DomainStandardLibrary.getOclTupleType() Obtains the single instance of the OclTupleType metatype, named OclVoid.
DomainType	DomainStandardLibrary.getOclType(java.lang.String typeName)
DomainType	DomainStandardLibrary.getOclVoidType() Obtains the single instance of the VoidType metatype, named OclVoid.
DomainType	DomainStandardLibrary.getOrderedSetType() Obtains the generic instance of the OrderedSetType metatype, named OrderedSet(T).
DomainType	DomainFeature.getOwningType() Return the owner this feature.
DomainType	DomainStandardLibrary.getPrimitiveType(PrimitiveTypeId id)
DomainType	DomainStandardLibrary.getRealType() Obtains the instance of the PrimitiveType metatype, named Real.
DomainType	DomainLambdaType.getResultType()
DomainType	DomainStandardLibrary.getSequenceType() Obtains the generic instance of the SequenceType metatype, named Sequence(T).
DomainType	DomainStandardLibrary.getSetType() Obtains the generic instance of the SetType metatype, named Set(T).
DomainType	DomainStandardLibrary.getStringType() Obtains the instance of the PrimitiveType metatype, named String.
DomainType	DomainParameterTypes.DomainParameter.getType()
DomainType	DomainTypedElement.getType()
DomainType	DomainStandardLibrary.getUniqueCollectionType() Obtains the generic instance of the UniqueCollection metatype, named Set(T).
DomainType	DomainStandardLibrary.getUnlimitedNaturalType() Obtains the instance of the PrimitiveType metatype, named UnlimitedNatural.
DomainType	DomainType.specializeIn(DomainCallExp expr, DomainType selfType)

Methods in org.eclipse.ocl.examples.domain.elements that return types with arguments of type DomainType

java.util.List<? extends DomainType>	DomainType.getLocalSuperTypes()
java.util.List<? extends DomainType>	DomainPackage.getOwnedType()
java.util.List<? extends DomainType>	DomainLambdaType.getParameterTypes()

Methods in org.eclipse.ocl.examples.domain.elements with parameters of type DomainType

boolean	DomainType.conformsTo(DomainStandardLibrary standardLibrary, DomainType thatType) Return true if this type conform to thatType within standardLibrary.
DomainCollectionType	DomainStandardLibrary.getBagType(DomainType elementType, IntegerValue lower, IntegerValue upper) Return the instance of the Bag metatype whose elements are of elementType.
DomainCollectionType	DomainStandardLibrary.getCollectionType(DomainType containerType, DomainType elementType, IntegerValue lower, IntegerValue upper) Return the specialized collection type for the containerType for elementType.
DomainType	DomainType.getCommonType(IdResolver idResolver, DomainType thatType) Return the most derived type com mon to this type and thatType within standardLibrary.
DomainInheritance	DomainStandardLibrary.getInheritance(DomainType type) Return the Inheritance dispatch table for a given type.
DomainMetaclass	DomainStandardLibrary.getMetaclass(DomainType classType) Return the instance of the Metaclass metatype whose class is classType.
DomainType	DomainStandardLibrary.getMetaType(DomainType type) Returns the meta-type of a given type.
DomainCollectionType	DomainStandardLibrary.getOrderedSetType(DomainType elementType, IntegerValue lower, IntegerValue upper) Return the instance of the OrderedSet metatype whose elements are of elementType.
DomainCollectionType	DomainStandardLibrary.getSequenceType(DomainType elementType, IntegerValue lower, IntegerValue upper) Return the instance of the Sequence metatype whose elements are of elementType.
DomainCollectionType	DomainStandardLibrary.getSetType(DomainType elementType, IntegerValue lower, IntegerValue upper) Return the instance of the Set metatype whose elements are of elementType.
boolean	DomainType.isEqualTo(DomainStandardLibrary standardLibrary, DomainType thatType) Return true if this is the same type as thatType within standardLibrary.
boolean	DomainType.isEqualToUnspecializedType(DomainStandardLibrary standardLibrary, DomainType type)
DomainType	DomainType.specializeIn(DomainCallExp expr, DomainType selfType)

Constructors in org.eclipse.ocl.examples.domain.elements with parameters of type DomainType

DomainParameterTypes.DomainParameter(java.lang.String name, DomainType type)

DomainParameterTypes(DomainType... parameterTypes)

Uses of DomainType in org.eclipse.ocl.examples.domain.evaluation

Methods in org.eclipse.ocl.examples.domain.evaluation that return DomainType

DomainType	DomainEvaluator.getStaticTypeOf(java.lang.Object value)
DomainType	DomainEvaluator.getStaticTypeOf(java.lang.Object value, java.lang.Iterable<?> values)
DomainType	DomainEvaluator.getStaticTypeOf(java.lang.Object value, java.lang.Object... values)

Methods in org.eclipse.ocl.examples.domain.evaluation with parameters of type DomainType

DomainTypedElement	DomainEvaluationEnvironment.createVariable(java.lang.String name, DomainType type)
java.util.Set<org.eclipse.emf.ecore.EObject>	DomainModelManager.get(DomainType type)

Uses of DomainType in org.eclipse.ocl.examples.domain.ids

Methods in org.eclipse.ocl.examples.domain.ids with parameters of type DomainType

static BindingsId	IdManager.getBindingsId(DomainType... types)
static ClassId	IdManager.getClassId(DomainType aType) Return the classId for aType.
static DataTypeId	IdManager.getDataTypeId(DomainType aType) Return the dataTypeId for aType.
static ParametersId	IdManager.getParametersId(DomainType[] parameterTypes)
static UnspecifiedIdImpl	IdManager.getUnspecifiedTypeId(DomainType aType) Return the typeId for aType.

Uses of DomainType in org.eclipse.ocl.examples.domain.ids.impl

Fields in org.eclipse.ocl.examples.domain.ids.impl declared as DomainType

protected DomainType

UnspecifiedIdImpl.type

Constructors in org.eclipse.ocl.examples.domain.ids.impl with parameters of type DomainType

UnspecifiedIdImpl(IdManager idManager, DomainType type)

Uses of DomainType in org.eclipse.ocl.examples.domain.types

Classes in org.eclipse.ocl.examples.domain.types that implement DomainType

class	AbstractCollectionType
class	AbstractInheritance
class	AbstractMetaclass
class	AbstractSpecializedType
class	AbstractTupleType
class	AbstractType
class	DomainInvalidTypeImpl

Fields in org.eclipse.ocl.examples.domain.types declared as DomainType

protected DomainType	AbstractSpecializedType.containerType
protected DomainType	AbstractCollectionType.elementType
protected DomainType	AbstractMetaclass.instanceType
protected DomainType	AbstractTuplePart.type

Methods in org.eclipse.ocl.examples.domain.types that return DomainType

DomainType	IdResolver.getCollectionType(CollectionTypeId typeId)
DomainType	AbstractCollectionType.getCommonType(IdResolver idResolver, DomainType type)
DomainType	AbstractInheritance.getCommonType(IdResolver idResolver, DomainType type)
DomainType	AbstractMetaclass.getCommonType(IdResolver idResolver, DomainType type)
DomainType	AbstractTupleType.getCommonType(IdResolver idResolver, DomainType type)
abstract DomainType	AbstractType.getCommonType(IdResolver idResolver, DomainType type)
DomainType	DomainInvalidTypeImpl.getCommonType(IdResolver idResolver, DomainType type)
DomainType	AbstractCollectionType.getContainerType()
DomainType	AbstractSpecializedType.getContainerType()
DomainType	IdResolver.getDynamicTypeOf(java.lang.Iterable<?> values)
DomainType	IdResolver.getDynamicTypeOf(java.lang.Object... values)
DomainType	IdResolver.getDynamicTypeOf(java.lang.Object value)
DomainType	AbstractCollectionType.getElementType()
DomainType	AbstractMetaclass.getInstanceType()
DomainType	IdResolver.getJavaType(java.lang.Class<?> javaClass)
DomainType	IdResolver.getMetaclass(MetaclassId metaclassId)
protected DomainType	AbstractMetaclass.getMetaType()
DomainType	AbstractStandardLibrary.getMetaType(DomainType instanceType)
DomainType	AbstractStandardLibrary.getNestedType(DomainPackage parentPackage, java.lang.String name)
protected DomainType	AbstractMetaclass.getNormalizedInstanceType()
DomainType	AbstractInheritance.getNormalizedType(DomainStandardLibrary standardLibrary)
DomainType	AbstractType.getNormalizedType(DomainStandardLibrary standardLibrary)
DomainType	AbstractStandardLibrary.getPrimitiveType(PrimitiveTypeId typeId)
DomainType	IdResolver.getStaticTypeOf(java.lang.Object value)
DomainType	IdResolver.getStaticTypeOf(java.lang.Object value, java.lang.Iterable<?> values)
DomainType	IdResolver.getStaticTypeOf(java.lang.Object value, java.lang.Object... values)
DomainType	AbstractTuplePart.getType()
DomainType	IdResolver.getType(org.eclipse.emf.ecore.EClassifier eClassifier)
DomainType	IdResolver.getType(TypeId typeId, java.lang.Object context)
DomainType	AbstractInheritance.specializeIn(DomainCallExp expr, DomainType selfType)
DomainType	AbstractType.specializeIn(DomainCallExp expr, DomainType selfType)

Methods in org.eclipse.ocl.examples.domain.types that return types with arguments of type DomainType

java.util.List<? extends DomainType>

AbstractType.getLocalSuperTypes()

Methods in org.eclipse.ocl.examples.domain.types with parameters of type DomainType

boolean	AbstractCollectionType.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	AbstractInheritance.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	AbstractMetaclass.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	AbstractTupleType.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	DomainInvalidTypeImpl.conformsTo(DomainStandardLibrary standardLibrary, DomainType thatType)
DomainCollectionType	AbstractStandardLibrary.getBagType(DomainType elementType)
DomainCollectionType	AbstractStandardLibrary.getCollectionType(DomainType elementType)
DomainCollectionType	AbstractStandardLibrary.getCollectionType(DomainType containerType, DomainType elementType, IntegerValue lower, IntegerValue upper)
DomainType	AbstractCollectionType.getCommonType(IdResolver idResolver, DomainType type)
DomainType	AbstractInheritance.getCommonType(IdResolver idResolver, DomainType type)
DomainType	AbstractMetaclass.getCommonType(IdResolver idResolver, DomainType type)
DomainType	AbstractTupleType.getCommonType(IdResolver idResolver, DomainType type)
abstract DomainType	AbstractType.getCommonType(IdResolver idResolver, DomainType type)
DomainType	DomainInvalidTypeImpl.getCommonType(IdResolver idResolver, DomainType type)
DomainType	AbstractStandardLibrary.getMetaType(DomainType instanceType)
DomainCollectionType	AbstractStandardLibrary.getOrderedSetType(DomainType elementType)
DomainCollectionType	AbstractStandardLibrary.getSequenceType(DomainType elementType)
DomainCollectionType	AbstractStandardLibrary.getSetType(DomainType elementType)
boolean	AbstractCollectionType.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	AbstractInheritance.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	AbstractMetaclass.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	AbstractTupleType.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	DomainInvalidTypeImpl.isEqualTo(DomainStandardLibrary standardLibrary, DomainType thatType)
boolean	AbstractInheritance.isEqualToUnspecializedType(DomainStandardLibrary standardLibrary, DomainType type)
boolean	AbstractType.isEqualToUnspecializedType(DomainStandardLibrary standardLibrary, DomainType type)
DomainType	AbstractInheritance.specializeIn(DomainCallExp expr, DomainType selfType)
DomainType	AbstractType.specializeIn(DomainCallExp expr, DomainType selfType)

Constructors in org.eclipse.ocl.examples.domain.types with parameters of type DomainType

AbstractCollectionType(DomainStandardLibrary standardLibrary, java.lang.String name, DomainType containerType, DomainType elementType, IntegerValue lower, IntegerValue upper)

AbstractMetaclass(DomainStandardLibrary standardLibrary, DomainType instanceType)

AbstractSpecializedType(DomainStandardLibrary standardLibrary, java.lang.String name, DomainType containerType)

AbstractTuplePart(DomainType type, java.lang.String name)

Uses of DomainType in org.eclipse.ocl.examples.domain.utilities

Methods in org.eclipse.ocl.examples.domain.utilities that return DomainType

static DomainType[]	DomainUtil.getLambdaParameterTypes(DomainLambdaType lambdaType)
static DomainType[]	DomainUtil.getOperationParameterTypes(DomainOperation anOperation)

Uses of DomainType in org.eclipse.ocl.examples.domain.values.impl

Methods in org.eclipse.ocl.examples.domain.values.impl that return DomainType

DomainType	UndefinedValueImpl.getElement()
DomainType	UndefinedValueImpl.getInstanceType()
DomainType	IntegerValueImpl.getType(DomainStandardLibrary standardLibrary)
DomainType	InvalidValueException.getType(DomainStandardLibrary standardLibrary)
DomainType	NullValueImpl.getType(DomainStandardLibrary standardLibrary)
DomainType	RealValueImpl.getType(DomainStandardLibrary standardLibrary)
DomainType	UnlimitedValueImpl.getType(DomainStandardLibrary standardLibrary)

Uses of DomainType in org.eclipse.ocl.examples.domain.values.util

Methods in org.eclipse.ocl.examples.domain.values.util that return DomainType

static DomainType	ValuesUtil.asType(java.lang.Object value)
static DomainType	ValuesUtil.createTypeValue(DomainType type) Deprecated.

Methods in org.eclipse.ocl.examples.domain.values.util with parameters of type DomainType

static DomainType

ValuesUtil.createTypeValue(DomainType type) Deprecated.

Uses of DomainType in org.eclipse.ocl.examples.library.collection

Methods in org.eclipse.ocl.examples.library.collection that return DomainType

DomainType

CollectionElementTypeProperty.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)

Uses of DomainType in org.eclipse.ocl.examples.library.ecore

Classes in org.eclipse.ocl.examples.library.ecore that implement DomainType

class	EcoreExecutorEnumeration
class	EcoreExecutorInvalidType
class	EcoreExecutorType
class	EcoreExecutorVoidType
class	EcoreReflectiveEnumeration
class	EcoreReflectiveType

Methods in org.eclipse.ocl.examples.library.ecore that return DomainType

DomainType	EcoreExecutorManager.getDynamicTypeOf(java.lang.Object value)
DomainType	EcoreExecutorManager.getStaticTypeOf(java.lang.Object value)
DomainType	EcoreExecutorManager.getStaticTypeOf(java.lang.Object value, java.lang.Iterable<?> values)
DomainType	EcoreExecutorManager.getStaticTypeOf(java.lang.Object value, java.lang.Object... values)

Methods in org.eclipse.ocl.examples.library.ecore that return types with arguments of type DomainType

java.util.List<? extends DomainType>

EcoreReflectiveType.getLocalSuperTypes()

Methods in org.eclipse.ocl.examples.library.ecore with parameters of type DomainType

boolean	EcoreExecutorInvalidType.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	EcoreExecutorVoidType.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)

Uses of DomainType in org.eclipse.ocl.examples.library.executor

Subinterfaces of DomainType in org.eclipse.ocl.examples.library.executor

interface

ExecutorTypeArgument

Classes in org.eclipse.ocl.examples.library.executor that implement DomainType

class	DomainReflectiveType
class	ExecutorLambdaType
class	ExecutorSpecializedType
class	ExecutorTupleType
class	ExecutorType An ExecutorType defines a Type using a compact representation suitable for efficient execution and static construction.
class	ExecutorTypeParameter
class	JavaType JavaType supports the usage of Java Class to define the type of an object.
class	ReflectiveType A ReflectiveType defines a Type using a compact representation suitable for efficient execution.

Fields in org.eclipse.ocl.examples.library.executor declared as DomainType

protected DomainType

DomainReflectiveType.domainType

Fields in org.eclipse.ocl.examples.library.executor with type parameters of type DomainType

protected java.util.Map<DomainType,DomainInheritance>

ReflectivePackage.types

Methods in org.eclipse.ocl.examples.library.executor that return DomainType

DomainType	ExecutableStandardLibrary.getBagType()
DomainType	ExecutableStandardLibrary.getBooleanType()
DomainType	ExecutableStandardLibrary.getCollectionType()
DomainType	AbstractIdResolver.getCollectionType(CollectionTypeId typeId)
DomainType	ExecutorLambdaType.getCommonType(IdResolver idResolver, DomainType type)
DomainType	ExecutorSpecializedType.getCommonType(IdResolver idResolver, DomainType type)
DomainType	ExecutorTupleType.getCommonType(IdResolver idResolver, DomainType type)
DomainType	ExecutorTypeParameter.getCommonType(IdResolver idResolver, DomainType type)
DomainType	JavaType.getCommonType(IdResolver idResolver, DomainType type)
DomainType	AbstractIdResolver.getDynamicTypeOf(java.lang.Iterable<?> values)
DomainType	AbstractIdResolver.getDynamicTypeOf(java.lang.Object... values)
DomainType	AbstractIdResolver.getDynamicTypeOf(java.lang.Object value)
DomainType	ExecutorManager.getDynamicTypeOf(java.lang.Object value)
DomainType	ExecutorStandardLibrary.getEnumerationType()
DomainType	ExecutableStandardLibrary.getIntegerType()
DomainType	AbstractIdResolver.getJavaType(java.lang.Class<?> javaClass)
DomainType	AbstractIdResolver.getMetaclass(MetaclassId metaclassId)
DomainType	ExecutorStandardLibrary.getMetaclassType()
DomainType	ExecutorStandardLibrary.getNestedType(DomainPackage parentPackage, java.lang.String name)
DomainType	ExecutableStandardLibrary.getOclAnyType()
DomainType	ExecutableStandardLibrary.getOclComparableType()
DomainType	ExecutableStandardLibrary.getOclElementType()
DomainType	ExecutableStandardLibrary.getOclInvalidType()
DomainType	ExecutableStandardLibrary.getOclMessageType()
DomainType	ExecutableStandardLibrary.getOclSelfType()
DomainType	ExecutableStandardLibrary.getOclSummableType()
DomainType	ExecutableStandardLibrary.getOclTupleType()
DomainType	ExecutableStandardLibrary.getOclVoidType()
DomainType	ExecutableStandardLibrary.getOrderedSetType()
DomainType	AbstractExecutorProperty.getOwningType()
DomainType	ExecutorOperation.getOwningType()
DomainType	ExecutableStandardLibrary.getRealType()
DomainType	ExecutableStandardLibrary.getSequenceType()
DomainType	ExecutableStandardLibrary.getSetType()
DomainType	AbstractIdResolver.getStaticTypeOf(java.lang.Object value)
DomainType	ExecutorManager.getStaticTypeOf(java.lang.Object value)
DomainType	AbstractIdResolver.getStaticTypeOf(java.lang.Object value, java.lang.Iterable<?> values)
DomainType	ExecutorManager.getStaticTypeOf(java.lang.Object value, java.lang.Iterable<?> values)
DomainType	AbstractIdResolver.getStaticTypeOf(java.lang.Object value, java.lang.Object... values)
DomainType	ExecutorManager.getStaticTypeOf(java.lang.Object value, java.lang.Object... values)
DomainType	ExecutableStandardLibrary.getStringType()
DomainType	AbstractExecutorProperty.getType()
DomainType	ExecutorOperation.getType()
DomainType	ExecutorType.getType()
DomainType	ExecutorTypedElement.getType()
DomainType	ReflectiveType.getType()
abstract DomainType	AbstractIdResolver.getType(org.eclipse.emf.ecore.EClassifier eClassifier)
DomainType	ExecutorPackage.getType(java.lang.String typeName)
DomainType	AbstractIdResolver.getType(TypeId typeId, java.lang.Object context)
DomainType	ExecutableStandardLibrary.getUniqueCollectionType()
DomainType	ExecutableStandardLibrary.getUnlimitedNaturalType()
DomainType	AbstractIdResolver.visitClassId(ClassId id)
DomainType	AbstractIdResolver.visitCollectedId(CollectionTypeId id)
DomainType	AbstractIdResolver.visitCollectionTypeId(CollectionTypeId id)
DomainType	AbstractIdResolver.visitDataTypeId(DataTypeId id)
DomainType	AbstractIdResolver.visitInvalidId(OclInvalidTypeId id)
DomainType	AbstractIdResolver.visitLambdaTypeId(LambdaTypeId id)
DomainType	AbstractIdResolver.visitMetaclassId(MetaclassId id)
DomainType	AbstractIdResolver.visitNullId(OclVoidTypeId id)
DomainType	AbstractIdResolver.visitPrimitiveTypeId(PrimitiveTypeId id)
DomainType	AbstractIdResolver.visitTemplateableTypeId(TemplateableTypeId id)
DomainType	AbstractIdResolver.visitTupleTypeId(TupleTypeId id)
DomainType	AbstractIdResolver.visitUnspecifiedId(UnspecifiedId id)

Methods in org.eclipse.ocl.examples.library.executor that return types with arguments of type DomainType

protected java.util.Map<DomainType,DomainInheritance>	ReflectivePackage.computeClasses()
protected java.lang.Iterable<? extends DomainType>	DomainReflectivePackage.getDomainTypes()
protected abstract java.lang.Iterable<? extends DomainType>	ReflectivePackage.getDomainTypes()
java.util.List<? extends DomainType>	DomainReflectiveType.getLocalSuperTypes()
java.util.List<? extends DomainType>	ExecutorFragment.getLocalSuperTypes()
java.util.List<? extends DomainType>	ExecutorType.getLocalSuperTypes()
abstract java.util.List<? extends DomainType>	ExecutorPackage.getOwnedType()
java.util.List<? extends DomainType>	ReflectivePackage.getOwnedType()

Methods in org.eclipse.ocl.examples.library.executor with parameters of type DomainType

protected static int	ReflectiveType.computeFlags(DomainType type)
boolean	ExecutorLambdaType.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	ExecutorSpecializedType.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	ExecutorTupleType.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	ExecutorTypeParameter.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	JavaType.conformsTo(DomainStandardLibrary standardLibrary, DomainType thatType)
protected ReflectiveType	DomainReflectivePackage.createExecutorType(DomainType domainType)
protected abstract DomainInheritance	ReflectivePackage.createExecutorType(DomainType domainType)
protected abstract DomainMetaclass	ExecutableStandardLibrary.createMetaclass(DomainType classType)
protected DomainMetaclass	ExecutorStandardLibrary.createMetaclass(DomainType classType)
DomainTypedElement	ExecutorEvaluationEnvironment.createVariable(java.lang.String name, DomainType type)
Value	ExecutorManager.evaluateIteration(DomainType returnType, CollectionValue sourceVal, DomainTypedElement accumulator, DomainExpression body, DomainTypedElement[] iterators)
java.util.Set<org.eclipse.emf.ecore.EObject>	LazyModelManager.get(DomainType type) Lazily computes the extent of the specified class key.
DomainCollectionType	ExecutableStandardLibrary.getBagType(DomainType elementType, IntegerValue lower, IntegerValue upper)
DomainCollectionType	ExecutableStandardLibrary.getCollectionType(DomainType genericType, DomainType elementType, IntegerValue lower, IntegerValue upper)
DomainType	ExecutorLambdaType.getCommonType(IdResolver idResolver, DomainType type)
DomainType	ExecutorSpecializedType.getCommonType(IdResolver idResolver, DomainType type)
DomainType	ExecutorTupleType.getCommonType(IdResolver idResolver, DomainType type)
DomainType	ExecutorTypeParameter.getCommonType(IdResolver idResolver, DomainType type)
DomainType	JavaType.getCommonType(IdResolver idResolver, DomainType type)
DomainInheritance	ExecutorStandardLibrary.getInheritance(DomainType type)
DomainInheritance	ReflectivePackage.getInheritance(DomainType type)
DomainMetaclass	ExecutableStandardLibrary.getMetaclass(DomainType classType)
DomainCollectionType	ExecutableStandardLibrary.getOrderedSetType(DomainType elementType, IntegerValue lower, IntegerValue upper)
DomainCollectionType	ExecutableStandardLibrary.getSequenceType(DomainType elementType, IntegerValue lower, IntegerValue upper)
DomainCollectionType	ExecutableStandardLibrary.getSetType(DomainType elementType, IntegerValue lower, IntegerValue upper)
DomainTypedElement	AbstractIdResolver.getTuplePart(java.lang.String name, DomainType type)
boolean	ExecutorLambdaType.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	ExecutorSpecializedType.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	ExecutorTupleType.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	ExecutorTypeParameter.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	JavaType.isEqualTo(DomainStandardLibrary standardLibrary, DomainType thatType)
protected abstract boolean	LazyModelManager.isInstance(DomainType 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.
DomainOperation	ExecutorLambdaType.lookupOperation(DomainStandardLibrary standardLibrary, java.lang.String operationName, DomainType... argumentTypes)
DomainOperation	ExecutorSpecializedType.lookupOperation(DomainStandardLibrary standardLibrary, java.lang.String operationName, DomainType... argumentTypes)
DomainOperation	ExecutorTupleType.lookupOperation(DomainStandardLibrary standardLibrary, java.lang.String operationName, DomainType... argumentTypes)
DomainOperation	ExecutorTypeParameter.lookupOperation(DomainStandardLibrary standardLibrary, java.lang.String operationName, DomainType... argumentTypes)

Constructors in org.eclipse.ocl.examples.library.executor with parameters of type DomainType

DomainReflectiveType(DomainReflectivePackage evaluationPackage, DomainType domainType)

ExecutorSingleIterationManager(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation body, CollectionValue value, java.lang.Object accumulatorValue)
Deprecated.

ExecutorTypedElement(java.lang.String name, DomainType type)

Uses of DomainType in org.eclipse.ocl.examples.library.oclany

Methods in org.eclipse.ocl.examples.library.oclany that return DomainType

DomainType	OclAnyOclTypeOperation.evaluate(DomainEvaluator evaluator, java.lang.Object sourceVal)
DomainType	OclAnyOclTypeOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.

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

Subinterfaces of DomainType 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 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	Type A representation of the model object '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 DomainType

DomainType	PropertyCallExp.getSpecializedReferredPropertyOwningType()
DomainType	PropertyCallExp.getSpecializedReferredPropertyType()

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

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

DomainType	AbstractEvaluationVisitor.getStaticTypeOf(java.lang.Object value)
DomainType	TracingEvaluationVisitor.getStaticTypeOf(java.lang.Object value)
DomainType	AbstractEvaluationVisitor.getStaticTypeOf(java.lang.Object value, java.lang.Iterable<?> values)
DomainType	TracingEvaluationVisitor.getStaticTypeOf(java.lang.Object value, java.lang.Iterable<?> values)
DomainType	AbstractEvaluationVisitor.getStaticTypeOf(java.lang.Object value, java.lang.Object... values)
DomainType	TracingEvaluationVisitor.getStaticTypeOf(java.lang.Object value, java.lang.Object... values)

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

DomainTypedElement	PivotEvaluationEnvironment.createVariable(java.lang.String name, DomainType type) Ecore implementation of the enumeration literal value.
protected boolean	PivotModelManager.isInstance(DomainType requiredType, org.eclipse.emf.ecore.EObject eObject)
LibraryFeature	EvaluationVisitorImpl.lookupImplementation(DomainType dynamicType, DomainOperation staticOperation)

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

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

DomainType	PivotExecutorStandardLibrary.getOclType(java.lang.String typeName)
DomainType	PivotExecutorStandardLibrary.getType(org.eclipse.emf.ecore.EClassifier eClassifier)

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

protected DomainMetaclass	PivotExecutorStandardLibrary.createMetaclass(DomainType typeType)
protected Type	PivotExecutorStandardLibrary.createType(DomainType domainType)
DomainInheritance	PivotExecutorStandardLibrary.getInheritance(DomainType type)
protected Type	PivotExecutorStandardLibrary.getType(DomainType typeType)

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

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

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

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

DomainType	CollectionTypeImpl.getCommonType(IdResolver idResolver, DomainType type)
DomainType	TypeImpl.getCommonType(IdResolver idResolver, DomainType type)
DomainType	MetaclassImpl.getContainerType()
DomainType	TypeImpl.getNormalizedType(DomainStandardLibrary standardLibrary)
DomainType	PropertyCallExpImpl.getSpecializedReferredPropertyOwningType()
DomainType	PropertyCallExpImpl.getSpecializedReferredPropertyType()
DomainType	SelfTypeImpl.specializeIn(DomainCallExp expr, DomainType selfType)
DomainType	TypeImpl.specializeIn(DomainCallExp expr, DomainType selfType)

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

java.util.List<? extends DomainType>	TypeImpl.getLocalSuperTypes()
java.util.List<? extends DomainType>	LambdaTypeImpl.getParameterTypes()

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

boolean	CollectionTypeImpl.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	InvalidTypeImpl.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	LambdaTypeImpl.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	MetaclassImpl.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	SelfTypeImpl.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	TypeImpl.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	UnspecifiedTypeImpl.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	VoidTypeImpl.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
DomainType	CollectionTypeImpl.getCommonType(IdResolver idResolver, DomainType type)
DomainType	TypeImpl.getCommonType(IdResolver idResolver, DomainType type)
boolean	CollectionTypeImpl.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	TypeImpl.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	TypeImpl.isEqualToUnspecializedType(DomainStandardLibrary standardLibrary, DomainType type)
DomainType	SelfTypeImpl.specializeIn(DomainCallExp expr, DomainType selfType)
DomainType	TypeImpl.specializeIn(DomainCallExp expr, DomainType selfType)

Uses of DomainType in org.eclipse.ocl.examples.pivot.library

Methods in org.eclipse.ocl.examples.pivot.library that return DomainType

DomainType

StaticProperty.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)

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

Subinterfaces of DomainType in org.eclipse.ocl.examples.pivot.manager

interface

TypeServer A TypeServer serves coordinated behavior of one or more merged Types as required for Complete OCL type extension.

Classes in org.eclipse.ocl.examples.pivot.manager that implement DomainType

class	AbstractTypeServer An AbstractTypeServer provides the co-ordinated operation, property and superclass lookup caches for one or more merged types.
class	AnyTypeServer
class	CollectionTypeServer An CollectionTypeServer supports one or more merged collection types as the source for operations, properties or superclasses and additionally supports their specializations.
class	EnumerationTypeServer
class	ExtensibleTypeServer An ExtensibleTypeServer supports one or more merged types as the source for operations, properties or superclasses.
class	ExtensionTypeServer An ExtensionTypeServer supports the type for the extension of a class by a stereotype application.
class	InvalidTypeServer
class	MetaclassServer A MetaclassServer supports one or more merged types as the source for operations, properties or superclasses and additionally supports their specializations.
class	OrphanTypeServer An OrphanTypeServer provides a 'merge' type behaviour for a synthesized type that forms part of the OrphanPackage rather than a true package.
class	PrimitiveTypeServer A PrimitiveTypeServer supports one or more merged primitive types.
class	TemplateableTypeServer An TemplateableTypeServer supports one or more merged types as the source for operations, properties or superclasses and additionally supports their specializations.

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

protected DomainType

AbstractTypeServer.domainType

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

protected java.util.Map<DomainTemplateParameter,DomainType>

TemplateSpecialisation.bindings

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

DomainType	MetaModelManager.getMetaType(DomainType instanceType)
DomainType	MetaModelManager.getNestedType(DomainPackage packageServer, java.lang.String name)
DomainType	MetaModelManager.getOclType(java.lang.String typeName)
DomainType	TemplateSpecialisation.getSpecialisation(DomainType referredType)
DomainType	PivotIdResolver.getType(org.eclipse.emf.ecore.EClassifier eClassifier)
DomainType	TemplateParameterSubstitutionVisitor.specialize(TemplateableElement templateableElement)
DomainType	TemplateParameterSubstitutionVisitor.specialize(TemplateParameter templateParameter)

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

java.lang.Iterable<? extends DomainType>	MetaModelManager.getAllSuperClasses(DomainType type)
protected java.lang.Iterable<? extends DomainType>	PackageServer.getDomainTypes()
java.util.List<? extends DomainType>	AbstractTypeServer.getLocalSuperTypes()
java.lang.Iterable<DomainType>	ExtensibleTypeServer.getPartialTypes()
java.lang.Iterable<? extends DomainType>	TypeServer.getPartialTypes()
java.lang.Iterable<? extends DomainType>	MetaModelManager.getPartialTypes(DomainType pivotType)

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

protected DomainInheritance	PackageServer.createExecutorType(DomainType domainType)
ExtensibleTypeServer	PackageManager.findTypeServer(DomainType pivotType)
java.lang.Iterable<? extends DomainOperation>	MetaModelManager.getAllOperations(DomainType type, boolean selectStatic)
java.lang.Iterable<? extends DomainOperation>	MetaModelManager.getAllOperations(DomainType type, boolean selectStatic, java.lang.String name)
java.lang.Iterable<? extends DomainProperty>	MetaModelManager.getAllProperties(DomainType type, boolean selectStatic)
java.lang.Iterable<? extends DomainProperty>	MetaModelManager.getAllProperties(DomainType type, boolean selectStatic, java.lang.String name)
java.lang.Iterable<? extends DomainType>	MetaModelManager.getAllSuperClasses(DomainType type)
CollectionType	MetaModelManager.getBagType(DomainType elementType, IntegerValue lower, IntegerValue upper)
CollectionType	MetaModelManager.getCollectionType(DomainType containerType, DomainType elementType, IntegerValue lower, IntegerValue upper)
DomainInheritance	MetaModelManager.getInheritance(DomainType type)
Metaclass	MetaModelManager.getMetaclass(DomainType domainInstanceType)
DomainType	MetaModelManager.getMetaType(DomainType instanceType)
CollectionType	MetaModelManager.getOrderedSetType(DomainType elementType, IntegerValue lower, IntegerValue upper)
java.lang.Iterable<? extends DomainType>	MetaModelManager.getPartialTypes(DomainType pivotType)
Type	MetaModelManager.getPrimaryType(DomainType type)
CollectionType	MetaModelManager.getSequenceType(DomainType elementType, IntegerValue lower, IntegerValue upper)
CollectionType	MetaModelManager.getSetType(DomainType elementType, IntegerValue lower, IntegerValue upper)
DomainType	TemplateSpecialisation.getSpecialisation(DomainType referredType)
Type	MetaModelManager.getType(DomainType dType)
TypeServer	MetaModelManager.getTypeServer(DomainType pivotType)
TypeServer	OrphanPackageServer.getTypeServer(DomainType type)
TypeServer	PackageManager.getTypeServer(DomainType pivotType)
org.eclipse.ocl.examples.pivot.manager.TypeTracker	ExtensibleTypeServer.getTypeTracker(DomainType pivotType)
protected void	AbstractTypeServer.initMemberFeaturesFrom(DomainType pivotType)
protected void	AbstractTypeServer.initMemberPropertiesFrom(DomainType type)
void	TemplateSpecialisation.installEquivalence(DomainType resolvedType, DomainType referencedType)
boolean	MetaModelManager.isTypeServeable(DomainType type)
static boolean	TemplateSpecialisation.needsSpecialisation(DomainType referencedType) Return true if a referencedType needs specialisation to resolve a template parameter.
protected void	TemplateParameterSubstitutionVisitor.visit(Type newFormal, DomainType newActual)

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

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 DomainType

AbstractTypeServer(PackageServer packageServer, DomainType domainType)

ExtensibleTypeServer(PackageServer packageServer, DomainType domainType)

TemplateableTypeServer(PackageServer packageServer, DomainType domainType)