Uses of Interface
org.eclipse.ocl.examples.pivot.values.Value

Packages that use Value
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.library.string   
org.eclipse.ocl.examples.pivot   
org.eclipse.ocl.examples.pivot.ecore   
org.eclipse.ocl.examples.pivot.evaluation   
org.eclipse.ocl.examples.pivot.library   
org.eclipse.ocl.examples.pivot.utilities   
org.eclipse.ocl.examples.pivot.values   
org.eclipse.ocl.examples.pivot.values.impl   
org.eclipse.ocl.examples.xtext.console   
 

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

Classes in org.eclipse.ocl.examples.library with type parameters of type Value
 class AbstractIteration<ACC extends Value>
          AbstractIteration realises shared characteristics of library iterations.
 class IterationManager<ACC extends Value>
           
 

Methods in org.eclipse.ocl.examples.library that return Value
 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)
           
 Value LibraryUnaryOperation.evaluate(ValueFactory valueFactory, Value argument)
          Return the result of evaluating the operation on an argument.
 Value LibraryBinaryOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
          Return the result of evaluating the operation on left and right arguments.
 Value LibraryTernaryOperation.evaluate(ValueFactory valueFactory, Value source, Value arg1, Value arg2)
          Return the result of evaluating the operation on source with arg1 and arg2.
protected  Value AbstractOperation.evaluateArgument(EvaluationVisitor evaluationVisitor, OperationCallExp operationCall, int i)
           
protected  Value AbstractIteration.evaluateIteration(IterationManager<ACC> iterationManager)
           
 Value IterationManager.get(int i)
           
 Value IterationManager.getBodyValue()
           
 Value IterationManager.getFalse()
           
 Value IterationManager.getTrue()
           
protected  Value AbstractIteration.resolveTerminalValue(IterationManager<ACC> iterationManager)
          Return the value appropriate to an iteration over all the source elements.
protected abstract  Value AbstractIteration.updateAccumulator(IterationManager<ACC> iterationManager)
          Update the accumulatorValue with the bodyValue resulting from the current iteration for which the iterators define the context in the environment.
 

Methods in org.eclipse.ocl.examples.library with parameters of type Value
 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)
           
 Value LibraryUnaryOperation.evaluate(ValueFactory valueFactory, Value argument)
          Return the result of evaluating the operation on an argument.
 Value LibraryBinaryOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
          Return the result of evaluating the operation on left and right arguments.
 Value LibraryTernaryOperation.evaluate(ValueFactory valueFactory, Value source, Value arg1, Value arg2)
          Return the result of evaluating the operation on source with arg1 and arg2.
 

Constructors in org.eclipse.ocl.examples.library with parameters of type Value
IterationManager(IterationManager<ACC> iterationManager, Value value)
           
 

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

Methods in org.eclipse.ocl.examples.library.classifier that return Value
 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)
           
 

Methods in org.eclipse.ocl.examples.library.classifier with parameters of type Value
 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 Value in org.eclipse.ocl.examples.library.collection
 

Methods in org.eclipse.ocl.examples.library.collection that return Value
 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)
           
 Value CollectionAsBagOperation.evaluate(ValueFactory valueFactory, Value argument)
           
 Value CollectionAsOrderedSetOperation.evaluate(ValueFactory valueFactory, Value argument)
           
 Value CollectionAsSequenceOperation.evaluate(ValueFactory valueFactory, Value argument)
           
 Value CollectionAsSetOperation.evaluate(ValueFactory valueFactory, Value argument)
           
 Value CollectionFlattenOperation.evaluate(ValueFactory valueFactory, Value argument)
           
 Value CollectionIsEmptyOperation.evaluate(ValueFactory valueFactory, Value argument)
           
 Value CollectionNotEmptyOperation.evaluate(ValueFactory valueFactory, Value argument)
           
 Value CollectionSizeOperation.evaluate(ValueFactory valueFactory, Value argument)
           
 Value OrderedCollectionFirstOperation.evaluate(ValueFactory valueFactory, Value argument)
           
 Value OrderedCollectionLastOperation.evaluate(ValueFactory valueFactory, Value argument)
           
 Value OrderedCollectionReverseOperation.evaluate(ValueFactory valueFactory, Value argument)
           
 Value CollectionCountOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value CollectionExcludesAllOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value CollectionExcludesOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value CollectionExcludingOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value CollectionIncludesAllOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value CollectionIncludesOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value CollectionIncludingOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value CollectionUnionOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value OrderedCollectionAppendOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value OrderedCollectionAtOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value OrderedCollectionIndexOfOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value OrderedCollectionPrependOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value SetMinusOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value SetSymmetricDifferenceOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value UniqueCollectionIntersectionOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value OrderedCollectionInsertAtOperation.evaluate(ValueFactory valueFactory, Value source, Value arg1, Value arg2)
           
 Value OrderedSetSubOrderedSetOperation.evaluate(ValueFactory valueFactory, Value source, Value arg1, Value arg2)
           
 Value SequenceSubSequenceOperation.evaluate(ValueFactory valueFactory, Value source, Value arg1, Value arg2)
           
 

Methods in org.eclipse.ocl.examples.library.collection with parameters of type Value
 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)
           
 Value CollectionAsBagOperation.evaluate(ValueFactory valueFactory, Value argument)
           
 Value CollectionAsOrderedSetOperation.evaluate(ValueFactory valueFactory, Value argument)
           
 Value CollectionAsSequenceOperation.evaluate(ValueFactory valueFactory, Value argument)
           
 Value CollectionAsSetOperation.evaluate(ValueFactory valueFactory, Value argument)
           
 Value CollectionFlattenOperation.evaluate(ValueFactory valueFactory, Value argument)
           
 Value CollectionIsEmptyOperation.evaluate(ValueFactory valueFactory, Value argument)
           
 Value CollectionNotEmptyOperation.evaluate(ValueFactory valueFactory, Value argument)
           
 Value CollectionSizeOperation.evaluate(ValueFactory valueFactory, Value argument)
           
 Value OrderedCollectionFirstOperation.evaluate(ValueFactory valueFactory, Value argument)
           
 Value OrderedCollectionLastOperation.evaluate(ValueFactory valueFactory, Value argument)
           
 Value OrderedCollectionReverseOperation.evaluate(ValueFactory valueFactory, Value argument)
           
 Value CollectionCountOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value CollectionExcludesAllOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value CollectionExcludesOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value CollectionExcludingOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value CollectionIncludesAllOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value CollectionIncludesOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value CollectionIncludingOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value CollectionUnionOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value OrderedCollectionAppendOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value OrderedCollectionAtOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value OrderedCollectionIndexOfOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value OrderedCollectionPrependOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value SetMinusOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value SetSymmetricDifferenceOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value UniqueCollectionIntersectionOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value OrderedCollectionInsertAtOperation.evaluate(ValueFactory valueFactory, Value source, Value arg1, Value arg2)
           
 Value OrderedSetSubOrderedSetOperation.evaluate(ValueFactory valueFactory, Value source, Value arg1, Value arg2)
           
 Value SequenceSubSequenceOperation.evaluate(ValueFactory valueFactory, Value source, Value arg1, Value arg2)
           
 

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

Methods in org.eclipse.ocl.examples.library.enumeration that return Value
 Value EnumerationAllInstancesOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
           
 

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

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

Classes in org.eclipse.ocl.examples.library.iterator that implement Value
protected static class SortedByIteration.SortingValue
           
 

Methods in org.eclipse.ocl.examples.library.iterator that return Value
 Value SortedByIteration.SortingValue.asValidValue()
           
 Value SortedByIteration.SortingValue.createSortedValue()
           
 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)
           
protected  Value AnyIteration.resolveTerminalValue(IterationManager<CollectionValue.Accumulator> iterationManager)
           
protected  Value ExistsIteration.resolveTerminalValue(IterationManager<CollectionValue.Accumulator> iterationManager)
           
protected  Value ForAllIteration.resolveTerminalValue(IterationManager<CollectionValue.Accumulator> iterationManager)
           
protected  Value IsUniqueIteration.resolveTerminalValue(IterationManager<CollectionValue.Accumulator> iterationManager)
           
protected  Value OneIteration.resolveTerminalValue(IterationManager<CollectionValue.Accumulator> iterationManager)
           
protected  Value SortedByIteration.resolveTerminalValue(IterationManager<SortedByIteration.SortingValue> iterationManager)
           
protected  Value AnyIteration.updateAccumulator(IterationManager<CollectionValue.Accumulator> iterationManager)
           
protected  Value ClosureIteration.updateAccumulator(IterationManager<CollectionValue.Accumulator> iterationManager)
          Recursively evaluates the iterator body expression.
protected  Value CollectIteration.updateAccumulator(IterationManager<CollectionValue.Accumulator> iterationManager)
           
protected  Value CollectNestedIteration.updateAccumulator(IterationManager<CollectionValue.Accumulator> iterationManager)
           
protected  Value ExistsIteration.updateAccumulator(IterationManager<CollectionValue.Accumulator> iterationManager)
           
protected  Value ForAllIteration.updateAccumulator(IterationManager<CollectionValue.Accumulator> iterationManager)
           
protected  Value IsUniqueIteration.updateAccumulator(IterationManager<CollectionValue.Accumulator> iterationManager)
           
protected  Value OneIteration.updateAccumulator(IterationManager<CollectionValue.Accumulator> iterationManager)
           
protected  Value RejectIteration.updateAccumulator(IterationManager<CollectionValue.Accumulator> iterationManager)
           
protected  Value SelectIteration.updateAccumulator(IterationManager<CollectionValue.Accumulator> iterationManager)
           
protected  Value SortedByIteration.updateAccumulator(IterationManager<SortedByIteration.SortingValue> iterationManager)
           
protected  Value IterateIteration.updateAccumulator(IterationManager<Value> iterationManager)
           
 

Methods in org.eclipse.ocl.examples.library.iterator with parameters of type Value
 int SortedByIteration.SortingValue.compare(Value o1, Value o2)
           
 void SortedByIteration.SortingValue.put(Value iterVal, Value comparable)
           
 

Method parameters in org.eclipse.ocl.examples.library.iterator with type arguments of type Value
protected  Value IterateIteration.updateAccumulator(IterationManager<Value> iterationManager)
           
 

Constructors in org.eclipse.ocl.examples.library.iterator with parameters of type Value
SortedByIteration.SortingValue(EvaluationEnvironment env, Value sourceVal, LoopExp iteratorExp, Value.BinaryOperation binaryImplementation)
           
 

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

Methods in org.eclipse.ocl.examples.library.logical with parameters of type Value
 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)
           
 BooleanValue BooleanNotOperation.evaluate(ValueFactory valueFactory, Value argument)
           
 BooleanValue BooleanAndOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 BooleanValue BooleanImpliesOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 BooleanValue BooleanOrOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 BooleanValue BooleanXorOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 

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

Methods in org.eclipse.ocl.examples.library.numeric that return Value
 Value NumericOclAsTypeOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
           
 Value AbstractNumericUnaryOperation.evaluate(ValueFactory valueFactory, Value sourceVal)
           
 Value AbstractNumericBinaryOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
protected  Value AbstractNumericUnaryOperation.evaluateInteger(IntegerValue left)
           
protected  Value NumericFloorOperation.evaluateInteger(IntegerValue left)
           
protected  Value NumericRoundOperation.evaluateInteger(IntegerValue left)
           
protected  Value AbstractNumericBinaryOperation.evaluateInteger(ValueFactory valueFactory, IntegerValue left, IntegerValue right)
          Evaluate an operation for which both left and right are Integer.
protected  Value NumericDivOperation.evaluateInteger(ValueFactory valueFactory, IntegerValue left, IntegerValue right)
           
protected  Value NumericDivideOperation.evaluateInteger(ValueFactory valueFactory, IntegerValue left, IntegerValue right)
           
protected  Value NumericMinOperation.evaluateInteger(ValueFactory valueFactory, IntegerValue left, IntegerValue right)
           
protected  Value NumericMinusOperation.evaluateInteger(ValueFactory valueFactory, IntegerValue left, IntegerValue right)
           
protected  Value NumericModOperation.evaluateInteger(ValueFactory valueFactory, IntegerValue left, IntegerValue right)
           
protected  Value NumericTimesOperation.evaluateInteger(ValueFactory valueFactory, IntegerValue left, IntegerValue right)
           
protected  Value NumericAbsOperation.evaluateNumeric(NumericValue left)
           
protected  Value NumericNegateOperation.evaluateNumeric(NumericValue left)
           
protected
<T extends NumericValue>
Value
AbstractNumericUnaryOperation.evaluateNumeric(T left)
          Return the result of evaluating the operation on left.
protected  Value AbstractNumericUnaryOperation.evaluateReal(RealValue left)
           
protected  Value NumericFloorOperation.evaluateReal(RealValue left)
           
protected  Value NumericRoundOperation.evaluateReal(RealValue left)
           
protected  Value AbstractNumericBinaryOperation.evaluateReal(ValueFactory valueFactory, RealValue left, RealValue right)
          Evaluate an operation for which both left and right are Real.
protected  Value NumericDivideOperation.evaluateReal(ValueFactory valueFactory, RealValue left, RealValue right)
           
protected  Value NumericMinOperation.evaluateReal(ValueFactory valueFactory, RealValue left, RealValue right)
           
protected  Value NumericMinusOperation.evaluateReal(ValueFactory valueFactory, RealValue left, RealValue right)
           
protected  Value NumericTimesOperation.evaluateReal(ValueFactory valueFactory, RealValue left, RealValue right)
           
protected  Value AbstractNumericUnaryOperation.evaluateUnlimited(java.lang.Object left)
           
protected  Value AbstractNumericBinaryOperation.evaluateUnlimited(ValueFactory valueFactory, Value left, Value right)
          Evaluate an operation for which at least one of left and right are unlimited and for which neither left nor right are invalid or null.
protected  Value NumericMaxOperation.evaluateUnlimited(ValueFactory valueFactory, Value left, Value right)
           
protected  Value NumericMinOperation.evaluateUnlimited(ValueFactory valueFactory, Value left, Value right)
           
 

Methods in org.eclipse.ocl.examples.library.numeric with parameters of type Value
 Value NumericOclAsTypeOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
           
 Value AbstractNumericUnaryOperation.evaluate(ValueFactory valueFactory, Value sourceVal)
           
 Value AbstractNumericBinaryOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
protected  Value AbstractNumericBinaryOperation.evaluateUnlimited(ValueFactory valueFactory, Value left, Value right)
          Evaluate an operation for which at least one of left and right are unlimited and for which neither left nor right are invalid or null.
protected  BooleanValue NumericGreaterThanEqualOperation.evaluateUnlimited(ValueFactory valueFactory, Value left, Value right)
           
protected  BooleanValue NumericGreaterThanOperation.evaluateUnlimited(ValueFactory valueFactory, Value left, Value right)
           
protected  BooleanValue NumericLessThanEqualOperation.evaluateUnlimited(ValueFactory valueFactory, Value left, Value right)
           
protected  BooleanValue NumericLessThanOperation.evaluateUnlimited(ValueFactory valueFactory, Value left, Value right)
           
protected  Value NumericMaxOperation.evaluateUnlimited(ValueFactory valueFactory, Value left, Value right)
           
protected  Value NumericMinOperation.evaluateUnlimited(ValueFactory valueFactory, Value left, Value right)
           
 

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

Methods in org.eclipse.ocl.examples.library.oclany that return Value
 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)
           
 

Methods in org.eclipse.ocl.examples.library.oclany with parameters of type Value
 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)
           
 SetValue OclAnyOclAsSetOperation.evaluate(ValueFactory valueFactory, Value argument)
           
 BooleanValue OclAnyOclIsInvalidOperation.evaluate(ValueFactory valueFactory, Value argument)
           
 BooleanValue OclAnyOclIsUndefinedOperation.evaluate(ValueFactory valueFactory, Value argument)
           
 BooleanValue OclAnyEqualOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 BooleanValue OclAnyNotEqualOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 

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

Methods in org.eclipse.ocl.examples.library.oclinvalid that return Value
 Value OclInvalidAllInstancesOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
           
 

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

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

Methods in org.eclipse.ocl.examples.library.oclvoid with parameters of type Value
 SetValue OclVoidAllInstancesOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall)
           
 BooleanValue OclVoidAndOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 BooleanValue OclVoidImpliesOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 BooleanValue OclVoidOrOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 

Uses of Value in org.eclipse.ocl.examples.library.string
 

Methods in org.eclipse.ocl.examples.library.string that return Value
 Value StringCharactersOperation.evaluate(ValueFactory valueFactory, Value sourceVal)
           
 Value StringSizeOperation.evaluate(ValueFactory valueFactory, Value sourceVal)
           
 Value StringToBooleanOperation.evaluate(ValueFactory valueFactory, Value sourceVal)
           
 Value StringToIntegerOperation.evaluate(ValueFactory valueFactory, Value sourceVal)
           
 Value StringToLowerCaseOperation.evaluate(ValueFactory valueFactory, Value sourceVal)
           
 Value StringToRealOperation.evaluate(ValueFactory valueFactory, Value sourceVal)
           
 Value StringToUpperCaseOperation.evaluate(ValueFactory valueFactory, Value sourceVal)
           
 Value StringAtOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value StringConcatOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value StringEqualsIgnoreCaseOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value StringGreaterThanEqualOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value StringGreaterThanOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value StringIndexOfOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value StringLessThanEqualOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value StringLessThanOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value StringSubstringOperation.evaluate(ValueFactory valueFactory, Value source, Value arg1, Value arg2)
           
 

Methods in org.eclipse.ocl.examples.library.string with parameters of type Value
 Value StringCharactersOperation.evaluate(ValueFactory valueFactory, Value sourceVal)
           
 Value StringSizeOperation.evaluate(ValueFactory valueFactory, Value sourceVal)
           
 Value StringToBooleanOperation.evaluate(ValueFactory valueFactory, Value sourceVal)
           
 Value StringToIntegerOperation.evaluate(ValueFactory valueFactory, Value sourceVal)
           
 Value StringToLowerCaseOperation.evaluate(ValueFactory valueFactory, Value sourceVal)
           
 Value StringToRealOperation.evaluate(ValueFactory valueFactory, Value sourceVal)
           
 Value StringToUpperCaseOperation.evaluate(ValueFactory valueFactory, Value sourceVal)
           
 Value StringAtOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value StringConcatOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value StringEqualsIgnoreCaseOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value StringGreaterThanEqualOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value StringGreaterThanOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value StringIndexOfOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value StringLessThanEqualOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value StringLessThanOperation.evaluate(ValueFactory valueFactory, Value left, Value right)
           
 Value StringSubstringOperation.evaluate(ValueFactory valueFactory, Value source, Value arg1, Value arg2)
           
 

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

Methods in org.eclipse.ocl.examples.pivot that return Value
 Value QueryBase.evaluate(java.lang.Object obj)
          Evaluates the query on the object.
 Value OCLBase.evaluate(java.lang.Object context, ExpressionInOcl expression)
          Evaluates a query expression on a context object (which is bound to the self variable).
 

Constructors in org.eclipse.ocl.examples.pivot with parameters of type Value
InvalidValueException(java.lang.String message, Value value)
           
 

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

Methods in org.eclipse.ocl.examples.pivot.ecore that return Value
 Value EObjectOperation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceValue, CallExp callExp)
           
 Value EObjectProperty.evaluate(EvaluationVisitor evaluationVisitor, Value sourceValue, CallExp callExp)
           
 

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

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

Methods in org.eclipse.ocl.examples.pivot.evaluation that return Value
 Value CallableImplementation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceValue, CallExp call)
           
 Value AbstractEvaluationEnvironment.getValueOf(VariableDeclaration referredVariable)
          Returns the value associated with the supplied name
 Value EvaluationEnvironment.getValueOf(VariableDeclaration referredVariable)
          Returns the value associated with the supplied variable declaration
protected  Value EvaluationVisitorImpl.handleCallExp(CallExp callExp, Operation staticOperation)
           
 Value EvaluationEnvironment.navigateAssociationClass(Type associationClass, Property navigationSource, java.lang.Object source)
          Obtains the instance of the specified association class that links the specified source element, optionally via the specified property.
 Value PivotEvaluationEnvironment.navigateAssociationClass(Type associationClass, Property navigationSource, java.lang.Object source)
          Ecore implementation of the enumeration literal value.
 Value AbstractEvaluationEnvironment.remove(VariableDeclaration referredVariable)
          Deprecated. 
 Value EvaluationEnvironment.remove(VariableDeclaration referredVariable)
          Deprecated. let expiry of a nested evaluation environment remove automatically
 Value EvaluationVisitorImpl.safeVisit(Visitable v)
           
 Value EvaluationVisitorDecorator.visitAssociationClassCallExp(AssociationClassCallExp callExp)
          Delegates to my decorated visitor.
 Value EvaluationVisitorImpl.visitAssociationClassCallExp(AssociationClassCallExp ae)
          Callback for an AssociationClassCallExp visit.
 Value TracingEvaluationVisitor.visitAssociationClassCallExp(AssociationClassCallExp callExp)
           
 Value EvaluationVisitorDecorator.visitBooleanLiteralExp(BooleanLiteralExp literalExp)
          Delegates to my decorated visitor.
 Value TracingEvaluationVisitor.visitBooleanLiteralExp(BooleanLiteralExp literalExp)
           
 Value EvaluationVisitorDecorator.visitCollectionItem(CollectionItem item)
          Delegates to my decorated visitor.
 Value EvaluationVisitorImpl.visitCollectionItem(CollectionItem item)
           
 Value TracingEvaluationVisitor.visitCollectionItem(CollectionItem item)
           
 Value EvaluationVisitorDecorator.visitCollectionLiteralExp(CollectionLiteralExp literalExp)
          Delegates to my decorated visitor.
 Value EvaluationVisitorImpl.visitCollectionLiteralExp(CollectionLiteralExp cl)
          Callback for a CollectionLiteralExp visit.
 Value TracingEvaluationVisitor.visitCollectionLiteralExp(CollectionLiteralExp literalExp)
           
 Value EvaluationVisitorDecorator.visitCollectionRange(CollectionRange range)
          Delegates to my decorated visitor.
 Value EvaluationVisitorImpl.visitCollectionRange(CollectionRange range)
           
 Value TracingEvaluationVisitor.visitCollectionRange(CollectionRange range)
           
 Value AbstractEvaluationVisitor.visitConstraint(Constraint constraint)
          This default implementation asserts that the constraint is boolean-valued if it is an invariant, pre-condition, or post-condition constraint and returns the value of its body expression by delegation to #visitExpression(OCLExpression).
 Value EvaluationVisitorDecorator.visitConstraint(Constraint constraint)
          Delegates to my decorated visitor.
 Value TracingEvaluationVisitor.visitConstraint(Constraint constraint)
           
 Value EvaluationVisitorDecorator.visitEnumLiteralExp(EnumLiteralExp literalExp)
          Delegates to my decorated visitor.
 Value EvaluationVisitorImpl.visitEnumLiteralExp(EnumLiteralExp el)
          Callback for an EnumLiteralExp visit.
 Value TracingEvaluationVisitor.visitEnumLiteralExp(EnumLiteralExp literalExp)
           
 Value EvaluationVisitorDecorator.visitExpressionInOcl(ExpressionInOcl expression)
          Delegates to my decorated visitor.
 Value EvaluationVisitorImpl.visitExpressionInOcl(ExpressionInOcl expression)
           
 Value TracingEvaluationVisitor.visitExpressionInOcl(ExpressionInOcl expression)
           
 Value EvaluationVisitorDecorator.visitIfExp(IfExp ifExp)
          Delegates to my decorated visitor.
 Value EvaluationVisitorImpl.visitIfExp(IfExp ifExp)
          Callback for an IfExp visit.
 Value TracingEvaluationVisitor.visitIfExp(IfExp ifExp)
           
 Value EvaluationVisitorDecorator.visiting(Visitable visitable)
          Delegates to my decorated visitor.
 Value EvaluationVisitorImpl.visiting(Visitable visitable)
           
 Value EvaluationVisitorDecorator.visitIntegerLiteralExp(IntegerLiteralExp literalExp)
          Delegates to my decorated visitor.
 Value EvaluationVisitorImpl.visitIntegerLiteralExp(IntegerLiteralExp integerLiteralExp)
          Callback for an IntegerLiteralExp visit.
 Value TracingEvaluationVisitor.visitIntegerLiteralExp(IntegerLiteralExp literalExp)
           
 Value EvaluationVisitorDecorator.visitInvalidLiteralExp(InvalidLiteralExp literalExp)
          Delegates to my decorated visitor.
 Value EvaluationVisitorImpl.visitInvalidLiteralExp(InvalidLiteralExp invalidLiteralExp)
           
 Value TracingEvaluationVisitor.visitInvalidLiteralExp(InvalidLiteralExp literalExp)
           
 Value EvaluationVisitorImpl.visitIterateExp(IterateExp iterateExp)
          Callback for an IterateExp visit.
 Value EvaluationVisitorImpl.visitIteratorExp(IteratorExp iteratorExp)
          Callback for an IteratorExp visit.
 Value EvaluationVisitorDecorator.visitLetExp(LetExp letExp)
          Delegates to my decorated visitor.
 Value EvaluationVisitorImpl.visitLetExp(LetExp letExp)
          Callback for LetExp visit.
 Value TracingEvaluationVisitor.visitLetExp(LetExp letExp)
           
 Value EvaluationVisitorDecorator.visitMessageExp(MessageExp messageExp)
          Delegates to my decorated visitor.
 Value EvaluationVisitorImpl.visitMessageExp(MessageExp m)
           
 Value TracingEvaluationVisitor.visitMessageExp(MessageExp messageExp)
           
 Value EvaluationVisitorDecorator.visitNullLiteralExp(NullLiteralExp literalExp)
          Delegates to my decorated visitor.
 Value EvaluationVisitorImpl.visitNullLiteralExp(NullLiteralExp nullLiteralExp)
           
 Value TracingEvaluationVisitor.visitNullLiteralExp(NullLiteralExp literalExp)
           
 Value EvaluationVisitorDecorator.visitOperationCallExp(OperationCallExp callExp)
          Delegates to my decorated visitor.
 Value EvaluationVisitorImpl.visitOperationCallExp(OperationCallExp operationCallExp)
          Callback for an OperationCallExp visit.
 Value TracingEvaluationVisitor.visitOperationCallExp(OperationCallExp callExp)
           
 Value EvaluationVisitorDecorator.visitPropertyCallExp(PropertyCallExp callExp)
          Delegates to my decorated visitor.
 Value EvaluationVisitorImpl.visitPropertyCallExp(PropertyCallExp propertyCallExp)
          Callback for a PropertyCallExp visit.
 Value TracingEvaluationVisitor.visitPropertyCallExp(PropertyCallExp callExp)
           
 Value EvaluationVisitorDecorator.visitRealLiteralExp(RealLiteralExp literalExp)
          Delegates to my decorated visitor.
 Value EvaluationVisitorImpl.visitRealLiteralExp(RealLiteralExp realLiteralExp)
          Callback for a RealLiteralExp visit.
 Value TracingEvaluationVisitor.visitRealLiteralExp(RealLiteralExp literalExp)
           
 Value EvaluationVisitorDecorator.visitStateExp(StateExp stateExp)
          Delegates to my decorated visitor.
 Value EvaluationVisitorImpl.visitStateExp(StateExp s)
           
 Value TracingEvaluationVisitor.visitStateExp(StateExp stateExp)
           
 Value EvaluationVisitorDecorator.visitStringLiteralExp(StringLiteralExp literalExp)
          Delegates to my decorated visitor.
 Value EvaluationVisitorImpl.visitStringLiteralExp(StringLiteralExp stringLiteralExp)
          Callback for a StringLiteralExp visit.
 Value TracingEvaluationVisitor.visitStringLiteralExp(StringLiteralExp literalExp)
           
 Value EvaluationVisitorDecorator.visitTupleLiteralExp(TupleLiteralExp literalExp)
          Delegates to my decorated visitor.
 Value EvaluationVisitorImpl.visitTupleLiteralExp(TupleLiteralExp tl)
          Callback for a TupleLiteralExp visit.
 Value TracingEvaluationVisitor.visitTupleLiteralExp(TupleLiteralExp literalExp)
           
 Value EvaluationVisitorDecorator.visitTupleLiteralPart(TupleLiteralPart part)
          Delegates to my decorated visitor.
 Value EvaluationVisitorImpl.visitTupleLiteralPart(TupleLiteralPart tp)
           
 Value TracingEvaluationVisitor.visitTupleLiteralPart(TupleLiteralPart part)
           
 Value EvaluationVisitorDecorator.visitTypeExp(TypeExp typeExp)
          Delegates to my decorated visitor.
 Value EvaluationVisitorImpl.visitTypeExp(TypeExp t)
          Callback for a TypeExp visit.
 Value TracingEvaluationVisitor.visitTypeExp(TypeExp typeExp)
           
 Value EvaluationVisitorDecorator.visitUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp literalExp)
          Delegates to my decorated visitor.
 Value EvaluationVisitorImpl.visitUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp unlimitedNaturalLiteralExp)
          Callback for an UnlimitedNaturalLiteralExp visit.
 Value TracingEvaluationVisitor.visitUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp literalExp)
           
 Value EvaluationVisitorDecorator.visitUnspecifiedValueExp(UnspecifiedValueExp unspecExp)
          Delegates to my decorated visitor.
 Value EvaluationVisitorImpl.visitUnspecifiedValueExp(UnspecifiedValueExp uv)
          Callback for an UnspecifiedValueExp visit.
 Value TracingEvaluationVisitor.visitUnspecifiedValueExp(UnspecifiedValueExp unspecExp)
           
 Value EvaluationVisitorDecorator.visitVariable(Variable variable)
          Delegates to my decorated visitor.
 Value EvaluationVisitorImpl.visitVariable(Variable variable)
          Callback for a Variable visit.
 Value TracingEvaluationVisitor.visitVariable(Variable variable)
           
 Value EvaluationVisitorDecorator.visitVariableExp(VariableExp variableExp)
          Delegates to my decorated visitor.
 Value EvaluationVisitorImpl.visitVariableExp(VariableExp variableExp)
          Callback for a VariableExp visit.
 Value TracingEvaluationVisitor.visitVariableExp(VariableExp variableExp)
           
 

Methods in org.eclipse.ocl.examples.pivot.evaluation with parameters of type Value
 void AbstractEvaluationEnvironment.add(VariableDeclaration referredVariable, Value value)
          Adds the supplied name and value binding to the environment
 void EvaluationEnvironment.add(VariableDeclaration referredVariable, Value value)
          Adds the supplied variable declaration and value binding to the environment.
 Value CallableImplementation.evaluate(EvaluationVisitor evaluationVisitor, Value sourceValue, CallExp call)
           
 void AbstractEvaluationEnvironment.replace(VariableDeclaration referredVariable, Value value)
          Replaces the current value of the supplied name with the supplied value.
 void EvaluationEnvironment.replace(VariableDeclaration referredVariable, Value value)
          Replaces the current value of the supplied variable declaration with the supplied value.
 

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

Methods in org.eclipse.ocl.examples.pivot.library that return Value
 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)
           
 Value JavaComparisonOperation.evaluate(ValueFactory valueFactory, Value leftValue, Value rightValue)
           
protected  Value JavaComparisonOperation.throwInvalidValueException(java.lang.String message, java.lang.Object... bindings)
           
 

Methods in org.eclipse.ocl.examples.pivot.library with parameters of type Value
 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)
           
 Value JavaComparisonOperation.evaluate(ValueFactory valueFactory, Value leftValue, Value rightValue)
           
 

Uses of Value in org.eclipse.ocl.examples.pivot.utilities
 

Methods in org.eclipse.ocl.examples.pivot.utilities that return Value
 Value QueryBaseImpl.evaluate()
           
 Value QueryBaseImpl.evaluate(java.lang.Object obj)
           
 Value QueryImpl.evaluate(java.lang.Object obj)
           
 

Uses of Value in org.eclipse.ocl.examples.pivot.values
 

Subinterfaces of Value in org.eclipse.ocl.examples.pivot.values
 interface BagValue
           
 interface BooleanValue
           
 interface CollectionValue
           
static interface CollectionValue.Accumulator
           
 interface ElementValue<E extends Element>
           
 interface IntegerValue
           
 interface InvalidValue
           
 interface MapValue
           
static interface MapValue.Accumulator
           
 interface NonOrderedCollectionValue
           
 interface NonUniqueCollectionValue
           
 interface NullValue
           
 interface NumericValue
           
 interface ObjectValue
           
 interface OrderedCollectionValue
           
 interface OrderedSetValue
           
 interface RealValue
           
 interface SequenceValue
           
 interface SetValue
           
 interface StringValue
           
 interface TupleValue
          Interface of a tuple instance value.
 interface TypeValue
           
 interface UniqueCollectionValue
           
 interface UnlimitedValue
           
 

Methods in org.eclipse.ocl.examples.pivot.values that return Value
 Value Value.asValidValue()
           
 Value OrderedCollectionValue.at(int index)
           
 Value ValueFactory.createTupleValue(TupleType type, java.util.Map<? extends TypedElement,Value> values)
           
 Value ValueFactory.createTypeValue(ClassifierType type)
           
 Value Value.BinaryOperation.evaluate(ValueFactory valueFactory, Value result, Value element)
           
 Value OrderedCollectionValue.first()
           
 Value TupleValue.getValue(Property part)
          Queries the value of the specified tuple part.
 Value TupleValue.getValue(java.lang.String partName)
          Queries the value of the specified tuple part.
 Value OrderedCollectionValue.last()
           
 Value CollectionValue.maxMin(Value.BinaryOperation binaryOperation)
           
 Value CollectionValue.sum(Value.BinaryOperation binaryOperation, Value zero)
           
 Value ValueFactory.valueOf(java.lang.Object object)
           
 Value ValueFactory.valueOf(java.lang.Object eValue, org.eclipse.emf.ecore.ETypedElement eFeature)
           
 

Methods in org.eclipse.ocl.examples.pivot.values that return types with arguments of type Value
 java.util.Collection<Value> CollectionValue.asCollection()
           
 java.util.Collection<Value> MapValue.asCollection()
           
 java.util.List<Value> CollectionValue.asList()
           
 java.util.List<Value> MapValue.asList()
           
 java.util.Iterator<Value> CollectionValue.iterator()
           
 java.util.Iterator<Value> MapValue.iterator()
           
 

Methods in org.eclipse.ocl.examples.pivot.values with parameters of type Value
 boolean CollectionValue.Accumulator.add(Value value)
           
 OrderedCollectionValue OrderedCollectionValue.append(Value object)
           
 IntegerValue CollectionValue.count(Value value)
           
 int MapValue.count(Value value)
           
 BagValue ValueFactory.createBagValue(Value... values)
           
 CollectionValue ValueFactory.createCollectionValue(boolean isOrdered, boolean isUnique, Value... values)
          Creates a new OCL Collection of the specified ordering and uniqueness.
 CollectionValue ValueFactory.createCollectionValue(CollectionKind kind, Value... values)
           
 OrderedSetValue ValueFactory.createOrderedSetValue(Value... values)
           
 SequenceValue ValueFactory.createSequenceValue(Value... values)
           
 SetValue ValueFactory.createSetValue(Value... values)
           
 Value Value.BinaryOperation.evaluate(ValueFactory valueFactory, Value result, Value element)
           
 BooleanValue CollectionValue.excludes(Value value)
           
 boolean MapValue.excludes(Value value)
           
 CollectionValue CollectionValue.excluding(Value value)
           
 MapValue MapValue.excluding(Value value)
           
 java.lang.Object ValueFactory.getEcoreValueOf(Value result)
           
 BooleanValue CollectionValue.includes(Value value)
           
 boolean MapValue.includes(Value value)
           
 CollectionValue CollectionValue.including(Value value)
           
 MapValue MapValue.including(Value value)
           
 IntegerValue OrderedCollectionValue.indexOf(Value object)
           
 OrderedCollectionValue OrderedCollectionValue.insertAt(int index, Value object)
           
 OrderedCollectionValue OrderedCollectionValue.prepend(Value object)
           
 boolean MapValue.Accumulator.put(Value value)
           
 Value CollectionValue.sum(Value.BinaryOperation binaryOperation, Value zero)
           
 

Method parameters in org.eclipse.ocl.examples.pivot.values with type arguments of type Value
 BagValue ValueFactory.createBagValue(Bag<? extends Value> values)
           
 BagValue ValueFactory.createBagValue(java.util.Collection<? extends Value> values)
           
 CollectionValue ValueFactory.createCollectionValue(boolean isOrdered, boolean isUnique, java.util.Collection<Value> values)
           
 CollectionValue ValueFactory.createCollectionValue(CollectionKind kind, java.util.Collection<Value> values)
           
 OrderedSetValue ValueFactory.createOrderedSetValue(java.util.Collection<? extends Value> values)
           
 OrderedSetValue ValueFactory.createOrderedSetValue(java.util.LinkedHashSet<? extends Value> values)
           
 SequenceValue ValueFactory.createSequenceValue(java.util.Collection<? extends Value> values)
           
 SequenceValue ValueFactory.createSequenceValue(java.util.List<? extends Value> values)
           
 SetValue ValueFactory.createSetValue(java.util.Collection<? extends Value> values)
           
 SetValue ValueFactory.createSetValue(java.util.Set<? extends Value> values)
           
 Value ValueFactory.createTupleValue(TupleType type, java.util.Map<? extends TypedElement,Value> values)
           
 boolean CollectionValue.flatten(java.util.Collection<Value> flattenedElements)
           
 OrderedCollectionValue CollectionValue.sort(java.util.Comparator<Value> comparator)
           
 

Uses of Value in org.eclipse.ocl.examples.pivot.values.impl
 

Classes in org.eclipse.ocl.examples.pivot.values.impl with type parameters of type Value
 class AbstractCollectionValue<C extends Collection<Value>>
           
 class AbstractSequenceValue<L extends List<Value>>
           
 

Classes in org.eclipse.ocl.examples.pivot.values.impl that implement Value
 class AbstractCollectionValue<C extends Collection<Value>>
           
 class AbstractedCollectionValue
           
 class AbstractSequenceValue<L extends List<Value>>
           
 class AbstractUndefinedCollectionValue
           
 class AbstractUndefinedValue
           
 class AbstractValue
           
 class BagValueImpl
           
static class BagValueImpl.Accumulator
           
 class BooleanValueImpl
           
 class ElementValueImpl<E extends Element>
           
 class IntegerRangeValueImpl
           
 class IntegerValueImpl
           
 class InvalidValueImpl
           
 class NullValueImpl
           
 class ObjectValueImpl
           
 class OrderedSetValueImpl
           
static class OrderedSetValueImpl.Accumulator
           
 class RealValueImpl
           
 class SequenceValueImpl
           
static class SequenceValueImpl.Accumulator
           
 class SetValueImpl
           
static class SetValueImpl.Accumulator
           
 class StringValueImpl
           
 class TupleValueImpl
          UML implementation of a tuple value.
 class TypeValueImpl
           
 class UnlimitedValueImpl
           
 

Methods in org.eclipse.ocl.examples.pivot.values.impl that return Value
 Value AbstractedCollectionValue.asValidValue()
           
 Value BooleanValueImpl.asValidValue()
           
 Value IntegerValueImpl.asValidValue()
           
 Value InvalidValueImpl.asValidValue()
           
 Value NullValueImpl.asValidValue()
           
 Value ObjectValueImpl.asValidValue()
           
 Value RealValueImpl.asValidValue()
           
 Value StringValueImpl.asValidValue()
           
 Value TupleValueImpl.asValidValue()
           
 Value UnlimitedValueImpl.asValidValue()
           
 Value AbstractSequenceValue.at(int index)
           
 Value AbstractUndefinedCollectionValue.at(int index)
           
 Value OrderedSetValueImpl.at(int index)
           
 Value ValueFactoryImpl.createTupleValue(TupleType type, java.util.Map<? extends TypedElement,Value> values)
           
 Value ValueFactoryImpl.createTypeValue(ClassifierType type)
           
 Value AbstractSequenceValue.first()
           
 Value AbstractUndefinedCollectionValue.first()
           
 Value IntegerRangeValueImpl.first()
           
 Value OrderedSetValueImpl.first()
           
 Value TupleValueImpl.getValue(Property part)
           
 Value TupleValueImpl.getValue(java.lang.String partName)
           
 Value AbstractSequenceValue.last()
           
 Value AbstractUndefinedCollectionValue.last()
           
 Value IntegerRangeValueImpl.last()
           
 Value OrderedSetValueImpl.last()
           
 Value AbstractCollectionValue.maxMin(Value.BinaryOperation binaryOperation)
           
 Value AbstractUndefinedCollectionValue.maxMin(Value.BinaryOperation binaryOperation)
           
 Value AbstractCollectionValue.sum(Value.BinaryOperation binaryOperation, Value zero)
           
 Value AbstractUndefinedCollectionValue.sum(Value.BinaryOperation binaryOperation, Value zero)
           
 Value ValueFactoryImpl.valueOf(java.lang.Object object)
           
 Value ValueFactoryImpl.valueOf(java.lang.Object eValue, org.eclipse.emf.ecore.ETypedElement eFeature)
           
 

Methods in org.eclipse.ocl.examples.pivot.values.impl that return types with arguments of type Value
 java.util.Collection<Value> AbstractUndefinedCollectionValue.asCollection()
           
 java.util.Collection<Value> AbstractedCollectionValue.asCollection()
           
 java.util.List<Value> AbstractSequenceValue.asList()
           
 java.util.List<Value> AbstractUndefinedCollectionValue.asList()
           
 java.util.List<Value> AbstractedCollectionValue.asList()
           
protected  java.util.List<Value> IntegerRangeValueImpl.createElements()
           
protected  java.util.Collection<Value> AbstractCollectionValue.getElements()
           
protected abstract  java.util.Collection<Value> AbstractedCollectionValue.getElements()
           
 java.util.List<Value> IntegerRangeValueImpl.getElements()
           
 java.util.Iterator<Value> AbstractCollectionValue.iterator()
           
 

Methods in org.eclipse.ocl.examples.pivot.values.impl with parameters of type Value
 boolean BagValueImpl.Accumulator.add(Value value)
           
 boolean OrderedSetValueImpl.Accumulator.add(Value value)
           
 boolean SequenceValueImpl.Accumulator.add(Value value)
           
 boolean SetValueImpl.Accumulator.add(Value value)
           
 SequenceValue AbstractSequenceValue.append(Value object)
           
 OrderedCollectionValue AbstractUndefinedCollectionValue.append(Value object)
           
 SequenceValue IntegerRangeValueImpl.append(Value value)
           
 OrderedSetValue OrderedSetValueImpl.append(Value object)
           
 IntegerValue AbstractCollectionValue.count(Value value)
          Implementation of the OCL Collection::count(object : T) : Integer operation.
 IntegerValue AbstractUndefinedCollectionValue.count(Value value)
           
 IntegerValue IntegerRangeValueImpl.count(Value value)
           
 BagValue ValueFactoryImpl.createBagValue(Value... values)
           
 CollectionValue ValueFactoryImpl.createCollectionValue(boolean isOrdered, boolean isUnique, Value... values)
          Creates a new OCL Collection of the specified ordering and uniqueness.
 CollectionValue ValueFactoryImpl.createCollectionValue(CollectionKind kind, Value... values)
           
 OrderedSetValue ValueFactoryImpl.createOrderedSetValue(Value... values)
           
 SequenceValue ValueFactoryImpl.createSequenceValue(Value... values)
           
 SetValue ValueFactoryImpl.createSetValue(Value... values)
           
 BooleanValue AbstractCollectionValue.excludes(Value value)
          Implementation of the OCL Collection::excludes(object : T) : Boolean operation.
 BooleanValue AbstractUndefinedCollectionValue.excludes(Value value)
           
 SequenceValue AbstractSequenceValue.excluding(Value value)
           
 CollectionValue AbstractUndefinedCollectionValue.excluding(Value value)
           
 BagValue BagValueImpl.excluding(Value value)
           
 OrderedSetValue OrderedSetValueImpl.excluding(Value value)
           
 SetValue SetValueImpl.excluding(Value value)
           
 java.lang.Object ValueFactoryImpl.getEcoreValueOf(Value value)
           
 BooleanValue AbstractCollectionValue.includes(Value value)
           
 BooleanValue AbstractUndefinedCollectionValue.includes(Value value)
           
 SequenceValue AbstractSequenceValue.including(Value value)
           
 CollectionValue AbstractUndefinedCollectionValue.including(Value value)
           
 BagValue BagValueImpl.including(Value value)
           
 SequenceValue IntegerRangeValueImpl.including(Value value)
           
 OrderedSetValue OrderedSetValueImpl.including(Value value)
           
 SetValue SetValueImpl.including(Value value)
           
 IntegerValue AbstractSequenceValue.indexOf(Value object)
           
 IntegerValue AbstractUndefinedCollectionValue.indexOf(Value object)
           
 IntegerValue OrderedSetValueImpl.indexOf(Value object)
           
 SequenceValue AbstractSequenceValue.insertAt(int index, Value object)
           
 OrderedCollectionValue AbstractUndefinedCollectionValue.insertAt(int index, Value object)
           
 OrderedSetValue OrderedSetValueImpl.insertAt(int index, Value object)
           
 SequenceValue AbstractSequenceValue.prepend(Value object)
           
 OrderedCollectionValue AbstractUndefinedCollectionValue.prepend(Value object)
           
 SequenceValue IntegerRangeValueImpl.prepend(Value value)
           
 OrderedSetValue OrderedSetValueImpl.prepend(Value object)
           
 Value AbstractCollectionValue.sum(Value.BinaryOperation binaryOperation, Value zero)
           
 Value AbstractUndefinedCollectionValue.sum(Value.BinaryOperation binaryOperation, Value zero)
           
 

Method parameters in org.eclipse.ocl.examples.pivot.values.impl with type arguments of type Value
 BagValue ValueFactoryImpl.createBagValue(Bag<? extends Value> values)
           
 BagValue ValueFactoryImpl.createBagValue(java.util.Collection<? extends Value> values)
           
 CollectionValue ValueFactoryImpl.createCollectionValue(boolean isOrdered, boolean isUnique, java.util.Collection<Value> values)
          Creates a new OCL Collection of the specified ordering and uniqueness.
 CollectionValue ValueFactoryImpl.createCollectionValue(CollectionKind kind, java.util.Collection<Value> values)
           
 OrderedSetValue ValueFactoryImpl.createOrderedSetValue(java.util.Collection<? extends Value> values)
           
 OrderedSetValue ValueFactoryImpl.createOrderedSetValue(java.util.LinkedHashSet<? extends Value> values)
           
 SequenceValue ValueFactoryImpl.createSequenceValue(java.util.Collection<? extends Value> values)
           
 SequenceValue ValueFactoryImpl.createSequenceValue(java.util.List<? extends Value> values)
           
 SetValue ValueFactoryImpl.createSetValue(java.util.Collection<? extends Value> values)
           
 SetValue ValueFactoryImpl.createSetValue(java.util.Set<? extends Value> values)
           
 Value ValueFactoryImpl.createTupleValue(TupleType type, java.util.Map<? extends TypedElement,Value> values)
           
 boolean AbstractCollectionValue.flatten(java.util.Collection<Value> flattenedElements)
          Returns true if any element flattened.
 boolean AbstractUndefinedCollectionValue.flatten(java.util.Collection<Value> flattenedElements)
           
 SequenceValue AbstractSequenceValue.sort(java.util.Comparator<Value> comparator)
           
 OrderedCollectionValue AbstractUndefinedCollectionValue.sort(java.util.Comparator<Value> comparator)
           
 SequenceValue BagValueImpl.sort(java.util.Comparator<Value> comparator)
           
 OrderedSetValue OrderedSetValueImpl.sort(java.util.Comparator<Value> comparator)
           
 OrderedSetValue SetValueImpl.sort(java.util.Comparator<Value> comparator)
           
 

Constructors in org.eclipse.ocl.examples.pivot.values.impl with parameters of type Value
BagValueImpl(ValueFactory valueFactory, Value... elements)
           
OrderedSetValueImpl(ValueFactory valueFactory, Value... elements)
           
SequenceValueImpl(ValueFactory valueFactory, Value... elements)
           
SetValueImpl(ValueFactory valueFactory, Value... elements)
           
TupleValueImpl(ValueFactory valueFactory, TupleType type, Value firstValue, Value secondValue)
          Convenience constructor to initialize me with a pair of part values as required by the Collection::product() operation.
 

Constructor parameters in org.eclipse.ocl.examples.pivot.values.impl with type arguments of type Value
BagValueImpl(ValueFactory valueFactory, Bag<Value> elements)
           
BagValueImpl(ValueFactory valueFactory, java.util.Collection<? extends Value> elements)
           
OrderedSetValueImpl(ValueFactory valueFactory, java.util.Collection<? extends Value> elements)
           
OrderedSetValueImpl(ValueFactory valueFactory, OrderedSet<Value> elements)
           
SequenceValueImpl(ValueFactory valueFactory, java.util.Collection<? extends Value> elements)
           
SequenceValueImpl(ValueFactory valueFactory, java.util.List<Value> elements)
           
SetValueImpl(ValueFactory valueFactory, java.util.Collection<? extends Value> elements)
           
SetValueImpl(ValueFactory valueFactory, java.util.Set<Value> elements)
           
TupleValueImpl(ValueFactory valueFactory, TupleType type, java.util.Map<? extends TypedElement,Value> values)
          Initializes me with a map of part values.
 

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

Classes in org.eclipse.ocl.examples.xtext.console that implement Value
protected static class OCLConsolePage.ExceptionValue
           
 

Methods in org.eclipse.ocl.examples.xtext.console that return Value
 Value OCLConsolePage.CancelableEvaluationVisitor.visitAssociationClassCallExp(AssociationClassCallExp ae)
           
 Value OCLConsolePage.CancelableEvaluationVisitor.visitCollectionItem(CollectionItem item)
           
 Value OCLConsolePage.CancelableEvaluationVisitor.visitIterateExp(IterateExp iterateExp)
           
 Value OCLConsolePage.CancelableEvaluationVisitor.visitIteratorExp(IteratorExp iteratorExp)
           
 Value OCLConsolePage.CancelableEvaluationVisitor.visitOperationCallExp(OperationCallExp operationCallExp)
           
 Value OCLConsolePage.CancelableEvaluationVisitor.visitPropertyCallExp(PropertyCallExp propertyCallExp)
           
 Value OCLConsolePage.CancelableEvaluationVisitor.visitTupleLiteralPart(TupleLiteralPart tp)