org.eclipse.ocl.examples.library.collection
Class CollectionExcludingOperation

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.AbstractBinaryOperation
              extended by org.eclipse.ocl.examples.library.collection.CollectionExcludingOperation
All Implemented Interfaces:
LibraryBinaryOperation, LibraryFeature, LibraryOperation, CallableImplementation, Value.BinaryOperation

public class CollectionExcludingOperation
extends AbstractBinaryOperation

CollectionExcludingOperation realises the Collection::excluding() library operation.

Since:
3.1

Field Summary
static CollectionExcludingOperation INSTANCE
           
 
Constructor Summary
CollectionExcludingOperation()
           
 
Method Summary
 Value 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.AbstractBinaryOperation
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 CollectionExcludingOperation INSTANCE
Constructor Detail

CollectionExcludingOperation

public CollectionExcludingOperation()
Method Detail

evaluate

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