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

java.lang.Object
  org.eclipse.ocl.examples.library.AbstractFeature
      org.eclipse.ocl.examples.library.AbstractOperation
          org.eclipse.ocl.examples.library.AbstractUnaryOperation
              org.eclipse.ocl.examples.library.numeric.AbstractNumericUnaryOperation
                  org.eclipse.ocl.examples.library.numeric.NumericFloorOperation

All Implemented Interfaces:

LibraryFeature, LibraryOperation, LibraryUnaryOperation, CallableImplementation

public class NumericFloorOperation
extends AbstractNumericUnaryOperation

FloorOperation realises the floor() library operation.

Since:

3.1

Field Summary

static NumericFloorOperation

INSTANCE

Constructor Summary

NumericFloorOperation()

Method Summary

protected Value	evaluateInteger(IntegerValue left)
protected Value	evaluateReal(RealValue left)

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

evaluate, evaluateNumeric, evaluateUnlimited

Methods inherited from class org.eclipse.ocl.examples.library.AbstractUnaryOperation

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

Constructor Detail

NumericFloorOperation

public NumericFloorOperation()

Method Detail

evaluateInteger

protected Value evaluateInteger(IntegerValue left)

Overrides:

evaluateInteger in class AbstractNumericUnaryOperation

evaluateReal

protected Value evaluateReal(RealValue left)
                      throws InvalidValueException

Overrides:

evaluateReal in class AbstractNumericUnaryOperation

Throws:

InvalidValueException