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

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.NumericMaxOperation

All Implemented Interfaces:

LibraryBinaryOperation, LibraryFeature, LibraryOperation, CallableImplementation, Value.BinaryOperation

public class NumericMaxOperation
extends AbstractNumericBinaryOperation

MaxOperation realises the max() library operation.

Since:

3.1

Field Summary

static NumericMaxOperation

INSTANCE

Constructor Summary

NumericMaxOperation()

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.
protected Value	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 inherited from class org.eclipse.ocl.examples.library.numeric.AbstractNumericBinaryOperation

evaluate, evaluate

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 NumericMaxOperation INSTANCE

Constructor Detail

NumericMaxOperation

public NumericMaxOperation()

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

evaluateUnlimited

protected Value evaluateUnlimited(ValueFactory valueFactory,
                                  Value left,
                                  Value right)

Description copied from class: AbstractNumericBinaryOperation

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.

Overrides:

evaluateUnlimited in class AbstractNumericBinaryOperation

left - argument

right - argument

Returns:

result