org.eclipse.ocl.pivot.utilities

Interface EnvironmentFactory.EnvironmentFactoryExtension

All Superinterfaces:

Adaptable, Customizable, EnvironmentFactory

All Known Subinterfaces:

EnvironmentFactoryInternal.EnvironmentFactoryInternalExtension

All Known Implementing Classes:

AbstractEnvironmentFactory, GlobalEnvironmentFactory, PivotEnvironmentFactory

Enclosing interface:

EnvironmentFactory

public static interface EnvironmentFactory.EnvironmentFactoryExtension
extends EnvironmentFactory

Since:

1.1

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.ocl.pivot.utilities.EnvironmentFactory

EnvironmentFactory.EnvironmentFactoryExtension

Method Summary

Modifier and Type	Method and Description
ExecutorInternal	createExecutor(ModelManager modelManager) Create an Executor for OCL evaluation.
boolean	isEvaluationTracingEnabled()

Methods inherited from interface org.eclipse.ocl.pivot.utilities.EnvironmentFactory

adapt, createEvaluationEnvironment, createEvaluationEnvironment, createEvaluationVisitor, createEvaluationVisitor, createModelManager, createOCL, getCompleteEnvironment, getCompleteModel, getIdResolver, getMetamodelManager, getProjectManager, getResourceSet, getSeverity, getStandardLibrary, setSeverity

Methods inherited from interface org.eclipse.ocl.pivot.utilities.Adaptable

getAdapter

Methods inherited from interface org.eclipse.ocl.pivot.utilities.Customizable

clearOptions, getOptions, getValue, isEnabled, putOptions, removeOption, removeOptions, setOption

Method Detail

createExecutor

@NonNull
ExecutorInternal createExecutor(@NonNull
                                          ModelManager modelManager)

Create an Executor for OCL evaluation. For derived languages, consumers are expected to create the appropriate Executor directly.

isEvaluationTracingEnabled

boolean isEvaluationTracingEnabled()