org.eclipse.ocl.examples.pivot.library
Class ConstrainedOperation

java.lang.Object
  org.eclipse.ocl.examples.pivot.library.AbstractCallableImplementation
      org.eclipse.ocl.examples.pivot.library.ConstrainedOperation

All Implemented Interfaces:

CallableImplementation

public class ConstrainedOperation
extends AbstractCallableImplementation

An instance of ConstrainedOperation supports evaluation of an operation defined by constraints.

Field Summary

protected ExpressionInOcl

expressionInOcl

Constructor Summary

ConstrainedOperation(ExpressionInOcl expressionInOcl)

Method Summary

Value

evaluate(EvaluationVisitor evaluationVisitor, Value sourceValue, CallExp callExp)

Methods inherited from class org.eclipse.ocl.examples.pivot.library.AbstractCallableImplementation

validate

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

expressionInOcl

protected final ExpressionInOcl expressionInOcl

Constructor Detail

ConstrainedOperation

public ConstrainedOperation(ExpressionInOcl expressionInOcl)

Method Detail

evaluate

public Value evaluate(EvaluationVisitor evaluationVisitor,
                      Value sourceValue,
                      CallExp callExp)

Description copied from interface: CallableImplementation