public abstract class EvaluationContext extends OCL
Modifier and Type | Field and Description |
---|---|
protected IVMEnvironmentFactory |
vmEnvironmentFactory |
CLASS_PATH, environmentFactory, NO_PROJECTS
Modifier | Constructor and Description |
---|---|
protected |
EvaluationContext(IVMEnvironmentFactory vmEnvironmentFactory) |
Modifier and Type | Method and Description |
---|---|
abstract org.eclipse.emf.common.util.URI |
getDebuggableURI() |
Log |
getLog() |
IVMEnvironmentFactory |
getVMEnvironmentFactory() |
void |
setLog(Log log) |
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
@NonNull protected final IVMEnvironmentFactory vmEnvironmentFactory
protected EvaluationContext(@NonNull IVMEnvironmentFactory vmEnvironmentFactory)