org.eclipse.ocl.examples.library.executor
Class ExecutorStandardLibrary

java.lang.Object
  org.eclipse.ocl.examples.domain.types.AbstractStandardLibrary
      org.eclipse.ocl.examples.library.executor.ExecutableStandardLibrary
          org.eclipse.ocl.examples.library.executor.ExecutorStandardLibrary

All Implemented Interfaces:

DomainStandardLibrary

public class ExecutorStandardLibrary
extends ExecutableStandardLibrary

Field Summary

static ExecutorStandardLibrary

INSTANCE

Constructor Summary

ExecutorStandardLibrary(EcoreExecutorPackage... execPackages)

Method Summary

void	addPackage(EcoreExecutorPackage execPackage)
protected DomainClassifierType	createClassifierType(DomainType classType)
DomainEvaluator	createEvaluator(org.eclipse.emf.ecore.EObject contextObject, java.util.Map<java.lang.Object,java.lang.Object> contextMap)
DomainInheritance	getInheritance(DomainType type) Return the Inheritance dispatch table for a given type.
ExecutorType	getOclType(java.lang.String typeName)
EcoreExecutorPackage	getPackage(org.eclipse.emf.ecore.EPackage ePackage)
ExecutorType	getType(org.eclipse.emf.ecore.EClassifier eClassifier)

Methods inherited from class org.eclipse.ocl.examples.library.executor.ExecutableStandardLibrary

getAnyClassifierType, 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

Field Detail

INSTANCE

public static final ExecutorStandardLibrary INSTANCE

Constructor Detail

ExecutorStandardLibrary

public ExecutorStandardLibrary(EcoreExecutorPackage... execPackages)

Method Detail

addPackage

public void addPackage(EcoreExecutorPackage execPackage)

createClassifierType

protected DomainClassifierType createClassifierType(DomainType classType)

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

getInheritance

public DomainInheritance getInheritance(DomainType type)

Description copied from interface: DomainStandardLibrary

Return the Inheritance dispatch table for a given type.

getPackage

public EcoreExecutorPackage getPackage(org.eclipse.emf.ecore.EPackage ePackage)

getOclType

public ExecutorType getOclType(java.lang.String typeName)

getType

public ExecutorType getType(org.eclipse.emf.ecore.EClassifier eClassifier)