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

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

All Implemented Interfaces:

LibraryFeature, LibraryOperation, LibraryTernaryOperation

public class SequenceSubSequenceOperation
extends AbstractTernaryOperation

SequenceSubSequenceOperation realises the OrderedSet::subSequence() library operation.

Field Summary

static SequenceSubSequenceOperation

INSTANCE

Constructor Summary

SequenceSubSequenceOperation()

Method Summary

Value

evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue) Return the result of evaluating the operation on source with arg1 and arg2.

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

evaluate

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

argumentsMayBeInvalid

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

argumentsMayBeInvalid

Methods inherited from interface org.eclipse.ocl.examples.domain.library.LibraryFeature

getValidator

Field Detail

INSTANCE

public static final SequenceSubSequenceOperation INSTANCE

Constructor Detail

SequenceSubSequenceOperation

public SequenceSubSequenceOperation()

Method Detail

evaluate

public Value evaluate(DomainEvaluator evaluator,
                      DomainType returnType,
                      Value sourceValue,
                      Value firstArgumentValue,
                      Value secondArgumentValue)
               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.

Returns:

the evaluated value

Throws:

InvalidValueException