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

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

All Implemented Interfaces:

LibraryFeature, LibraryProperty

public class ExplicitNavigationProperty
extends AbstractProperty

The static instance of ExplicitNavigationProperty supports evaluation of a property call that navigates a relationship.

Field Summary

static ExplicitNavigationProperty

INSTANCE

Constructor Summary

ExplicitNavigationProperty()

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 ExplicitNavigationProperty INSTANCE

Constructor Detail

ExplicitNavigationProperty

public ExplicitNavigationProperty()

Method Detail

evaluate

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

Throws:

InvalidValueException