org.eclipse.ocl.pivot.library.map

Class MapIncludesPairOperation

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.library.AbstractTernaryOperation

org.eclipse.ocl.pivot.library.AbstractUntypedTernaryOperation

org.eclipse.ocl.pivot.library.AbstractSimpleTernaryOperation

org.eclipse.ocl.pivot.library.map.MapIncludesPairOperation

All Implemented Interfaces:

LibraryFeature, LibraryOperation, LibraryOperation.LibraryOperationExtension, LibraryOperation.LibraryOperationExtension2, LibrarySimpleOperation, LibrarySimpleTernaryOperation, LibrarySimpleTernaryOperation.LibrarySimpleTernaryOperationExtension, LibraryTernaryOperation, LibraryTernaryOperation.LibraryTernaryOperationExtension, LibraryUntypedOperation, LibraryUntypedTernaryOperation, LibraryUntypedTernaryOperation.LibraryUntypedTernaryOperationExtension

public class MapIncludesPairOperation
extends AbstractSimpleTernaryOperation

MapIncludesPairOperation realises the Map::includes(key, value) library operation.

Nested Class Summary

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

LibrarySimpleTernaryOperation.LibrarySimpleTernaryOperationExtension

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

LibraryUntypedTernaryOperation.LibraryUntypedTernaryOperationExtension

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

LibraryTernaryOperation.LibraryTernaryOperationExtension

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

LibraryOperation.LibraryOperationExtension, LibraryOperation.LibraryOperationExtension2

Field Summary

Fields

Modifier and Type	Field and Description
static MapIncludesPairOperation	INSTANCE

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
MapIncludesPairOperation()

Method Summary

Modifier and Type	Method and Description
java.lang.Boolean	evaluate(java.lang.Object first, java.lang.Object key, java.lang.Object value)

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

dispatch, dispatch, evaluate, evaluate, evaluate, evaluate, evaluate

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

basicEvaluate, cachedEvaluate

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

INSTANCE

@NonNull
public static final MapIncludesPairOperation INSTANCE

Constructor Detail

MapIncludesPairOperation

public MapIncludesPairOperation()

Method Detail

evaluate

@NonNull
public java.lang.Boolean evaluate(@Nullable
                                            java.lang.Object first,
                                            @Nullable
                                            java.lang.Object key,
                                            @Nullable
                                            java.lang.Object value)

Specified by:

evaluate in interface LibrarySimpleTernaryOperation

Specified by:

evaluate in class AbstractSimpleTernaryOperation