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

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.collection.CollectionIncludesOperation

All Implemented Interfaces:

LibraryBinaryOperation, LibraryFeature, LibraryOperation, CallableImplementation, Value.BinaryOperation

public class CollectionIncludesOperation
extends AbstractBinaryOperation

CollectionIncludesOperation realises the Collection::includes() library operation.

Since:

3.1

Field Summary

static CollectionIncludesOperation

INSTANCE

Constructor Summary

CollectionIncludesOperation()

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

Constructor Detail

CollectionIncludesOperation

public CollectionIncludesOperation()

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