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

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.AbstractUnaryOperation
              extended by org.eclipse.ocl.examples.library.logical.BooleanNotOperation
All Implemented Interfaces:
LibraryFeature, LibraryOperation, LibraryUnaryOperation, CallableImplementation

public class BooleanNotOperation
extends AbstractUnaryOperation

NotOperation realises the not() library operation.

Since:
3.1

Field Summary
static BooleanNotOperation INSTANCE
           
 
Constructor Summary
BooleanNotOperation()
           
 
Method Summary
 BooleanValue evaluate(ValueFactory valueFactory, Value argument)
          Return the result of evaluating the operation on an argument.
 
Methods inherited from class org.eclipse.ocl.examples.library.AbstractUnaryOperation
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 BooleanNotOperation INSTANCE
Constructor Detail

BooleanNotOperation

public BooleanNotOperation()
Method Detail

evaluate

public BooleanValue evaluate(ValueFactory valueFactory,
                             Value argument)
                      throws InvalidValueException
Description copied from interface: LibraryUnaryOperation
Return the result of evaluating the operation on an argument. An invalid return may be indicated by throwing an exception returning Java null or OCL invalid.

argument - the argument
Returns:
the evaluated value
Throws:
InvalidValueException