Uses of Interface
org.eclipse.ocl.examples.pivot.evaluation.EvaluationVisitor

Packages that use EvaluationVisitor
org.eclipse.ocl.examples.library   
org.eclipse.ocl.examples.library.classifier   
org.eclipse.ocl.examples.library.collection   
org.eclipse.ocl.examples.library.enumeration   
org.eclipse.ocl.examples.library.iterator   
org.eclipse.ocl.examples.library.logical   
org.eclipse.ocl.examples.library.numeric   
org.eclipse.ocl.examples.library.oclany   
org.eclipse.ocl.examples.library.oclinvalid   
org.eclipse.ocl.examples.library.oclvoid   
org.eclipse.ocl.examples.pivot   
org.eclipse.ocl.examples.pivot.delegate   
org.eclipse.ocl.examples.pivot.ecore   
org.eclipse.ocl.examples.pivot.evaluation   
org.eclipse.ocl.examples.pivot.library   
org.eclipse.ocl.examples.xtext.console   
 

Uses of EvaluationVisitor in org.eclipse.ocl.examples.library
 

Methods in org.eclipse.ocl.examples.library with parameters of type EvaluationVisitor
 Value LibraryIteration.evaluate(EvaluationVisitor evaluationVisitor, CollectionValue sourceVal, LoopExp iterationCall)
          Return the result of evaluating iterationCall upon sourceVal within the environment provided by EvaluationVisitor.
 Value AbstractIteration.evaluate(EvaluationVisitor evaluationVisitor, Value sourceValue, CallExp callExp)
           
 Value AbstractOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceValue, CallExp callExp)
           
 Value AbstractBinaryOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
           
 Value AbstractTernaryOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
           
 Value AbstractUnaryOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
           
 Value LibraryOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
          Return the result of evaluating operationCall upon sourceVal within the environment provided by EvaluationVisitor.
 Value LibraryProperty.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, PropertyCallExp propertyCall)
           
protected  Value AbstractOperation.evaluateArgument(EvaluationVisitor evaluationVisitor, OperationCallExp operationCall, int i)
           
 

Constructors in org.eclipse.ocl.examples.library with parameters of type EvaluationVisitor
IterationManager(EvaluationVisitor evaluationVisitor, LoopExp iteratorExp, CollectionValue collectionValue, ACC accumulatorValue)
           
 

Uses of EvaluationVisitor in org.eclipse.ocl.examples.library.classifier
 

Methods in org.eclipse.ocl.examples.library.classifier with parameters of type EvaluationVisitor
 Value ClassifierAllInstancesOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
           
 Value ClassifierOclContainerOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
           
 Value ClassifierOclContentsOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
           
 

Uses of EvaluationVisitor in org.eclipse.ocl.examples.library.collection
 

Methods in org.eclipse.ocl.examples.library.collection with parameters of type EvaluationVisitor
 Value CollectionMaxOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
           
 Value CollectionMinOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
           
 Value CollectionProductOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
           
 Value CollectionSumOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
           
 

Uses of EvaluationVisitor in org.eclipse.ocl.examples.library.enumeration
 

Methods in org.eclipse.ocl.examples.library.enumeration with parameters of type EvaluationVisitor
 Value EnumerationAllInstancesOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
           
 

Uses of EvaluationVisitor in org.eclipse.ocl.examples.library.iterator
 

Methods in org.eclipse.ocl.examples.library.iterator with parameters of type EvaluationVisitor
 Value AnyIteration.evaluate(EvaluationVisitor evaluationVisitor, CollectionValue sourceVal, LoopExp iteratorExp)
           
 Value ClosureIteration.evaluate(EvaluationVisitor evaluationVisitor, CollectionValue sourceVal, LoopExp iteratorExp)
           
 Value CollectIteration.evaluate(EvaluationVisitor evaluationVisitor, CollectionValue sourceVal, LoopExp iteratorExp)
           
 Value CollectNestedIteration.evaluate(EvaluationVisitor evaluationVisitor, CollectionValue sourceVal, LoopExp iteratorExp)
           
 Value ExistsIteration.evaluate(EvaluationVisitor evaluationVisitor, CollectionValue sourceVal, LoopExp iteratorExp)
           
 Value ForAllIteration.evaluate(EvaluationVisitor evaluationVisitor, CollectionValue sourceVal, LoopExp iteratorExp)
           
 Value IsUniqueIteration.evaluate(EvaluationVisitor evaluationVisitor, CollectionValue sourceVal, LoopExp iteratorExp)
           
 Value IterateIteration.evaluate(EvaluationVisitor evaluationVisitor, CollectionValue sourceVal, LoopExp iterateExp)
           
 Value OneIteration.evaluate(EvaluationVisitor evaluationVisitor, CollectionValue sourceVal, LoopExp iteratorExp)
           
 Value RejectIteration.evaluate(EvaluationVisitor evaluationVisitor, CollectionValue sourceVal, LoopExp iteratorExp)
           
 Value SelectIteration.evaluate(EvaluationVisitor evaluationVisitor, CollectionValue sourceVal, LoopExp iteratorExp)
           
 Value SortedByIteration.evaluate(EvaluationVisitor evaluationVisitor, CollectionValue sourceVal, LoopExp iteratorExp)
           
 

Uses of EvaluationVisitor in org.eclipse.ocl.examples.library.logical
 

Methods in org.eclipse.ocl.examples.library.logical with parameters of type EvaluationVisitor
 SetValue BooleanAllInstancesOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
           
 BooleanValue BooleanAndOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
           
 BooleanValue BooleanImpliesOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
           
 BooleanValue BooleanOrOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
           
 

Uses of EvaluationVisitor in org.eclipse.ocl.examples.library.numeric
 

Methods in org.eclipse.ocl.examples.library.numeric with parameters of type EvaluationVisitor
 Value NumericOclAsTypeOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
           
 

Uses of EvaluationVisitor in org.eclipse.ocl.examples.library.oclany
 

Methods in org.eclipse.ocl.examples.library.oclany with parameters of type EvaluationVisitor
 Value OclAnyOclAsTypeOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
           
 Value OclAnyOclIsInStateOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
           
 Value OclAnyOclIsKindOfOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
           
 Value OclAnyOclIsTypeOfOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
           
 Value OclAnyOclTypeOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
           
 Value OclAnyToStringOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
           
 Value OclAnyUnsupportedOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
           
 

Uses of EvaluationVisitor in org.eclipse.ocl.examples.library.oclinvalid
 

Methods in org.eclipse.ocl.examples.library.oclinvalid with parameters of type EvaluationVisitor
 Value OclInvalidAllInstancesOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
           
 

Uses of EvaluationVisitor in org.eclipse.ocl.examples.library.oclvoid
 

Methods in org.eclipse.ocl.examples.library.oclvoid with parameters of type EvaluationVisitor
 SetValue OclVoidAllInstancesOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
           
 

Uses of EvaluationVisitor in org.eclipse.ocl.examples.pivot
 

Methods in org.eclipse.ocl.examples.pivot that return EvaluationVisitor
 EvaluationVisitor AbstractEnvironmentFactory.createEvaluationVisitor(Environment env, EvaluationEnvironment evalEnv, ModelManager modelManager)
           
 EvaluationVisitor EnvironmentFactory.createEvaluationVisitor(Environment env, EvaluationEnvironment evalEnv, ModelManager modelManager)
          Creates a new evaluation visitor, for the evaluation of OCL expressions.
 

Uses of EvaluationVisitor in org.eclipse.ocl.examples.pivot.delegate
 

Methods in org.eclipse.ocl.examples.pivot.delegate that return EvaluationVisitor
 EvaluationVisitor OCLValidationDelegate.createEvaluationVisitor(java.lang.Object object, ExpressionInOcl query)
           
 

Methods in org.eclipse.ocl.examples.pivot.delegate with parameters of type EvaluationVisitor
protected  boolean OCLValidationDelegate.check(EvaluationVisitor evaluationVisitor, java.lang.String constraintName, ExpressionInOcl query)
           
protected  java.lang.String OCLValidationDelegate.evaluateMessage(EvaluationVisitor evaluationVisitor, java.lang.String constraintName, ExpressionInOcl query)
           
 

Uses of EvaluationVisitor in org.eclipse.ocl.examples.pivot.ecore
 

Methods in org.eclipse.ocl.examples.pivot.ecore with parameters of type EvaluationVisitor
 Value EObjectOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceValue, CallExp callExp)
           
 Value EObjectProperty.evaluate(EvaluationVisitor evaluationVisitor, Value sourceValue, CallExp callExp)
           
 

Uses of EvaluationVisitor in org.eclipse.ocl.examples.pivot.evaluation
 

Classes in org.eclipse.ocl.examples.pivot.evaluation that implement EvaluationVisitor
 class AbstractEvaluationVisitor
          An evaluation visitor implementation for OCL expressions.
 class EvaluationVisitorDecorator
          A visitor that decorates another EvaluationVisitor, to intercept invocations of the visitXxx(...) methods.
 class EvaluationVisitorImpl
          An evaluation visitor implementation for OCL expressions.
 class TracingEvaluationVisitor
          A decorator for evaluation visitors that is installed when evaluation tracing is enabled, to trace interim evaluation results to the console.
 

Methods in org.eclipse.ocl.examples.pivot.evaluation that return EvaluationVisitor
 EvaluationVisitor EvaluationVisitor.createNestedVisitor()
           
 EvaluationVisitor EvaluationVisitorDecorator.createNestedVisitor()
          Delegates to my decorated visitor.
 EvaluationVisitor EvaluationVisitorImpl.createNestedVisitor()
           
 EvaluationVisitor TracingEvaluationVisitor.createNestedVisitor()
           
protected  EvaluationVisitor EvaluationVisitorDecorator.getDelegate()
          Obtains the visitor that I decorate.
protected  EvaluationVisitor AbstractEvaluationVisitor.getUndecoratedVisitor()
          Obtains the visitor on which I perform nested Visitable#accept(org.eclipse.ocl.utilities.Visitor) calls.
protected  EvaluationVisitor AbstractEvaluationVisitor.getVisitor()
          Deprecated. use AbstractEvaluationVisitor.getUndecoratedVisitor()
 

Methods in org.eclipse.ocl.examples.pivot.evaluation with parameters of type EvaluationVisitor
 Value CallableImplementation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceValue, CallExp call)
           
 void AbstractEvaluationVisitor.setUndecoratedVisitor(EvaluationVisitor evaluationVisitor)
          Sets the visitor on which I perform nested Visitable#accept(org.eclipse.ocl.utilities.Visitor) calls.
 void EvaluationVisitor.setUndecoratedVisitor(EvaluationVisitor evaluationVisitor)
          Configures the specified decorated visitor to correctly handle the invocation of recursive visitXxx(...) calls.
 void EvaluationVisitorDecorator.setUndecoratedVisitor(EvaluationVisitor evaluationVisitor)
          Delegates to my decorated visitor.
 

Constructors in org.eclipse.ocl.examples.pivot.evaluation with parameters of type EvaluationVisitor
EvaluationVisitorDecorator(EvaluationVisitor decorated)
           
TracingEvaluationVisitor(EvaluationVisitor decorated)
          Initializes me with the visitor whose evaluation I trace to the console.
 

Uses of EvaluationVisitor in org.eclipse.ocl.examples.pivot.library
 

Methods in org.eclipse.ocl.examples.pivot.library with parameters of type EvaluationVisitor
 Value ConstrainedOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceValue, CallExp callExp)
           
 Value ConstrainedProperty.evaluate(EvaluationVisitor evaluationVisitor, Value sourceValue, CallExp callExp)
           
 Value ExplicitNavigationProperty.evaluate(EvaluationVisitor evaluationVisitor, Value sourceValue, CallExp callExp)
           
 Value ImplicitCompositionProperty.evaluate(EvaluationVisitor evaluationVisitor, Value sourceValue, CallExp callExp)
           
 Value ImplicitNonCompositionProperty.evaluate(EvaluationVisitor evaluationVisitor, Value sourceValue, CallExp callExp)
           
 Value JavaComparisonOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceValue, CallExp callExp)
           
 Value TuplePartProperty.evaluate(EvaluationVisitor evaluationVisitor, Value sourceValue, CallExp callExp)
           
 Value UnimplementedOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceValue, CallExp callExp)
           
 

Uses of EvaluationVisitor in org.eclipse.ocl.examples.xtext.console
 

Classes in org.eclipse.ocl.examples.xtext.console that implement EvaluationVisitor
protected static class OCLConsolePage.CancelableEvaluationVisitor
           
 

Methods in org.eclipse.ocl.examples.xtext.console that return EvaluationVisitor
 EvaluationVisitor OCLConsolePage.CancelableEvaluationVisitor.createNestedVisitor()