org.eclipse.ocl.examples.pivot.library
Class JavaCompareToOperation

java.lang.Object
  org.eclipse.ocl.examples.domain.library.AbstractFeature
      org.eclipse.ocl.examples.domain.library.AbstractOperation
          org.eclipse.ocl.examples.domain.library.AbstractBinaryOperation
              org.eclipse.ocl.examples.pivot.library.JavaCompareToOperation

All Implemented Interfaces:

LibraryBinaryOperation, LibraryFeature, LibraryOperation

public class JavaCompareToOperation
extends AbstractBinaryOperation

Field Summary

protected java.lang.reflect.Method

method

Constructor Summary

JavaCompareToOperation(java.lang.reflect.Method method)

Method Summary

Value	evaluate(DomainEvaluator evaluator, DomainType returnType, Value leftValue, Value rightValue) Return the result of evaluating the operation on left and right arguments.
protected Value	throwInvalidValueException(java.lang.String message, java.lang.Object... bindings)

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

Field Detail

method

protected final java.lang.reflect.Method method

Constructor Detail

JavaCompareToOperation

public JavaCompareToOperation(java.lang.reflect.Method method)

Method Detail

evaluate

public Value evaluate(DomainEvaluator evaluator,
                      DomainType returnType,
                      Value leftValue,
                      Value rightValue)
               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

throwInvalidValueException

protected Value throwInvalidValueException(java.lang.String message,
                                           java.lang.Object... bindings)
                                    throws InvalidValueException

Throws:

InvalidValueException