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

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

All Implemented Interfaces:

LibraryBinaryOperation, LibraryFeature, LibraryOperation, CallableImplementation, Value.BinaryOperation

public class NumericDivOperation
extends AbstractNumericBinaryOperation

DivOperation realises the div() library operation.

Since:

3.1

Field Summary

static NumericDivOperation

INSTANCE

Constructor Summary

NumericDivOperation()

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

Constructor Detail

NumericDivOperation

public NumericDivOperation()

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