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

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

All Implemented Interfaces:

LibraryFeature, LibraryProperty

public class ConstrainedProperty
extends AbstractProperty

An instance of ConstrainedProperty supports evaluation of a relationship defined by constraints.

Field Summary

protected ExpressionInOCL

expressionInOCL

Constructor Summary

ConstrainedProperty(ExpressionInOCL expressionInOCL)

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

expressionInOCL

protected final ExpressionInOCL expressionInOCL

Constructor Detail

ConstrainedProperty

public ConstrainedProperty(ExpressionInOCL expressionInOCL)

Method Detail

evaluate

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

Throws:

InvalidValueException