org.eclipse.ocl.examples.library.numeric
Class NumericGreaterThanEqualOperation
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.NumericGreaterThanEqualOperation
- All Implemented Interfaces:
- LibraryBinaryOperation, LibraryFeature, LibraryOperation, CallableImplementation, Value.BinaryOperation
public class NumericGreaterThanEqualOperation
- extends AbstractNumericBinaryOperation
GreaterThanEqualOperation realises the >=() library operation.
- Since:
- 3.1
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
INSTANCE
public static final NumericGreaterThanEqualOperation INSTANCE
NumericGreaterThanEqualOperation
public NumericGreaterThanEqualOperation()
evaluateInteger
protected BooleanValue evaluateInteger(ValueFactory valueFactory,
IntegerValue left,
IntegerValue right)
- Description copied from class:
AbstractNumericBinaryOperation
- Evaluate an operation for which both left and right are Integer.
- Overrides:
evaluateInteger
in class AbstractNumericBinaryOperation
left
- argumentright
- argument
- Returns:
- result
evaluateReal
protected BooleanValue evaluateReal(ValueFactory valueFactory,
RealValue left,
RealValue right)
- Description copied from class:
AbstractNumericBinaryOperation
- Evaluate an operation for which both left and right are Real.
- Overrides:
evaluateReal
in class AbstractNumericBinaryOperation
left
- argumentright
- argument
- Returns:
- result
evaluateUnlimited
protected BooleanValue 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
- argumentright
- argument
- Returns:
- result