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

java.lang.Object
  org.eclipse.ocl.examples.library.AbstractFeature
      org.eclipse.ocl.examples.library.AbstractOperation
          org.eclipse.ocl.examples.library.AbstractTernaryOperation
              org.eclipse.ocl.examples.library.collection.OrderedSetSubOrderedSetOperation

All Implemented Interfaces:

LibraryFeature, LibraryOperation, LibraryTernaryOperation, CallableImplementation

public class OrderedSetSubOrderedSetOperation
extends AbstractTernaryOperation

OrderedSetSubOrderedSetOperation realises the OrderedSet::subOrderedSet() library operation.

Since:

3.1

Field Summary

static OrderedSetSubOrderedSetOperation

INSTANCE

Constructor Summary

OrderedSetSubOrderedSetOperation()

Method Summary

Value

evaluate(ValueFactory valueFactory, Value source, Value arg1, Value arg2) Return the result of evaluating the operation on source with arg1 and arg2.

Methods inherited from class org.eclipse.ocl.examples.library.AbstractTernaryOperation

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

Constructor Detail

OrderedSetSubOrderedSetOperation

public OrderedSetSubOrderedSetOperation()

Method Detail

evaluate

public Value evaluate(ValueFactory valueFactory,
                      Value source,
                      Value arg1,
                      Value arg2)
               throws InvalidValueException

Description copied from interface: LibraryTernaryOperation

Return the result of evaluating the operation on source with arg1 and arg2. An invalid return may be indicated by throwing an exception returning Java null or OCL invalid.

source - source argument

arg1 - first argument

arg2 - second argument

Returns:

the evaluated value

Throws:

InvalidValueException