org.eclipse.ocl.pivot.internal.evaluation

Class BasicOCLExecutor

java.lang.Object

org.eclipse.ocl.pivot.internal.evaluation.AbstractExecutor

org.eclipse.ocl.pivot.internal.evaluation.BasicOCLExecutor

All Implemented Interfaces:

Evaluator, Executor, Executor.ExecutorExtension, ExecutorInternal, ExecutorInternal.ExecutorInternalExtension, OCLExecutor

Direct Known Subclasses:

OCLVMExecutor

public class BasicOCLExecutor
extends AbstractExecutor
implements OCLExecutor

Since:

1.1

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.ocl.pivot.internal.evaluation.ExecutorInternal

ExecutorInternal.ExecutorInternalExtension

Nested classes/interfaces inherited from interface org.eclipse.ocl.pivot.evaluation.Executor

Executor.ExecutorExtension

Field Summary

Fields

Modifier and Type	Field and Description
protected ModelManager	modelManager

Fields inherited from class org.eclipse.ocl.pivot.internal.evaluation.AbstractExecutor

environmentFactory, idResolver

Constructor Summary

Constructors

Constructor and Description
BasicOCLExecutor(EnvironmentFactoryInternal.EnvironmentFactoryInternalExtension environmentFactory, ModelManager modelManager)

Method Summary

Modifier and Type	Method and Description
void	dispose()
ModelManager	getModelManager() Return the manager of all model instances for use by allInstances() and hidden opposite support.

Methods inherited from class org.eclipse.ocl.pivot.internal.evaluation.AbstractExecutor

add, createEvaluationCache, createEvaluationVisitor, createNestedEvaluationEnvironment, createNestedEvaluationEnvironment, createNestedEvaluator, createRegexCache, createRootEvaluationEnvironment, evaluate, getCachedEvaluationResult, getCompleteEnvironment, getDiagnosticSeverity, getEnvironmentFactory, getEvaluationCache, getEvaluationEnvironment, getEvaluationVisitor, getIdResolver, getLogger, getMetamodelManager, getRegexPattern, getRootEvaluationEnvironment, getSeverity, getStandardLibrary, getStaticTypeOf, getStaticTypeOf, getStaticTypeOf, getValueOf, initializeEvaluationEnvironment, internalExecuteNavigationCallExp, internalExecuteOperationCallExp, internalExecuteShadowExp, isCanceled, popEvaluationEnvironment, pushEvaluationEnvironment, pushEvaluationEnvironment, replace, resetCaches, setCanceled, setLogger, setRootEvaluationEnvironment

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.pivot.internal.evaluation.ExecutorInternal

getEnvironmentFactory, getEvaluationVisitor, getMetamodelManager, getRootEvaluationEnvironment, getValueOf, initializeEvaluationEnvironment, internalExecuteNavigationCallExp

Methods inherited from interface org.eclipse.ocl.pivot.evaluation.Executor

add, evaluate, getCompleteEnvironment, getEvaluationEnvironment, getIdResolver, getLogger, getRegexPattern, getSeverity, getStandardLibrary, getStaticTypeOf, getStaticTypeOf, getStaticTypeOf, popEvaluationEnvironment, pushEvaluationEnvironment, replace, setLogger

Methods inherited from interface org.eclipse.ocl.pivot.evaluation.Evaluator

createNestedEvaluator, getDiagnosticSeverity, isCanceled, setCanceled

Field Detail

modelManager

@NonNull
protected final ModelManager modelManager

Constructor Detail

BasicOCLExecutor

public BasicOCLExecutor(EnvironmentFactoryInternal.EnvironmentFactoryInternalExtension environmentFactory,
                        @NonNull
                        ModelManager modelManager)

Method Detail

dispose

public void dispose()

Specified by:

dispose in interface Evaluator

Overrides:

dispose in class AbstractExecutor

getModelManager

@NonNull
public ModelManager getModelManager()

Description copied from interface: Evaluator

Return the manager of all model instances for use by allInstances() and hidden opposite support.

Specified by:

getModelManager in interface Evaluator

Specified by:

getModelManager in interface Executor