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

java.lang.Object
  org.eclipse.ocl.examples.domain.values.util.ValuesUtil
      org.eclipse.ocl.examples.domain.library.AbstractFeature
          org.eclipse.ocl.examples.domain.library.AbstractOperation
              org.eclipse.ocl.examples.domain.library.AbstractPolyOperation
                  org.eclipse.ocl.examples.pivot.library.ConstrainedOperation

All Implemented Interfaces:

LibraryBinaryOperation, LibraryFeature, LibraryOperation, LibraryTernaryOperation, LibraryUnaryOperation

public class ConstrainedOperation
extends AbstractPolyOperation

An instance of ConstrainedOperation supports evaluation of an operation 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

ConstrainedOperation(ExpressionInOCL expressionInOCL)

Method Summary

java.lang.Object	evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object... argumentValues) Return the result of evaluating operationCall upon sourceVal within the environment provided by EvaluationVisitor.
java.lang.Object	evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Return the result of evaluating the operation on an argument.
java.lang.Object	evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object argumentValue) Return the result of evaluating the operation on left and right arguments.
java.lang.Object	evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue) Return the result of evaluating the operation on source with arg1 and arg2.

Methods inherited from class org.eclipse.ocl.examples.domain.library.AbstractPolyOperation

evaluate, evaluate, evaluate

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

ConstrainedOperation

public ConstrainedOperation(@NonNull
                            ExpressionInOCL expressionInOCL)

Method Detail

evaluate

@Nullable
public java.lang.Object evaluate(@NonNull
                                          DomainEvaluator evaluator,
                                          @NonNull
                                          DomainCallExp callExp,
                                          @Nullable
                                          java.lang.Object sourceValue,
                                          java.lang.Object... argumentValues)

Description copied from interface: LibraryOperation

Return the result of evaluating operationCall upon sourceVal within the environment provided by EvaluationVisitor. An invalid return may be indicated by throwing an exception returning Java null or OCL invalid.

Returns:

the evaluated value

evaluate

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

Description copied from interface: LibraryUnaryOperation

Return the result of evaluating the operation on an argument. An invalid return may be indicated by throwing an exception returning Java null or OCL invalid.

Returns:

the evaluated value

evaluate

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

Description copied from interface: LibraryBinaryOperation

Return the result of evaluating the operation on left and right arguments. An invalid return may be indicated by throwing an exception returning Java null or OCL invalid.

Returns:

the evaluated value

evaluate

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

Description copied from interface: LibraryTernaryOperation

Return the result of evaluating the operation on source with arg1 and arg2. An invalid return may be indicated by throwing an exception returning Java null or OCL invalid.

Returns:

the evaluated value