org.eclipse.ocl.pivot.internal.ecore

Class EObjectOperation

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.ecore.EObjectOperation

All Implemented Interfaces:

LibraryFeature, LibraryOperation, LibraryOperation.LibraryOperationExtension

public class EObjectOperation
extends AbstractOperation

An EObjectOperation provides the standard LibraryOperation to implement an EOperation defined by an OCL specification. The specification is resolved lazily and so an invalid specification may throw an InvalidValueException at run-time.

Nested Class Summary

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

LibraryOperation.LibraryOperationExtension

Field Summary

Fields

Modifier and Type	Field and Description
protected org.eclipse.emf.ecore.EOperation	eFeature
protected Operation	operation
protected ExpressionInOCL	specification

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
EObjectOperation(Operation operation, org.eclipse.emf.ecore.EOperation eFeature, ExpressionInOCL specification)

Method Summary

Modifier and Type	Method and Description
java.lang.Object	dispatch(Executor executor, OperationCallExp callExp, java.lang.Object sourceValue) Return the result of evaluating callExp and its arguments upon sourceValue within the environment provided by evaluator.

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

dispatch

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

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

Field Detail

operation

@NonNull
protected final Operation operation

eFeature

@NonNull
protected final org.eclipse.emf.ecore.EOperation eFeature

specification

@NonNull
protected final ExpressionInOCL specification

Constructor Detail

EObjectOperation

public EObjectOperation(@NonNull
                        Operation operation,
                        @NonNull
                        org.eclipse.emf.ecore.EOperation eFeature,
                        @NonNull
                        ExpressionInOCL specification)

Method Detail

dispatch

@Nullable
public java.lang.Object dispatch(@NonNull
                                            Executor executor,
                                            @NonNull
                                            OperationCallExp callExp,
                                            @Nullable
                                            java.lang.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