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

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

All Implemented Interfaces:

LibraryBinaryOperation, LibraryFeature, LibraryOperation

public class NumericModOperation
extends AbstractNumericBinaryOperation

ModOperation realises the mod() library operation.

Field Summary

static NumericModOperation

INSTANCE

Constructor Summary

NumericModOperation()

Method Summary

protected Value

evaluateInteger(DomainEvaluator evaluator, 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.domain.library.AbstractBinaryOperation

evaluate

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

argumentsMayBeInvalid

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

getLibraryValidator, getValidator

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.domain.library.LibraryOperation

argumentsMayBeInvalid

Methods inherited from interface org.eclipse.ocl.examples.domain.library.LibraryFeature

getValidator

Field Detail

INSTANCE

public static final NumericModOperation INSTANCE

Constructor Detail

NumericModOperation

public NumericModOperation()

Method Detail

evaluateInteger

protected Value evaluateInteger(DomainEvaluator evaluator,
                                IntegerValue left,
                                IntegerValue right)
                         throws InvalidValueException

Description copied from class: AbstractNumericBinaryOperation

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

Specified by:

evaluateInteger in class AbstractNumericBinaryOperation

left - argument

right - argument

Returns:

result

Throws:

InvalidValueException