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

java.lang.Object
  extended by org.eclipse.ocl.examples.library.AbstractFeature
      extended by org.eclipse.ocl.examples.library.AbstractOperation
          extended by org.eclipse.ocl.examples.library.AbstractBinaryOperation
              extended by org.eclipse.ocl.examples.library.numeric.AbstractNumericBinaryOperation
                  extended by 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

Field Summary
static NumericGreaterThanEqualOperation INSTANCE
           
 
Constructor Summary
NumericGreaterThanEqualOperation()
           
 
Method Summary
protected  BooleanValue evaluateInteger(ValueFactory valueFactory, IntegerValue left, IntegerValue right)
          Evaluate an operation for which both left and right are Integer.
protected  BooleanValue evaluateReal(ValueFactory valueFactory, RealValue left, RealValue right)
          Evaluate an operation for which both left and right are Real.
protected  BooleanValue evaluateUnlimited(ValueFactory valueFactory, Value left, Value right)
          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.
 
Methods inherited from class org.eclipse.ocl.examples.library.numeric.AbstractNumericBinaryOperation
evaluate, evaluate
 
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 NumericGreaterThanEqualOperation INSTANCE
Constructor Detail

NumericGreaterThanEqualOperation

public NumericGreaterThanEqualOperation()
Method Detail

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 - argument
right - 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 - argument
right - 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 - argument
right - argument
Returns:
result