org.eclipse.ocl.examples.pivot
Interface StandardLibrary

All Known Implementing Classes:

OCLConsolePage.CancelableTypeManager, PivotStandardLibrary, TypeCaches, TypeManager

public interface StandardLibrary

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

boolean	conformsTo(Type firstType, Type secondType) Deprecated.
boolean	conformsTo(Type firstType, Type secondType, java.util.Map<TemplateParameter,ParameterableElement> templateParameterSubstitutions)
BagType	getBagType() Obtains the generic instance of the BagType metatype, named Bag(T).
PrimitiveType	getBooleanType() Obtains the instance of the PrimitiveType metatype, named Boolean.
Class	getClassifierType() Obtains the single instance of the ClassifierType metatype, named Classifier.
CollectionType	getCollectionType() Obtains the generic instance of the CollectionType metatype, named Collection(T).
Class	getEnumerationType() Obtains the single instance of the EnumerationType metatype, named Enumeration.
PrimitiveType	getIntegerType() Obtains the instance of the PrimitiveType metatype, named Integer.
AnyType	getOclAnyType() Obtains the single instance of the AnyType metatype, named OclAny.
InvalidType	getOclInvalidType() Obtains the single instance of the InvalidType metatype, named OclInvalid.
Type	getOclMessageType() Obtains the generic instance of the MessageType metatype, named OclMessage.
VoidType	getOclVoidType() Obtains the single instance of the VoidType metatype, named OclVoid.
OrderedSetType	getOrderedSetType() Obtains the generic instance of the OrderedSetType metatype, named OrderedSet(T).
Type	getPivotType(java.lang.String className)
PrimitiveType	getRealType() Obtains the instance of the PrimitiveType metatype, named Real.
SequenceType	getSequenceType() Obtains the generic instance of the SequenceType metatype, named Sequence(T).
SetType	getSetType() Obtains the generic instance of the SetType metatype, named Set(T).
PrimitiveType	getStringType() Obtains the instance of the PrimitiveType metatype, named String.
PrimitiveType	getUnlimitedNaturalType() Obtains the instance of the PrimitiveType metatype, named UnlimitedNatural.
boolean	isOrdered(Type sourceType)
boolean	isUnique(Type sourceType)

Method Detail

conformsTo

@Deprecated
boolean conformsTo(Type firstType,
                              Type secondType)

Deprecated.

conformsTo

boolean conformsTo(Type firstType,
                   Type secondType,
                   java.util.Map<TemplateParameter,ParameterableElement> templateParameterSubstitutions)

getBagType

BagType getBagType()

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

Returns:

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

getBooleanType

PrimitiveType getBooleanType()

Obtains the instance of the PrimitiveType metatype, named Boolean.

Returns:

the Boolean type (an instance of PrimitiveType)

getClassifierType

Class getClassifierType()

Obtains the single instance of the ClassifierType metatype, named Classifier.

Returns:

the Classifier type (an instance of Classifier)

getCollectionType

CollectionType getCollectionType()

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

Returns:

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

getEnumerationType

Class getEnumerationType()

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

Returns:

the Enumeration type (an instance of Enumeration)

getIntegerType

PrimitiveType getIntegerType()

Obtains the instance of the PrimitiveType metatype, named Integer.

Returns:

the Integer type (an instance of PrimitiveType)

getOclAnyType

AnyType getOclAnyType()

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

Returns:

the OclAny type (an instance of AnyType)

getOclInvalidType

InvalidType getOclInvalidType()

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

Returns:

the OclInvalid type (an instance of InvalidType)

getOclMessageType

Type getOclMessageType()

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

Returns:

the OclMessage type (an instance of MessageType)

getOclVoidType

VoidType getOclVoidType()

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

Returns:

the OclVoid type (an instance of VoidType)

getOrderedSetType

OrderedSetType getOrderedSetType()

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

Returns:

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

getPivotType

Type getPivotType(java.lang.String className)

getRealType

PrimitiveType getRealType()

Obtains the instance of the PrimitiveType metatype, named Real.

Returns:

the Real type (an instance of PrimitiveType)

getSequenceType

SequenceType getSequenceType()

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

Returns:

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

getSetType

SetType getSetType()

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

Returns:

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

getStringType

PrimitiveType getStringType()

Obtains the instance of the PrimitiveType metatype, named String.

Returns:

the String type (an instance of PrimitiveType)

getUnlimitedNaturalType

PrimitiveType getUnlimitedNaturalType()

Obtains the instance of the PrimitiveType metatype, named UnlimitedNatural.

Returns:

the UnlimitedNatural type (an instance of PrimitiveType)

isOrdered

boolean isOrdered(Type sourceType)

isUnique

boolean isUnique(Type sourceType)