org.eclipse.ocl.examples.debug.evaluator

Class OCLVMExecutor

java.lang.Object

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

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

org.eclipse.ocl.examples.debug.evaluator.OCLVMExecutor

All Implemented Interfaces:

VMExecutor, Evaluator, Executor, ExecutorInternal, OCLExecutor

public class OCLVMExecutor
extends BasicOCLExecutor
implements VMExecutor

Field Summary

Fields

Modifier and Type	Field and Description
protected org.eclipse.emf.ecore.EObject	context
protected ExpressionInOCL	expressionInOCL
protected IVMContext	vmContext

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

modelManager

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

environmentFactory

Constructor Summary

Constructors

Constructor and Description
OCLVMExecutor(IVMContext vmContext, ExpressionInOCL expressionInOCL, org.eclipse.emf.ecore.EObject context)
OCLVMExecutor(IVMContext vmContext, org.eclipse.emf.common.util.URI oclURI, org.eclipse.emf.common.util.URI contextURI)

Method Summary

Modifier and Type	Method and Description
protected EvaluationVisitor.EvaluationVisitorExtension	createEvaluationVisitor()
protected OCLVMEvaluationEnvironment	createNestedEvaluationEnvironment(EvaluationEnvironment.EvaluationEnvironmentExtension evaluationEnvironment, NamedElement executableObject, OCLExpression callingObject)
protected OCLVMEvaluationEnvironment	createRootEvaluationEnvironment(NamedElement executableObject)
java.lang.Object	execute()
ExpressionInOCL	getDebuggable()
java.lang.String	getPluginId()
void	saveModels()
void	setSuspendOnStartUp(boolean suspendOnStartup)

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

dispose, getModelManager

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

add, createNestedEvaluator, createRegexCache, evaluate, getCompleteEnvironment, getDiagnosticSeverity, getEnvironmentFactory, getEvaluationEnvironment, getEvaluationVisitor, getIdResolver, getLogger, getMetamodelManager, getRegexPattern, getRootEvaluationEnvironment, getSeverity, getStandardLibrary, getStaticTypeOf, getStaticTypeOf, getStaticTypeOf, getValueOf, initializeEvaluationEnvironment, internalExecuteNavigationCallExp, isCanceled, popEvaluationEnvironment, pushEvaluationEnvironment, replace, 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, getModelManager, getRegexPattern, getSeverity, getStandardLibrary, getStaticTypeOf, getStaticTypeOf, getStaticTypeOf, popEvaluationEnvironment, pushEvaluationEnvironment, replace, setLogger

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

createNestedEvaluator, dispose, getDiagnosticSeverity, isCanceled, setCanceled

Field Detail

vmContext

@NonNull
protected final IVMContext vmContext

expressionInOCL

@NonNull
protected final ExpressionInOCL expressionInOCL

context

@Nullable
protected final org.eclipse.emf.ecore.EObject context

Constructor Detail

OCLVMExecutor

public OCLVMExecutor(IVMContext vmContext,
                     @NonNull
                     org.eclipse.emf.common.util.URI oclURI,
                     @Nullable
                     org.eclipse.emf.common.util.URI contextURI)
              throws java.io.IOException,
                     ParserException

Throws:

java.io.IOException

ParserException

OCLVMExecutor

public OCLVMExecutor(@NonNull
                     IVMContext vmContext,
                     @NonNull
                     ExpressionInOCL expressionInOCL,
                     @Nullable
                     org.eclipse.emf.ecore.EObject context)

Method Detail

createEvaluationVisitor

protected EvaluationVisitor.EvaluationVisitorExtension createEvaluationVisitor()

Overrides:

createEvaluationVisitor in class AbstractExecutor

createNestedEvaluationEnvironment

@NonNull
protected OCLVMEvaluationEnvironment createNestedEvaluationEnvironment(EvaluationEnvironment.EvaluationEnvironmentExtension evaluationEnvironment,
                                                                                 @NonNull
                                                                                 NamedElement executableObject,
                                                                                 @Nullable
                                                                                 OCLExpression callingObject)

Overrides:

createNestedEvaluationEnvironment in class AbstractExecutor

createRootEvaluationEnvironment

@NonNull
protected OCLVMEvaluationEnvironment createRootEvaluationEnvironment(@NonNull
                                                                               NamedElement executableObject)

Overrides:

createRootEvaluationEnvironment in class AbstractExecutor

execute

public java.lang.Object execute()

Specified by:

execute in interface VMExecutor

getDebuggable

@NonNull
public ExpressionInOCL getDebuggable()

Specified by:

getDebuggable in interface VMExecutor

getPluginId

@NonNull
public java.lang.String getPluginId()

Specified by:

getPluginId in interface VMExecutor

saveModels

public void saveModels()

Specified by:

saveModels in interface VMExecutor

setSuspendOnStartUp

public void setSuspendOnStartUp(boolean suspendOnStartup)

Specified by:

setSuspendOnStartUp in interface VMExecutor