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

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

All Implemented Interfaces:

LibraryFeature, LibraryProperty

public class CompositionProperty
extends AbstractProperty

The static instance of CompositionProperty supports evaluation of a property call that navigates a relationship to a container.

Field Summary

static CompositionProperty

INSTANCE

Constructor Summary

CompositionProperty()

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

Constructor Detail

CompositionProperty

public CompositionProperty()

Method Detail

evaluate

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

Throws:

InvalidValueException