org.eclipse.ocl.examples.library.executor
Class ExecutableStandardLibrary

java.lang.Object
  org.eclipse.ocl.examples.domain.types.AbstractStandardLibrary
      org.eclipse.ocl.examples.library.executor.ExecutableStandardLibrary

All Implemented Interfaces:

DomainStandardLibrary

Direct Known Subclasses:

ExecutorStandardLibrary, PivotExecutorStandardLibrary

public abstract class ExecutableStandardLibrary
extends AbstractStandardLibrary

Constructor Summary

ExecutableStandardLibrary()

Method Summary

protected abstract DomainClassifierType	createClassifierType(DomainType classType)
abstract DomainEvaluator	createEvaluator(org.eclipse.emf.ecore.EObject contextObject, java.util.Map<java.lang.Object,java.lang.Object> contextMap)
DomainType	getAnyClassifierType() Obtains the single instance of the DomainClassifierType metatype, named AnyClassifier.
DomainType	getBagType() Obtains the generic instance of the BagType metatype, named Bag(T).
DomainCollectionType	getBagType(DomainType elementType) Return the instance of the Bag metatype whose elements are of elementType.
DomainType	getBooleanType() Obtains the instance of the PrimitiveType metatype, named Boolean.
DomainClassifierType	getClassifierType(DomainType classType) Return the instance of the Classifier metatype whose class is classType.
DomainType	getCollectionType() Obtains the generic instance of the CollectionType metatype, named Collection(T).
DomainCollectionType	getCollectionType(DomainType genericType, DomainType elementType)
DomainType	getEnumerationType() Obtains the single instance of the EnumerationType metatype, named Enumeration.
DomainType	getIntegerType() Obtains the instance of the PrimitiveType metatype, named Integer.
DomainType	getOclAnyType() Obtains the single instance of the AnyType metatype, named OclAny.
DomainType	getOclComparableType() Obtains the single instance of the OclComparable metatype, named OclAny.
DomainType	getOclElementType() Obtains the single instance of the Class metatype, named OclElement.
DomainType	getOclInvalidType() Obtains the single instance of the InvalidType metatype, named OclInvalid.
DomainType	getOclMessageType() Obtains the generic instance of the MessageType metatype, named OclMessage.
DomainType	getOclSelfType() Obtains the single instance of the OclSelf pseudo-metatype, named OclSelf.
DomainType	getOclSummableType() Obtains the single instance of the OclSummable metatype, named OclAny.
DomainType	getOclTupleType() Obtains the single instance of the OclTupleType metatype, named OclVoid.
DomainType	getOclVoidType() Obtains the single instance of the VoidType metatype, named OclVoid.
DomainType	getOrderedSetType() Obtains the generic instance of the OrderedSetType metatype, named OrderedSet(T).
DomainCollectionType	getOrderedSetType(DomainType elementType) Return the instance of the OrderedSet metatype whose elements are of elementType.
DomainType	getRealType() Obtains the instance of the PrimitiveType metatype, named Real.
DomainType	getSequenceType() Obtains the generic instance of the SequenceType metatype, named Sequence(T).
DomainCollectionType	getSequenceType(DomainType elementType) Return the instance of the Sequence metatype whose elements are of elementType.
DomainType	getSetType() Obtains the generic instance of the SetType metatype, named Set(T).
DomainCollectionType	getSetType(DomainType elementType) Return the instance of the Set metatype whose elements are of elementType.
DomainType	getStringType() Obtains the instance of the PrimitiveType metatype, named String.
DomainTupleType	getTupleType(java.util.List<? extends DomainTypedElement> parts) Obtains the instance of the TupleType metatype for the given list of parts, which must be alphabetical order by name.
DomainType	getUnlimitedNaturalType() Obtains the instance of the PrimitiveType metatype, named UnlimitedNatural.

Methods inherited from class org.eclipse.ocl.examples.domain.types.AbstractStandardLibrary

conformsToCollectionType, conformsToLambdaType, conformsToTupleType, dispose, getCollectionType, getEnumeration, getMetaType, getTuplePart, getTupleType, getType, isEqualToCollectionType, isEqualToTupleType

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainStandardLibrary

getInheritance, getOclType, getType

Constructor Detail

ExecutableStandardLibrary

public ExecutableStandardLibrary()

Method Detail

createClassifierType

protected abstract DomainClassifierType createClassifierType(DomainType classType)

createEvaluator

public abstract DomainEvaluator createEvaluator(org.eclipse.emf.ecore.EObject contextObject,
                                                java.util.Map<java.lang.Object,java.lang.Object> contextMap)

getAnyClassifierType

public DomainType getAnyClassifierType()

Description copied from interface: DomainStandardLibrary

Obtains the single instance of the DomainClassifierType metatype, named AnyClassifier.

Returns:

the Classifier type (an instance of AnyClassifier)

getBagType

public DomainType getBagType()

Description copied from interface: DomainStandardLibrary

Obtains the generic instance of the BagType metatype, named Bag(T).

Returns:

the Bag(T) type (an instance of BagType)

getBagType

public DomainCollectionType getBagType(DomainType elementType)

Description copied from interface: DomainStandardLibrary

Return the instance of the Bag metatype whose elements are of elementType.

getBooleanType

public DomainType getBooleanType()

Description copied from interface: DomainStandardLibrary

Obtains the instance of the PrimitiveType metatype, named Boolean.

Returns:

the Boolean type (an instance of PrimitiveType)

getClassifierType

public DomainClassifierType getClassifierType(DomainType classType)

Description copied from interface: DomainStandardLibrary

Return the instance of the Classifier metatype whose class is classType.

getCollectionType

public DomainType getCollectionType()

Description copied from interface: DomainStandardLibrary

Obtains the generic instance of the CollectionType metatype, named Collection(T).

Returns:

the Collection(T) type (an instance of CollectionType)

getCollectionType

public DomainCollectionType getCollectionType(DomainType genericType,
                                              DomainType elementType)

getEnumerationType

public DomainType getEnumerationType()

Description copied from interface: DomainStandardLibrary

Obtains the single instance of the EnumerationType metatype, named Enumeration.

Returns:

the Enumeration type (an instance of Enumeration)

getIntegerType

public DomainType getIntegerType()

Description copied from interface: DomainStandardLibrary

Obtains the instance of the PrimitiveType metatype, named Integer.

Returns:

the Integer type (an instance of PrimitiveType)

getOclAnyType

public DomainType getOclAnyType()

Description copied from interface: DomainStandardLibrary

Obtains the single instance of the AnyType metatype, named OclAny.

Returns:

the OclAny type (an instance of AnyType)

getOclComparableType

public DomainType getOclComparableType()

Description copied from interface: DomainStandardLibrary

Obtains the single instance of the OclComparable metatype, named OclAny.

Returns:

the OclAny type (an instance of Class)

getOclElementType

public DomainType getOclElementType()

Description copied from interface: DomainStandardLibrary

Obtains the single instance of the Class metatype, named OclElement.

Returns:

the OclElement type (an instance of Class)

getOclInvalidType

public DomainType getOclInvalidType()

Description copied from interface: DomainStandardLibrary

Obtains the single instance of the InvalidType metatype, named OclInvalid.

Returns:

the OclInvalid type (an instance of InvalidType)

getOclMessageType

public DomainType getOclMessageType()

Description copied from interface: DomainStandardLibrary

Obtains the generic instance of the MessageType metatype, named OclMessage.

Returns:

the OclMessage type (an instance of MessageType)

getOclSelfType

public DomainType getOclSelfType()

Description copied from interface: DomainStandardLibrary

Obtains the single instance of the OclSelf pseudo-metatype, named OclSelf.

Returns:

the OclSelf type (an instance of SelfType)

getOclSummableType

public DomainType getOclSummableType()

Description copied from interface: DomainStandardLibrary

Obtains the single instance of the OclSummable metatype, named OclAny.

Returns:

the OclAny type (an instance of Class)

getOclTupleType

public DomainType getOclTupleType()

Description copied from interface: DomainStandardLibrary

Obtains the single instance of the OclTupleType metatype, named OclVoid.

Returns:

the OclTuple type (an instance of Class)

getOclVoidType

public DomainType getOclVoidType()

Description copied from interface: DomainStandardLibrary

Obtains the single instance of the VoidType metatype, named OclVoid.

Returns:

the OclVoid type (an instance of VoidType)

getOrderedSetType

public DomainType getOrderedSetType()

Description copied from interface: DomainStandardLibrary

Obtains the generic instance of the OrderedSetType metatype, named OrderedSet(T).

Returns:

the OrderedSet(T) type (an instance of OrderedSetType)

getOrderedSetType

public DomainCollectionType getOrderedSetType(DomainType elementType)

Description copied from interface: DomainStandardLibrary

Return the instance of the OrderedSet metatype whose elements are of elementType.

getRealType

public DomainType getRealType()

Description copied from interface: DomainStandardLibrary

Obtains the instance of the PrimitiveType metatype, named Real.

Returns:

the Real type (an instance of PrimitiveType)

getSequenceType

public DomainType getSequenceType()

Description copied from interface: DomainStandardLibrary

Obtains the generic instance of the SequenceType metatype, named Sequence(T).

Returns:

the Sequence(T) type (an instance of SequenceType)

getSequenceType

public DomainCollectionType getSequenceType(DomainType elementType)

Description copied from interface: DomainStandardLibrary

Return the instance of the Sequence metatype whose elements are of elementType.

getSetType

public DomainType getSetType()

Description copied from interface: DomainStandardLibrary

Obtains the generic instance of the SetType metatype, named Set(T).

Returns:

the Set(T) type (an instance of SetType)

getSetType

public DomainCollectionType getSetType(DomainType elementType)

Description copied from interface: DomainStandardLibrary

Return the instance of the Set metatype whose elements are of elementType.

getStringType

public DomainType getStringType()

Description copied from interface: DomainStandardLibrary

Obtains the instance of the PrimitiveType metatype, named String.

Returns:

the String type (an instance of PrimitiveType)

getTupleType

public DomainTupleType getTupleType(java.util.List<? extends DomainTypedElement> parts)

Description copied from interface: DomainStandardLibrary

Obtains the instance of the TupleType metatype for the given list of parts, which must be alphabetical order by name.

getUnlimitedNaturalType

public DomainType getUnlimitedNaturalType()

Description copied from interface: DomainStandardLibrary

Obtains the instance of the PrimitiveType metatype, named UnlimitedNatural.

Returns:

the UnlimitedNatural type (an instance of PrimitiveType)