org.eclipse.ocl.examples.pivot.library
Class ConstrainedOperation
java.lang.Object
org.eclipse.ocl.examples.domain.library.AbstractFeature
org.eclipse.ocl.examples.domain.library.AbstractOperation
org.eclipse.ocl.examples.pivot.library.ConstrainedOperation
- All Implemented Interfaces:
- LibraryBinaryOperation, LibraryFeature, LibraryOperation, LibraryTernaryOperation, LibraryUnaryOperation
public class ConstrainedOperation
- extends AbstractOperation
- implements LibraryUnaryOperation, LibraryBinaryOperation, LibraryTernaryOperation
An instance of ConstrainedOperation supports evaluation of
an operation defined by constraints.
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. |
Value |
evaluate(DomainEvaluator evaluator,
DomainType returnType,
Value sourceValue)
Return the result of evaluating the operation on an argument. |
Value |
evaluate(DomainEvaluator evaluator,
DomainType returnType,
Value sourceValue,
Value argumentValue)
Return the result of evaluating the operation on left and right arguments. |
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 java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
expressionInOCL
protected final ExpressionInOCL expressionInOCL
ConstrainedOperation
public ConstrainedOperation(ExpressionInOCL expressionInOCL)
evaluate
public Value evaluate(DomainEvaluator evaluator,
DomainCallExp callExp,
Value sourceValue,
Value... argumentValues)
throws InvalidEvaluationException,
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
InvalidEvaluationException
evaluate
public Value evaluate(DomainEvaluator evaluator,
DomainType returnType,
Value sourceValue)
throws InvalidValueException
- Description copied from interface:
LibraryUnaryOperation
- Return the result of evaluating the operation on an argument.
An invalid return may be indicated by throwing an exception returning Java null or OCL invalid.
- Specified by:
evaluate
in interface LibraryUnaryOperation
- Returns:
- the evaluated value
- Throws:
InvalidValueException
evaluate
public Value evaluate(DomainEvaluator evaluator,
DomainType returnType,
Value sourceValue,
Value argumentValue)
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.
- Specified by:
evaluate
in interface LibraryBinaryOperation
- Returns:
- the evaluated value
- Throws:
InvalidValueException
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.
- Specified by:
evaluate
in interface LibraryTernaryOperation
- Returns:
- the evaluated value
- Throws:
InvalidValueException