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

java.lang.Object
  org.eclipse.ocl.examples.domain.library.AbstractFeature
      org.eclipse.ocl.examples.domain.library.AbstractProperty
          org.eclipse.ocl.examples.pivot.library.TuplePartProperty

All Implemented Interfaces:

LibraryFeature, LibraryProperty

public class TuplePartProperty
extends AbstractProperty

Field Summary

static LibraryFeature

INSTANCE

Constructor Summary

TuplePartProperty()

Method Summary

Value

evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)

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

getValidator

Field Detail

INSTANCE

public static final LibraryFeature INSTANCE

Constructor Detail

TuplePartProperty

public TuplePartProperty()

Method Detail

evaluate

public Value evaluate(DomainEvaluator evaluator,
                      DomainType returnType,
                      Value sourceValue,
                      DomainProperty property)
               throws InvalidValueException

Throws:

InvalidValueException