org.eclipse.ocl.examples.domain.types
Class AbstractStandardLibrary

java.lang.Object
  org.eclipse.ocl.examples.domain.types.AbstractStandardLibrary

All Implemented Interfaces:

DomainStandardLibrary

Direct Known Subclasses:

ExecutableStandardLibrary, PivotStandardLibrary

public abstract class AbstractStandardLibrary
extends java.lang.Object
implements DomainStandardLibrary

Constructor Summary

AbstractStandardLibrary()

Method Summary

boolean	conformsToCollectionType(DomainCollectionType firstCollectionType, DomainCollectionType secondCollectionType)
boolean	conformsToLambdaType(DomainLambdaType firstLambdaType, DomainLambdaType secondLambdaType)
boolean	conformsToTupleType(DomainTupleType firstTupleType, DomainTupleType secondTupleType)
void	dispose()
DomainCollectionType	getCollectionType(DomainCollectionType containerType, DomainType elementType) Return the specialized collection type for the containerType for elementType.
DomainEnumeration	getEnumeration(org.eclipse.emf.common.util.Enumerator enumerator) Return the enumeration for a given enumerator.
DomainType	getMetaType(DomainType instanceType) Returns the meta-type of a given type.
DomainTypedElement	getTuplePart(java.lang.String name, DomainType type) Obtains the instance of the tuple part description for a name and a type.
DomainTupleType	getTupleType(DomainTypedElement... parts)
DomainType	getType(DomainElement element)
boolean	isEqualToCollectionType(DomainCollectionType firstCollectionType, DomainCollectionType secondCollectionType)
boolean	isEqualToTupleType(DomainTupleType firstTupleType, DomainTupleType secondTupleType)

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

getAnyClassifierType, getBagType, getBagType, getBooleanType, getClassifierType, getCollectionType, getEnumerationType, getInheritance, getIntegerType, getOclAnyType, getOclComparableType, getOclElementType, getOclInvalidType, getOclMessageType, getOclSelfType, getOclSummableType, getOclTupleType, getOclType, getOclVoidType, getOrderedSetType, getOrderedSetType, getRealType, getSequenceType, getSequenceType, getSetType, getSetType, getStringType, getTupleType, getType, getUnlimitedNaturalType

Constructor Detail

AbstractStandardLibrary

public AbstractStandardLibrary()

Method Detail

conformsToCollectionType

public boolean conformsToCollectionType(DomainCollectionType firstCollectionType,
                                        DomainCollectionType secondCollectionType)

Specified by:

conformsToCollectionType in interface DomainStandardLibrary

conformsToLambdaType

public boolean conformsToLambdaType(DomainLambdaType firstLambdaType,
                                    DomainLambdaType secondLambdaType)

Specified by:

conformsToLambdaType in interface DomainStandardLibrary

conformsToTupleType

public boolean conformsToTupleType(DomainTupleType firstTupleType,
                                   DomainTupleType secondTupleType)

Specified by:

conformsToTupleType in interface DomainStandardLibrary

dispose

public void dispose()

getCollectionType

public DomainCollectionType getCollectionType(DomainCollectionType containerType,
                                              DomainType elementType)

Description copied from interface: DomainStandardLibrary

Return the specialized collection type for the containerType for elementType.

Specified by:

getCollectionType in interface DomainStandardLibrary

getEnumeration

public DomainEnumeration getEnumeration(org.eclipse.emf.common.util.Enumerator enumerator)

Description copied from interface: DomainStandardLibrary

Return the enumeration for a given enumerator.

Specified by:

getEnumeration in interface DomainStandardLibrary

getMetaType

public DomainType getMetaType(DomainType instanceType)

Description copied from interface: DomainStandardLibrary

Returns the meta-type of a given type.

Specified by:

getMetaType in interface DomainStandardLibrary

getTuplePart

public DomainTypedElement getTuplePart(java.lang.String name,
                                       DomainType type)

Description copied from interface: DomainStandardLibrary

Obtains the instance of the tuple part description for a name and a type.

Specified by:

getTuplePart in interface DomainStandardLibrary

getTupleType

public DomainTupleType getTupleType(DomainTypedElement... parts)

Specified by:

getTupleType in interface DomainStandardLibrary

getType

public DomainType getType(DomainElement element)

Specified by:

getType in interface DomainStandardLibrary

isEqualToCollectionType

public boolean isEqualToCollectionType(DomainCollectionType firstCollectionType,
                                       DomainCollectionType secondCollectionType)

Specified by:

isEqualToCollectionType in interface DomainStandardLibrary

isEqualToTupleType

public boolean isEqualToTupleType(DomainTupleType firstTupleType,
                                  DomainTupleType secondTupleType)

Specified by:

isEqualToTupleType in interface DomainStandardLibrary