org.eclipse.ocl.pivot.internal.library

Class ConstrainedOperation

java.lang.Object

org.eclipse.ocl.pivot.utilities.ValueUtil

org.eclipse.ocl.pivot.library.AbstractFeature

org.eclipse.ocl.pivot.library.AbstractOperation

org.eclipse.ocl.pivot.internal.library.ConstrainedOperation

All Implemented Interfaces:

LibraryFeature, LibraryOperation, LibraryOperation.LibraryOperationExtension, LibraryOperation.LibraryOperationExtension2

public class ConstrainedOperation
extends AbstractOperation

An instance of ConstrainedOperation supports evaluation of an operation defined by constraints.

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.ocl.pivot.library.LibraryOperation

LibraryOperation.LibraryOperationExtension, LibraryOperation.LibraryOperationExtension2

Field Summary

Fields inherited from class org.eclipse.ocl.pivot.utilities.ValueUtil

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_ONE_VALUE, UNLIMITED_VALUE, ZERO_VALUE

Constructor Summary

Constructors

Constructor and Description
ConstrainedOperation(ExpressionInOCL expressionInOCL)

Method Summary

Modifier and Type	Method and Description
Object	basicEvaluate(Executor executor, TypedElement caller, Object[] boxedSourceAndArgumentValues) Return the evaluation from sourceAndArgumentValues using the executor for context wrt a caller.
Object	dispatch(Executor executor, OperationCallExp callExp, Object sourceValue) Return the result of evaluating callExp and its arguments upon sourceValue within the environment provided by evaluator.
String	toString()

Methods inherited from class org.eclipse.ocl.pivot.library.AbstractOperation

dispatch, evaluate

Methods inherited from class org.eclipse.ocl.pivot.utilities.ValueUtil

asBagValue, asBoolean, asClass, asCollectionType, asCollectionValue, asInteger, asIntegerValue, asMapType, asMapValue, asNavigableObject, asNavigableObject, asObject, asOrderedCollectionValue, asOrderedSetValue, asRealValue, asSequenceValue, asSetValue, asString, asTupleValue, asType, asUniqueCollectionValue, asUnlimitedNaturalValue, asValue, bigDecimalValueOf, bigIntegerValueOf, byteValueOf, characterValueOf, computeCollectionHashCode, createBagAccumulatorValue, createBagOfEach, createBagRange, createBagValue, createCollectionAccumulatorValue, createInvalidValue, createMapEntry, createMapOfEach, createMapValue, createObjectValue, createOrderedSetAccumulatorValue, createOrderedSetOfEach, createOrderedSetRange, createOrderedSetValue, createRange, createSequenceAccumulatorValue, createSequenceOfEach, createSequenceRange, createSequenceRange, createSequenceValue, createSetAccumulatorValue, createSetOfEach, createSetRange, createSetValue, createTupleOfEach, createTupleValue, doubleValueOf, floatValueOf, getElementIdName, getExecutor, getTypeName, initAllStatics, integerValueOf, integerValueOf, integerValueOf, integerValueOf, integerValueOf, intValueOf, isBoxed, isCollectionValue, isEcore, isIntegerNumber, isIntegerValue, isRealNumber, isUnboxed, isUnlimited, longValueOf, numberValueOf, oclToString, realValueOf, realValueOf, realValueOf, realValueOf, realValueOf, shortValueOf, stringValueOf, throwBooleanInvalidValueException, throwInvalidValueException, throwUnsupportedCompareTo, toString, typedIterable, unlimitedNaturalValueOf, unlimitedNaturalValueOf, unlimitedNaturalValueOf, unlimitedNaturalValueOf, unlimitedNaturalValueOf

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ConstrainedOperation

public ConstrainedOperation(ExpressionInOCL expressionInOCL)

Method Detail

basicEvaluate

public Object basicEvaluate(Executor executor,
                            TypedElement caller,
                            Object[] boxedSourceAndArgumentValues)

Description copied from class: AbstractOperation

Return the evaluation from sourceAndArgumentValues using the executor for context wrt a caller. Derived calsses should override basicEvalute to evaluate a cacheable result, or evaluate to bypass caching.

Specified by:

basicEvaluate in interface LibraryOperation.LibraryOperationExtension2

Overrides:

basicEvaluate in class AbstractOperation

Since:

1.3

dispatch

public Object dispatch(Executor executor,
                       OperationCallExp callExp,
                       Object sourceValue)

Description copied from interface: LibraryOperation.LibraryOperationExtension

Return the result of evaluating callExp and its arguments upon sourceValue within the environment provided by evaluator. An invalid return may be indicated by throwing an exception, returning Java null, or returning OCL invalid.

This invocation evaluates the arguments as required. Derived implementations may implement short circuit processing to skip redundant evaluation of later arguments.

Invocations may bypass dispatch if a derived LibraryOperation such as LibrarySimpleBinaryOperation makes its internal evaluate signature available for use after a type test and cast.

Since:

1.1

toString

public String toString()

Overrides:

toString in class Object