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 DomainMetaclass	createMetaclass(DomainType classType)
DomainType	getBagType() Obtains the generic instance of the BagType metatype, named Bag(T).
DomainCollectionType	getBagType(DomainType elementType, IntegerValue lower, IntegerValue upper) Return the instance of the Bag metatype whose elements are of elementType.
DomainType	getBooleanType() Obtains the instance of the PrimitiveType metatype, named Boolean.
DomainType	getCollectionType() Obtains the generic instance of the CollectionType metatype, named Collection(T).
DomainCollectionType	getCollectionType(DomainType genericType, DomainType elementType, IntegerValue lower, IntegerValue upper) Return the specialized collection type for the containerType for elementType.
DomainType	getIntegerType() Obtains the instance of the PrimitiveType metatype, named Integer.
DomainMetaclass	getMetaclass(DomainType classType) Return the instance of the Metaclass metatype whose class is classType.
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	getOrderedCollectionType() Obtains the generic instance of the OrderedCollection metatype, named OrderedCollection(T).
DomainType	getOrderedSetType() Obtains the generic instance of the OrderedSetType metatype, named OrderedSet(T).
DomainCollectionType	getOrderedSetType(DomainType elementType, IntegerValue lower, IntegerValue upper) 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, IntegerValue lower, IntegerValue upper) 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, IntegerValue lower, IntegerValue upper) Return the instance of the Set metatype whose elements are of elementType.
DomainType	getStringType() Obtains the instance of the PrimitiveType metatype, named String.
DomainElement	getTemplateParameter(TemplateParameterId id, DomainElement context)
DomainTupleType	getTupleType(TupleTypeId typeId)
DomainType	getUniqueCollectionType() Obtains the generic instance of the UniqueCollection metatype, named Set(T).
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, getAllPackages, getBagType, getCollectionType, getEnumeration, getMetaType, getNestedPackage, getNestedType, getNsURIPackage, getOperationTemplateParameter, getOrderedSetType, getPrimitiveType, getRootPackage, getSequenceType, getSetType, isEqualToCollectionType, isEqualToTupleType, weakGet

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

getEnumerationType, getInheritance, getMetaclassType, getOclType

Constructor Detail

ExecutableStandardLibrary

public ExecutableStandardLibrary()

Method Detail

createMetaclass

@NonNull
protected abstract DomainMetaclass createMetaclass(@NonNull
                                                           DomainType classType)

getBagType

@NonNull
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

@NonNull
public DomainCollectionType getBagType(@NonNull
                                               DomainType elementType,
                                               @Nullable
                                               IntegerValue lower,
                                               @Nullable
                                               IntegerValue upper)

Description copied from interface: DomainStandardLibrary

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

getBooleanType

@NonNull
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)

getCollectionType

@NonNull
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

@NonNull
public DomainCollectionType getCollectionType(@NonNull
                                                      DomainType genericType,
                                                      @NonNull
                                                      DomainType elementType,
                                                      @Nullable
                                                      IntegerValue lower,
                                                      @Nullable
                                                      IntegerValue upper)

Description copied from interface: DomainStandardLibrary

Return the specialized collection type for the containerType for elementType.

Specified by:

getCollectionType in interface DomainStandardLibrary

Overrides:

getCollectionType in class AbstractStandardLibrary

getIntegerType

@NonNull
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)

getMetaclass

@NonNull
public DomainMetaclass getMetaclass(@NonNull
                                            DomainType classType)

Description copied from interface: DomainStandardLibrary

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

getOclAnyType

@NonNull
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

@NonNull
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

@NonNull
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

@NonNull
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

@NonNull
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

@NonNull
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

@NonNull
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

@NonNull
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)

getOrderedCollectionType

@NonNull
public DomainType getOrderedCollectionType()

Description copied from interface: DomainStandardLibrary

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

Returns:

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

getOrderedSetType

@NonNull
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

@NonNull
public DomainCollectionType getOrderedSetType(@NonNull
                                                      DomainType elementType,
                                                      @Nullable
                                                      IntegerValue lower,
                                                      @Nullable
                                                      IntegerValue upper)

Description copied from interface: DomainStandardLibrary

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

getRealType

@NonNull
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

@NonNull
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

@NonNull
public DomainCollectionType getSequenceType(@NonNull
                                                    DomainType elementType,
                                                    @Nullable
                                                    IntegerValue lower,
                                                    @Nullable
                                                    IntegerValue upper)

Description copied from interface: DomainStandardLibrary

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

getSetType

@NonNull
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

@NonNull
public DomainCollectionType getSetType(@NonNull
                                               DomainType elementType,
                                               @Nullable
                                               IntegerValue lower,
                                               @Nullable
                                               IntegerValue upper)

Description copied from interface: DomainStandardLibrary

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

getStringType

@NonNull
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)

getTemplateParameter

@NonNull
public DomainElement getTemplateParameter(@NonNull
                                                  TemplateParameterId id,
                                                  DomainElement context)

getTupleType

@NonNull
public DomainTupleType getTupleType(@NonNull
                                            TupleTypeId typeId)

getUniqueCollectionType

@NonNull
public DomainType getUniqueCollectionType()

Description copied from interface: DomainStandardLibrary

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

Returns:

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

getUnlimitedNaturalType

@NonNull
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)