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

java.lang.Object
  extended by org.eclipse.ocl.examples.pivot.AbstractBasicEnvironment<Environment>
      extended by org.eclipse.ocl.examples.pivot.AbstractEnvironment
          extended by org.eclipse.ocl.examples.pivot.utilities.PivotEnvironment
              extended by org.eclipse.ocl.examples.debug.evaluator.OCLVMEnvironment
All Implemented Interfaces:
Adaptable, BasicEnvironment, Customizable, Environment

public class OCLVMEnvironment
extends PivotEnvironment


Nested Class Summary
 
Nested classes/interfaces inherited from class org.eclipse.ocl.examples.pivot.AbstractEnvironment
AbstractEnvironment.VariableEntry
 
Nested classes/interfaces inherited from interface org.eclipse.ocl.examples.pivot.Environment
Environment.Registry
 
Field Summary
 
Fields inherited from class org.eclipse.ocl.examples.pivot.AbstractBasicEnvironment
parent
 
Fields inherited from interface org.eclipse.ocl.examples.pivot.Environment
OCL_NAMESPACE_URI, RESULT_VARIABLE_NAME, SELF_VARIABLE_NAME
 
Constructor Summary
OCLVMEnvironment(OCLVMEnvironment parent)
           
OCLVMEnvironment(OCLVMEnvironmentFactory factory, org.eclipse.emf.ecore.resource.Resource resource)
           
 
Method Summary
 OCLVMEnvironmentFactory getFactory()
          Obtains the factory that created me, or an appropriate default factory if I was not created using a factory.
 
Methods inherited from class org.eclipse.ocl.examples.pivot.utilities.PivotEnvironment
collectStates, getDefinition, getMetaModelManager, getOCLFactory, getOCLStandardLibrary, getStates
 
Methods inherited from class org.eclipse.ocl.examples.pivot.AbstractEnvironment
addElement, dispose, getContextClassifier, getContextOperation, getContextPackage, getContextProperty, getSelfVariable, setContextOperation, setContextPackage, setContextProperty, setSelfVariable
 
Methods inherited from class org.eclipse.ocl.examples.pivot.AbstractBasicEnvironment
basicGetOptions, clearOptions, getAdapter, getOptions, getParent, getValue, isEnabled, notOK, putOptions, removeOption, removeOptions, setOption, setParent
 
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.Environment
getParent
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.Adaptable
getAdapter
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.Customizable
clearOptions, getOptions, getValue, isEnabled, putOptions, removeOption, removeOptions, setOption
 

Constructor Detail

OCLVMEnvironment

public OCLVMEnvironment(@NonNull
                        OCLVMEnvironmentFactory factory,
                        @Nullable
                        org.eclipse.emf.ecore.resource.Resource resource)

OCLVMEnvironment

public OCLVMEnvironment(@NonNull
                        OCLVMEnvironment parent)
Method Detail

getFactory

@NonNull
public OCLVMEnvironmentFactory getFactory()
Description copied from interface: Environment
Obtains the factory that created me, or an appropriate default factory if I was not created using a factory. This factory can be used to create nested environments within me.

Specified by:
getFactory in interface Environment
Overrides:
getFactory in class PivotEnvironment
Returns:
my originating factory
See Also:
EnvironmentFactory.createEnvironment(Environment)