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

java.lang.Object
  org.eclipse.ocl.examples.pivot.AbstractBasicEnvironment<Environment>
      org.eclipse.ocl.examples.pivot.AbstractEnvironment
          org.eclipse.ocl.examples.pivot.utilities.PivotEnvironment
              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)