Uses of Interface
org.eclipse.ocl.EvaluationEnvironment

Packages that use EvaluationEnvironment
org.eclipse.ocl Definition of the extensible environment API for OCL parsing and evaluation. 
org.eclipse.ocl.ecore Implementation of an OCL binding for the Ecore metamodel. 
org.eclipse.ocl.examples.impactanalyzer.deltaPropagation   
org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation   
org.eclipse.ocl.examples.impactanalyzer.util   
org.eclipse.ocl.internal.evaluation   
org.eclipse.ocl.options   
org.eclipse.ocl.uml Implementation of an OCL binding for the UML metamodel. 
org.eclipse.ocl.util Miscellaneous utilities in support of the OCL parser and environment implementations. 
 

Uses of EvaluationEnvironment in org.eclipse.ocl
 

Classes in org.eclipse.ocl that implement EvaluationEnvironment
 class AbstractEvaluationEnvironment<C,O,P,CLS,E>
          A partial implementation of the EvaluationEnvironment interface, providing some useful common behaviors.
 

Methods in org.eclipse.ocl that return EvaluationEnvironment
 EvaluationEnvironment<C,O,P,CLS,E> EnvironmentFactory.createEvaluationEnvironment()
          Creates a new evaluation environment to track the values of variables in an OCL expression as it is evaluated.
 EvaluationEnvironment<C,O,P,CLS,E> EnvironmentFactory.createEvaluationEnvironment(EvaluationEnvironment<C,O,P,CLS,E> parent)
          Creates a new evaluation environment as a nested environment of the specified parent.
 EvaluationEnvironment<C,O,P,CLS,E> AbstractEvaluationVisitor.getEvaluationEnvironment()
           
 EvaluationEnvironment<C,O,P,CLS,E> EvaluationVisitor.getEvaluationEnvironment()
          Obtains the evaluation environment that keeps track of variable values and knows how to call operations, navigate properties, etc.
 EvaluationEnvironment<C,O,P,CLS,E> EvaluationVisitorDecorator.getEvaluationEnvironment()
          Obtains my delegate's evaluation environment.
 EvaluationEnvironment<C,O,P,CLS,E> OCL.getEvaluationEnvironment()
          Obtains the OCL evaluation environment.
 EvaluationEnvironment<C,?,?,CLS,E> Query.getEvaluationEnvironment()
          Obtains the evaluation environment that I use to evaluate OCL expressions.
protected  EvaluationEnvironment<C,O,P,CLS,E> AbstractEvaluationEnvironment.getParent()
          Obtains my parent (nesting) environment.
 

Methods in org.eclipse.ocl with parameters of type EvaluationEnvironment
 EvaluationEnvironment<C,O,P,CLS,E> EnvironmentFactory.createEvaluationEnvironment(EvaluationEnvironment<C,O,P,CLS,E> parent)
          Creates a new evaluation environment as a nested environment of the specified parent.
 EvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> AbstractEnvironmentFactory.createEvaluationVisitor(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env, EvaluationEnvironment<C,O,P,CLS,E> evalEnv, java.util.Map<? extends CLS,? extends java.util.Set<? extends E>> extentMap)
           
 EvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> EnvironmentFactory.createEvaluationVisitor(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env, EvaluationEnvironment<C,O,P,CLS,E> evalEnv, java.util.Map<? extends CLS,? extends java.util.Set<? extends E>> extentMap)
          Creates a new evaluation visitor, for the evaluation of OCL expressions.
protected  void AbstractEvaluationVisitor.setEvaluationEnvironment(EvaluationEnvironment<C,O,P,CLS,E> evaluationEnvironment)
          Sets the evaluation environment to be used by this visitor during evaluation.
 

Constructors in org.eclipse.ocl with parameters of type EvaluationEnvironment
AbstractEvaluationEnvironment(EvaluationEnvironment<C,O,P,CLS,E> parent)
           
AbstractEvaluationVisitor(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env, EvaluationEnvironment<C,O,P,CLS,E> evalEnv, java.util.Map<? extends CLS,? extends java.util.Set<? extends E>> extentMap)
          Initializes me.
EvaluationVisitorImpl(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env, EvaluationEnvironment<C,O,P,CLS,E> evalEnv, java.util.Map<? extends CLS,? extends java.util.Set<? extends E>> extentMap)
          Constructor
 

Uses of EvaluationEnvironment in org.eclipse.ocl.ecore
 

Classes in org.eclipse.ocl.ecore that implement EvaluationEnvironment
 class EcoreEvaluationEnvironment
          Implementation of the EvaluationEnvironment for evaluation of OCL expressions on instances of Ecore models (i.e., on M0 models).
 

Methods in org.eclipse.ocl.ecore that return EvaluationEnvironment
 EvaluationEnvironment<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> EcoreEnvironmentFactory.createEvaluationEnvironment()
           
 EvaluationEnvironment<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> EcoreEnvironmentFactory.createEvaluationEnvironment(EvaluationEnvironment<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> parent)
           
 

Methods in org.eclipse.ocl.ecore with parameters of type EvaluationEnvironment
 EvaluationEnvironment<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> EcoreEnvironmentFactory.createEvaluationEnvironment(EvaluationEnvironment<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> parent)
           
 EvaluationVisitor<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,CallOperationAction,SendSignalAction,Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> EcoreEnvironmentFactory.createEvaluationVisitor(Environment<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,CallOperationAction,SendSignalAction,Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> env, EvaluationEnvironment<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> evalEnv, java.util.Map<? extends org.eclipse.emf.ecore.EClass,? extends java.util.Set<? extends org.eclipse.emf.ecore.EObject>> extentMap)
           
 

Constructors in org.eclipse.ocl.ecore with parameters of type EvaluationEnvironment
EcoreEvaluationEnvironment(EvaluationEnvironment<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> parent)
          Initializes me with my parent evaluation environment (nesting scope).
EvaluationVisitorImpl(Environment<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,CallOperationAction,SendSignalAction,Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> env, EvaluationEnvironment<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> evalEnv, java.util.Map<? extends org.eclipse.emf.ecore.EClass,? extends java.util.Set<? extends org.eclipse.emf.ecore.EObject>> extentMap)
           
 

Uses of EvaluationEnvironment in org.eclipse.ocl.examples.impactanalyzer.deltaPropagation
 

Classes in org.eclipse.ocl.examples.impactanalyzer.deltaPropagation that implement EvaluationEnvironment
 class PartialEcoreEvaluationEnvironment
           
 

Methods in org.eclipse.ocl.examples.impactanalyzer.deltaPropagation that return EvaluationEnvironment
 EvaluationEnvironment<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> PartialEcoreEnvironmentFactory.createEvaluationEnvironment()
           
 EvaluationEnvironment<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> PartialEcoreEnvironmentFactory.createEvaluationEnvironment(EvaluationEnvironment<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> parent)
           
 

Methods in org.eclipse.ocl.examples.impactanalyzer.deltaPropagation with parameters of type EvaluationEnvironment
 EvaluationEnvironment<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> PartialEcoreEnvironmentFactory.createEvaluationEnvironment(EvaluationEnvironment<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> parent)
           
 EvaluationVisitor<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,CallOperationAction,SendSignalAction,Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> PartialEcoreEnvironmentFactory.createEvaluationVisitor(Environment<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,CallOperationAction,SendSignalAction,Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> env, EvaluationEnvironment<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> evalEnv, java.util.Map<? extends org.eclipse.emf.ecore.EClass,? extends java.util.Set<? extends org.eclipse.emf.ecore.EObject>> extentMap)
          Creates a visitor.
 

Constructors in org.eclipse.ocl.examples.impactanalyzer.deltaPropagation with parameters of type EvaluationEnvironment
PartialEcoreEvaluationEnvironment(EvaluationEnvironment<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> parent)
           
PartialEvaluationVisitorImpl(Environment<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,CallOperationAction,SendSignalAction,Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> env, EvaluationEnvironment<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> evalEnv, java.util.Map<? extends org.eclipse.emf.ecore.EClass,? extends java.util.Set<? extends org.eclipse.emf.ecore.EObject>> extentMap, OCLExpression sourceExpression, java.lang.Object valueOfSourceExpression, org.eclipse.emf.common.notify.Notification atPre)
           
 

Uses of EvaluationEnvironment in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation
 

Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation with parameters of type EvaluationEnvironment
 PartialEvaluationVisitorImplNoAllInstances PartialEcoreEnvironmentFactoryNoAllInstances.createEvaluationVisitor(Environment<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,CallOperationAction,SendSignalAction,Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> env, EvaluationEnvironment<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> evalEnv, java.util.Map<? extends org.eclipse.emf.ecore.EClass,? extends java.util.Set<? extends org.eclipse.emf.ecore.EObject>> extentMap)
          Creates a visitor.
 

Constructors in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation with parameters of type EvaluationEnvironment
PartialEvaluationVisitorImplNoAllInstances(Environment<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,CallOperationAction,SendSignalAction,Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> env, EvaluationEnvironment<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> evalEnv, java.util.Map<? extends org.eclipse.emf.ecore.EClass,? extends java.util.Set<? extends org.eclipse.emf.ecore.EObject>> extentMap, OCLExpression sourceExpression, java.lang.Object valueOfSourceExpression, org.eclipse.emf.common.notify.Notification atPre)
           
 

Uses of EvaluationEnvironment in org.eclipse.ocl.examples.impactanalyzer.util
 

Classes in org.eclipse.ocl.examples.impactanalyzer.util that implement EvaluationEnvironment
 class EcoreEvaluationEnvironmentWithScopedExtentMap
           
 

Methods in org.eclipse.ocl.examples.impactanalyzer.util that return EvaluationEnvironment
 EvaluationEnvironment<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> EcoreEnvironmentFactoryWithScopedExtentMap.createEvaluationEnvironment()
           
 

Constructors in org.eclipse.ocl.examples.impactanalyzer.util with parameters of type EvaluationEnvironment
EcoreEvaluationEnvironmentWithScopedExtentMap(EvaluationEnvironment<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> parent)
           
 

Uses of EvaluationEnvironment in org.eclipse.ocl.internal.evaluation
 

Methods in org.eclipse.ocl.internal.evaluation that return EvaluationEnvironment
 EvaluationEnvironment<C,O,P,CLS,E> IterationTemplate.getEvalEnvironment()
           
 EvaluationEnvironment<C,O,P,CLS,E> QueryImpl.getEvaluationEnvironment()
           
 

Uses of EvaluationEnvironment in org.eclipse.ocl.options
 

Methods in org.eclipse.ocl.options with parameters of type EvaluationEnvironment
static
<T> T
EvaluationOptions.getValue(EvaluationEnvironment<?,?,?,?,?> env, Option<T> option)
          Obtains the value of the specified option's setting in the the given environment's options map, adapting the environment as necessary to the Customizable API.
static
<T> void
EvaluationOptions.setOption(EvaluationEnvironment<?,?,?,?,?> env, Option<T> option, T value)
          Add an option to apply to the specified environment, adapting it as necessary to the Customizable API.
 

Uses of EvaluationEnvironment in org.eclipse.ocl.uml
 

Classes in org.eclipse.ocl.uml that implement EvaluationEnvironment
 class UMLEvaluationEnvironment
          Implementation of the EvaluationEnvironment for evaluation of OCL expressions on instances of UML models (i.e., on M0 models).
 

Methods in org.eclipse.ocl.uml that return EvaluationEnvironment
 EvaluationEnvironment<org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property,org.eclipse.uml2.uml.Class,org.eclipse.emf.ecore.EObject> UMLEnvironmentFactory.createEvaluationEnvironment()
           
 EvaluationEnvironment<org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property,org.eclipse.uml2.uml.Class,org.eclipse.emf.ecore.EObject> UMLEnvironmentFactory.createEvaluationEnvironment(EvaluationEnvironment<org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property,org.eclipse.uml2.uml.Class,org.eclipse.emf.ecore.EObject> parent)
           
 

Methods in org.eclipse.ocl.uml with parameters of type EvaluationEnvironment
 EvaluationEnvironment<org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property,org.eclipse.uml2.uml.Class,org.eclipse.emf.ecore.EObject> UMLEnvironmentFactory.createEvaluationEnvironment(EvaluationEnvironment<org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property,org.eclipse.uml2.uml.Class,org.eclipse.emf.ecore.EObject> parent)
           
 

Constructors in org.eclipse.ocl.uml with parameters of type EvaluationEnvironment
UMLEvaluationEnvironment(EvaluationEnvironment<org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property,org.eclipse.uml2.uml.Class,org.eclipse.emf.ecore.EObject> parent)
          Initializes me with my parent evaluation environment (nesting scope).
 

Uses of EvaluationEnvironment in org.eclipse.ocl.util
 

Methods in org.eclipse.ocl.util with parameters of type EvaluationEnvironment
static
<T> T
OCLUtil.getAdapter(EvaluationEnvironment<?,?,?,?,?> env, java.lang.Class<T> adapterType)
          Obtains an adapter for the specified interface type, if the evaluation environment is Adaptable to it.
static
<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>
java.util.Set<Tuple<O,P>>
CollectionUtil.product(EvaluationEnvironment<C,O,P,CLS,E> evalEnv, Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env, java.util.Collection<?> self, java.util.Collection<?> c, C tupleType)
          Implementation of the OCL Collection::product(c : Collection(T2)) : Set(Tuple(first : T, second : T2)) operations.