org.eclipse.ocl.examples.library.oclany
Class OclComparableComparisonOperation

java.lang.Object
  extended by org.eclipse.ocl.examples.domain.library.AbstractFeature
      extended by org.eclipse.ocl.examples.domain.library.AbstractOperation
          extended by org.eclipse.ocl.examples.domain.library.AbstractBinaryOperation
              extended by org.eclipse.ocl.examples.library.oclany.OclComparableComparisonOperation
All Implemented Interfaces:
LibraryBinaryOperation, LibraryFeature, LibraryOperation
Direct Known Subclasses:
OclComparableGreaterThanEqualOperation, OclComparableGreaterThanOperation, OclComparableLessThanEqualOperation, OclComparableLessThanOperation

public abstract class OclComparableComparisonOperation
extends AbstractBinaryOperation

OclComparableComparisonOperation provides the abstract support for a comparison operation.


Constructor Summary
OclComparableComparisonOperation()
           
 
Method Summary
 Value evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)
          Return the result of evaluating the operation on left and right arguments.
protected abstract  boolean getResultValue(java.lang.Integer comparison)
           
 
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
 

Constructor Detail

OclComparableComparisonOperation

public OclComparableComparisonOperation()
Method Detail

evaluate

public Value evaluate(DomainEvaluator evaluator,
                      DomainType returnType,
                      Value left,
                      Value right)
               throws InvalidValueException
Description copied from interface: LibraryBinaryOperation
Return the result of evaluating the operation on left and right arguments. An invalid return may be indicated by throwing an exception returning Java null or OCL invalid.

Returns:
the evaluated value
Throws:
InvalidValueException

getResultValue

protected abstract boolean getResultValue(java.lang.Integer comparison)