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

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

All Implemented Interfaces:

LibraryBinaryOperation, LibraryFeature, LibraryOperation

public class BooleanImpliesOperation
extends AbstractBinaryOperation

ImpliesOperation realises the implies() library operation.

Field Summary

static BooleanImpliesOperation

INSTANCE

Constructor Summary

BooleanImpliesOperation()

Method Summary

boolean	argumentsMayBeInvalid() Return true if this operation should be invoked even if one its arguments is invalid.
BooleanValue	evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right) Return the result of evaluating the operation on left and right arguments.

Methods inherited from class org.eclipse.ocl.examples.domain.library.AbstractBinaryOperation

evaluate

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.LibraryFeature

getValidator

Field Detail

INSTANCE

public static final BooleanImpliesOperation INSTANCE

Constructor Detail

BooleanImpliesOperation

public BooleanImpliesOperation()

Method Detail

argumentsMayBeInvalid

public boolean argumentsMayBeInvalid()

Description copied from interface: LibraryOperation

Return true if this operation should be invoked even if one its arguments is invalid.

Specified by:

argumentsMayBeInvalid in interface LibraryOperation

Overrides:

argumentsMayBeInvalid in class AbstractOperation

evaluate

public BooleanValue 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