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

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

All Implemented Interfaces:

LibraryBinaryOperation, LibraryFeature, LibraryOperation, CallableImplementation, Value.BinaryOperation

public class NumericMinOperation
extends AbstractNumericBinaryOperation

MinOperation realises the min() library operation.

Since:

3.1

Field Summary

static NumericMinOperation

INSTANCE

Constructor Summary

NumericMinOperation()

Method Summary

protected Value	evaluateInteger(ValueFactory valueFactory, IntegerValue left, IntegerValue right) Evaluate an operation for which both left and right are Integer.
protected Value	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 NumericMinOperation INSTANCE

Constructor Detail

NumericMinOperation

public NumericMinOperation()

Method Detail

evaluateInteger

protected Value 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 Value 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