Package | Description |
---|---|
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.ecore.internal.evaluation | |
org.eclipse.ocl.examples.impactanalyzer.deltaPropagation | |
org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation | |
org.eclipse.ocl.internal.evaluation |
Modifier and Type | Class and Description |
---|---|
class |
AbstractEvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>
An evaluation visitor implementation for OCL expressions.
|
class |
EvaluationVisitorDecorator<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>
A visitor that decorates another
EvaluationVisitor , to intercept
invocations of the visitXxx(...) methods. |
class |
EvaluationVisitorImpl<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>
An evaluation visitor implementation for OCL expressions.
|
Modifier and Type | Method and Description |
---|---|
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 EvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
EvaluationVisitorDecorator.getDelegate()
Obtains the visitor that I decorate.
|
protected EvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
AbstractEvaluationVisitor.getVisitor()
Obtains the visitor on which I perform nested
Visitable.accept(org.eclipse.ocl.utilities.Visitor) calls. |
Constructor and Description |
---|
EvaluationVisitorDecorator(EvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> decorated) |
Modifier and Type | Method and Description |
---|---|
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) |
Constructor and Description |
---|
TracingEvaluationVisitor(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> decorated) |
Modifier and Type | Class and Description |
---|---|
class |
PartialEvaluationVisitorImpl
When a
ValueNotFoundException occurs during evaluating an expression, it is not caught, logged and swallowed but
forwarded to the caller. |
Modifier and Type | Method and Description |
---|---|
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.
|
Modifier and Type | Class and Description |
---|---|
class |
PartialEvaluationVisitorImplNoAllInstances
In addition to throwing a
ValueNotFoundException as already done by the superclass,
this implementation also throws a NoAllInstancesDuringEvaluationForUnusedCheck exception
in case an allInstances() call is to be evaluated. |
Modifier and Type | Class and Description |
---|---|
class |
TracingEvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>
A decorator for evaluation visitors that is installed when evaluation tracing
is enabled, to trace interim evaluation results to the console.
|
Modifier and Type | Method and Description |
---|---|
EvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
IterationTemplate.getEvaluationVisitor() |
Modifier and Type | Method and Description |
---|---|
static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
IterationTemplate.getInstance(EvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> v) |
static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
IterationTemplateAny.getInstance(EvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> v) |
static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
IterationTemplateCollect.getInstance(EvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> v) |
static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
IterationTemplateCollectNested.getInstance(EvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> v) |
static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
IterationTemplateExists.getInstance(EvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> v) |
static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
IterationTemplateForAll.getInstance(EvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> v) |
static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
IterationTemplateIsUnique.getInstance(EvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> v) |
static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
IterationTemplateOne.getInstance(EvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> v) |
static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
IterationTemplateReject.getInstance(EvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> v) |
static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
IterationTemplateSelect.getInstance(EvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> v) |
static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
IterationTemplateSortedBy.getInstance(EvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> v) |
static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
IterationTemplateClosure.getInstance(EvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> v,
OCLExpression<C> body) |
Constructor and Description |
---|
IterationTemplate(EvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> v) |
IterationTemplateAny(EvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> v) |
TracingEvaluationVisitor(EvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> decorated)
Initializes me with the visitor whose evaluation I trace to the console.
|