Uses of Interface org.eclipse.ocl.examples.domain.values.Value (MDT-OCL Documentation)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES

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

Packages that use Value
org.eclipse.ocl.examples.domain.elements
org.eclipse.ocl.examples.domain.evaluation
org.eclipse.ocl.examples.domain.library
org.eclipse.ocl.examples.domain.types
org.eclipse.ocl.examples.domain.values
org.eclipse.ocl.examples.domain.values.impl
org.eclipse.ocl.examples.library.classifier
org.eclipse.ocl.examples.library.collection
org.eclipse.ocl.examples.library.ecore
org.eclipse.ocl.examples.library.enumeration
org.eclipse.ocl.examples.library.executor
org.eclipse.ocl.examples.library.integer
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.real
org.eclipse.ocl.examples.library.string
org.eclipse.ocl.examples.pivot
org.eclipse.ocl.examples.pivot.bodies
org.eclipse.ocl.examples.pivot.ecore
org.eclipse.ocl.examples.pivot.evaluation
org.eclipse.ocl.examples.pivot.internal.impl
org.eclipse.ocl.examples.pivot.library
org.eclipse.ocl.examples.pivot.prettyprint
org.eclipse.ocl.examples.pivot.utilities
org.eclipse.ocl.examples.xtext.console

Uses of Value in org.eclipse.ocl.examples.domain.elements

Methods in org.eclipse.ocl.examples.domain.elements that return Value
`Value`	`DomainType.createInstance(ValueFactory valueFactory, java.lang.String value)` Return a new instance of this data type from valueFactory.

Methods in org.eclipse.ocl.examples.domain.elements with parameters of type Value
`void`	`DomainProperty.setValue(ObjectValue objectValue, Value propertyValue)`

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

Methods in org.eclipse.ocl.examples.domain.evaluation that return Value
`Value`	`DomainEvaluator.evaluate(DomainExpression body)`
`Value`	`DomainIterationManager.evaluateBody()` Evaluate the iteration body for the current iterators and return the evaluation result.
`Value`	`DomainIterationManager.get()` Get the current state of the iterator.
`Value`	`DomainIterationManager.getAccumulatorValue()` Get the current state of the accumulator.
`Value`	`DomainIterationManager.updateBody()` Evaluate the iteration body for the current iterators and update the accumulator accordingly.

Methods in org.eclipse.ocl.examples.domain.evaluation with parameters of type Value
`void`	`DomainEvaluationEnvironment.add(DomainTypedElement variable, Value value)`
`void`	`DomainEvaluationEnvironment.replace(DomainTypedElement variable, Value value)`

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

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

Methods in org.eclipse.ocl.examples.domain.library that return Value
`Value`	`LibraryIteration.createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType)` Create the value that will accumulate the iteration results.
`Value`	`AbstractBinaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)`
`Value`	`AbstractTernaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)`
`Value`	`AbstractUnaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)`
`Value`	`LibraryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)` Return the result of evaluating operationCall upon sourceVal within the environment provided by EvaluationVisitor.
`Value`	`LibraryUnaryOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue)` Return the result of evaluating the operation on an argument.
`Value`	`LibraryProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)`
`Value`	`LibraryBinaryOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value argumentValue)` Return the result of evaluating the operation on left and right arguments.
`Value`	`LibraryTernaryOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)` Return the result of evaluating the operation on source with arg1 and arg2.
`Value`	`EvaluatorIterationManager.evaluateBody()`
`Value`	`AbstractIteration.evaluateIteration(DomainIterationManager iterationManager)` The default iteration algorithm steps through the iteration domain by invoking `DomainIterationManager.hasCurrent()` and `DomainIterationManager.advanceIterators()`.
`Value`	`LibraryIteration.evaluateIteration(DomainIterationManager iterationManager)` Evaluate the iteration under the supervision of an iterationManager.
`Value`	`AbstractIterationManager.get()`
`Value`	`EvaluatorIterationManager.ValueIterator.get()`
`Value`	`EvaluatorSingleIterationManager.get()`
`Value`	`EvaluatorMultipleIterationManager.get(int i)`
`Value`	`EvaluatorIterationManager.getAccumulatorValue()`
`Value`	`EvaluatorIterationManager.ValueIterator.next()`
`Value`	`EvaluatorIterationManager.ValueIterator.reset()`
`protected Value`	`AbstractIteration.resolveTerminalValue(DomainIterationManager iterationManager)` Return the final result at the end of an iteration over all the source elements.
`protected abstract Value`	`AbstractIteration.updateAccumulator(DomainIterationManager iterationManager)` Update the accumulatorValue with the bodyValue resulting from the current iteration for which the iterators define the context in the environment.
`Value`	`EvaluatorIterationManager.updateBody()`

Methods in org.eclipse.ocl.examples.domain.library with parameters of type Value
`Value`	`AbstractBinaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)`
`Value`	`AbstractBinaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)`
`Value`	`AbstractTernaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)`
`Value`	`AbstractTernaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)`
`Value`	`AbstractUnaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)`
`Value`	`AbstractUnaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)`
`Value`	`LibraryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)` Return the result of evaluating operationCall upon sourceVal within the environment provided by EvaluationVisitor.
`Value`	`LibraryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)` Return the result of evaluating operationCall upon sourceVal within the environment provided by EvaluationVisitor.
`Value`	`LibraryUnaryOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue)` Return the result of evaluating the operation on an argument.
`Value`	`LibraryProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)`
`Value`	`LibraryBinaryOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value argumentValue)` Return the result of evaluating the operation on left and right arguments.
`Value`	`LibraryTernaryOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)` Return the result of evaluating the operation on source with arg1 and arg2.

Constructors in org.eclipse.ocl.examples.domain.library with parameters of type Value
`EvaluatorIterationManager(DomainEvaluator evaluator, DomainExpression body, CollectionValue collectionValue, DomainTypedElement accumulatorVariable, Value accumulatorValue)`
`EvaluatorMultipleIterationManager(DomainEvaluator invokingEvaluator, DomainExpression body, CollectionValue collectionValue, DomainTypedElement accumulator, Value accumulatorValue, DomainTypedElement... referredIterators)`
`EvaluatorSingleIterationManager(DomainEvaluator invokingEvaluator, DomainExpression body, CollectionValue collectionValue, DomainTypedElement accumulator, Value accumulatorValue, DomainTypedElement referredIterator)`

Uses of Value in org.eclipse.ocl.examples.domain.types

Methods in org.eclipse.ocl.examples.domain.types that return Value
`Value`	`AbstractInheritance.createInstance(ValueFactory valueFactory, java.lang.String value)`
`Value`	`AbstractType.createInstance(ValueFactory valueFactory, java.lang.String value)`

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

Subinterfaces of Value in org.eclipse.ocl.examples.domain.values
`interface`	`BagValue`
`interface`	`BooleanValue`
`static interface`	`BooleanValue.Accumulator`
`interface`	`ClassifierTypeValue`
`interface`	`CollectionTypeValue`
`interface`	`CollectionValue`
`static interface`	`CollectionValue.Accumulator`
`interface`	`ElementValue`
`interface`	`EnumerationLiteralValue`
`interface`	`EnumerationTypeValue`
`interface`	`IntegerValue`
`static interface`	`IntegerValue.Accumulator`
`interface`	`InvalidValue`
`interface`	`MapValue`
`static interface`	`MapValue.Accumulator`
`interface`	`NullValue`
`interface`	`NumericValue`
`interface`	`ObjectValue`
`interface`	`OrderedSetValue`
`interface`	`RealValue`
`interface`	`SequenceValue`
`interface`	`SetValue`
`interface`	`SimpleTypeValue`
`interface`	`StringValue`
`interface`	`TupleValue` Interface of a tuple instance value.
`interface`	`TypeValue` A TypeValue is a value object whose value is a type, such as Boolean.
`interface`	`UniqueCollectionValue`
`interface`	`UnlimitedValue`

Methods in org.eclipse.ocl.examples.domain.values that return Value
`Value`	`Value.asValidValue()`
`Value`	`SequenceValue.at(int index)`
`Value`	`ValueFactory.createTypeValue(DomainType type)`
`Value`	`SequenceValue.first()`
`Value`	`TupleValue.getValue(DomainTypedElement 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`	`SequenceValue.last()`
`Value`	`CollectionValue.maxMin(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation)`
`Value`	`CollectionValue.sum(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation, Value zero)`
`Value`	`ValueFactory.valueOf(java.lang.Object object)`
`Value`	`ValueFactory.valueOf(java.lang.Object eValue, org.eclipse.emf.ecore.EClassifier eClassifier)`
`Value`	`ValueFactory.valueOf(java.lang.Object eValue, org.eclipse.emf.ecore.ETypedElement eFeature)`

Methods in org.eclipse.ocl.examples.domain.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>`	`IntegerRange.iterator()`
`java.util.Iterator<Value>`	`MapValue.iterator()`
`java.util.Iterator<Value>`	`Value.toIteratorValue()`

Methods in org.eclipse.ocl.examples.domain.values with parameters of type Value
`boolean`	`CollectionValue.Accumulator.add(Value value)`
`SequenceValue`	`SequenceValue.append(Value object)`
`IntegerValue`	`CollectionValue.count(Value value)`
`int`	`MapValue.count(Value value)`
`BagValue`	`ValueFactory.createBagValue(DomainCollectionType type, Value... values)`
`BagValue`	`ValueFactory.createBagValue(Value... values)`
`CollectionValue`	`ValueFactory.createCollectionValue(boolean isOrdered, boolean isUnique, DomainType elementType, Value... values)`
`CollectionValue`	`ValueFactory.createCollectionValue(boolean isOrdered, boolean isUnique, Value... values)` Creates a new OCL `Collection` of the specified ordering and uniqueness.
`OrderedSetValue`	`ValueFactory.createOrderedSetValue(DomainCollectionType type, Value... values)`
`OrderedSetValue`	`ValueFactory.createOrderedSetValue(Value... value)`
`SequenceValue`	`ValueFactory.createSequenceValue(DomainCollectionType type, Value... values)`
`SequenceValue`	`ValueFactory.createSequenceValue(Value... value)`
`SetValue`	`ValueFactory.createSetValue(DomainCollectionType type, Value... values)`
`SetValue`	`ValueFactory.createSetValue(Value... value)`
`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)`
`DomainType`	`ValueFactory.getElementType(Value... values)`
`BooleanValue`	`CollectionValue.includes(Value value)`
`boolean`	`MapValue.includes(Value value)`
`CollectionValue`	`CollectionValue.including(Value value)`
`MapValue`	`MapValue.including(Value value)`
`IntegerValue`	`SequenceValue.indexOf(Value object)`
`SequenceValue`	`SequenceValue.insertAt(int index, Value object)`
`SequenceValue`	`SequenceValue.prepend(Value object)`
`boolean`	`MapValue.Accumulator.put(Value value)`
`Value`	`CollectionValue.sum(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation, Value zero)`
`DomainType`	`ValueFactory.typeOf(Value value, Value... values)`
`DomainType`	`ValueFactory.typeOf(Value value, Value... values)`

Method parameters in org.eclipse.ocl.examples.domain.values with type arguments of type Value
`BagValue`	`ValueFactory.createBagValue(DomainCollectionType type, Bag<? extends Value> values)`
`BagValue`	`ValueFactory.createBagValue(DomainCollectionType type, java.util.Collection<? extends Value> values)`
`CollectionValue`	`ValueFactory.createCollectionValue(boolean isOrdered, boolean isUnique, java.util.Collection<Value> values)`
`CollectionValue`	`ValueFactory.createCollectionValue(boolean isOrdered, boolean isUnique, DomainType elementType, java.util.Collection<Value> values)`
`OrderedSetValue`	`ValueFactory.createOrderedSetValue(DomainCollectionType type, java.util.Collection<? extends Value> values)`
`OrderedSetValue`	`ValueFactory.createOrderedSetValue(DomainCollectionType type, OrderedSet<? extends Value> values)`
`SequenceValue`	`ValueFactory.createSequenceAccumulatorValue(DomainCollectionType type, java.util.List<Value> values)`
`SequenceValue`	`ValueFactory.createSequenceValue(DomainCollectionType type, java.util.Collection<? extends Value> values)`
`SequenceValue`	`ValueFactory.createSequenceValue(DomainCollectionType type, java.util.List<? extends Value> values)`
`SetValue`	`ValueFactory.createSetValue(DomainCollectionType type, java.util.Collection<? extends Value> values)`
`SetValue`	`ValueFactory.createSetValue(DomainCollectionType type, java.util.Set<? extends Value> values)`
`TupleValue`	`ValueFactory.createTupleValue(DomainTupleType type, java.util.Map<? extends DomainTypedElement,Value> values)`
`boolean`	`CollectionValue.flatten(java.util.Collection<Value> flattenedElements)`
`DomainType`	`ValueFactory.getElementType(java.lang.Iterable<Value> values)`
`SequenceValue`	`CollectionValue.sort(java.util.Comparator<Value> comparator)`

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

Classes in org.eclipse.ocl.examples.domain.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.domain.values.impl that implement Value
`class`	`AbstractCollectionValue<C extends Collection<Value>>`
`class`	`AbstractedCollectionValue`
`class`	`AbstractEnumerationLiteralValueImpl<T>`
`class`	`AbstractIntegerValue`
`class`	`AbstractObjectValue<T>`
`class`	`AbstractSequenceValue<L extends List<Value>>`
`class`	`AbstractTypeValueImpl<T extends DomainType>`
`class`	`AbstractUndefinedCollectionValue`
`class`	`AbstractUndefinedValue`
`class`	`AbstractValue`
`class`	`BagValueImpl`
`static class`	`BagValueImpl.Accumulator`
`class`	`BooleanValueImpl`
`static class`	`BooleanValueImpl.Accumulator`
`class`	`ClassifierTypeValueImpl`
`class`	`CollectionTypeValueImpl`
`class`	`ElementValueImpl`
`class`	`EnumerationLiteralValueImpl`
`class`	`EnumerationTypeValueImpl`
`class`	`EObjectValueImpl`
`class`	`IntegerIntValueImpl` IntegerIntValueImpl provides an implementation of an IntegerValue using a Java int representation.
`class`	`IntegerLongValueImpl` IntegerLongValueImpl provides an implementation of an IntegerValue using a Java long representation.
`class`	`IntegerValueImpl`
`class`	`InvalidValueImpl`
`class`	`NullValueImpl`
`class`	`ObjectValueImpl`
`class`	`OrderedSetValueImpl`
`static class`	`OrderedSetValueImpl.Accumulator`
`class`	`RealValueImpl`
`class`	`SequenceRangeImpl`
`class`	`SequenceValueImpl`
`static class`	`SequenceValueImpl.Accumulator`
`class`	`SetValueImpl`
`static class`	`SetValueImpl.Accumulator`
`class`	`SimpleTypeValueImpl`
`class`	`StringValueImpl`
`class`	`TupleValueImpl` UML implementation of a tuple value.
`class`	`UnlimitedValueImpl`

Methods in org.eclipse.ocl.examples.domain.values.impl that return Value
`Value`	`BooleanValueImpl.Accumulator.asObject()`
`Value`	`AbstractIntegerValue.asValidValue()`
`Value`	`AbstractObjectValue.asValidValue()`
`Value`	`AbstractedCollectionValue.asValidValue()`
`Value`	`BooleanValueImpl.asValidValue()`
`Value`	`BooleanValueImpl.Accumulator.asValidValue()`
`Value`	`InvalidValueImpl.asValidValue()`
`Value`	`NullValueImpl.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`	`AbstractSequenceValue.first()`
`Value`	`AbstractUndefinedCollectionValue.first()`
`Value`	`OrderedSetValueImpl.first()`
`Value`	`SequenceRangeImpl.first()`
`Value`	`TupleValueImpl.getValue(DomainTypedElement part)`
`Value`	`TupleValueImpl.getValue(java.lang.String partName)`
`Value`	`AbstractSequenceValue.last()`
`Value`	`AbstractUndefinedCollectionValue.last()`
`Value`	`OrderedSetValueImpl.last()`
`Value`	`SequenceRangeImpl.last()`
`Value`	`AbstractCollectionValue.maxMin(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation)`
`Value`	`AbstractUndefinedCollectionValue.maxMin(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation)`
`Value`	`AbstractCollectionValue.sum(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation, Value zero)`
`Value`	`AbstractUndefinedCollectionValue.sum(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation, Value zero)`
`Value`	`AbstractValueFactory.valueOf(java.lang.Object object)`
`Value`	`AbstractValueFactory.valueOf(java.lang.Object eValue, org.eclipse.emf.ecore.EClassifier eClassifier)`
`Value`	`AbstractValueFactory.valueOf(java.lang.Object eValue, org.eclipse.emf.ecore.ETypedElement eFeature)`

Methods in org.eclipse.ocl.examples.domain.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>`	`SequenceRangeImpl.createElements()`
`protected java.util.Collection<Value>`	`AbstractCollectionValue.getElements()`
`protected abstract java.util.Collection<Value>`	`AbstractedCollectionValue.getElements()`
`java.util.List<Value>`	`SequenceRangeImpl.getElements()`
`java.util.Iterator<Value>`	`AbstractCollectionValue.iterator()`
`java.util.Iterator<Value>`	`AbstractValue.toIteratorValue()`
`java.util.Iterator<Value>`	`InvalidValueImpl.toIteratorValue()`
`java.util.Iterator<Value>`	`SequenceRangeImpl.toIteratorValue()`

Methods in org.eclipse.ocl.examples.domain.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)`
`SequenceValue`	`AbstractUndefinedCollectionValue.append(Value object)`
`OrderedSetValue`	`OrderedSetValueImpl.append(Value object)`
`SequenceValue`	`SequenceRangeImpl.append(Value value)`
`SequenceValue`	`SequenceValueImpl.Accumulator.append(Value object)`
`IntegerValue`	`AbstractCollectionValue.count(Value value)` Implementation of the OCL `Collection::count(object : T) : Integer` operation.
`IntegerValue`	`AbstractUndefinedCollectionValue.count(Value value)`
`IntegerValue`	`SequenceRangeImpl.count(Value value)`
`BagValue`	`AbstractValueFactory.createBagValue(DomainCollectionType type, Value... values)`
`BagValue`	`AbstractValueFactory.createBagValue(Value... values)`
`CollectionValue`	`AbstractValueFactory.createCollectionValue(boolean isOrdered, boolean isUnique, DomainType elementType, Value... values)`
`CollectionValue`	`AbstractValueFactory.createCollectionValue(boolean isOrdered, boolean isUnique, Value... values)` Creates a new OCL `Collection` of the specified ordering and uniqueness.
`OrderedSetValue`	`AbstractValueFactory.createOrderedSetValue(DomainCollectionType type, Value... values)`
`OrderedSetValue`	`AbstractValueFactory.createOrderedSetValue(Value... values)`
`SequenceValue`	`AbstractValueFactory.createSequenceValue(DomainCollectionType type, Value... values)`
`SequenceValue`	`AbstractValueFactory.createSequenceValue(Value... values)`
`SetValue`	`AbstractValueFactory.createSetValue(DomainCollectionType type, Value... values)`
`SetValue`	`AbstractValueFactory.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`	`AbstractValueFactory.getEcoreValueOf(Value value)`
`DomainType`	`AbstractValueFactory.getElementType(Value... values)`
`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)`
`OrderedSetValue`	`OrderedSetValueImpl.including(Value value)`
`SequenceValue`	`SequenceRangeImpl.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)`
`SequenceValue`	`AbstractUndefinedCollectionValue.insertAt(int index, Value object)`
`OrderedSetValue`	`OrderedSetValueImpl.insertAt(int index, Value object)`
`SequenceValue`	`AbstractSequenceValue.prepend(Value object)`
`SequenceValue`	`AbstractUndefinedCollectionValue.prepend(Value object)`
`OrderedSetValue`	`OrderedSetValueImpl.prepend(Value object)`
`SequenceValue`	`SequenceRangeImpl.prepend(Value value)`
`Value`	`AbstractCollectionValue.sum(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation, Value zero)`
`Value`	`AbstractUndefinedCollectionValue.sum(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation, Value zero)`
`DomainType`	`AbstractValueFactory.typeOf(Value value, Value... values)`
`DomainType`	`AbstractValueFactory.typeOf(Value value, Value... values)`

Method parameters in org.eclipse.ocl.examples.domain.values.impl with type arguments of type Value
`BagValue`	`AbstractValueFactory.createBagValue(DomainCollectionType type, Bag<? extends Value> values)`
`BagValue`	`AbstractValueFactory.createBagValue(DomainCollectionType type, java.util.Collection<? extends Value> values)`
`CollectionValue`	`AbstractValueFactory.createCollectionValue(boolean isOrdered, boolean isUnique, java.util.Collection<Value> values)`
`CollectionValue`	`AbstractValueFactory.createCollectionValue(boolean isOrdered, boolean isUnique, DomainType elementType, java.util.Collection<Value> values)` Creates a new OCL `Collection` of the specified ordering and uniqueness.
`OrderedSetValue`	`AbstractValueFactory.createOrderedSetValue(DomainCollectionType type, java.util.Collection<? extends Value> values)`
`OrderedSetValue`	`AbstractValueFactory.createOrderedSetValue(DomainCollectionType type, OrderedSet<? extends Value> values)`
`SequenceValue`	`AbstractValueFactory.createSequenceAccumulatorValue(DomainCollectionType type, java.util.List<Value> values)`
`SequenceValue`	`AbstractValueFactory.createSequenceValue(DomainCollectionType type, java.util.Collection<? extends Value> values)`
`SequenceValue`	`AbstractValueFactory.createSequenceValue(DomainCollectionType type, java.util.List<? extends Value> values)`
`SetValue`	`AbstractValueFactory.createSetValue(DomainCollectionType type, java.util.Collection<? extends Value> values)`
`SetValue`	`AbstractValueFactory.createSetValue(DomainCollectionType type, java.util.Set<? extends Value> values)`
`TupleValue`	`AbstractValueFactory.createTupleValue(DomainTupleType type, java.util.Map<? extends DomainTypedElement,Value> values)`
`boolean`	`AbstractCollectionValue.flatten(java.util.Collection<Value> flattenedElements)` Returns true if any element flattened.
`boolean`	`AbstractUndefinedCollectionValue.flatten(java.util.Collection<Value> flattenedElements)`
`DomainType`	`AbstractValueFactory.getElementType(java.lang.Iterable<Value> values)`
`SequenceValue`	`AbstractSequenceValue.sort(java.util.Comparator<Value> comparator)`
`SequenceValue`	`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.domain.values.impl with parameters of type Value
`BagValueImpl(ValueFactory valueFactory, DomainCollectionType type, Value... elements)`
`OrderedSetValueImpl(ValueFactory valueFactory, DomainCollectionType type, Value... elements)`
`SequenceValueImpl(ValueFactory valueFactory, DomainCollectionType type, Value... elements)`
`SetValueImpl(ValueFactory valueFactory, DomainCollectionType type, Value... elements)`
`TupleValueImpl(ValueFactory valueFactory, DomainTupleType 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.domain.values.impl with type arguments of type Value
`BagValueImpl(ValueFactory valueFactory, DomainCollectionType type, Bag<Value> elements)`
`BagValueImpl(ValueFactory valueFactory, DomainCollectionType type, java.util.Collection<? extends Value> elements)`
`OrderedSetValueImpl(ValueFactory valueFactory, DomainCollectionType type, java.util.Collection<? extends Value> elements)`
`OrderedSetValueImpl(ValueFactory valueFactory, DomainCollectionType type, OrderedSet<Value> elements)`
`SequenceValueImpl.Accumulator(ValueFactory valueFactory, DomainCollectionType type, java.util.List<Value> elements)`
`SequenceValueImpl(ValueFactory valueFactory, DomainCollectionType type, java.util.Collection<? extends Value> elements)`
`SequenceValueImpl(ValueFactory valueFactory, DomainCollectionType type, java.util.List<Value> elements)`
`SetValueImpl(ValueFactory valueFactory, DomainCollectionType type, java.util.Collection<? extends Value> elements)`
`SetValueImpl(ValueFactory valueFactory, DomainCollectionType type, java.util.Set<Value> elements)`
`TupleValueImpl(ValueFactory valueFactory, DomainTupleType type, java.util.Map<? extends DomainTypedElement,Value> values)` Initializes me with a map of part values.

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

Methods in org.eclipse.ocl.examples.library.classifier that return Value
`Value`	`ClassifierAllInstancesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`ClassifierOclContainerOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`ClassifierOclContentsOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue)`
`Value`	`OclTypeConformsToOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)`

Methods in org.eclipse.ocl.examples.library.classifier with parameters of type Value
`Value`	`ClassifierAllInstancesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`ClassifierOclContainerOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`ClassifierOclContentsOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue)`
`Value`	`OclTypeConformsToOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)`

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

Methods in org.eclipse.ocl.examples.library.collection that return Value
`Value`	`CollectionAsBagOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`CollectionAsOrderedSetOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`CollectionAsSequenceOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`CollectionAsSetOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`CollectionFlattenOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`CollectionIsEmptyOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`CollectionMaxOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`CollectionMinOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`CollectionNotEmptyOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`CollectionSizeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`CollectionSumOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`OrderedCollectionFirstOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`OrderedCollectionLastOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`OrderedCollectionReverseOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`CollectionClassifierElementTypeProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)`
`Value`	`CollectionCountOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`CollectionExcludesAllOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`CollectionExcludesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`CollectionExcludingOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`CollectionIncludesAllOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`CollectionIncludesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`CollectionIncludingOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`CollectionIntersectionOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`CollectionProductOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)`
`Value`	`CollectionSelectByKindOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)`
`Value`	`CollectionSelectByTypeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)`
`Value`	`CollectionUnionOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`OrderedCollectionAppendOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`OrderedCollectionAtOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`OrderedCollectionIndexOfOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`OrderedCollectionPrependOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`SetMinusOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`SetSymmetricDifferenceOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`OrderedCollectionInsertAtOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`
`Value`	`OrderedSetSubOrderedSetOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`
`Value`	`SequenceSubSequenceOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`

Methods in org.eclipse.ocl.examples.library.collection with parameters of type Value
`Value`	`CollectionAsBagOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`CollectionAsOrderedSetOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`CollectionAsSequenceOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`CollectionAsSetOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`CollectionFlattenOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`CollectionIsEmptyOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`CollectionMaxOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`CollectionMinOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`CollectionNotEmptyOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`CollectionSizeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`CollectionSumOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`OrderedCollectionFirstOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`OrderedCollectionLastOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`OrderedCollectionReverseOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`CollectionClassifierElementTypeProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)`
`Value`	`CollectionCountOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`CollectionExcludesAllOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`CollectionExcludesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`CollectionExcludingOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`CollectionIncludesAllOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`CollectionIncludesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`CollectionIncludingOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`CollectionIntersectionOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`CollectionProductOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)`
`Value`	`CollectionSelectByKindOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)`
`Value`	`CollectionSelectByTypeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)`
`Value`	`CollectionUnionOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`OrderedCollectionAppendOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`OrderedCollectionAtOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`OrderedCollectionIndexOfOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`OrderedCollectionPrependOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`SetMinusOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`SetSymmetricDifferenceOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`OrderedCollectionInsertAtOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`
`Value`	`OrderedSetSubOrderedSetOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`
`Value`	`SequenceSubSequenceOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`

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

Methods in org.eclipse.ocl.examples.library.ecore that return Value
`Value`	`EcoreExecutorType.createInstance(ValueFactory valueFactory, java.lang.String value)`
`Value`	`EcoreLibraryOppositeProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)`
`Value`	`EcoreLibraryProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)`

Methods in org.eclipse.ocl.examples.library.ecore with parameters of type Value
`Value`	`EcoreLibraryOppositeProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)`
`Value`	`EcoreLibraryProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)`
`void`	`EcoreExecutorProperty.setValue(ObjectValue objectValue, Value propertyValue)`

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

Methods in org.eclipse.ocl.examples.library.enumeration that return Value
`Value`	`EnumerationAllInstancesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`EnumerationClassifierOwnedLiteralProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)`

Methods in org.eclipse.ocl.examples.library.enumeration with parameters of type Value
`Value`	`EnumerationAllInstancesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`EnumerationClassifierOwnedLiteralProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)`

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

Fields in org.eclipse.ocl.examples.library.executor with type parameters of type Value
`protected java.util.Iterator<Value>`	`ExecutorSingleIterationManager.iteratorValue`

Methods in org.eclipse.ocl.examples.library.executor that return Value
`Value`	`ExecutorManager.evaluate(DomainExpression body)`
`Value`	`ExecutorDoubleIterationManager.evaluateBody()`
`Value`	`ExecutorSingleIterationManager.evaluateBody()`
`Value`	`ExecutorManager.evaluateIteration(DomainType returnType, CollectionValue sourceVal, DomainTypedElement accumulator, DomainExpression body, DomainTypedElement[] iterators)`
`Value`	`ExecutorSingleIterationManager.get()`
`Value`	`ExecutorDoubleIterationManager.getAccumulatorValue()`
`Value`	`ExecutorSingleIterationManager.getAccumulatorValue()`
`Value`	`ExecutorDoubleIterationManager.updateBody()`
`Value`	`ExecutorSingleIterationManager.updateBody()`

Methods in org.eclipse.ocl.examples.library.executor with parameters of type Value
`void`	`ExecutorEvaluationEnvironment.add(DomainTypedElement variable, Value value)`
`void`	`ExecutorEvaluationEnvironment.replace(DomainTypedElement variable, Value value)`
`void`	`ExecutorProperty.setValue(ObjectValue objectValue, Value propertyValue)`
`DomainType`	`ExecutorManager.typeOf(Value value, Value... values)`
`DomainType`	`ExecutorManager.typeOf(Value value, Value... values)`

Constructors in org.eclipse.ocl.examples.library.executor with parameters of type Value
`ExecutorDoubleIterationManager(DomainEvaluator evaluator, DomainType returnType, LibraryTernaryOperation body, CollectionValue collectionValue, Value accumulatorValue)`
`ExecutorSingleIterationManager(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation body, CollectionValue collectionValue, Value accumulatorValue)`

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

Methods in org.eclipse.ocl.examples.library.integer that return Value
`Value`	`IntegerCompareToOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`IntegerMinusOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`IntegerPlusOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`

Methods in org.eclipse.ocl.examples.library.integer with parameters of type Value
`Value`	`IntegerCompareToOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`IntegerMinusOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`IntegerPlusOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`

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`	`IterateIteration.createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType)`
`Value`	`SortedByIteration.SortingValue.createSortedValue()`
`Value`	`IterateIteration.evaluateIteration(DomainIterationManager iterationManager)`
`protected Value`	`AnyIteration.resolveTerminalValue(DomainIterationManager iterationManager)`
`protected Value`	`ExistsIteration.resolveTerminalValue(DomainIterationManager iterationManager)`
`protected Value`	`ForAllIteration.resolveTerminalValue(DomainIterationManager iterationManager)`
`protected Value`	`IsUniqueIteration.resolveTerminalValue(DomainIterationManager iterationManager)`
`protected Value`	`SortedByIteration.resolveTerminalValue(DomainIterationManager iterationManager)`
`protected Value`	`AnyIteration.updateAccumulator(DomainIterationManager iterationManager)`
`protected Value`	`ClosureIteration.updateAccumulator(DomainIterationManager iterationManager)` Recursively evaluates the iterator body expression.
`protected Value`	`CollectIteration.updateAccumulator(DomainIterationManager iterationManager)`
`protected Value`	`CollectNestedIteration.updateAccumulator(DomainIterationManager iterationManager)`
`protected Value`	`ExistsIteration.updateAccumulator(DomainIterationManager iterationManager)`
`protected Value`	`ForAllIteration.updateAccumulator(DomainIterationManager iterationManager)`
`protected Value`	`IsUniqueIteration.updateAccumulator(DomainIterationManager iterationManager)`
`protected Value`	`IterateIteration.updateAccumulator(DomainIterationManager iterationManager)`
`protected Value`	`OneIteration.updateAccumulator(DomainIterationManager iterationManager)`
`protected Value`	`RejectIteration.updateAccumulator(DomainIterationManager iterationManager)`
`protected Value`	`SelectIteration.updateAccumulator(DomainIterationManager iterationManager)`
`protected Value`	`SortedByIteration.updateAccumulator(DomainIterationManager 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)`

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

Methods in org.eclipse.ocl.examples.library.logical that return Value
`Value`	`BooleanAllInstancesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`

Methods in org.eclipse.ocl.examples.library.logical with parameters of type Value
`Value`	`BooleanAllInstancesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`BooleanValue`	`BooleanNotOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`BooleanValue`	`BooleanAndOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`BooleanValue`	`BooleanImpliesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`BooleanValue`	`BooleanOrOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`BooleanValue`	`BooleanXorOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, 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 AbstractNumericUnaryOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)

Value AbstractNumericBinaryOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)

Value UnlimitedNaturalOclAsTypeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)

protected abstract Value AbstractNumericBinaryOperation.evaluateInteger(DomainEvaluator evaluator, IntegerValue left, IntegerValue right)
Evaluate an operation for which both left and right are Integer.

protected Value NumericDivOperation.evaluateInteger(DomainEvaluator evaluator, IntegerValue left, IntegerValue right)

protected Value NumericDivideOperation.evaluateInteger(DomainEvaluator evaluator, IntegerValue left, IntegerValue right)

protected Value NumericMinOperation.evaluateInteger(DomainEvaluator evaluator, IntegerValue left, IntegerValue right)

protected Value NumericMinusOperation.evaluateInteger(DomainEvaluator evaluator, IntegerValue left, IntegerValue right)
Deprecated.

protected Value NumericModOperation.evaluateInteger(DomainEvaluator evaluator, IntegerValue left, IntegerValue right)

protected Value NumericTimesOperation.evaluateInteger(DomainEvaluator evaluator, IntegerValue left, IntegerValue right)

protected Value AbstractNumericUnaryOperation.evaluateInteger(IntegerValue left)

protected Value NumericFloorOperation.evaluateInteger(IntegerValue left)

protected Value NumericRoundOperation.evaluateInteger(IntegerValue left)

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 AbstractNumericBinaryOperation.evaluateReal(DomainEvaluator evaluator, RealValue left, RealValue right)
Evaluate an operation for which both left and right are Real.

protected Value NumericDivideOperation.evaluateReal(DomainEvaluator evaluator, RealValue left, RealValue right)

protected Value NumericMinOperation.evaluateReal(DomainEvaluator evaluator, RealValue left, RealValue right)

protected Value NumericMinusOperation.evaluateReal(DomainEvaluator evaluator, RealValue left, RealValue right)
Deprecated.

protected Value NumericTimesOperation.evaluateReal(DomainEvaluator evaluator, RealValue left, RealValue right)

protected Value AbstractNumericUnaryOperation.evaluateReal(RealValue left)

protected Value NumericFloorOperation.evaluateReal(RealValue left)

protected Value NumericRoundOperation.evaluateReal(RealValue left)

protected Value AbstractNumericBinaryOperation.evaluateUnlimited(DomainEvaluator evaluator, 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(DomainEvaluator evaluator, Value left, Value right)

protected Value NumericMinOperation.evaluateUnlimited(DomainEvaluator evaluator, Value left, Value right)

protected Value AbstractNumericUnaryOperation.evaluateUnlimited(java.lang.Object left)

Methods in org.eclipse.ocl.examples.library.numeric with parameters of type Value
`Value`	`AbstractNumericUnaryOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`AbstractNumericBinaryOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`UnlimitedNaturalOclAsTypeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)`
`protected Value`	`AbstractNumericBinaryOperation.evaluateUnlimited(DomainEvaluator evaluator, 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(DomainEvaluator evaluator, Value left, Value right)`
`protected BooleanValue`	`NumericGreaterThanOperation.evaluateUnlimited(DomainEvaluator evaluator, Value left, Value right)`
`protected BooleanValue`	`NumericLessThanEqualOperation.evaluateUnlimited(DomainEvaluator evaluator, Value left, Value right)`
`protected BooleanValue`	`NumericLessThanOperation.evaluateUnlimited(DomainEvaluator evaluator, Value left, Value right)`
`protected Value`	`NumericMaxOperation.evaluateUnlimited(DomainEvaluator evaluator, Value left, Value right)`
`protected Value`	`NumericMinOperation.evaluateUnlimited(DomainEvaluator evaluator, 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`	`OclAnyUnsupportedOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)`
`Value`	`OclAnyOclAsSetOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`OclAnyOclTypeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`OclAnyToStringOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`OclAnyOclAsTypeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)`
`Value`	`OclAnyOclIsInStateOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)`
`Value`	`OclAnyOclIsKindOfOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)`
`Value`	`OclAnyOclIsTypeOfOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)`
`Value`	`OclAnyUnsupportedOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value argumentValue)`
`Value`	`OclComparableComparisonOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`

Methods in org.eclipse.ocl.examples.library.oclany with parameters of type Value
`Value`	`OclAnyUnsupportedOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)`
`Value`	`OclAnyUnsupportedOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)`
`Value`	`OclAnyOclAsSetOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`BooleanValue`	`OclAnyOclIsInvalidOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`BooleanValue`	`OclAnyOclIsUndefinedOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`OclAnyOclTypeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`OclAnyToStringOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`BooleanValue`	`OclAnyEqualOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`BooleanValue`	`OclAnyNotEqualOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`OclAnyOclAsTypeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)`
`Value`	`OclAnyOclIsInStateOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)`
`Value`	`OclAnyOclIsKindOfOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)`
`Value`	`OclAnyOclIsTypeOfOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)`
`Value`	`OclAnyUnsupportedOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value argumentValue)`
`Value`	`OclComparableComparisonOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, 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(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`

Methods in org.eclipse.ocl.examples.library.oclinvalid with parameters of type Value
`Value`	`OclInvalidAllInstancesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`

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

Methods in org.eclipse.ocl.examples.library.oclvoid that return Value
`Value`	`OclVoidAllInstancesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`

Methods in org.eclipse.ocl.examples.library.oclvoid with parameters of type Value
`Value`	`OclVoidAllInstancesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`BooleanValue`	`OclVoidAndOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`BooleanValue`	`OclVoidImpliesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`BooleanValue`	`OclVoidOrOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`

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

Methods in org.eclipse.ocl.examples.library.real that return Value
`Value`	`RealCompareToOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`RealMinusOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`RealPlusOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`

Methods in org.eclipse.ocl.examples.library.real with parameters of type Value
`Value`	`RealCompareToOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`RealMinusOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`RealPlusOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, 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`	`StringTokenizeOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)`
`Value`	`StringTokenizeOperation.evaluate(DomainEvaluator evaluator, DomainCollectionType returnType, Value sourceValue, java.lang.String delims, boolean returnDelims)`
`Value`	`StringCharactersOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`StringSizeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`StringToBooleanOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`StringToIntegerOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`StringToLowerCaseOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`StringToRealOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`StringToUpperCaseOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`StringTokenizeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue)`
`Value`	`StringTrimOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`StringAtOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringCompareToOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringConcatOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringEndsWithOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringEqualsIgnoreCaseOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringGreaterThanEqualOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringGreaterThanOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringIndexOfOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringLastIndexOfOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringLessThanEqualOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringLessThanOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringMatchesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringStartsWithOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringTokenizeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value argumentValue)`
`Value`	`StringReplaceAllOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`
`Value`	`StringReplaceFirstOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`
`Value`	`StringSubstituteAllOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`
`Value`	`StringSubstituteFirstOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`
`Value`	`StringSubstringOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`
`Value`	`StringTokenizeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`

Methods in org.eclipse.ocl.examples.library.string with parameters of type Value
`Value`	`StringTokenizeOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)`
`Value`	`StringTokenizeOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)`
`Value`	`StringTokenizeOperation.evaluate(DomainEvaluator evaluator, DomainCollectionType returnType, Value sourceValue, java.lang.String delims, boolean returnDelims)`
`Value`	`StringCharactersOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`StringSizeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`StringToBooleanOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`StringToIntegerOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`StringToLowerCaseOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`StringToRealOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`StringToUpperCaseOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`StringTokenizeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue)`
`Value`	`StringTrimOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`StringAtOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringCompareToOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringConcatOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringEndsWithOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringEqualsIgnoreCaseOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringGreaterThanEqualOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringGreaterThanOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringIndexOfOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringLastIndexOfOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringLessThanEqualOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringLessThanOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringMatchesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringStartsWithOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringTokenizeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value argumentValue)`
`Value`	`StringReplaceAllOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`
`Value`	`StringReplaceFirstOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`
`Value`	`StringSubstituteAllOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`
`Value`	`StringSubstituteFirstOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`
`Value`	`StringSubstringOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`
`Value`	`StringTokenizeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`

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

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

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

Methods in org.eclipse.ocl.examples.pivot.bodies that return Value
`Value`	`BooleanLiteralExpBodies._invariant_TypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`CollectionItemBodies._invariant_TypeIsItemType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`CollectionLiteralExpBodies._invariant_BagKindIsBag.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`CollectionLiteralExpBodies._invariant_CollectionKindIsConcrete.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`CollectionLiteralExpBodies._invariant_OrderedSetKindIsOrderedSet.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`CollectionLiteralExpBodies._invariant_SequenceKindIsSequence.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`CollectionLiteralExpBodies._invariant_SetKindIsSet.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`ConstraintBodies._invariant_UniqueName.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`ElementBodies._invariant_not_own_self.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`ElementBodies._allOwnedElements_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`EnumLiteralExpBodies._invariant_TypeIsEnumerationType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IfExpBodies._invariant_ConditionTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IntegerLiteralExpBodies._invariant_TypeIsInteger.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IterateExpBodies._invariant_BodyTypeConformsToResultType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IterateExpBodies._invariant_OneInitializer.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IterateExpBodies._invariant_TypeIsResultType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_AnyBodyTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_AnyHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_AnyTypeIsSourceElementType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_ClosureElementTypeIsSourceElementType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_ClosureHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_ClosureSourceElementTypeIsBodyElementType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_ClosureTypeIsUniqueCollection.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_CollectElementTypeIsSourceElementType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_CollectHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_CollectNestedHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_CollectNestedTypeIsBag.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_CollectNestedTypeIsBodyType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_CollectTypeIsUnordered.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_ExistsBodyTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_ExistsTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_ForAllBodyTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_ForAllTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_IsUniqueHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_IsUniqueTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_IteratorTypeIsSourceElementType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_OneBodyTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_OneHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_OneTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_RejectOrSelectHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_RejectOrSelectTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_RejectOrSelectTypeIsSourceType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_SortedByElementTypeIsSourceElementType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_SortedByHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_SortedByIsOrderedIfSourceIsOrdered.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`LetExpBodies._invariant_TypeIsInType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`LoopExpBodies._invariant_NoInitializers.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`LoopExpBodies._invariant_SourceIsCollection.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`MessageExpBodies._invariant_OneCallOrOneSend.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`MessageExpBodies._invariant_TargetIsNotACollection.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`MultiplicityElementBodies._invariant_lower_ge_0.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`MultiplicityElementBodies._invariant_upper_ge_lower.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`MultiplicityElementBodies._isMultivalued_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`MultiplicityElementBodies._lowerBound_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`MultiplicityElementBodies._upperBound_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`OpaqueExpressionBodies._invariant_language_body_size.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`OperationBodies._invariant_CompatibleReturn.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`OperationCallExpBodies._invariant_ArgumentCount.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`PropertyBodies._invariant_CompatibleInitialiser.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`TemplateBindingBodies._invariant_one_parameter_substitution.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`TemplateBindingBodies._invariant_parameter_substitution_formal.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`TemplateParameterBodies._invariant_must_be_compatible.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`TemplateParameterSubstitutionBodies._invariant_must_be_compatible.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`TemplateSignatureBodies._invariant_own_elements.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`TemplateableElementBodies._isTemplate_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`TemplateableElementBodies._parameterableElements_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`TypeTemplateParameterBodies._invariant_has_constraining_type.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`TypedMultiplicityElementBodies._makeParameter_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`ValueSpecificationBodies._booleanValue_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`ValueSpecificationBodies._integerValue_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`ValueSpecificationBodies._isComputable_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`ValueSpecificationBodies._isNull_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`ValueSpecificationBodies._stringValue_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`ValueSpecificationBodies._unlimitedValue_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`MultiplicityElementBodies._includesCardinality_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self, Value C)`
`Value`	`MultiplicityElementBodies._includesMultiplicity_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self, Value M)`
`Value`	`ParameterableElementBodies._isCompatibleWith_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self, Value p)`
`Value`	`PropertyBodies._isAttribute_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self, Value p)`
`Value`	`SelfTypeBodies._resolveSelfType_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self, Value selfType)`
`Value`	`TypeBodies._resolveSelfType_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self, Value selfType)`
`Value`	`TypedMultiplicityElementBodies._CompatibleBody_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self, Value bodySpecification)`

Methods in org.eclipse.ocl.examples.pivot.bodies with parameters of type Value
`Value`	`BooleanLiteralExpBodies._invariant_TypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`CollectionItemBodies._invariant_TypeIsItemType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`CollectionLiteralExpBodies._invariant_BagKindIsBag.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`CollectionLiteralExpBodies._invariant_CollectionKindIsConcrete.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`CollectionLiteralExpBodies._invariant_OrderedSetKindIsOrderedSet.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`CollectionLiteralExpBodies._invariant_SequenceKindIsSequence.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`CollectionLiteralExpBodies._invariant_SetKindIsSet.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`ConstraintBodies._invariant_UniqueName.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`ElementBodies._invariant_not_own_self.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`ElementBodies._allOwnedElements_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`EnumLiteralExpBodies._invariant_TypeIsEnumerationType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IfExpBodies._invariant_ConditionTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IntegerLiteralExpBodies._invariant_TypeIsInteger.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IterateExpBodies._invariant_BodyTypeConformsToResultType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IterateExpBodies._invariant_OneInitializer.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IterateExpBodies._invariant_TypeIsResultType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_AnyBodyTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_AnyHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_AnyTypeIsSourceElementType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_ClosureElementTypeIsSourceElementType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_ClosureHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_ClosureSourceElementTypeIsBodyElementType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_ClosureTypeIsUniqueCollection.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_CollectElementTypeIsSourceElementType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_CollectHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_CollectNestedHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_CollectNestedTypeIsBag.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_CollectNestedTypeIsBodyType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_CollectTypeIsUnordered.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_ExistsBodyTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_ExistsTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_ForAllBodyTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_ForAllTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_IsUniqueHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_IsUniqueTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_IteratorTypeIsSourceElementType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_OneBodyTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_OneHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_OneTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_RejectOrSelectHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_RejectOrSelectTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_RejectOrSelectTypeIsSourceType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_SortedByElementTypeIsSourceElementType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_SortedByHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_SortedByIsOrderedIfSourceIsOrdered.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`LetExpBodies._invariant_TypeIsInType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`LoopExpBodies._invariant_NoInitializers.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`LoopExpBodies._invariant_SourceIsCollection.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`MessageExpBodies._invariant_OneCallOrOneSend.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`MessageExpBodies._invariant_TargetIsNotACollection.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`MultiplicityElementBodies._invariant_lower_ge_0.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`MultiplicityElementBodies._invariant_upper_ge_lower.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`MultiplicityElementBodies._isMultivalued_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`MultiplicityElementBodies._lowerBound_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`MultiplicityElementBodies._upperBound_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`OpaqueExpressionBodies._invariant_language_body_size.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`OperationBodies._invariant_CompatibleReturn.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`OperationCallExpBodies._invariant_ArgumentCount.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`PropertyBodies._invariant_CompatibleInitialiser.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`TemplateBindingBodies._invariant_one_parameter_substitution.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`TemplateBindingBodies._invariant_parameter_substitution_formal.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`TemplateParameterBodies._invariant_must_be_compatible.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`TemplateParameterSubstitutionBodies._invariant_must_be_compatible.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`TemplateSignatureBodies._invariant_own_elements.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`TemplateableElementBodies._isTemplate_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`TemplateableElementBodies._parameterableElements_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`TypeTemplateParameterBodies._invariant_has_constraining_type.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`TypedMultiplicityElementBodies._makeParameter_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`ValueSpecificationBodies._booleanValue_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`ValueSpecificationBodies._integerValue_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`ValueSpecificationBodies._isComputable_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`ValueSpecificationBodies._isNull_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`ValueSpecificationBodies._stringValue_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`ValueSpecificationBodies._unlimitedValue_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`MultiplicityElementBodies._includesCardinality_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self, Value C)`
`Value`	`MultiplicityElementBodies._includesMultiplicity_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self, Value M)`
`Value`	`ParameterableElementBodies._isCompatibleWith_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self, Value p)`
`Value`	`PropertyBodies._isAttribute_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self, Value p)`
`Value`	`SelfTypeBodies._resolveSelfType_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self, Value selfType)`
`Value`	`TypeBodies._resolveSelfType_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self, Value selfType)`
`Value`	`TypedMultiplicityElementBodies._CompatibleBody_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self, Value bodySpecification)`

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

Methods in org.eclipse.ocl.examples.pivot.ecore that return Value
`Value`	`EObjectOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)`
`Value`	`EObjectOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue)`
`Value`	`EObjectProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)`
`Value`	`EObjectOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value argumentValue)`
`Value`	`EObjectOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`

Methods in org.eclipse.ocl.examples.pivot.ecore with parameters of type Value
`Value`	`EObjectOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)`
`Value`	`EObjectOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)`
`Value`	`EObjectOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue)`
`Value`	`EObjectProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)`
`Value`	`EObjectOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value argumentValue)`
`Value`	`EObjectOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`
`protected void`	`EObjectOperation.resolveExpressionInOCL(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue)`

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

Methods in org.eclipse.ocl.examples.pivot.evaluation that return Value
`Value`	`EvaluationVisitor.evaluate(DomainExpression body)`
`Value`	`EvaluationVisitorImpl.evaluate(DomainExpression body)`
`Value`	`TracingEvaluationVisitor.evaluate(DomainExpression body)`
`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
`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)`
`Value`	`AbstractEvaluationEnvironment.remove(DomainTypedElement referredVariable)` Deprecated.
`Value`	`EvaluationEnvironment.remove(DomainTypedElement 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.visitConstructorExp(ConstructorExp constructorExp)` Delegates to my decorated visitor.
`Value`	`EvaluationVisitorImpl.visitConstructorExp(ConstructorExp ce)`
`Value`	`TracingEvaluationVisitor.visitConstructorExp(ConstructorExp 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(DomainTypedElement referredVariable, Value value)` Adds the supplied name and value binding to the environment
`void`	`EvaluationEnvironment.add(DomainTypedElement referredVariable, Value value)` Adds the supplied variable declaration and value binding to the environment.
`void`	`AbstractEvaluationEnvironment.replace(DomainTypedElement referredVariable, Value value)` Replaces the current value of the supplied name with the supplied value.
`void`	`EvaluationEnvironment.replace(DomainTypedElement 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.internal.impl

Methods in org.eclipse.ocl.examples.pivot.internal.impl that return Value
`Value`	`TypeImpl.createInstance(ValueFactory valueFactory, java.lang.String value)`

Methods in org.eclipse.ocl.examples.pivot.internal.impl with parameters of type Value
`void`	`PropertyImpl.setValue(ObjectValue objectValue, Value propertyValue)`

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

Methods in org.eclipse.ocl.examples.pivot.library that return Value
`Value`	`ConstrainedOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)`
`Value`	`ConstrainedOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue)`
`Value`	`UnimplementedOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue)`
`Value`	`CompositionProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)`
`Value`	`ConstrainedProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)`
`Value`	`ExplicitNavigationProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)`
`Value`	`ImplicitNonCompositionProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty thisProperty)`
`Value`	`TuplePartProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)`
`Value`	`ConstrainedOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value argumentValue)`
`Value`	`JavaCompareToOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value leftValue, Value rightValue)`
`Value`	`ConstrainedOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`
`protected Value`	`JavaCompareToOperation.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(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)`
`Value`	`ConstrainedOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)`
`Value`	`ConstrainedOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue)`
`Value`	`UnimplementedOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue)`
`Value`	`CompositionProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)`
`Value`	`ConstrainedProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)`
`Value`	`ExplicitNavigationProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)`
`Value`	`ImplicitNonCompositionProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty thisProperty)`
`Value`	`TuplePartProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)`
`Value`	`ConstrainedOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value argumentValue)`
`Value`	`JavaCompareToOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value leftValue, Value rightValue)`
`Value`	`ConstrainedOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`

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

Methods in org.eclipse.ocl.examples.pivot.prettyprint that return Value
`Value`	`EssentialOCLPrettyPrintVisitor.visitConstructorExp(ConstructorExp object)`

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

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

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`