Uses of Class org.eclipse.ocl.examples.domain.evaluation.InvalidValueException (MDT-OCL Documentation)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES

Uses of Class
org.eclipse.ocl.examples.domain.evaluation.InvalidValueException

Packages that use InvalidValueException
org.eclipse.ocl.examples.domain.elements
org.eclipse.ocl.examples.domain.evaluation
org.eclipse.ocl.examples.domain.library
org.eclipse.ocl.examples.domain.utilities
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.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

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

Methods in org.eclipse.ocl.examples.domain.elements that throw InvalidValueException
`void`	`DomainProperty.setValue(ObjectValue objectValue, Value propertyValue)`

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

Methods in org.eclipse.ocl.examples.domain.evaluation with parameters of type InvalidValueException
`NullValue`	`DomainEvaluator.throwInvalidEvaluation(InvalidValueException e)`
`NullValue`	`DomainIterationManager.throwInvalidEvaluation(InvalidValueException e)`

Methods in org.eclipse.ocl.examples.domain.evaluation that throw InvalidValueException
`Value`	`DomainIterationManager.updateBody()` Evaluate the iteration body for the current iterators and update the accumulator accordingly.

Constructors in org.eclipse.ocl.examples.domain.evaluation with parameters of type InvalidValueException
`InvalidEvaluationException(DomainEvaluationEnvironment evaluationEnvironment, InvalidValueException e)`

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

Methods in org.eclipse.ocl.examples.domain.library with parameters of type InvalidValueException
`NullValue`	`AbstractIterationManager.throwInvalidEvaluation(InvalidValueException e)`

Methods in org.eclipse.ocl.examples.domain.library that throw InvalidValueException
`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`	`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.

Uses of InvalidValueException in org.eclipse.ocl.examples.domain.utilities

Methods in org.eclipse.ocl.examples.domain.utilities that throw InvalidValueException
`static void`	`DomainUtil.suppressThrowWarnings()` Deprecated.

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

Methods in org.eclipse.ocl.examples.domain.values with parameters of type InvalidValueException
`InvalidValue`	`ValueFactory.createInvalidValue(InvalidValueException exception)`

Methods in org.eclipse.ocl.examples.domain.values that throw InvalidValueException
`NumericValue`	`NumericValue.abs()`
`RealValue`	`RealValue.abs()`
`IntegerValue`	`IntegerValue.add(IntegerValue right)`
`RealValue`	`RealValue.add(RealValue right)`
`SequenceValue`	`SequenceValue.append(Value object)`
`BagValue`	`Value.asBagValue()`
`boolean`	`Value.asBoolean()`
`BooleanValue`	`Value.asBooleanValue()`
`CollectionValue`	`Value.asCollectionValue()`
`java.lang.Double`	`Value.asDouble()`
`ElementValue`	`Value.asElementValue()`
`java.lang.Integer`	`Value.asInteger()`
`IntegerValue`	`Value.asIntegerValue()`
`org.eclipse.emf.ecore.EObject`	`Value.asNavigableObject()`
`ObjectValue`	`Value.asObjectValue()`
`OrderedSetValue`	`Value.asOrderedSetValue()`
`RealValue`	`Value.asRealValue()`
`SequenceValue`	`Value.asSequenceValue()`
`SetValue`	`Value.asSetValue()`
`java.lang.String`	`Value.asString()`
`StringValue`	`Value.asStringValue()`
`TypeValue`	`Value.asTypeValue()`
`UniqueCollectionValue`	`Value.asUniqueCollectionValue()`
`Value`	`Value.asValidValue()`
`Value`	`SequenceValue.at(int index)`
`IntegerValue`	`CollectionValue.count(Value value)`
`IntegerRange`	`ValueFactory.createRange(IntegerValue firstInteger, IntegerValue lastInteger)`
`IntegerValue`	`IntegerValue.div(IntegerValue right)`
`RealValue`	`IntegerValue.divide(IntegerValue right)`
`RealValue`	`RealValue.divide(RealValue right)`
`BooleanValue`	`CollectionValue.excludes(Value value)`
`BooleanValue`	`CollectionValue.excludesAll(CollectionValue c)`
`CollectionValue`	`CollectionValue.excluding(Value value)`
`Value`	`SequenceValue.first()`
`CollectionValue`	`CollectionValue.flatten()`
`boolean`	`CollectionValue.flatten(java.util.Collection<Value> flattenedElements)`
`IntegerValue`	`RealValue.floor()`
`BooleanValue`	`CollectionValue.includes(Value value)`
`BooleanValue`	`CollectionValue.includesAll(CollectionValue c)`
`CollectionValue`	`CollectionValue.including(Value value)`
`IntegerValue`	`SequenceValue.indexOf(Value object)`
`SequenceValue`	`SequenceValue.insertAt(int index, Value object)`
`IntegerValue`	`ValueFactory.integerValueOf(java.lang.String aValue)`
`CollectionValue`	`CollectionValue.intersection(CollectionValue c)`
`BooleanValue`	`CollectionValue.isEmpty()`
`Value`	`SequenceValue.last()`
`IntegerValue`	`IntegerValue.max(IntegerValue right)`
`RealValue`	`RealValue.max(RealValue right)`
`Value`	`CollectionValue.maxMin(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation)`
`IntegerValue`	`IntegerValue.min(IntegerValue right)`
`RealValue`	`RealValue.min(RealValue right)`
`UniqueCollectionValue`	`UniqueCollectionValue.minus(UniqueCollectionValue set)`
`IntegerValue`	`IntegerValue.mod(IntegerValue right)`
`IntegerValue`	`IntegerValue.multiply(IntegerValue right)`
`RealValue`	`RealValue.multiply(RealValue right)`
`IntegerValue`	`IntegerValue.negate()`
`NullValue`	`NullValue.negate()`
`NumericValue`	`NumericValue.negate()`
`RealValue`	`RealValue.negate()`
`BooleanValue`	`CollectionValue.notEmpty()`
`SequenceValue`	`SequenceValue.prepend(Value object)`
`java.util.Set<TupleValue>`	`CollectionValue.product(CollectionValue c, DomainTupleType tupleType)`
`RealValue`	`ValueFactory.realValueOf(java.lang.String aValue)`
`SequenceValue`	`SequenceValue.reverse()`
`IntegerValue`	`RealValue.round()`
`CollectionValue`	`CollectionValue.selectByKind(DomainType typeValue)`
`CollectionValue`	`CollectionValue.selectByType(DomainType typeValue)`
`int`	`NumericValue.signum()`
`int`	`RealValue.signum()`
`IntegerValue`	`CollectionValue.size()`
`SequenceValue`	`CollectionValue.sort(java.util.Comparator<Value> comparator)`
`OrderedSetValue`	`OrderedSetValue.subOrderedSet(int lower, int upper)`
`SequenceValue`	`SequenceValue.subSequence(int lower, int upper)`
`IntegerValue`	`IntegerValue.subtract(IntegerValue right)`
`RealValue`	`RealValue.subtract(RealValue right)`
`Value`	`CollectionValue.sum(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation, Value zero)`
`UniqueCollectionValue`	`UniqueCollectionValue.symmetricDifference(UniqueCollectionValue set)`
`InvalidValue`	`ValueFactory.throwInvalidValueException(java.lang.String message, java.lang.Object... bindings)`
`IntegerValue`	`NumericValue.toIntegerValue()`
`IntegerValue`	`Value.toIntegerValue()`
`java.util.Iterator<Value>`	`Value.toIteratorValue()`
`RealValue`	`Value.toRealValue()`
`SequenceValue`	`CollectionValue.toSequenceValue()`
`CollectionValue`	`CollectionValue.union(CollectionValue c)`

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

Methods in org.eclipse.ocl.examples.domain.values.impl with parameters of type InvalidValueException
`InvalidValue`	`AbstractValueFactory.createInvalidValue(InvalidValueException exception)`

Methods in org.eclipse.ocl.examples.domain.values.impl that throw InvalidValueException
`NullValue`	`AbstractUndefinedValue.abs()`
`NullValue`	`AbstractUndefinedValue.add(IntegerValue right)`
`IntegerValue`	`IntegerValueImpl.add(IntegerValue right)`
`NullValue`	`AbstractUndefinedValue.add(RealValue right)`
`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)`
`BagValue`	`AbstractValue.asBagValue()`
`BagValue`	`InvalidValueImpl.asBagValue()`
`boolean`	`AbstractValue.asBoolean()`
`boolean`	`InvalidValueImpl.asBoolean()`
`BooleanValue`	`AbstractValue.asBooleanValue()`
`BooleanValue`	`InvalidValueImpl.asBooleanValue()`
`CollectionValue`	`AbstractValue.asCollectionValue()`
`CollectionValue`	`InvalidValueImpl.asCollectionValue()`
`java.lang.Double`	`AbstractValue.asDouble()`
`java.lang.Double`	`InvalidValueImpl.asDouble()`
`ElementValue`	`AbstractValue.asElementValue()`
`ElementValue`	`InvalidValueImpl.asElementValue()`
`java.lang.Integer`	`AbstractValue.asInteger()`
`java.lang.Integer`	`IntegerLongValueImpl.asInteger()`
`java.lang.Integer`	`InvalidValueImpl.asInteger()`
`IntegerValue`	`AbstractValue.asIntegerValue()`
`IntegerValue`	`InvalidValueImpl.asIntegerValue()`
`org.eclipse.emf.ecore.EObject`	`AbstractTypeValueImpl.asNavigableObject()`
`org.eclipse.emf.ecore.EObject`	`AbstractValue.asNavigableObject()`
`org.eclipse.emf.ecore.EObject`	`InvalidValueImpl.asNavigableObject()`
`ObjectValue`	`AbstractValue.asObjectValue()`
`ObjectValue`	`InvalidValueImpl.asObjectValue()`
`OrderedSetValue`	`AbstractValue.asOrderedSetValue()`
`OrderedSetValue`	`InvalidValueImpl.asOrderedSetValue()`
`RealValue`	`AbstractValue.asRealValue()`
`RealValue`	`InvalidValueImpl.asRealValue()`
`SequenceValue`	`AbstractValue.asSequenceValue()`
`SequenceValue`	`InvalidValueImpl.asSequenceValue()`
`SetValue`	`AbstractValue.asSetValue()`
`SetValue`	`InvalidValueImpl.asSetValue()`
`java.lang.String`	`AbstractValue.asString()`
`java.lang.String`	`InvalidValueImpl.asString()`
`StringValue`	`AbstractValue.asStringValue()`
`StringValue`	`InvalidValueImpl.asStringValue()`
`TypeValue`	`AbstractValue.asTypeValue()`
`TypeValue`	`InvalidValueImpl.asTypeValue()`
`UniqueCollectionValue`	`AbstractValue.asUniqueCollectionValue()`
`UniqueCollectionValue`	`InvalidValueImpl.asUniqueCollectionValue()`
`Value`	`InvalidValueImpl.asValidValue()`
`Value`	`AbstractSequenceValue.at(int index)`
`Value`	`AbstractUndefinedCollectionValue.at(int index)`
`Value`	`OrderedSetValueImpl.at(int index)`
`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)`
`CollectionValue`	`AbstractUndefinedCollectionValue.createNew()`
`IntegerRange`	`AbstractValueFactory.createRange(IntegerValue firstInteger, IntegerValue lastInteger)`
`NullValue`	`AbstractUndefinedValue.div(IntegerValue right)`
`IntegerValue`	`IntegerIntValueImpl.div(IntegerValue right)`
`IntegerValue`	`IntegerLongValueImpl.div(IntegerValue right)`
`IntegerValue`	`IntegerValueImpl.div(IntegerValue right)`
`NullValue`	`AbstractUndefinedValue.divide(IntegerValue right)`
`RealValue`	`IntegerIntValueImpl.divide(IntegerValue right)`
`RealValue`	`IntegerLongValueImpl.divide(IntegerValue right)`
`RealValue`	`IntegerValueImpl.divide(IntegerValue right)`
`NullValue`	`AbstractUndefinedValue.divide(RealValue right)`
`RealValue`	`RealValueImpl.divide(RealValue right)`
`protected static RealValue`	`RealValueImpl.divideBigDecimal(ValueFactory valueFactory, java.math.BigDecimal left, java.math.BigDecimal right)`
`BooleanValue`	`AbstractUndefinedCollectionValue.excludes(Value value)`
`BooleanValue`	`AbstractUndefinedCollectionValue.excludesAll(CollectionValue c)`
`CollectionValue`	`AbstractUndefinedCollectionValue.excluding(Value value)`
`Value`	`AbstractSequenceValue.first()`
`Value`	`AbstractUndefinedCollectionValue.first()`
`Value`	`OrderedSetValueImpl.first()`
`SequenceValue`	`AbstractSequenceValue.flatten()`
`CollectionValue`	`AbstractUndefinedCollectionValue.flatten()`
`BagValue`	`BagValueImpl.flatten()`
`OrderedSetValue`	`OrderedSetValueImpl.flatten()`
`SetValue`	`SetValueImpl.flatten()`
`boolean`	`AbstractCollectionValue.flatten(java.util.Collection<Value> flattenedElements)` Returns true if any element flattened.
`NullValue`	`AbstractUndefinedValue.floor()`
`BooleanValue`	`AbstractUndefinedCollectionValue.includes(Value value)`
`BooleanValue`	`AbstractUndefinedCollectionValue.includesAll(CollectionValue c)`
`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)`
`IntegerValue`	`AbstractValueFactory.integerValueOf(java.lang.String aValue)` Creates a BigInteger representation for aValue.
`CollectionValue`	`AbstractCollectionValue.intersection(CollectionValue c)`
`CollectionValue`	`AbstractUndefinedCollectionValue.intersection(CollectionValue c)`
`static BagValue`	`BagValueImpl.intersection(ValueFactory valueFactory, DomainCollectionType type, CollectionValue left, CollectionValue right)`
`static OrderedSetValue`	`OrderedSetValueImpl.intersection(ValueFactory valueFactory, DomainCollectionType type, CollectionValue left, CollectionValue right)`
`static SetValue`	`SetValueImpl.intersection(ValueFactory valueFactory, DomainCollectionType type, CollectionValue left, CollectionValue right)`
`int`	`IntegerLongValueImpl.intValue()`
`BooleanValue`	`AbstractUndefinedCollectionValue.isEmpty()`
`Value`	`AbstractSequenceValue.last()`
`Value`	`AbstractUndefinedCollectionValue.last()`
`Value`	`OrderedSetValueImpl.last()`
`NullValue`	`AbstractUndefinedValue.max(IntegerValue right)`
`IntegerValue`	`IntegerIntValueImpl.max(IntegerValue right)`
`IntegerValue`	`IntegerLongValueImpl.max(IntegerValue right)`
`IntegerValue`	`IntegerValueImpl.max(IntegerValue right)`
`NullValue`	`AbstractUndefinedValue.max(RealValue right)`
`Value`	`AbstractCollectionValue.maxMin(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation)`
`Value`	`AbstractUndefinedCollectionValue.maxMin(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation)`
`NullValue`	`AbstractUndefinedValue.min(IntegerValue right)`
`IntegerValue`	`IntegerIntValueImpl.min(IntegerValue right)`
`IntegerValue`	`IntegerLongValueImpl.min(IntegerValue right)`
`IntegerValue`	`IntegerValueImpl.min(IntegerValue right)`
`NullValue`	`AbstractUndefinedValue.min(RealValue right)`
`NullValue`	`AbstractUndefinedCollectionValue.minus(UniqueCollectionValue set)`
`OrderedSetValue`	`OrderedSetValueImpl.minus(UniqueCollectionValue set)`
`SetValue`	`SetValueImpl.minus(UniqueCollectionValue set)`
`NullValue`	`AbstractUndefinedValue.mod(IntegerValue right)`
`IntegerValue`	`IntegerIntValueImpl.mod(IntegerValue right)`
`IntegerValue`	`IntegerLongValueImpl.mod(IntegerValue right)`
`IntegerValue`	`IntegerValueImpl.mod(IntegerValue right)`
`NullValue`	`AbstractUndefinedValue.multiply(IntegerValue right)`
`IntegerValue`	`IntegerIntValueImpl.multiply(IntegerValue right)`
`IntegerValue`	`IntegerLongValueImpl.multiply(IntegerValue right)`
`IntegerValue`	`IntegerValueImpl.multiply(IntegerValue right)`
`NullValue`	`AbstractUndefinedValue.multiply(RealValue right)`
`NullValue`	`AbstractUndefinedValue.negate()`
`UnlimitedValue`	`UnlimitedValueImpl.negate()`
`BooleanValue`	`AbstractUndefinedCollectionValue.notEmpty()`
`SequenceValue`	`AbstractSequenceValue.prepend(Value object)`
`SequenceValue`	`AbstractUndefinedCollectionValue.prepend(Value object)`
`OrderedSetValue`	`OrderedSetValueImpl.prepend(Value object)`
`SequenceValue`	`SequenceRangeImpl.prepend(Value value)`
`RealValue`	`AbstractValueFactory.realValueOf(java.lang.String aValue)`
`SequenceValue`	`AbstractSequenceValue.reverse()`
`SequenceValue`	`AbstractUndefinedCollectionValue.reverse()`
`NullValue`	`AbstractUndefinedValue.round()`
`CollectionValue`	`AbstractCollectionValue.selectByKind(DomainType requiredElementType)`
`CollectionValue`	`AbstractUndefinedCollectionValue.selectByKind(DomainType elementType)`
`CollectionValue`	`AbstractCollectionValue.selectByType(DomainType requiredElementType)`
`CollectionValue`	`AbstractUndefinedCollectionValue.selectByType(DomainType elementType)`
`IntegerValue`	`AbstractUndefinedCollectionValue.size()`
`SequenceValue`	`AbstractUndefinedCollectionValue.sort(java.util.Comparator<Value> comparator)`
`NullValue`	`AbstractUndefinedCollectionValue.subOrderedSet(int lower, int upper)`
`NullValue`	`AbstractUndefinedCollectionValue.subSequence(int lower, int upper)`
`SequenceValue`	`OrderedSetValueImpl.subSequence(int lower, int upper)`
`NullValue`	`AbstractUndefinedValue.subtract(IntegerValue right)`
`IntegerValue`	`IntegerIntValueImpl.subtract(IntegerValue right)`
`IntegerValue`	`IntegerLongValueImpl.subtract(IntegerValue right)`
`IntegerValue`	`IntegerValueImpl.subtract(IntegerValue right)`
`NullValue`	`AbstractUndefinedValue.subtract(RealValue right)`
`Value`	`AbstractCollectionValue.sum(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation, Value zero)`
`Value`	`AbstractUndefinedCollectionValue.sum(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation, Value zero)`
`NullValue`	`AbstractUndefinedCollectionValue.symmetricDifference(UniqueCollectionValue set)`
`InvalidValue`	`AbstractValueFactory.throwInvalidValueException(java.lang.String message, java.lang.Object... bindings)`
`InvalidValue`	`AbstractValueFactory.throwInvalidValueException(java.lang.Throwable e, java.lang.String message, java.lang.Object... bindings)`
`IntegerValue`	`AbstractValue.toIntegerValue()`
`IntegerValue`	`InvalidValueImpl.toIntegerValue()`
`IntegerValue`	`RealValueImpl.toIntegerValue()`
`protected NullValue`	`AbstractUndefinedValue.toInvalidValue()`
`java.util.Iterator<Value>`	`AbstractValue.toIteratorValue()`
`java.util.Iterator<Value>`	`InvalidValueImpl.toIteratorValue()`
`java.util.Iterator<Value>`	`SequenceRangeImpl.toIteratorValue()`
`RealValue`	`AbstractValue.toRealValue()`
`RealValue`	`InvalidValueImpl.toRealValue()`
`CollectionValue`	`AbstractCollectionValue.union(CollectionValue c)`
`static BagValue`	`BagValueImpl.union(ValueFactory valueFactory, DomainCollectionType type, CollectionValue left, CollectionValue right)`
`static OrderedSetValue`	`OrderedSetValueImpl.union(ValueFactory valueFactory, DomainCollectionType type, CollectionValue left, CollectionValue right)`
`static SequenceValue`	`SequenceValueImpl.union(ValueFactory valueFactory, DomainCollectionType type, CollectionValue left, CollectionValue right)`
`static SetValue`	`SetValueImpl.union(ValueFactory valueFactory, DomainCollectionType type, CollectionValue left, CollectionValue right)`

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

Methods in org.eclipse.ocl.examples.library.classifier that throw InvalidValueException
`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 InvalidValueException in org.eclipse.ocl.examples.library.collection

Methods in org.eclipse.ocl.examples.library.collection that throw InvalidValueException
`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 InvalidValueException in org.eclipse.ocl.examples.library.ecore

Methods in org.eclipse.ocl.examples.library.ecore that throw InvalidValueException
`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 InvalidValueException in org.eclipse.ocl.examples.library.enumeration

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

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

Methods in org.eclipse.ocl.examples.library.executor with parameters of type InvalidValueException
`NullValue`	`ExecutorManager.throwInvalidEvaluation(InvalidValueException e)`

Methods in org.eclipse.ocl.examples.library.executor that throw InvalidValueException
`void`	`ExecutorProperty.setValue(ObjectValue objectValue, Value propertyValue)`
`Value`	`ExecutorDoubleIterationManager.updateBody()`
`Value`	`ExecutorSingleIterationManager.updateBody()`

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

Methods in org.eclipse.ocl.examples.library.integer that throw InvalidValueException
`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 InvalidValueException in org.eclipse.ocl.examples.library.iterator

Methods in org.eclipse.ocl.examples.library.iterator that throw InvalidValueException
`SortedByIteration.SortingValue`	`SortedByIteration.createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType)`
`Value`	`IterateIteration.evaluateIteration(DomainIterationManager iterationManager)`

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

Methods in org.eclipse.ocl.examples.library.logical that throw InvalidValueException
`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 InvalidValueException in org.eclipse.ocl.examples.library.numeric

Methods in org.eclipse.ocl.examples.library.numeric that throw InvalidValueException

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 



<T extends java.lang.Number & java.lang.Comparable<T>> 


java.lang.Object

AbstractNumericBinaryOperation.evaluate(DomainEvaluator evaluator,
         T left,
         T right)

Return the result of evaluating the operation on left and right which are both of the same derived Number type.

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 IntegerValue NumericMaxOperation.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 IntegerValue NumericPlusOperation.evaluateInteger(DomainEvaluator evaluator, IntegerValue left, IntegerValue right)
Deprecated.

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

protected Value AbstractNumericUnaryOperation.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 RealValue NumericMaxOperation.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 RealValue NumericPlusOperation.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 AbstractNumericUnaryOperation.evaluateUnlimited(java.lang.Object left)

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

Methods in org.eclipse.ocl.examples.library.oclany that throw InvalidValueException
`Value`	`OclAnyOclAsSetOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`OclAnyOclTypeOperation.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 InvalidValueException in org.eclipse.ocl.examples.library.oclinvalid

Methods in org.eclipse.ocl.examples.library.oclinvalid that throw InvalidValueException
`Value`	`OclInvalidAllInstancesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`

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

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

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

Methods in org.eclipse.ocl.examples.library.real that throw InvalidValueException
`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 InvalidValueException in org.eclipse.ocl.examples.library.string

Methods in org.eclipse.ocl.examples.library.string that throw InvalidValueException
`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 InvalidValueException in org.eclipse.ocl.examples.pivot.bodies

Methods in org.eclipse.ocl.examples.pivot.bodies that throw InvalidValueException
`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 InvalidValueException in org.eclipse.ocl.examples.pivot.ecore

Methods in org.eclipse.ocl.examples.pivot.ecore that throw InvalidValueException
`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)`

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

Methods in org.eclipse.ocl.examples.pivot.evaluation with parameters of type InvalidValueException
`NullValue`	`AbstractEvaluationEnvironment.throwInvalidEvaluation(InvalidValueException e)`
`NullValue`	`AbstractEvaluationVisitor.throwInvalidEvaluation(InvalidValueException e)`
`NullValue`	`EvaluationEnvironment.throwInvalidEvaluation(InvalidValueException e)`
`NullValue`	`EvaluationVisitor.throwInvalidEvaluation(InvalidValueException e)`
`NullValue`	`TracingEvaluationVisitor.throwInvalidEvaluation(InvalidValueException e)`

Uses of InvalidValueException in org.eclipse.ocl.examples.pivot.internal.impl

Methods in org.eclipse.ocl.examples.pivot.internal.impl that throw InvalidValueException
`void`	`PropertyImpl.setValue(ObjectValue objectValue, Value propertyValue)`

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

Methods in org.eclipse.ocl.examples.pivot.library that throw InvalidValueException
`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)`