org.eclipse.ocl.types
Interface OCLStandardLibrary<C>

All Known Implementing Classes:
EcoreOCLStandardLibrary, OCLStandardLibraryImpl, OCLStandardLibraryImpl, UMLOCLStandardLibrary

public interface OCLStandardLibrary<C>

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)).

See the Environment class for a description of the generic type parameters of this class.

Author:
Christian W. Damus (cdamus)

Method Summary
 C getBag()
          Obtains the generic instance of the BagType metatype, named Bag(T).
 C getBoolean()
          Obtains the instance of the PrimitiveType metatype, named Boolean.
 C getCollection()
          Obtains the generic instance of the CollectionType metatype, named Collection(T).
 C getInteger()
          Obtains the instance of the PrimitiveType metatype, named Integer.
 java.lang.Object getInvalid()
          Obtains the single instance of the OclInvalid type, identified by the token invalid.
 C getOclAny()
          Obtains the single instance of the AnyType metatype, named OclAny.
 C getOclElement()
          Obtains the generic instance of the ElementType metatype, named OclElement.
 C getOclExpression()
          Obtains the instance of the ElementType metatype that represents the type of OCL expressions in the model, named OclExpression.
 C getOclInvalid()
          Obtains the single instance of the InvalidType metatype, named OclInvalid.
 C getOclMessage()
          Obtains the generic instance of the MessageType metatype, named OclMessage.
 C getOclType()
          Obtains the generic instance of the TypeType metatype, named OclType.
 C getOclVoid()
          Obtains the single instance of the VoidType metatype, named OclVoid.
 C getOrderedSet()
          Obtains the generic instance of the OrderedSetType metatype, named OrderedSet(T).
 C getReal()
          Obtains the instance of the PrimitiveType metatype, named Real.
 C getSequence()
          Obtains the generic instance of the SequenceType metatype, named Sequence(T).
 C getSet()
          Obtains the generic instance of the SetType metatype, named Set(T).
 C getState()
          Obtains the instance of the ElementType metatype that represents the type of states in the model, named State.
 C getString()
          Obtains the instance of the PrimitiveType metatype, named String.
 C getT()
          Obtains a generic instance of the AnyType metatype that represents the type parameter of generic types and operations, named T.
 C getT2()
          Obtains a generic instance of the AnyType metatype that represents another type parameter of generic operations (particularly certain OCL Collection operations), named T2.
 C getUnlimitedNatural()
          Obtains the instance of the PrimitiveType metatype, named UnlimitedNatural.
 

Method Detail

getOclAny

C getOclAny()
Obtains the single instance of the AnyType metatype, named OclAny.

Returns:
the OclAny type (an instance of AnyType)

getOclVoid

C getOclVoid()
Obtains the single instance of the VoidType metatype, named OclVoid.

Returns:
the OclVoid type (an instance of VoidType)

getOclInvalid

C getOclInvalid()
Obtains the single instance of the InvalidType metatype, named OclInvalid.

Returns:
the OclInvalid type (an instance of InvalidType)

getInvalid

java.lang.Object getInvalid()
Obtains the single instance of the OclInvalid type, identified by the token invalid.

Returns:
the invalid instance (an instance of invalid)

getBoolean

C getBoolean()
Obtains the instance of the PrimitiveType metatype, named Boolean.

Returns:
the Boolean type (an instance of PrimitiveType)

getString

C getString()
Obtains the instance of the PrimitiveType metatype, named String.

Returns:
the String type (an instance of PrimitiveType)

getReal

C getReal()
Obtains the instance of the PrimitiveType metatype, named Real.

Returns:
the Real type (an instance of PrimitiveType)

getInteger

C getInteger()
Obtains the instance of the PrimitiveType metatype, named Integer.

Returns:
the Integer type (an instance of PrimitiveType)

getUnlimitedNatural

C getUnlimitedNatural()
Obtains the instance of the PrimitiveType metatype, named UnlimitedNatural.

Returns:
the UnlimitedNatural type (an instance of PrimitiveType)

getOclType

C getOclType()
Obtains the generic instance of the TypeType metatype, named OclType.

Returns:
the OclType type (an instance of TypeType)

getOclElement

C getOclElement()
Obtains the generic instance of the ElementType metatype, named OclElement.

Returns:
the OclElement type (an instance of ElementType)

getOclMessage

C getOclMessage()
Obtains the generic instance of the MessageType metatype, named OclMessage.

Returns:
the OclMessage type (an instance of MessageType)

getSet

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

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

getOrderedSet

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

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

getBag

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

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

getSequence

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

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

getCollection

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

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

getState

C getState()
Obtains the instance of the ElementType metatype that represents the type of states in the model, named State.

Returns:
the State type (an instance of ElementType)

getOclExpression

C getOclExpression()
Obtains the instance of the ElementType metatype that represents the type of OCL expressions in the model, named OclExpression.

Returns:
the OclExpression type (an instance of ElementType)

getT

C getT()
Obtains a generic instance of the AnyType metatype that represents the type parameter of generic types and operations, named T.

Returns:
the T type parameter (an instance of AnyType)

getT2

C getT2()
Obtains a generic instance of the AnyType metatype that represents another type parameter of generic operations (particularly certain OCL Collection operations), named T2.

Returns:
the T2 type parameter (an instance of AnyType)