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

Constructors

Constructor and Description
ExecutableStandardLibrary()

Method Summary

Methods

Modifier and Type	Method and Description
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	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, 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)

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)