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

java.lang.Object
  extended by org.eclipse.ocl.examples.pivot.library.AbstractCallableImplementation
      extended by org.eclipse.ocl.examples.pivot.library.TuplePartProperty
All Implemented Interfaces:
CallableImplementation

public class TuplePartProperty
extends AbstractCallableImplementation


Field Summary
static CallableImplementation INSTANCE
           
 
Constructor Summary
TuplePartProperty()
           
 
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

INSTANCE

public static final CallableImplementation INSTANCE
Constructor Detail

TuplePartProperty

public TuplePartProperty()
Method Detail

evaluate

public Value evaluate(EvaluationVisitor evaluationVisitor,
                      Value sourceValue,
                      CallExp callExp)
Description copied from interface: CallableImplementation