org.eclipse.ocl.examples.domain.library
Class AbstractBinaryOperation

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

All Implemented Interfaces:

LibraryBinaryOperation, LibraryFeature, LibraryOperation

Direct Known Subclasses:

AbstractNumericBinaryOperation, BooleanAndOperation, BooleanImpliesOperation, BooleanOrOperation, BooleanXorOperation, CollectionCountOperation, CollectionExcludesAllOperation, CollectionExcludesOperation, CollectionExcludingOperation, CollectionIncludesAllOperation, CollectionIncludesOperation, CollectionIncludingOperation, CollectionIntersectionOperation, CollectionProductOperation, CollectionSelectByKindOperation, CollectionSelectByTypeOperation, CollectionUnionOperation, IntegerCompareToOperation, IntegerMinusOperation, IntegerPlusOperation, JavaCompareToOperation, MultiplicityElementBodies._includesCardinality_body_, MultiplicityElementBodies._includesMultiplicity_body_, OclAnyEqualOperation, OclAnyOclAsTypeOperation, OclAnyOclIsInStateOperation, OclAnyOclIsKindOfOperation, OclAnyOclIsTypeOfOperation, OclComparableComparisonOperation, OclTypeConformsToOperation, OclVoidAndOperation, OclVoidImpliesOperation, OclVoidOrOperation, OrderedCollectionAppendOperation, OrderedCollectionAtOperation, OrderedCollectionIndexOfOperation, OrderedCollectionPrependOperation, ParameterableElementBodies._isCompatibleWith_body_, PropertyBodies._isAttribute_body_, RealCompareToOperation, RealMinusOperation, RealPlusOperation, SelfTypeBodies._resolveSelfType_body_, SetMinusOperation, SetSymmetricDifferenceOperation, StringAtOperation, StringCompareToOperation, StringConcatOperation, StringEndsWithOperation, StringEqualsIgnoreCaseOperation, StringGreaterThanEqualOperation, StringGreaterThanOperation, StringIndexOfOperation, StringLastIndexOfOperation, StringLessThanEqualOperation, StringLessThanOperation, StringMatchesOperation, StringStartsWithOperation, TypeBodies._resolveSelfType_body_, TypedMultiplicityElementBodies._CompatibleBody_body_

public abstract class AbstractBinaryOperation
extends AbstractOperation
implements LibraryBinaryOperation

AbstractBinaryOperation dispatches a binary library operation to matching-type-specific call-backs.

Constructor Summary

AbstractBinaryOperation()

Method Summary

Value

evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues) Return the result of evaluating operationCall upon sourceVal within the environment provided by EvaluationVisitor.

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

evaluate

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

argumentsMayBeInvalid

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

getValidator

Constructor Detail

AbstractBinaryOperation

public AbstractBinaryOperation()

Method Detail

evaluate

public Value evaluate(DomainEvaluator evaluator,
                      DomainCallExp callExp,
                      Value sourceValue,
                      Value... argumentValues)
               throws InvalidValueException

Description copied from interface: LibraryOperation

Return the result of evaluating operationCall upon sourceVal within the environment provided by EvaluationVisitor. An invalid return may be indicated by throwing an exception returning Java null or OCL invalid.

Specified by:

evaluate in interface LibraryOperation

Returns:

the evaluated value

Throws:

InvalidValueException