org.eclipse.ocl.examples.library
Interface LibraryOperation

All Superinterfaces:

CallableImplementation, LibraryFeature

All Known Subinterfaces:

LibraryBinaryOperation, LibraryTernaryOperation, LibraryUnaryOperation

All Known Implementing Classes:

AbstractBinaryOperation, AbstractNumericBinaryOperation, AbstractNumericUnaryOperation, AbstractOperation, AbstractTernaryOperation, AbstractUnaryOperation, BooleanAllInstancesOperation, BooleanAndOperation, BooleanImpliesOperation, BooleanNotOperation, BooleanOrOperation, BooleanXorOperation, ClassifierAllInstancesOperation, ClassifierOclContainerOperation, ClassifierOclContentsOperation, CollectionAsBagOperation, CollectionAsOrderedSetOperation, CollectionAsSequenceOperation, CollectionAsSetOperation, CollectionCountOperation, CollectionExcludesAllOperation, CollectionExcludesOperation, CollectionExcludingOperation, CollectionFlattenOperation, CollectionIncludesAllOperation, CollectionIncludesOperation, CollectionIncludingOperation, CollectionIsEmptyOperation, CollectionMaxOperation, CollectionMinOperation, CollectionNotEmptyOperation, CollectionProductOperation, CollectionSizeOperation, CollectionSumOperation, CollectionUnionOperation, EnumerationAllInstancesOperation, NumericAbsOperation, NumericDivideOperation, NumericDivOperation, NumericFloorOperation, NumericGreaterThanEqualOperation, NumericGreaterThanOperation, NumericLessThanEqualOperation, NumericLessThanOperation, NumericMaxOperation, NumericMinOperation, NumericMinusOperation, NumericModOperation, NumericNegateOperation, NumericOclAsTypeOperation, NumericPlusOperation, NumericRoundOperation, NumericTimesOperation, OclAnyEqualOperation, OclAnyNotEqualOperation, OclAnyOclAsSetOperation, OclAnyOclAsTypeOperation, OclAnyOclIsInStateOperation, OclAnyOclIsInvalidOperation, OclAnyOclIsKindOfOperation, OclAnyOclIsTypeOfOperation, OclAnyOclIsUndefinedOperation, OclAnyOclTypeOperation, OclAnyToStringOperation, OclAnyUnsupportedOperation, OclInvalidAllInstancesOperation, OclVoidAllInstancesOperation, OclVoidAndOperation, OclVoidImpliesOperation, OclVoidOrOperation, OrderedCollectionAppendOperation, OrderedCollectionAtOperation, OrderedCollectionFirstOperation, OrderedCollectionIndexOfOperation, OrderedCollectionInsertAtOperation, OrderedCollectionLastOperation, OrderedCollectionPrependOperation, OrderedCollectionReverseOperation, OrderedSetSubOrderedSetOperation, SequenceSubSequenceOperation, SetMinusOperation, SetSymmetricDifferenceOperation, StringAtOperation, StringCharactersOperation, StringConcatOperation, StringEqualsIgnoreCaseOperation, StringGreaterThanEqualOperation, StringGreaterThanOperation, StringIndexOfOperation, StringLessThanEqualOperation, StringLessThanOperation, StringSizeOperation, StringSubstringOperation, StringToBooleanOperation, StringToIntegerOperation, StringToLowerCaseOperation, StringToRealOperation, StringToUpperCaseOperation, UniqueCollectionIntersectionOperation

public interface LibraryOperation
extends LibraryFeature

Since:

3.1

Method Summary

Value

evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall) Return the result of evaluating operationCall upon sourceVal within the environment provided by EvaluationVisitor.

Methods inherited from interface org.eclipse.ocl.examples.pivot.evaluation.CallableImplementation

evaluate, validate

Method Detail

evaluate

Value evaluate(EvaluationVisitor evaluationVisitor,
               Value sourceVal,
               OperationCallExp operationCall)
               throws InvalidEvaluationException,
                      InvalidValueException

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.

Parameters:

evaluationVisitor - the evaluation context

sourceVal - the source operand for the operation

operationCall - the operation and additional arguments

Returns:

the evaluated value

Throws:

InvalidValueException

InvalidEvaluationException