org.eclipse.ocl.examples.library.numeric
Class NumericPlusOperation

java.lang.Object
  org.eclipse.ocl.examples.library.AbstractFeature
      org.eclipse.ocl.examples.library.AbstractOperation
          org.eclipse.ocl.examples.library.AbstractBinaryOperation
              org.eclipse.ocl.examples.library.numeric.AbstractNumericBinaryOperation
                  org.eclipse.ocl.examples.library.numeric.NumericPlusOperation

All Implemented Interfaces:

LibraryBinaryOperation, LibraryFeature, LibraryOperation, CallableImplementation, Value.BinaryOperation

public class NumericPlusOperation
extends AbstractNumericBinaryOperation

PlusOperation realises the +() library operation.

Since:

3.1

Field Summary

static NumericPlusOperation

INSTANCE

Constructor Summary

NumericPlusOperation()

Method Summary

protected IntegerValue	evaluateInteger(ValueFactory valueFactory, IntegerValue left, IntegerValue right) Evaluate an operation for which both left and right are Integer.
protected RealValue	evaluateReal(ValueFactory valueFactory, RealValue left, RealValue right) Evaluate an operation for which both left and right are Real.

Methods inherited from class org.eclipse.ocl.examples.library.numeric.AbstractNumericBinaryOperation

evaluate, evaluate, evaluateUnlimited

Methods inherited from class org.eclipse.ocl.examples.library.AbstractBinaryOperation

evaluate

Methods inherited from class org.eclipse.ocl.examples.library.AbstractOperation

evaluate, evaluateArgument, getNumArguments

Methods inherited from class org.eclipse.ocl.examples.library.AbstractFeature

validate

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.eclipse.ocl.examples.pivot.evaluation.CallableImplementation

evaluate, validate

Field Detail

INSTANCE

public static final NumericPlusOperation INSTANCE

Constructor Detail

NumericPlusOperation

public NumericPlusOperation()

Method Detail

evaluateInteger

protected IntegerValue evaluateInteger(ValueFactory valueFactory,
                                       IntegerValue left,
                                       IntegerValue right)
                                throws InvalidValueException

Description copied from class: AbstractNumericBinaryOperation

Evaluate an operation for which both left and right are Integer.

Overrides:

evaluateInteger in class AbstractNumericBinaryOperation

left - argument

right - argument

Returns:

result

Throws:

InvalidValueException

evaluateReal

protected RealValue evaluateReal(ValueFactory valueFactory,
                                 RealValue left,
                                 RealValue right)
                          throws InvalidValueException

Description copied from class: AbstractNumericBinaryOperation

Evaluate an operation for which both left and right are Real.

Overrides:

evaluateReal in class AbstractNumericBinaryOperation

left - argument

right - argument

Returns:

result

Throws:

InvalidValueException