org.eclipse.ocl.examples.debug.evaluator
Class OCLVMEnvironmentFactory

java.lang.Object
  extended by org.eclipse.ocl.examples.pivot.AbstractEnvironmentFactory
      extended by org.eclipse.ocl.examples.pivot.utilities.PivotEnvironmentFactory
          extended by org.eclipse.ocl.examples.debug.evaluator.OCLVMEnvironmentFactory
All Implemented Interfaces:
IVMEnvironmentFactory, Adaptable, EnvironmentFactory

public class OCLVMEnvironmentFactory
extends PivotEnvironmentFactory
implements IVMEnvironmentFactory


Field Summary
 
Fields inherited from class org.eclipse.ocl.examples.pivot.utilities.PivotEnvironmentFactory
metaModelManager
 
Constructor Summary
OCLVMEnvironmentFactory(org.eclipse.emf.ecore.EPackage.Registry reg, MetaModelManager metaModelManager)
           
 
Method Summary
 OCLVMEnvironment createEnvironment()
          Creates a root environment, in which package contexts and/or classifier contexts will be created as nested environments.
 OCLVMEnvironment createEnvironment(Environment parent)
          Creates a child environment of a specified parent, for definition of nested scopes.
 IOCLVMEvaluationEnvironment createEvaluationEnvironment(EvaluationEnvironment parent)
          Creates a new evaluation environment as a nested environment of the specified parent.
 IOCLVMEvaluationEnvironment createEvaluationEnvironment(IVMEvaluationEnvironment<?> parent, NamedElement operation)
           
 IOCLVMEvaluationEnvironment createEvaluationEnvironment(IVMModelManager modelManager, ExpressionInOCL expressionInOCL)
           
 OCLVMRootEvaluationVisitor createEvaluationVisitor(OCLVMEnvironment env, IOCLVMEvaluationEnvironment evalEnv)
           
 OCLVMModelManager createModelManager(MetaModelManager metaModelManager)
           
 boolean keepDebug()
           
 void setShell(IVMDebuggerShell shell)
           
 
Methods inherited from class org.eclipse.ocl.examples.pivot.utilities.PivotEnvironmentFactory
basicGetGlobalRegistryInstance, createEvaluationEnvironment, disposeGlobalRegistryInstance, getClassifier, getEPackageRegistry, getGlobalRegistryInstance, getMetaModelManager, loadEnvironment
 
Methods inherited from class org.eclipse.ocl.examples.pivot.AbstractEnvironmentFactory
createClassifierContext, createEvaluationVisitor, createEvaluationVisitor, createInstanceContext, createOperationContext, createPackageContext, createPropertyContext, getAdapter, isEvaluationTracingEnabled, setEvaluationTracingEnabled
 
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.examples.pivot.EnvironmentFactory
createClassifierContext, createEvaluationEnvironment, createEvaluationVisitor, createEvaluationVisitor, createInstanceContext, createOperationContext, createPropertyContext, loadEnvironment
 

Constructor Detail

OCLVMEnvironmentFactory

public OCLVMEnvironmentFactory(org.eclipse.emf.ecore.EPackage.Registry reg,
                               @NonNull
                               MetaModelManager metaModelManager)
Method Detail

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