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

java.lang.Object
  org.eclipse.ocl.examples.domain.values.util.ValuesUtil
      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

Fields inherited from class org.eclipse.ocl.examples.domain.values.util.ValuesUtil

EMPTY_BAG, EMPTY_SET, FALSE_VALUE, INTEGER_MAX_VALUE, INTEGER_MIN_VALUE, INVALID_VALUE, LONG_MAX_VALUE, LONG_MIN_VALUE, NULL_STRING, NULL_VALUE, ONE_VALUE, TRUE_VALUE, UNLIMITED_VALUE, ZERO_VALUE

Constructor Summary

ConstrainedProperty(ExpressionInOCL expressionInOCL)

Method Summary

java.lang.Object

evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)

Methods inherited from class org.eclipse.ocl.examples.domain.values.util.ValuesUtil

asBagValue, asBoolean, asCollectionType, asCollectionValue, asInteger, asIntegerValue, asNavigableObject, asObject, asOrderedSetValue, asRealValue, asSequenceValue, asSetValue, asString, asTupleValue, asType, asUniqueCollectionValue, asUnlimitedNaturalValue, asValue, createBagAccumulatorValue, createBagOfEach, createBagRange, createBagValue, createCollectionAccumulatorValue, createInvalidValue, createObjectValue, createOrderedSetAccumulatorValue, createOrderedSetOfEach, createOrderedSetRange, createOrderedSetValue, createRange, createSequenceAccumulatorValue, createSequenceOfEach, createSequenceRange, createSequenceRange, createSequenceValue, createSetAccumulatorValue, createSetOfEach, createSetRange, createSetValue, createTupleOfEach, createTupleValue, createTupleValue, createTypeValue, getTypeName, initAllStatics, integerValueOf, integerValueOf, integerValueOf, integerValueOf, integerValueOf, isBoxed, isCollectionValue, isIntegerValue, isUnboxed, isUnlimited, oclToString, realValueOf, realValueOf, realValueOf, realValueOf, realValueOf, stringValueOf, throwInvalidValueException, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

expressionInOCL

@NonNull
protected final ExpressionInOCL expressionInOCL

Constructor Detail

ConstrainedProperty

public ConstrainedProperty(@NonNull
                           ExpressionInOCL expressionInOCL)

Method Detail

evaluate

@Nullable
public java.lang.Object evaluate(@NonNull
                                          DomainEvaluator evaluator,
                                          @NonNull
                                          TypeId returnTypeId,
                                          @Nullable
                                          java.lang.Object sourceValue)