org.eclipse.ocl.examples.pivot.manager
Class PivotStandardLibrary

java.lang.Object
  org.eclipse.ocl.examples.domain.types.AbstractStandardLibrary
      org.eclipse.ocl.examples.pivot.manager.PivotStandardLibrary

All Implemented Interfaces:

DomainStandardLibrary

Direct Known Subclasses:

MetaModelManager

public abstract class PivotStandardLibrary
extends AbstractStandardLibrary

Field Summary

static java.lang.String	DEFAULT_OCL_STDLIB_URI The URI used by default for the MDT/OCL Standard Library.
protected java.lang.String	defaultStandardLibraryURI The URI to provide the default Standard Library.

Constructor Summary

PivotStandardLibrary()

Method Summary

protected void	defineLibraryType(Type pivotType)
void	dispose()
ClassifierType	getAnyClassifierType() Obtains the single instance of the DomainClassifierType metatype, named AnyClassifier.
BagType	getBagType() Obtains the generic instance of the BagType metatype, named Bag(T).
PrimitiveType	getBooleanType() Obtains the instance of the PrimitiveType metatype, named Boolean.
ClassifierType	getClassClassifierType()
Class	getClassType()
ClassifierType	getCollectionClassifierType()
CollectionType	getCollectionType() Obtains the generic instance of the CollectionType metatype, named Collection(T).
ClassifierType	getEnumerationClassifierType()
Class	getEnumerationType() Obtains the single instance of the EnumerationType metatype, named Enumeration.
PrimitiveType	getIntegerType() Obtains the instance of the PrimitiveType metatype, named Integer.
Type	getLibraryType(java.lang.String typeName)
AnyType	getOclAnyType() Obtains the single instance of the AnyType metatype, named OclAny.
Class	getOclComparableType() Obtains the single instance of the OclComparable metatype, named OclAny.
Class	getOclElementType() Obtains the single instance of the Class metatype, named OclElement.
InvalidType	getOclInvalidType() Obtains the single instance of the InvalidType metatype, named OclInvalid.
Class	getOclLambdaType()
Type	getOclMessageType() Obtains the generic instance of the MessageType metatype, named OclMessage.
SelfType	getOclSelfType() Obtains the single instance of the OclSelf pseudo-metatype, named OclSelf.
Class	getOclSummableType() Obtains the single instance of the OclSummable metatype, named OclAny.
Class	getOclTupleType() Obtains the single instance of the OclTupleType metatype, named OclVoid.
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).
PrimitiveType	getRealType() Obtains the instance of the PrimitiveType metatype, named Real.
Type	getRequiredLibraryType(java.lang.String typeName)
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)
protected abstract org.eclipse.emf.ecore.resource.Resource	loadDefaultLibrary(java.lang.String uri)
void	resetLibrary()

Methods inherited from class org.eclipse.ocl.examples.domain.types.AbstractStandardLibrary

conformsToCollectionType, conformsToLambdaType, conformsToTupleType, getCollectionType, getEnumeration, getMetaType, getTuplePart, getTupleType, getType, isEqualToCollectionType, isEqualToTupleType

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

getBagType, getClassifierType, getInheritance, getOclType, getOrderedSetType, getSequenceType, getSetType, getTupleType, getType

Field Detail

DEFAULT_OCL_STDLIB_URI

public static final java.lang.String DEFAULT_OCL_STDLIB_URI

The URI used by default for the MDT/OCL Standard Library. NB. This constant is repeated in GenersateOCLstdlibModel.mwe2 an in org.eclipse.ocl.examples.library/plugin.xml.

See Also:

Constant Field Values

defaultStandardLibraryURI

protected java.lang.String defaultStandardLibraryURI

The URI to provide the default Standard Library. This value may be reassigned pior to any OCL analysis or evaluation to select a different default. Alternatively the need for default may be bypassed by explicitly invoking loadLibrary().

Constructor Detail

PivotStandardLibrary

public PivotStandardLibrary()

Method Detail

defineLibraryType

protected void defineLibraryType(Type pivotType)

dispose

public void dispose()

Overrides:

dispose in class AbstractStandardLibrary

getAnyClassifierType

public ClassifierType getAnyClassifierType()

Description copied from interface: DomainStandardLibrary

Obtains the single instance of the DomainClassifierType metatype, named AnyClassifier.

Returns:

the Classifier type (an instance of AnyClassifier)

getBagType

public BagType 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)

getBooleanType

public PrimitiveType getBooleanType()

Description copied from interface: DomainStandardLibrary

Obtains the instance of the PrimitiveType metatype, named Boolean.

Returns:

the Boolean type (an instance of PrimitiveType)

getClassType

public Class getClassType()

getClassClassifierType

public ClassifierType getClassClassifierType()

getCollectionClassifierType

public ClassifierType getCollectionClassifierType()

getCollectionType

public CollectionType 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)

getEnumerationClassifierType

public ClassifierType getEnumerationClassifierType()

getEnumerationType

public Class getEnumerationType()

Description copied from interface: DomainStandardLibrary

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

Returns:

the Enumeration type (an instance of Enumeration)

getIntegerType

public PrimitiveType getIntegerType()

Description copied from interface: DomainStandardLibrary

Obtains the instance of the PrimitiveType metatype, named Integer.

Returns:

the Integer type (an instance of PrimitiveType)

getLibraryType

public Type getLibraryType(java.lang.String typeName)

getOclAnyType

public AnyType 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

public Class 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

public Class 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

public InvalidType getOclInvalidType()

Description copied from interface: DomainStandardLibrary

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

Returns:

the OclInvalid type (an instance of InvalidType)

getOclLambdaType

public Class getOclLambdaType()

getOclMessageType

public Type 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

public SelfType 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

public Class 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

public Class 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

public VoidType 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

public OrderedSetType 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)

getRealType

public PrimitiveType getRealType()

Description copied from interface: DomainStandardLibrary

Obtains the instance of the PrimitiveType metatype, named Real.

Returns:

the Real type (an instance of PrimitiveType)

getRequiredLibraryType

public Type getRequiredLibraryType(java.lang.String typeName)

getSequenceType

public SequenceType 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)

getSetType

public SetType 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)

getStringType

public PrimitiveType getStringType()

Description copied from interface: DomainStandardLibrary

Obtains the instance of the PrimitiveType metatype, named String.

Returns:

the String type (an instance of PrimitiveType)

getUnlimitedNaturalType

public PrimitiveType getUnlimitedNaturalType()

Description copied from interface: DomainStandardLibrary

Obtains the instance of the PrimitiveType metatype, named UnlimitedNatural.

Returns:

the UnlimitedNatural type (an instance of PrimitiveType)

isOrdered

public boolean isOrdered(Type sourceType)

isUnique

public boolean isUnique(Type sourceType)

loadDefaultLibrary

protected abstract org.eclipse.emf.ecore.resource.Resource loadDefaultLibrary(java.lang.String uri)

resetLibrary

public void resetLibrary()