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

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

All Implemented Interfaces:

LibraryBinaryOperation, LibraryFeature, LibraryOperation, CallableImplementation, Value.BinaryOperation

public class NumericModOperation
extends AbstractNumericBinaryOperation

ModOperation realises the mod() library operation.

Since:

3.1

Field Summary

static NumericModOperation

INSTANCE

Constructor Summary

NumericModOperation()

Method Summary

protected Value

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

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

evaluate, evaluate, evaluateReal, 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 NumericModOperation INSTANCE

Constructor Detail

NumericModOperation

public NumericModOperation()

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