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

java.lang.Object
  extended by org.eclipse.ocl.examples.domain.types.AbstractStandardLibrary
      extended by 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)