org.eclipse.ocl.examples.domain.elements
Interface DomainStandardLibrary

All Known Implementing Classes:

AbstractStandardLibrary, ExecutableStandardLibrary, ExecutorStandardLibrary, MetaModelManager, PivotExecutorStandardLibrary, PivotStandardLibrary, TypeManager

public interface DomainStandardLibrary

A representation of the OCL Standard Library, which is the set of singleton instances of the OCL-defined metatypes, including the generic collection types (e.g., Set(T)).

Method Summary

boolean	conformsToCollectionType(DomainCollectionType firstCollectionType, DomainCollectionType secondCollectionType)
boolean	conformsToLambdaType(DomainLambdaType firstLambdaType, DomainLambdaType secondLambdaType)
boolean	conformsToTupleType(DomainTupleType firstTupleType, DomainTupleType secondTupleType)
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(DomainCollectionType containerType, DomainType elementType) Return the specialized collection type for the containerType for elementType.
DomainEnumeration	getEnumeration(org.eclipse.emf.common.util.Enumerator enumerator) Return the enumeration for a given enumerator.
DomainType	getEnumerationType() Obtains the single instance of the EnumerationType metatype, named Enumeration.
DomainInheritance	getInheritance(DomainType type) Return the Inheritance dispatch table for a given type.
DomainType	getIntegerType() Obtains the instance of the PrimitiveType metatype, named Integer.
DomainType	getMetaType(DomainType type) Returns the meta-type of a given type.
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	getOclType(java.lang.String typeName)
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.
DomainTypedElement	getTuplePart(java.lang.String name, DomainType type) Obtains the instance of the tuple part description for a name and a type.
DomainTupleType	getTupleType(DomainTypedElement... parts)
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	getType(DomainElement element)
DomainType	getType(org.eclipse.emf.ecore.EClassifier eClassifier)
DomainType	getUnlimitedNaturalType() Obtains the instance of the PrimitiveType metatype, named UnlimitedNatural.
boolean	isEqualToCollectionType(DomainCollectionType firstCollectionType, DomainCollectionType secondCollectionType)
boolean	isEqualToTupleType(DomainTupleType firstTupleType, DomainTupleType secondTupleType)

Method Detail

conformsToCollectionType

boolean conformsToCollectionType(DomainCollectionType firstCollectionType,
                                 DomainCollectionType secondCollectionType)

conformsToLambdaType

boolean conformsToLambdaType(DomainLambdaType firstLambdaType,
                             DomainLambdaType secondLambdaType)

conformsToTupleType

boolean conformsToTupleType(DomainTupleType firstTupleType,
                            DomainTupleType secondTupleType)

getAnyClassifierType

DomainType getAnyClassifierType()

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

Returns:

the Classifier type (an instance of AnyClassifier)

getBagType

DomainType getBagType()

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

Returns:

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

getBagType

DomainCollectionType getBagType(DomainType elementType)

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

getBooleanType

DomainType getBooleanType()

Obtains the instance of the PrimitiveType metatype, named Boolean.

Returns:

the Boolean type (an instance of PrimitiveType)

getClassifierType

DomainClassifierType getClassifierType(DomainType classType)

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

getCollectionType

DomainType getCollectionType()

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

Returns:

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

getCollectionType

DomainCollectionType getCollectionType(DomainCollectionType containerType,
                                       DomainType elementType)

Return the specialized collection type for the containerType for elementType.

getEnumeration

DomainEnumeration getEnumeration(org.eclipse.emf.common.util.Enumerator enumerator)

Return the enumeration for a given enumerator.

getEnumerationType

DomainType getEnumerationType()

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

Returns:

the Enumeration type (an instance of Enumeration)

getInheritance

DomainInheritance getInheritance(DomainType type)

Return the Inheritance dispatch table for a given type.

getIntegerType

DomainType getIntegerType()

Obtains the instance of the PrimitiveType metatype, named Integer.

Returns:

the Integer type (an instance of PrimitiveType)

getMetaType

DomainType getMetaType(DomainType type)

Returns the meta-type of a given type.

getOclAnyType

DomainType getOclAnyType()

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

Returns:

the OclAny type (an instance of AnyType)

getOclComparableType

DomainType getOclComparableType()

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

Returns:

the OclAny type (an instance of Class)

getOclElementType

DomainType getOclElementType()

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

Returns:

the OclElement type (an instance of Class)

getOclInvalidType

DomainType getOclInvalidType()

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

Returns:

the OclInvalid type (an instance of InvalidType)

getOclMessageType

DomainType getOclMessageType()

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

Returns:

the OclMessage type (an instance of MessageType)

getOclSelfType

DomainType getOclSelfType()

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

Returns:

the OclSelf type (an instance of SelfType)

getOclSummableType

DomainType getOclSummableType()

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

Returns:

the OclAny type (an instance of Class)

getOclTupleType

DomainType getOclTupleType()

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

Returns:

the OclTuple type (an instance of Class)

getOclType

DomainType getOclType(java.lang.String typeName)

getOclVoidType

DomainType getOclVoidType()

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

Returns:

the OclVoid type (an instance of VoidType)

getOrderedSetType

DomainType getOrderedSetType()

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

Returns:

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

getOrderedSetType

DomainCollectionType getOrderedSetType(DomainType elementType)

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

getRealType

DomainType getRealType()

Obtains the instance of the PrimitiveType metatype, named Real.

Returns:

the Real type (an instance of PrimitiveType)

getSequenceType

DomainType getSequenceType()

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

Returns:

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

getSequenceType

DomainCollectionType getSequenceType(DomainType elementType)

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

getSetType

DomainType getSetType()

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

Returns:

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

getSetType

DomainCollectionType getSetType(DomainType elementType)

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

getStringType

DomainType getStringType()

Obtains the instance of the PrimitiveType metatype, named String.

Returns:

the String type (an instance of PrimitiveType)

getTuplePart

DomainTypedElement getTuplePart(java.lang.String name,
                                DomainType type)

Obtains the instance of the tuple part description for a name and a type.

getTupleType

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.

getTupleType

DomainTupleType getTupleType(DomainTypedElement... parts)

getType

DomainType getType(DomainElement element)

getType

DomainType getType(org.eclipse.emf.ecore.EClassifier eClassifier)

getUnlimitedNaturalType

DomainType getUnlimitedNaturalType()

Obtains the instance of the PrimitiveType metatype, named UnlimitedNatural.

Returns:

the UnlimitedNatural type (an instance of PrimitiveType)

isEqualToCollectionType

boolean isEqualToCollectionType(DomainCollectionType firstCollectionType,
                                DomainCollectionType secondCollectionType)

isEqualToTupleType

boolean isEqualToTupleType(DomainTupleType firstTupleType,
                           DomainTupleType secondTupleType)