| Methods in org.eclipse.ocl.examples.library.collection that throw InvalidValueException | 
|  Value | CollectionMaxOperation.evaluate(EvaluationVisitor evaluationVisitor,
         Value sourceVal,
         OperationCallExp operationCall)
 | 
|  Value | CollectionMinOperation.evaluate(EvaluationVisitor evaluationVisitor,
         Value sourceVal,
         OperationCallExp operationCall)
 | 
|  Value | CollectionProductOperation.evaluate(EvaluationVisitor evaluationVisitor,
         Value sourceVal,
         OperationCallExp operationCall)
 | 
|  Value | CollectionSumOperation.evaluate(EvaluationVisitor evaluationVisitor,
         Value sourceVal,
         OperationCallExp operationCall)
 | 
|  Value | CollectionAsBagOperation.evaluate(ValueFactory valueFactory,
         Value argument)
 | 
|  Value | CollectionAsOrderedSetOperation.evaluate(ValueFactory valueFactory,
         Value argument)
 | 
|  Value | CollectionAsSequenceOperation.evaluate(ValueFactory valueFactory,
         Value argument)
 | 
|  Value | CollectionAsSetOperation.evaluate(ValueFactory valueFactory,
         Value argument)
 | 
|  Value | CollectionFlattenOperation.evaluate(ValueFactory valueFactory,
         Value argument)
 | 
|  Value | CollectionIsEmptyOperation.evaluate(ValueFactory valueFactory,
         Value argument)
 | 
|  Value | CollectionNotEmptyOperation.evaluate(ValueFactory valueFactory,
         Value argument)
 | 
|  Value | CollectionSizeOperation.evaluate(ValueFactory valueFactory,
         Value argument)
 | 
|  Value | OrderedCollectionFirstOperation.evaluate(ValueFactory valueFactory,
         Value argument)
 | 
|  Value | OrderedCollectionLastOperation.evaluate(ValueFactory valueFactory,
         Value argument)
 | 
|  Value | OrderedCollectionReverseOperation.evaluate(ValueFactory valueFactory,
         Value argument)
 | 
|  Value | CollectionCountOperation.evaluate(ValueFactory valueFactory,
         Value left,
         Value right)
 | 
|  Value | CollectionExcludesAllOperation.evaluate(ValueFactory valueFactory,
         Value left,
         Value right)
 | 
|  Value | CollectionExcludesOperation.evaluate(ValueFactory valueFactory,
         Value left,
         Value right)
 | 
|  Value | CollectionExcludingOperation.evaluate(ValueFactory valueFactory,
         Value left,
         Value right)
 | 
|  Value | CollectionIncludesAllOperation.evaluate(ValueFactory valueFactory,
         Value left,
         Value right)
 | 
|  Value | CollectionIncludesOperation.evaluate(ValueFactory valueFactory,
         Value left,
         Value right)
 | 
|  Value | CollectionIncludingOperation.evaluate(ValueFactory valueFactory,
         Value left,
         Value right)
 | 
|  Value | CollectionUnionOperation.evaluate(ValueFactory valueFactory,
         Value left,
         Value right)
 | 
|  Value | OrderedCollectionAppendOperation.evaluate(ValueFactory valueFactory,
         Value left,
         Value right)
 | 
|  Value | OrderedCollectionAtOperation.evaluate(ValueFactory valueFactory,
         Value left,
         Value right)
 | 
|  Value | OrderedCollectionIndexOfOperation.evaluate(ValueFactory valueFactory,
         Value left,
         Value right)
 | 
|  Value | OrderedCollectionPrependOperation.evaluate(ValueFactory valueFactory,
         Value left,
         Value right)
 | 
|  Value | SetMinusOperation.evaluate(ValueFactory valueFactory,
         Value left,
         Value right)
 | 
|  Value | SetSymmetricDifferenceOperation.evaluate(ValueFactory valueFactory,
         Value left,
         Value right)
 | 
|  Value | UniqueCollectionIntersectionOperation.evaluate(ValueFactory valueFactory,
         Value left,
         Value right)
 | 
|  Value | OrderedCollectionInsertAtOperation.evaluate(ValueFactory valueFactory,
         Value source,
         Value arg1,
         Value arg2)
 | 
|  Value | OrderedSetSubOrderedSetOperation.evaluate(ValueFactory valueFactory,
         Value source,
         Value arg1,
         Value arg2)
 | 
|  Value | SequenceSubSequenceOperation.evaluate(ValueFactory valueFactory,
         Value source,
         Value arg1,
         Value arg2)
 | 
 
| Methods in org.eclipse.ocl.examples.library.numeric that throw InvalidValueException | 
|  Value | NumericOclAsTypeOperation.evaluate(EvaluationVisitor evaluationVisitor,
         Value sourceVal,
         OperationCallExp operationCall)
 | 
| protected 
| <T extends java.lang.Number & java.lang.Comparable<T>> 
java.lang.Object
 |  | AbstractNumericBinaryOperation.evaluate(ValueFactory valueFactory,
         T left,
         T right)Return the result of evaluating the operation on left and right which are both
 of the same derived Number type.
 | 
|  Value | AbstractNumericUnaryOperation.evaluate(ValueFactory valueFactory,
         Value sourceVal)
 | 
|  Value | AbstractNumericBinaryOperation.evaluate(ValueFactory valueFactory,
         Value left,
         Value right)
 | 
| protected  Value | AbstractNumericUnaryOperation.evaluateInteger(IntegerValue left)
 | 
| protected  Value | AbstractNumericBinaryOperation.evaluateInteger(ValueFactory valueFactory,
                IntegerValue left,
                IntegerValue right)Evaluate an operation for which both left and right are Integer.
 | 
| protected  Value | NumericDivOperation.evaluateInteger(ValueFactory valueFactory,
                IntegerValue left,
                IntegerValue right)
 | 
| protected  Value | NumericDivideOperation.evaluateInteger(ValueFactory valueFactory,
                IntegerValue left,
                IntegerValue right)
 | 
| protected  IntegerValue | NumericMaxOperation.evaluateInteger(ValueFactory valueFactory,
                IntegerValue left,
                IntegerValue right)
 | 
| protected  Value | NumericMinOperation.evaluateInteger(ValueFactory valueFactory,
                IntegerValue left,
                IntegerValue right)
 | 
| protected  Value | NumericMinusOperation.evaluateInteger(ValueFactory valueFactory,
                IntegerValue left,
                IntegerValue right)
 | 
| protected  Value | NumericModOperation.evaluateInteger(ValueFactory valueFactory,
                IntegerValue left,
                IntegerValue right)
 | 
| protected  IntegerValue | NumericPlusOperation.evaluateInteger(ValueFactory valueFactory,
                IntegerValue left,
                IntegerValue right)
 | 
| protected  Value | NumericTimesOperation.evaluateInteger(ValueFactory valueFactory,
                IntegerValue left,
                IntegerValue right)
 | 
| protected  Value | NumericAbsOperation.evaluateNumeric(NumericValue left)
 | 
| protected  Value | NumericNegateOperation.evaluateNumeric(NumericValue left)
 | 
| protected 
 | AbstractNumericUnaryOperation.evaluateNumeric(T left)Return the result of evaluating the operation on left.
 | 
| protected  Value | AbstractNumericUnaryOperation.evaluateReal(RealValue left)
 | 
| protected  Value | NumericFloorOperation.evaluateReal(RealValue left)
 | 
| protected  Value | NumericRoundOperation.evaluateReal(RealValue left)
 | 
| protected  Value | AbstractNumericBinaryOperation.evaluateReal(ValueFactory valueFactory,
             RealValue left,
             RealValue right)Evaluate an operation for which both left and right are Real.
 | 
| protected  Value | NumericDivideOperation.evaluateReal(ValueFactory valueFactory,
             RealValue left,
             RealValue right)
 | 
| protected  RealValue | NumericMaxOperation.evaluateReal(ValueFactory valueFactory,
             RealValue left,
             RealValue right)
 | 
| protected  Value | NumericMinOperation.evaluateReal(ValueFactory valueFactory,
             RealValue left,
             RealValue right)
 | 
| protected  Value | NumericMinusOperation.evaluateReal(ValueFactory valueFactory,
             RealValue left,
             RealValue right)
 | 
| protected  RealValue | NumericPlusOperation.evaluateReal(ValueFactory valueFactory,
             RealValue left,
             RealValue right)
 | 
| protected  Value | NumericTimesOperation.evaluateReal(ValueFactory valueFactory,
             RealValue left,
             RealValue right)
 | 
| protected  Value | AbstractNumericUnaryOperation.evaluateUnlimited(java.lang.Object left)
 | 
| protected  Value | AbstractNumericBinaryOperation.evaluateUnlimited(ValueFactory valueFactory,
                  Value left,
                  Value right)Evaluate an operation for which at least one of left and right are unlimited
 and for which neither left nor right are invalid or null.
 | 
 
| Methods in org.eclipse.ocl.examples.library.string that throw InvalidValueException | 
|  Value | StringCharactersOperation.evaluate(ValueFactory valueFactory,
         Value sourceVal)
 | 
|  Value | StringSizeOperation.evaluate(ValueFactory valueFactory,
         Value sourceVal)
 | 
|  Value | StringToBooleanOperation.evaluate(ValueFactory valueFactory,
         Value sourceVal)
 | 
|  Value | StringToIntegerOperation.evaluate(ValueFactory valueFactory,
         Value sourceVal)
 | 
|  Value | StringToLowerCaseOperation.evaluate(ValueFactory valueFactory,
         Value sourceVal)
 | 
|  Value | StringToRealOperation.evaluate(ValueFactory valueFactory,
         Value sourceVal)
 | 
|  Value | StringToUpperCaseOperation.evaluate(ValueFactory valueFactory,
         Value sourceVal)
 | 
|  Value | StringAtOperation.evaluate(ValueFactory valueFactory,
         Value left,
         Value right)
 | 
|  Value | StringConcatOperation.evaluate(ValueFactory valueFactory,
         Value left,
         Value right)
 | 
|  Value | StringEqualsIgnoreCaseOperation.evaluate(ValueFactory valueFactory,
         Value left,
         Value right)
 | 
|  Value | StringGreaterThanEqualOperation.evaluate(ValueFactory valueFactory,
         Value left,
         Value right)
 | 
|  Value | StringGreaterThanOperation.evaluate(ValueFactory valueFactory,
         Value left,
         Value right)
 | 
|  Value | StringIndexOfOperation.evaluate(ValueFactory valueFactory,
         Value left,
         Value right)
 | 
|  Value | StringLessThanEqualOperation.evaluate(ValueFactory valueFactory,
         Value left,
         Value right)
 | 
|  Value | StringLessThanOperation.evaluate(ValueFactory valueFactory,
         Value left,
         Value right)
 | 
|  Value | StringSubstringOperation.evaluate(ValueFactory valueFactory,
         Value source,
         Value arg1,
         Value arg2)
 | 
 
 
| Methods in org.eclipse.ocl.examples.pivot.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)
 | 
|  OrderedCollectionValue | AbstractUndefinedCollectionValue.append(Value object)
 | 
|  SequenceValue | IntegerRangeValueImpl.append(Value value)
 | 
|  OrderedSetValue | OrderedSetValueImpl.append(Value object)
 | 
|  BagValue | AbstractValue.asBagValue()
 | 
|  boolean | AbstractValue.asBoolean()
 | 
|  BooleanValue | AbstractValue.asBooleanValue()
 | 
|  CollectionValue | AbstractValue.asCollectionValue()
 | 
|  java.lang.Double | AbstractValue.asDouble()
 | 
|  ElementValue<?> | AbstractValue.asElementValue()
 | 
|  java.lang.Integer | AbstractValue.asInteger()
 | 
|  IntegerValue | AbstractValue.asIntegerValue()
 | 
|  ObjectValue | AbstractValue.asObjectValue()
 | 
|  OrderedCollectionValue | AbstractValue.asOrderedCollectionValue()
 | 
|  OrderedSetValue | AbstractValue.asOrderedSetValue()
 | 
|  RealValue | AbstractValue.asRealValue()
 | 
|  SequenceValue | AbstractValue.asSequenceValue()
 | 
|  SetValue | AbstractValue.asSetValue()
 | 
|  java.lang.String | AbstractValue.asString()
 | 
|  StringValue | AbstractValue.asStringValue()
 | 
|  TypeValue | AbstractValue.asTypeValue()
 | 
|  UniqueCollectionValue | AbstractValue.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 | IntegerRangeValueImpl.count(Value value)
 | 
|  CollectionValue | AbstractUndefinedCollectionValue.createNew()
 | 
|  NullValue | AbstractUndefinedValue.div(IntegerValue right)
 | 
|  IntegerValue | IntegerValueImpl.div(IntegerValue right)
 | 
|  NullValue | AbstractUndefinedValue.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)
 | 
|  SequenceValue | IntegerRangeValueImpl.including(Value value)
 | 
|  OrderedSetValue | OrderedSetValueImpl.including(Value value)
 | 
|  SetValue | SetValueImpl.including(Value value)
 | 
|  IntegerValue | AbstractSequenceValue.indexOf(Value object)
 | 
|  IntegerValue | AbstractUndefinedCollectionValue.indexOf(Value object)
 | 
|  IntegerValue | OrderedSetValueImpl.indexOf(Value object)
 | 
|  SequenceValue | AbstractSequenceValue.insertAt(int index,
         Value object)
 | 
|  OrderedCollectionValue | AbstractUndefinedCollectionValue.insertAt(int index,
         Value object)
 | 
|  OrderedSetValue | OrderedSetValueImpl.insertAt(int index,
         Value object)
 | 
|  IntegerValue | ValueFactoryImpl.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,
             CollectionValue left,
             CollectionValue right)
 | 
| static SetValue | SetValueImpl.intersection(ValueFactory valueFactory,
             CollectionValue left,
             CollectionValue right)
 | 
|  BooleanValue | AbstractUndefinedCollectionValue.isEmpty()
 | 
|  Value | AbstractSequenceValue.last()
 | 
|  Value | AbstractUndefinedCollectionValue.last()
 | 
|  Value | OrderedSetValueImpl.last()
 | 
|  NullValue | AbstractUndefinedValue.max(IntegerValue right)
 | 
|  IntegerValue | IntegerValueImpl.max(IntegerValue right)
 | 
|  NullValue | AbstractUndefinedValue.max(RealValue right)
 | 
|  Value | AbstractCollectionValue.maxMin(Value.BinaryOperation binaryOperation)
 | 
|  Value | AbstractUndefinedCollectionValue.maxMin(Value.BinaryOperation binaryOperation)
 | 
|  NullValue | AbstractUndefinedValue.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 | IntegerValueImpl.mod(IntegerValue right)
 | 
|  NullValue | AbstractUndefinedValue.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)
 | 
|  OrderedCollectionValue | AbstractUndefinedCollectionValue.prepend(Value object)
 | 
|  SequenceValue | IntegerRangeValueImpl.prepend(Value value)
 | 
|  OrderedSetValue | OrderedSetValueImpl.prepend(Value object)
 | 
|  RealValue | ValueFactoryImpl.realValueOf(java.lang.String aValue)
 | 
|  OrderedCollectionValue | AbstractUndefinedCollectionValue.reverse()
 | 
|  NullValue | AbstractUndefinedValue.round()
 | 
|  IntegerValue | AbstractUndefinedCollectionValue.size()
 | 
|  OrderedCollectionValue | AbstractUndefinedCollectionValue.sort(java.util.Comparator<Value> comparator)
 | 
|  NullValue | AbstractUndefinedCollectionValue.subOrderedSet(int lower,
              int upper)
 | 
|  NullValue | AbstractUndefinedCollectionValue.subSequence(int lower,
            int upper)
 | 
|  NullValue | AbstractUndefinedValue.subtract(IntegerValue right)
 | 
|  IntegerValue | IntegerValueImpl.subtract(IntegerValue right)
 | 
|  NullValue | AbstractUndefinedValue.subtract(RealValue right)
 | 
|  Value | AbstractCollectionValue.sum(Value.BinaryOperation binaryOperation,
    Value zero)
 | 
|  Value | AbstractUndefinedCollectionValue.sum(Value.BinaryOperation binaryOperation,
    Value zero)
 | 
|  NullValue | AbstractUndefinedCollectionValue.symmetricDifference(UniqueCollectionValue set)
 | 
|  InvalidValue | ValueFactoryImpl.throwInvalidValueException(java.lang.String message,
                           java.lang.Object... bindings)
 | 
|  InvalidValue | ValueFactoryImpl.throwInvalidValueException(java.lang.Throwable e,
                           java.lang.String message,
                           java.lang.Object... bindings)
 | 
|  IntegerValue | AbstractValue.toIntegerValue()
 | 
|  IntegerValue | RealValueImpl.toIntegerValue()
 | 
| protected  NullValue | AbstractUndefinedValue.toInvalidValue()
 | 
|  RealValue | AbstractValue.toRealValue()
 | 
|  CollectionValue | AbstractCollectionValue.union(CollectionValue c)
 | 
| static BagValue | BagValueImpl.union(ValueFactory valueFactory,
      CollectionValue left,
      CollectionValue right)
 | 
| static OrderedSetValue | OrderedSetValueImpl.union(ValueFactory valueFactory,
      CollectionValue left,
      CollectionValue right)
 | 
| static SequenceValue | SequenceValueImpl.union(ValueFactory valueFactory,
      CollectionValue left,
      CollectionValue right)
 | 
| static SetValue | SetValueImpl.union(ValueFactory valueFactory,
      CollectionValue left,
      CollectionValue right)
 |