org.eclipse.ocl.examples.library.logical
Class BooleanImpliesOperation

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.logical.BooleanImpliesOperation

All Implemented Interfaces:

LibraryBinaryOperation, LibraryFeature, LibraryOperation, CallableImplementation, Value.BinaryOperation

public class BooleanImpliesOperation
extends AbstractBinaryOperation

ImpliesOperation realises the implies() library operation.

Since:

3.1

Field Summary

static BooleanImpliesOperation

INSTANCE

Constructor Summary

BooleanImpliesOperation()

Method Summary

BooleanValue	evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall) Return the result of evaluating operationCall upon sourceVal within the environment provided by EvaluationVisitor.
BooleanValue	evaluate(ValueFactory valueFactory, Value left, Value right) Return the result of evaluating the operation on left and right arguments.

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

Constructor Detail

BooleanImpliesOperation

public BooleanImpliesOperation()

Method Detail

evaluate

public BooleanValue evaluate(EvaluationVisitor evaluationVisitor,
                             Value sourceVal,
                             OperationCallExp operationCall)
                      throws InvalidValueException

Description copied from interface: LibraryOperation

Return the result of evaluating operationCall upon sourceVal within the environment provided by EvaluationVisitor. An invalid return may be indicated by throwing an exception returning Java null or OCL invalid.

Specified by:

evaluate in interface LibraryOperation

Overrides:

evaluate in class AbstractBinaryOperation

Parameters:

evaluationVisitor - the evaluation context

sourceVal - the source operand for the operation

operationCall - the operation and additional arguments

Returns:

the evaluated value

Throws:

InvalidValueException

evaluate

public BooleanValue evaluate(ValueFactory valueFactory,
                             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.

left - left argument

right - argument

Returns:

the evaluated value

Throws:

InvalidValueException