org.eclipse.ocl.examples.debug.evaluator
Class OCLVMEnvironmentFactory
java.lang.Object
org.eclipse.ocl.examples.pivot.AbstractEnvironmentFactory
org.eclipse.ocl.examples.pivot.utilities.PivotEnvironmentFactory
org.eclipse.ocl.examples.debug.evaluator.OCLVMEnvironmentFactory
- All Implemented Interfaces:
- IVMEnvironmentFactory, Adaptable, EnvironmentFactory
public class OCLVMEnvironmentFactory
- extends PivotEnvironmentFactory
- implements IVMEnvironmentFactory
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
OCLVMEnvironmentFactory
public OCLVMEnvironmentFactory(org.eclipse.emf.ecore.EPackage.Registry reg,
@NonNull
MetaModelManager metaModelManager)
createEnvironment
@NonNull
public OCLVMEnvironment createEnvironment()
- Description copied from interface:
EnvironmentFactory
- Creates a root environment, in which package contexts and/or classifier
contexts will be created as nested environments. All operation body
constraints, attribute initial/derived value constraints, and definitions
of additional attributes and operations should be maintained by the root
environment, so that they will be accessible from constraints parsed in
any nested environment.
- Specified by:
createEnvironment
in interface EnvironmentFactory
- Overrides:
createEnvironment
in class PivotEnvironmentFactory
- Returns:
- a new root environment
createEnvironment
@NonNull
public OCLVMEnvironment createEnvironment(@NonNull
Environment parent)
- Description copied from interface:
EnvironmentFactory
- Creates a child environment of a specified
parent
, for
definition of nested scopes.
- Specified by:
createEnvironment
in interface EnvironmentFactory
- Overrides:
createEnvironment
in class PivotEnvironmentFactory
- Parameters:
parent
- the parent environment
- Returns:
- the child environment
createEvaluationEnvironment
@NonNull
public IOCLVMEvaluationEnvironment createEvaluationEnvironment(@NonNull
IVMModelManager modelManager,
@NonNull
ExpressionInOCL expressionInOCL)
createEvaluationEnvironment
@NonNull
public IOCLVMEvaluationEnvironment createEvaluationEnvironment(@NonNull
EvaluationEnvironment parent)
- Description copied from interface:
EnvironmentFactory
- Creates a new evaluation environment as a nested environment of the
specified parent.
- Specified by:
createEvaluationEnvironment
in interface EnvironmentFactory
- Overrides:
createEvaluationEnvironment
in class PivotEnvironmentFactory
- Parameters:
parent
- a nesting evaluation environment
- Returns:
- a new nested evaluation environment
createEvaluationEnvironment
@NonNull
public IOCLVMEvaluationEnvironment createEvaluationEnvironment(@NonNull
IVMEvaluationEnvironment<?> parent,
@NonNull
NamedElement operation)
createEvaluationVisitor
@NonNull
public OCLVMRootEvaluationVisitor createEvaluationVisitor(@NonNull
OCLVMEnvironment env,
@NonNull
IOCLVMEvaluationEnvironment evalEnv)
createModelManager
@NonNull
public OCLVMModelManager createModelManager(@NonNull
MetaModelManager metaModelManager)
keepDebug
public boolean keepDebug()
setShell
public void setShell(@Nullable
IVMDebuggerShell shell)
- Specified by:
setShell
in interface IVMEnvironmentFactory