org.eclipse.ocl.examples.pivot.executor
Class PivotExecutorStandardLibrary
java.lang.Object
org.eclipse.ocl.examples.domain.types.AbstractStandardLibrary
org.eclipse.ocl.examples.library.executor.ExecutableStandardLibrary
org.eclipse.ocl.examples.pivot.executor.PivotExecutorStandardLibrary
- All Implemented Interfaces:
- DomainStandardLibrary, MetaModelManageable
public class PivotExecutorStandardLibrary
- extends ExecutableStandardLibrary
- implements MetaModelManageable
Methods inherited from class org.eclipse.ocl.examples.library.executor.ExecutableStandardLibrary |
getBagType, getBagType, getBooleanType, getClassifierType, getCollectionType, getCollectionType, getEnumerationType, getIntegerType, getOclAnyType, getOclComparableType, getOclElementType, getOclInvalidType, getOclMessageType, getOclSelfType, getOclSummableType, getOclTupleType, getOclVoidType, getOrderedSetType, getOrderedSetType, getRealType, getSequenceType, getSequenceType, getSetType, getSetType, getStringType, getTupleType, getUnlimitedNaturalType |
Methods inherited from class org.eclipse.ocl.examples.domain.types.AbstractStandardLibrary |
conformsToCollectionType, conformsToLambdaType, conformsToTupleType, dispose, 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 |
metaModelManager
protected final MetaModelManager metaModelManager
PivotExecutorStandardLibrary
public PivotExecutorStandardLibrary(EcoreExecutorPackage... execPackages)
createClassifierType
protected DomainClassifierType createClassifierType(DomainType typeType)
- Specified by:
createClassifierType
in class ExecutableStandardLibrary
createEvaluator
public DomainEvaluator createEvaluator(org.eclipse.emf.ecore.EObject contextObject,
java.util.Map<java.lang.Object,java.lang.Object> contextMap)
- Specified by:
createEvaluator
in class ExecutableStandardLibrary
createPackage
protected Package createPackage(DomainPackage domainPackage)
createType
protected Type createType(DomainType domainType)
getAnyClassifierType
public ClassifierType getAnyClassifierType()
- Description copied from interface:
DomainStandardLibrary
- Obtains the single instance of the
DomainClassifierType
metatype, named
AnyClassifier.
- Specified by:
getAnyClassifierType
in interface DomainStandardLibrary
- Overrides:
getAnyClassifierType
in class ExecutableStandardLibrary
- Returns:
- the Classifier type (an instance of
AnyClassifier
)
getInheritance
public DomainInheritance getInheritance(DomainType type)
- Description copied from interface:
DomainStandardLibrary
- Return the Inheritance dispatch table for a given type.
- Specified by:
getInheritance
in interface DomainStandardLibrary
getMetaModelManager
public MetaModelManager getMetaModelManager()
- Specified by:
getMetaModelManager
in interface MetaModelManageable
getOclType
public DomainType getOclType(java.lang.String typeName)
- Specified by:
getOclType
in interface DomainStandardLibrary
getType
protected Type getType(DomainType typeType)
getType
public DomainType getType(org.eclipse.emf.ecore.EClassifier eClassifier)
- Specified by:
getType
in interface DomainStandardLibrary