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

java.lang.Object
  org.eclipse.ocl.examples.domain.library.AbstractFeature
      org.eclipse.ocl.examples.domain.library.AbstractOperation
          org.eclipse.ocl.examples.domain.library.AbstractBinaryOperation
              org.eclipse.ocl.examples.library.collection.CollectionSelectByTypeOperation

All Implemented Interfaces:

LibraryBinaryOperation, LibraryFeature, LibraryOperation

public class CollectionSelectByTypeOperation
extends AbstractBinaryOperation

CollectionSelectByTypeOperation realises the Collection::selectByType() library operation.

Field Summary

static CollectionSelectByTypeOperation

INSTANCE

Constructor Summary

CollectionSelectByTypeOperation()

Method Summary

Value

evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal) Return the result of evaluating the operation on left and right arguments.

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

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

Constructor Detail

CollectionSelectByTypeOperation

public CollectionSelectByTypeOperation()

Method Detail

evaluate

public Value evaluate(DomainEvaluator evaluator,
                      DomainType returnType,
                      Value sourceVal,
                      Value argVal)
               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.

Returns:

the evaluated value

Throws:

InvalidValueException