org.eclipse.ocl.examples.debug.core

Class OCLEvaluationContext

java.lang.Object

org.eclipse.ocl.pivot.utilities.OCL

org.eclipse.ocl.examples.debug.vm.core.EvaluationContext

org.eclipse.ocl.examples.debug.core.OCLEvaluationContext

public class OCLEvaluationContext
extends EvaluationContext

Field Summary

Fields inherited from class org.eclipse.ocl.examples.debug.vm.core.EvaluationContext

vmContext

Fields inherited from class org.eclipse.ocl.pivot.utilities.OCL

CLASS_PATH, environmentFactory, NO_PROJECTS

Constructor Summary

Constructors

Constructor and Description
OCLEvaluationContext(ExpressionInOCL expressionObject, org.eclipse.emf.ecore.EObject contextObject)
OCLEvaluationContext(org.eclipse.emf.common.util.URI constraintURI, org.eclipse.emf.common.util.URI contextURI)

Method Summary

Modifier and Type	Method and Description
protected static IVMContext	createVMContext(ExpressionInOCL expressionObject, org.eclipse.emf.ecore.EObject contextObject)
org.eclipse.emf.common.util.URI	getConstraintURI()
org.eclipse.emf.ecore.EObject	getContextObject()
org.eclipse.emf.common.util.URI	getContextURI()
org.eclipse.emf.common.util.URI	getDebuggableURI()
ExpressionInOCL	getExpressionObject()

Methods inherited from class org.eclipse.ocl.examples.debug.vm.core.EvaluationContext

getLog, getVMContext, setLog

Methods inherited from class org.eclipse.ocl.pivot.utilities.OCL

as2cs, as2ecore, check, check, createEvaluationVisitor, createInvariant, createOCLHelper, createPostcondition, createQuery, createQuery, createQuery, cs2as, dispose, ecore2as, evaluate, finalize, getCompleteEnvironment, getContextType, getCSResource, getCSResource, getCSResource, getEnvironmentFactory, getIdResolver, getMetamodelManager, getModelManager, getPackageRegistry, getProjectManager, getResourceSet, getSpecification, getStandardLibrary, isEvaluationTracingEnabled, load, newInstance, newInstance, newInstance, newInstance, newInstance, newInstance, parse, parseSpecification, parseSpecification, setEvaluationTracingEnabled, setModelManager, validate, validate

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OCLEvaluationContext

public OCLEvaluationContext(@NonNull
                            ExpressionInOCL expressionObject,
                            @Nullable
                            org.eclipse.emf.ecore.EObject contextObject)

OCLEvaluationContext

public OCLEvaluationContext(@NonNull
                            org.eclipse.emf.common.util.URI constraintURI,
                            @NonNull
                            org.eclipse.emf.common.util.URI contextURI)

Method Detail

createVMContext

@NonNull
protected static IVMContext createVMContext(@Nullable
                                                      ExpressionInOCL expressionObject,
                                                      @Nullable
                                                      org.eclipse.emf.ecore.EObject contextObject)

getConstraintURI

@NonNull
public org.eclipse.emf.common.util.URI getConstraintURI()

getContextObject

@Nullable
public org.eclipse.emf.ecore.EObject getContextObject()

getContextURI

@Nullable
public org.eclipse.emf.common.util.URI getContextURI()

getDebuggableURI

@NonNull
public org.eclipse.emf.common.util.URI getDebuggableURI()

Specified by:

getDebuggableURI in class EvaluationContext

getExpressionObject

@Nullable
public ExpressionInOCL getExpressionObject()