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

Packages that use DomainType

org.eclipse.ocl.examples.domain.elements
org.eclipse.ocl.examples.domain.evaluation
org.eclipse.ocl.examples.domain.library
org.eclipse.ocl.examples.domain.types
org.eclipse.ocl.examples.domain.values
org.eclipse.ocl.examples.domain.values.impl
org.eclipse.ocl.examples.library.classifier
org.eclipse.ocl.examples.library.collection
org.eclipse.ocl.examples.library.ecore
org.eclipse.ocl.examples.library.enumeration
org.eclipse.ocl.examples.library.executor
org.eclipse.ocl.examples.library.integer
org.eclipse.ocl.examples.library.iterator
org.eclipse.ocl.examples.library.logical
org.eclipse.ocl.examples.library.numeric
org.eclipse.ocl.examples.library.oclany
org.eclipse.ocl.examples.library.oclinvalid
org.eclipse.ocl.examples.library.oclvoid
org.eclipse.ocl.examples.library.real
org.eclipse.ocl.examples.library.string
org.eclipse.ocl.examples.pivot
org.eclipse.ocl.examples.pivot.bodies
org.eclipse.ocl.examples.pivot.ecore
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.domain.elements

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

interface	DomainClassifierType
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	DomainLambdaType
interface	DomainTupleType

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

DomainType	DomainStandardLibrary.getAnyClassifierType() Obtains the single instance of the DomainClassifierType metatype, named AnyClassifier.
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(DomainStandardLibrary standardLibrary, DomainType thatType) Return the most derived type com mon to this type and thatType within standardLibrary.
DomainType	DomainClassifierType.getContainerType()
DomainType	DomainCollectionType.getContainerType()
DomainType	DomainCollectionType.getElementType()
DomainType	DomainStandardLibrary.getEnumerationType() Obtains the single instance of the EnumerationType metatype, named Enumeration.
DomainType	DomainClassifierType.getInstanceType()
DomainType	DomainStandardLibrary.getIntegerType() Obtains the instance of the PrimitiveType metatype, named Integer.
DomainType	DomainStandardLibrary.getMetaType(DomainType type) Returns the meta-type of a given type.
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	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	DomainExpression.getType()
DomainType	DomainTypedElement.getType()
DomainType	DomainStandardLibrary.getType(DomainElement element)
DomainType	DomainStandardLibrary.getType(org.eclipse.emf.ecore.EClassifier eClassifier)
DomainType	DomainStandardLibrary.getUnlimitedNaturalType() Obtains the instance of the PrimitiveType metatype, named UnlimitedNatural.

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

java.lang.Iterable<? extends DomainType>	DomainType.getLocalSuperTypes()
java.lang.Iterable<? extends DomainType>	DomainPackage.getOwnedType()
java.util.List<? extends DomainType>	DomainLambdaType.getParameterType()
IndexableIterable<? extends DomainType>	DomainOperation.getParameterType() Return the ordered list of parameters of this operation.

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) Return the instance of the Bag metatype whose elements are of elementType.
DomainClassifierType	DomainStandardLibrary.getClassifierType(DomainType classType) Return the instance of the Classifier metatype whose class is classType.
DomainCollectionType	DomainStandardLibrary.getCollectionType(DomainCollectionType containerType, DomainType elementType) Return the specialized collection type for the containerType for elementType.
DomainType	DomainType.getCommonType(DomainStandardLibrary standardLibrary, 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.
DomainType	DomainStandardLibrary.getMetaType(DomainType type) Returns the meta-type of a given type.
DomainCollectionType	DomainStandardLibrary.getOrderedSetType(DomainType elementType) Return the instance of the OrderedSet metatype whose elements are of elementType.
DomainCollectionType	DomainStandardLibrary.getSequenceType(DomainType elementType) Return the instance of the Sequence metatype whose elements are of elementType.
DomainCollectionType	DomainStandardLibrary.getSetType(DomainType elementType) Return the instance of the Set metatype whose elements are of elementType.
DomainTypedElement	DomainStandardLibrary.getTuplePart(java.lang.String name, DomainType type) Obtains the instance of the tuple part description for a name and a type.
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)

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

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

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

Value	LibraryIteration.createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType) Create the value that will accumulate the iteration results.
Value	LibraryUnaryOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue) Return the result of evaluating the operation on an argument.
Value	LibraryProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)
Value	LibraryBinaryOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value argumentValue) Return the result of evaluating the operation on left and right arguments.
Value	LibraryTernaryOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue) Return the result of evaluating the operation on source with arg1 and arg2.

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

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

class	AbstractClassifierType
class	AbstractCollectionType
class	AbstractInheritance
class	AbstractSpecializedType
class	AbstractTupleType
class	AbstractType

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

protected DomainType	AbstractSpecializedType.containerType
protected DomainType	AbstractCollectionType.elementType
protected DomainType	AbstractClassifierType.instanceType
protected DomainType	AbstractClassifierType.metaType
protected DomainType	AbstractTuplePart.type

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

DomainType	AbstractClassifierType.getCommonType(DomainStandardLibrary standardLibrary, DomainType type)
DomainType	AbstractCollectionType.getCommonType(DomainStandardLibrary standardLibrary, DomainType type)
DomainType	AbstractInheritance.getCommonType(DomainStandardLibrary standardLibrary, DomainType type)
DomainType	AbstractTupleType.getCommonType(DomainStandardLibrary standardLibrary, DomainType type)
abstract DomainType	AbstractType.getCommonType(DomainStandardLibrary standardLibrary, DomainType type)
DomainType	AbstractSpecializedType.getContainerType()
DomainType	AbstractCollectionType.getElementType()
DomainType	AbstractClassifierType.getInstanceType()
protected DomainType	AbstractClassifierType.getMetaType()
DomainType	AbstractStandardLibrary.getMetaType(DomainType instanceType)
protected DomainType	AbstractClassifierType.getNormalizedInstanceType()
DomainType	AbstractInheritance.getNormalizedType(DomainStandardLibrary standardLibrary)
DomainType	AbstractType.getNormalizedType(DomainStandardLibrary standardLibrary)
DomainType	AbstractTuplePart.getType()
DomainType	AbstractStandardLibrary.getType(DomainElement element)

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

java.lang.Iterable<? extends DomainType>

AbstractType.getLocalSuperTypes()

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

boolean	AbstractClassifierType.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	AbstractCollectionType.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	AbstractInheritance.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	AbstractTupleType.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
DomainCollectionType	AbstractStandardLibrary.getCollectionType(DomainCollectionType containerType, DomainType elementType)
DomainType	AbstractClassifierType.getCommonType(DomainStandardLibrary standardLibrary, DomainType type)
DomainType	AbstractCollectionType.getCommonType(DomainStandardLibrary standardLibrary, DomainType type)
DomainType	AbstractInheritance.getCommonType(DomainStandardLibrary standardLibrary, DomainType type)
DomainType	AbstractTupleType.getCommonType(DomainStandardLibrary standardLibrary, DomainType type)
abstract DomainType	AbstractType.getCommonType(DomainStandardLibrary standardLibrary, DomainType type)
DomainType	AbstractStandardLibrary.getMetaType(DomainType instanceType)
DomainTypedElement	AbstractStandardLibrary.getTuplePart(java.lang.String name, DomainType type)
boolean	AbstractClassifierType.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	AbstractCollectionType.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	AbstractInheritance.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	AbstractTupleType.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	AbstractInheritance.isEqualToUnspecializedType(DomainStandardLibrary standardLibrary, DomainType type)
boolean	AbstractType.isEqualToUnspecializedType(DomainStandardLibrary standardLibrary, DomainType type)

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

AbstractClassifierType(DomainStandardLibrary standardLibrary, DomainType containerType, DomainType instanceType)

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

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

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

DomainType	Value.getActualType() Return the type of this value determined from its content.
DomainType	ValueFactory.getElementType(java.lang.Iterable<Value> values)
DomainType	ValueFactory.getElementType(Value... values)
DomainType	ClassifierTypeValue.getInstanceType()
DomainType	TypeValue.getInstanceType()
DomainType	Value.getType() Return the type of this value determined from its construction context.
DomainType	ValueFactory.typeOf(Value value, Value... values)

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

CollectionValue	ValueFactory.createCollectionValue(boolean isOrdered, boolean isUnique, DomainType elementType, java.util.Collection<Value> values)
CollectionValue	ValueFactory.createCollectionValue(boolean isOrdered, boolean isUnique, DomainType elementType, Value... values)
Value	ValueFactory.createTypeValue(DomainType type)
Value	CollectionValue.maxMin(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation)
CollectionValue	CollectionValue.selectByKind(DomainType typeValue)
CollectionValue	CollectionValue.selectByType(DomainType typeValue)
Value	CollectionValue.sum(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation, Value zero)

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

Classes in org.eclipse.ocl.examples.domain.values.impl with type parameters of type DomainType

class

AbstractTypeValueImpl<T extends DomainType>

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

protected DomainType	EObjectValueImpl.type
protected DomainType	ElementValueImpl.type
protected DomainType	ObjectValueImpl.type

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

DomainType	AbstractValue.getActualType()
DomainType	AbstractedCollectionValue.getActualType()
DomainType	AbstractUndefinedValue.getElement()
protected DomainType	AbstractCollectionValue.getElementType()
DomainType	AbstractValueFactory.getElementType(java.lang.Iterable<Value> values)
DomainType	AbstractValueFactory.getElementType(Value... values)
DomainType	AbstractUndefinedValue.getInstanceType()
DomainType	AbstractIntegerValue.getType()
DomainType	BooleanValueImpl.getType()
DomainType	EObjectValueImpl.getType()
DomainType	ElementValueImpl.getType()
DomainType	InvalidValueImpl.getType()
DomainType	NullValueImpl.getType()
DomainType	ObjectValueImpl.getType()
DomainType	RealValueImpl.getType()
DomainType	StringValueImpl.getType()
DomainType	UnlimitedValueImpl.getType()
DomainType	AbstractValueFactory.typeOf(Value value, Value... values)

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

CollectionValue	AbstractValueFactory.createCollectionValue(boolean isOrdered, boolean isUnique, DomainType elementType, java.util.Collection<Value> values) Creates a new OCL Collection of the specified ordering and uniqueness.
CollectionValue	AbstractValueFactory.createCollectionValue(boolean isOrdered, boolean isUnique, DomainType elementType, Value... values)
TypeValue	AbstractValueFactory.createTypeValue(DomainType type)
Value	AbstractCollectionValue.maxMin(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation)
Value	AbstractUndefinedCollectionValue.maxMin(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation)
CollectionValue	AbstractCollectionValue.selectByKind(DomainType requiredElementType)
CollectionValue	AbstractUndefinedCollectionValue.selectByKind(DomainType elementType)
CollectionValue	AbstractCollectionValue.selectByType(DomainType requiredElementType)
CollectionValue	AbstractUndefinedCollectionValue.selectByType(DomainType elementType)
Value	AbstractCollectionValue.sum(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation, Value zero)
Value	AbstractUndefinedCollectionValue.sum(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation, Value zero)

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

SimpleTypeValueImpl(ValueFactory valueFactory, DomainType type)

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

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

Value	ClassifierAllInstancesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)
Value	ClassifierOclContainerOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)
Value	ClassifierOclContentsOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue)
Value	OclTypeConformsToOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)

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

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

Value	CollectionAsBagOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)
Value	CollectionAsOrderedSetOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)
Value	CollectionAsSequenceOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)
Value	CollectionAsSetOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)
Value	CollectionFlattenOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)
Value	CollectionIsEmptyOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)
Value	CollectionMaxOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)
Value	CollectionMinOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)
Value	CollectionNotEmptyOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)
Value	CollectionSizeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)
Value	CollectionSumOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)
Value	OrderedCollectionFirstOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)
Value	OrderedCollectionLastOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)
Value	OrderedCollectionReverseOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)
Value	CollectionClassifierElementTypeProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)
Value	CollectionCountOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	CollectionExcludesAllOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	CollectionExcludesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	CollectionExcludingOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	CollectionIncludesAllOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	CollectionIncludesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	CollectionIncludingOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	CollectionIntersectionOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	CollectionProductOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)
Value	CollectionSelectByKindOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)
Value	CollectionSelectByTypeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)
Value	CollectionUnionOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	OrderedCollectionAppendOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	OrderedCollectionAtOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	OrderedCollectionIndexOfOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	OrderedCollectionPrependOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	SetMinusOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	SetSymmetricDifferenceOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	OrderedCollectionInsertAtOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)
Value	OrderedSetSubOrderedSetOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)
Value	SequenceSubSequenceOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)

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

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

class	EcoreExecutorEnumeration
class	EcoreExecutorType
class	EcoreReflectiveType

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

java.lang.Iterable<? extends DomainType>

EcoreReflectiveType.getLocalSuperTypes()

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

Value	EcoreLibraryOppositeProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)
Value	EcoreLibraryProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)

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

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

Value	EnumerationAllInstancesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)
Value	EnumerationClassifierOwnedLiteralProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)

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	ExecutorType
class	ExecutorTypeParameter
class	ReflectiveType

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

protected DomainType	DomainReflectiveType.domainType
protected DomainType	ExecutorDoubleIterationManager.returnType
protected DomainType	ExecutorSingleIterationManager.returnType

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

protected java.util.Map<DomainType,ReflectiveType>

ReflectivePackage.types

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

DomainType	ExecutableStandardLibrary.getAnyClassifierType()
DomainType	ExecutableStandardLibrary.getBagType()
DomainType	ExecutableStandardLibrary.getBooleanType()
DomainType	ExecutableStandardLibrary.getCollectionType()
DomainType	ExecutorLambdaType.getCommonType(DomainStandardLibrary standardLibrary, DomainType type)
DomainType	ExecutorSpecializedType.getCommonType(DomainStandardLibrary standardLibrary, DomainType type)
DomainType	ExecutorTypeParameter.getCommonType(DomainStandardLibrary standardLibrary, DomainType type)
DomainType	ExecutableStandardLibrary.getEnumerationType()
DomainType	ExecutableStandardLibrary.getIntegerType()
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	ExecutableStandardLibrary.getRealType()
DomainType	ExecutableStandardLibrary.getSequenceType()
DomainType	ExecutableStandardLibrary.getSetType()
DomainType	ExecutableStandardLibrary.getStringType()
DomainType	ExecutorProperty.getType()
DomainType	ExecutorType.getType()
DomainType	ExecutorTypedElement.getType()
DomainType	ReflectiveType.getType()
DomainType	ExecutableStandardLibrary.getUnlimitedNaturalType()
DomainType	ExecutorManager.typeOf(Value value, Value... values)

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

protected java.lang.Iterable<? extends DomainType>	DomainReflectivePackage.getDomainTypes()
protected abstract java.lang.Iterable<? extends DomainType>	ReflectivePackage.getDomainTypes()
java.lang.Iterable<? extends DomainType>	DomainReflectiveType.getLocalSuperTypes()
java.lang.Iterable<? extends DomainType>	ExecutorFragment.getLocalSuperTypes()
java.lang.Iterable<? extends DomainType>	ExecutorType.getLocalSuperTypes()
java.lang.Iterable<? extends DomainType>	ReflectivePackage.getOwnedType()
IndexableIterable<DomainType>	ExecutorOperation.getParameterType()

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	ExecutorTypeParameter.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
protected abstract DomainClassifierType	ExecutableStandardLibrary.createClassifierType(DomainType classType)
protected DomainClassifierType	ExecutorStandardLibrary.createClassifierType(DomainType classType)
protected ReflectiveType	DomainReflectivePackage.createExecutorType(DomainType domainType)
protected abstract ReflectiveType	ReflectivePackage.createExecutorType(DomainType domainType)
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)
DomainClassifierType	ExecutableStandardLibrary.getClassifierType(DomainType classType)
DomainCollectionType	ExecutableStandardLibrary.getCollectionType(DomainType genericType, DomainType elementType)
DomainType	ExecutorLambdaType.getCommonType(DomainStandardLibrary standardLibrary, DomainType type)
DomainType	ExecutorSpecializedType.getCommonType(DomainStandardLibrary standardLibrary, DomainType type)
DomainType	ExecutorTypeParameter.getCommonType(DomainStandardLibrary standardLibrary, DomainType type)
DomainInheritance	ExecutorStandardLibrary.getInheritance(DomainType type)
ReflectiveType	ReflectivePackage.getInheritance(DomainType type)
DomainCollectionType	ExecutableStandardLibrary.getOrderedSetType(DomainType elementType)
DomainCollectionType	ExecutableStandardLibrary.getSequenceType(DomainType elementType)
DomainCollectionType	ExecutableStandardLibrary.getSetType(DomainType elementType)
boolean	ExecutorLambdaType.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	ExecutorSpecializedType.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	ExecutorTypeParameter.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
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	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)

ExecutorDoubleIterationManager(DomainEvaluator evaluator, DomainType returnType, LibraryTernaryOperation body, CollectionValue collectionValue, Value accumulatorValue)

ExecutorSingleIterationManager(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation body, CollectionValue collectionValue, Value accumulatorValue)

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

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

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

Value	IntegerCompareToOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	IntegerMinusOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	IntegerPlusOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)

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

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

protected DomainType

SortedByIteration.SortingValue.type

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

DomainType

SortedByIteration.SortingValue.getType()

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

CollectionValue.Accumulator	AnyIteration.createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType)
CollectionValue.Accumulator	ClosureIteration.createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType)
CollectionValue.Accumulator	CollectIteration.createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType)
CollectionValue.Accumulator	CollectNestedIteration.createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType)
BooleanValue.Accumulator	ExistsIteration.createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType)
BooleanValue.Accumulator	ForAllIteration.createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType)
CollectionValue.Accumulator	IsUniqueIteration.createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType)
Value	IterateIteration.createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType)
BooleanValue.Accumulator	OneIteration.createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType)
CollectionValue.Accumulator	RejectIteration.createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType)
CollectionValue.Accumulator	SelectIteration.createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType)
SortedByIteration.SortingValue	SortedByIteration.createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType)

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

SortedByIteration.SortingValue(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation implementation)

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

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

Value	BooleanAllInstancesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)
BooleanValue	BooleanNotOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)
BooleanValue	BooleanAndOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
BooleanValue	BooleanImpliesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
BooleanValue	BooleanOrOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
BooleanValue	BooleanXorOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)

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

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

Value	AbstractNumericUnaryOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)
Value	AbstractNumericBinaryOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	UnlimitedNaturalOclAsTypeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)

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

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

Value	OclAnyOclAsSetOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)
BooleanValue	OclAnyOclIsInvalidOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)
BooleanValue	OclAnyOclIsUndefinedOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)
Value	OclAnyOclTypeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)
Value	OclAnyToStringOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)
BooleanValue	OclAnyEqualOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
BooleanValue	OclAnyNotEqualOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	OclAnyOclAsTypeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)
Value	OclAnyOclIsInStateOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)
Value	OclAnyOclIsKindOfOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)
Value	OclAnyOclIsTypeOfOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)
Value	OclAnyUnsupportedOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value argumentValue)
Value	OclComparableComparisonOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)

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

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

Value

OclInvalidAllInstancesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)

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

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

Value	OclVoidAllInstancesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)
BooleanValue	OclVoidAndOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
BooleanValue	OclVoidImpliesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
BooleanValue	OclVoidOrOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)

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

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

Value	RealCompareToOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	RealMinusOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	RealPlusOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)

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

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

Value	StringCharactersOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)
Value	StringSizeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)
Value	StringToBooleanOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)
Value	StringToIntegerOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)
Value	StringToLowerCaseOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)
Value	StringToRealOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)
Value	StringToUpperCaseOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)
Value	StringTokenizeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue)
Value	StringTrimOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)
Value	StringAtOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	StringCompareToOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	StringConcatOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	StringEndsWithOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	StringEqualsIgnoreCaseOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	StringGreaterThanEqualOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	StringGreaterThanOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	StringIndexOfOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	StringLastIndexOfOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	StringLessThanEqualOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	StringLessThanOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	StringMatchesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	StringStartsWithOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
Value	StringTokenizeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value argumentValue)
Value	StringReplaceAllOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)
Value	StringReplaceFirstOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)
Value	StringSubstituteAllOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)
Value	StringSubstituteFirstOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)
Value	StringSubstringOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)
Value	StringTokenizeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)

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	Class A representation of the model object 'Class'.
interface	ClassifierType A representation of the model object 'Classifier Type'.
interface	CollectionType A representation of the model object 'Collection Type'.
interface	DataType A representation of the model object 'Data Type'.
interface	Enumeration A representation of the model object 'Enumeration'.
interface	InvalidType A representation of the model object 'Invalid Type'.
interface	LambdaType A representation of the model object 'Lambda Type'.
interface	MessageType A representation of the model object 'Message Type'.
interface	OrderedSetType A representation of the model object 'Ordered Set Type'.
interface	PrimitiveType A representation of the model object 'Primitive Type'.
interface	SelfType A representation of the model object 'Self Type'.
interface	SequenceType A representation of the model object 'Sequence Type'.
interface	SetType A representation of the model object 'Set Type'.
interface	TemplateParameterType A representation of the model object 'Template Parameter Type'.
interface	TupleType A representation of the model object 'Tuple Type'.
interface	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'.

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

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

Value	BooleanLiteralExpBodies._invariant_TypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	CollectionItemBodies._invariant_TypeIsItemType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	CollectionLiteralExpBodies._invariant_BagKindIsBag.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	CollectionLiteralExpBodies._invariant_CollectionKindIsConcrete.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	CollectionLiteralExpBodies._invariant_OrderedSetKindIsOrderedSet.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	CollectionLiteralExpBodies._invariant_SequenceKindIsSequence.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	CollectionLiteralExpBodies._invariant_SetKindIsSet.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	ConstraintBodies._invariant_UniqueName.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	ElementBodies._invariant_not_own_self.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	ElementBodies._allOwnedElements_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	EnumLiteralExpBodies._invariant_TypeIsEnumerationType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IfExpBodies._invariant_ConditionTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IntegerLiteralExpBodies._invariant_TypeIsInteger.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IterateExpBodies._invariant_BodyTypeConformsToResultType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IterateExpBodies._invariant_OneInitializer.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IterateExpBodies._invariant_TypeIsResultType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IteratorExpBodies._invariant_AnyBodyTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IteratorExpBodies._invariant_AnyHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IteratorExpBodies._invariant_AnyTypeIsSourceElementType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IteratorExpBodies._invariant_ClosureElementTypeIsSourceElementType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IteratorExpBodies._invariant_ClosureHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IteratorExpBodies._invariant_ClosureSourceElementTypeIsBodyElementType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IteratorExpBodies._invariant_ClosureTypeIsUniqueCollection.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IteratorExpBodies._invariant_CollectElementTypeIsSourceElementType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IteratorExpBodies._invariant_CollectHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IteratorExpBodies._invariant_CollectNestedHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IteratorExpBodies._invariant_CollectNestedTypeIsBag.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IteratorExpBodies._invariant_CollectNestedTypeIsBodyType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IteratorExpBodies._invariant_CollectTypeIsUnordered.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IteratorExpBodies._invariant_ExistsBodyTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IteratorExpBodies._invariant_ExistsTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IteratorExpBodies._invariant_ForAllBodyTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IteratorExpBodies._invariant_ForAllTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IteratorExpBodies._invariant_IsUniqueHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IteratorExpBodies._invariant_IsUniqueTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IteratorExpBodies._invariant_IteratorTypeIsSourceElementType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IteratorExpBodies._invariant_OneBodyTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IteratorExpBodies._invariant_OneHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IteratorExpBodies._invariant_OneTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IteratorExpBodies._invariant_RejectOrSelectHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IteratorExpBodies._invariant_RejectOrSelectTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IteratorExpBodies._invariant_RejectOrSelectTypeIsSourceType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IteratorExpBodies._invariant_SortedByElementTypeIsSourceElementType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IteratorExpBodies._invariant_SortedByHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	IteratorExpBodies._invariant_SortedByIsOrderedIfSourceIsOrdered.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	LetExpBodies._invariant_TypeIsInType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	LoopExpBodies._invariant_NoInitializers.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	LoopExpBodies._invariant_SourceIsCollection.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	MessageExpBodies._invariant_OneCallOrOneSend.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	MessageExpBodies._invariant_TargetIsNotACollection.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	MultiplicityElementBodies._invariant_lower_ge_0.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	MultiplicityElementBodies._invariant_upper_ge_lower.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	MultiplicityElementBodies._isMultivalued_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	MultiplicityElementBodies._lowerBound_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	MultiplicityElementBodies._upperBound_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	OpaqueExpressionBodies._invariant_language_body_size.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	OperationBodies._invariant_CompatibleReturn.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	OperationCallExpBodies._invariant_ArgumentCount.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	PropertyBodies._invariant_CompatibleInitialiser.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	TemplateBindingBodies._invariant_one_parameter_substitution.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	TemplateBindingBodies._invariant_parameter_substitution_formal.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	TemplateParameterBodies._invariant_must_be_compatible.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	TemplateParameterSubstitutionBodies._invariant_must_be_compatible.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	TemplateSignatureBodies._invariant_own_elements.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	TemplateableElementBodies._isTemplate_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	TemplateableElementBodies._parameterableElements_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	TypeTemplateParameterBodies._invariant_has_constraining_type.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	TypedMultiplicityElementBodies._makeParameter_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	ValueSpecificationBodies._booleanValue_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	ValueSpecificationBodies._integerValue_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	ValueSpecificationBodies._isComputable_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	ValueSpecificationBodies._isNull_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	ValueSpecificationBodies._stringValue_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	ValueSpecificationBodies._unlimitedValue_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)
Value	MultiplicityElementBodies._includesCardinality_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self, Value C)
Value	MultiplicityElementBodies._includesMultiplicity_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self, Value M)
Value	ParameterableElementBodies._isCompatibleWith_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self, Value p)
Value	PropertyBodies._isAttribute_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self, Value p)
Value	SelfTypeBodies._resolveSelfType_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self, Value selfType)
Value	TypeBodies._resolveSelfType_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self, Value selfType)
Value	TypedMultiplicityElementBodies._CompatibleBody_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self, Value bodySpecification)

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

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

Value	EObjectOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue)
Value	EObjectProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)
Value	EObjectOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value argumentValue)
Value	EObjectOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)

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

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

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

class	PivotReflectiveAnyType
class	PivotReflectiveEnumerationType
class	PivotReflectiveInvalidType
class	PivotReflectiveType
class	PivotReflectiveVoidType

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 that return types with arguments of type DomainType

protected java.lang.Iterable<? extends DomainType>	PivotReflectivePackage.getDomainTypes()
java.lang.Iterable<? extends DomainType>	PivotReflectiveType.getLocalSuperTypes()

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

protected DomainClassifierType	PivotExecutorStandardLibrary.createClassifierType(DomainType typeType)
protected PivotReflectiveType	PivotReflectivePackage.createExecutorType(DomainType domainType)
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	ClassifierTypeImpl An implementation of the model object 'Classifier Type'.
class	ClassImpl An implementation of the model object 'Class'.
class	CollectionTypeImpl An implementation of the model object 'Collection Type'.
class	DataTypeImpl An implementation of the model object 'Data Type'.
class	EnumerationImpl An implementation of the model object 'Enumeration'.
class	InvalidTypeImpl An implementation of the model object 'Invalid Type'.
class	LambdaTypeImpl An implementation of the model object 'Lambda Type'.
class	MessageTypeImpl An implementation of the model object 'Message Type'.
class	OrderedSetTypeImpl An implementation of the model object 'Ordered Set Type'.
class	PrimitiveTypeImpl An implementation of the model object 'Primitive Type'.
class	SelfTypeImpl An implementation of the model object 'Self Type'.
class	SequenceTypeImpl An implementation of the model object 'Sequence Type'.
class	SetTypeImpl An implementation of the model object 'Set Type'.
class	TemplateParameterTypeImpl An implementation of the model object 'Template Parameter Type'.
class	TupleTypeImpl An implementation of the model object 'Tuple Type'.
class	TypeImpl An implementation of the model object 'Type'.
class	UnspecifiedTypeImpl An implementation of the model object 'Unspecified Type'.
class	VoidTypeImpl An implementation of the model object 'Void Type'.

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

DomainType	CollectionTypeImpl.getCommonType(DomainStandardLibrary standardLibrary, DomainType type)
DomainType	TypeImpl.getCommonType(DomainStandardLibrary standardLibrary, DomainType type)
DomainType	ClassifierTypeImpl.getContainerType()
DomainType	TypeImpl.getNormalizedType(DomainStandardLibrary standardLibrary)

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

java.lang.Iterable<? extends DomainType>

TypeImpl.getLocalSuperTypes()

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

boolean	AnyTypeImpl.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	ClassifierTypeImpl.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	CollectionTypeImpl.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	EnumerationImpl.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	InvalidTypeImpl.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	LambdaTypeImpl.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(DomainStandardLibrary standardLibrary, DomainType type)
DomainType	TypeImpl.getCommonType(DomainStandardLibrary standardLibrary, DomainType type)
boolean	CollectionTypeImpl.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	TypeImpl.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	TypeImpl.isEqualToUnspecializedType(DomainStandardLibrary standardLibrary, DomainType type)

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

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

Value	ConstrainedOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue)
Value	UnimplementedOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue)
Value	CompositionProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)
Value	ConstrainedProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)
Value	ExplicitNavigationProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)
Value	ImplicitNonCompositionProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty thisProperty)
Value	TuplePartProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)
Value	ConstrainedOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value argumentValue)
Value	JavaCompareToOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value leftValue, Value rightValue)
Value	ConstrainedOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)

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

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

DomainType	MetaModelManager.getMetaType(DomainType instanceType)
DomainType	MetaModelManager.getOclType(java.lang.String typeName)
DomainType	MetaModelManager.getType(DomainElement element)
DomainType	MetaModelManager.getType(org.eclipse.emf.ecore.EClassifier eClassifier)

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

CollectionType	MetaModelManager.getBagType(DomainType elementType)
ClassifierType	MetaModelManager.getClassifierType(DomainType instanceType)
CollectionType	MetaModelManager.getCollectionType(DomainType genericType, DomainType elementType)
ReflectiveType	MetaModelManager.getInheritance(DomainType type)
DomainType	MetaModelManager.getMetaType(DomainType instanceType)
CollectionType	MetaModelManager.getOrderedSetType(DomainType elementType)
CollectionType	MetaModelManager.getSequenceType(DomainType elementType)
CollectionType	MetaModelManager.getSetType(DomainType elementType)
Type	MetaModelManager.getType(DomainType dType)