org.eclipse.ocl.pivot.library.map

Class MapIsEmptyOperation

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.AbstractUnaryOperation

org.eclipse.ocl.pivot.library.AbstractUntypedUnaryOperation

org.eclipse.ocl.pivot.library.AbstractSimpleUnaryOperation

org.eclipse.ocl.pivot.library.map.MapIsEmptyOperation

All Implemented Interfaces:

LibraryFeature, LibraryOperation, LibraryOperation.LibraryOperationExtension, LibraryOperation.LibraryOperationExtension2, LibrarySimpleOperation, LibrarySimpleUnaryOperation, LibrarySimpleUnaryOperation.LibrarySimpleUnaryOperationExtension, LibraryUnaryOperation, LibraryUnaryOperation.LibraryUnaryOperationExtension, LibraryUntypedOperation, LibraryUntypedUnaryOperation, LibraryUntypedUnaryOperation.LibraryUntypedUnaryOperationExtension

public class MapIsEmptyOperation
extends AbstractSimpleUnaryOperation

MapAtOperation realises the Map::isEmpty() library operation.

Nested Class Summary

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

LibrarySimpleUnaryOperation.LibrarySimpleUnaryOperationExtension

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

LibraryUntypedUnaryOperation.LibraryUntypedUnaryOperationExtension

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

LibraryUnaryOperation.LibraryUnaryOperationExtension

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

Method Summary

Modifier and Type	Method and Description
java.lang.Object	evaluate(java.lang.Object source)

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

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 MapIsEmptyOperation INSTANCE

Constructor Detail

MapIsEmptyOperation

public MapIsEmptyOperation()

Method Detail

evaluate

@Nullable
public java.lang.Object evaluate(@Nullable
                                            java.lang.Object source)

Specified by:

evaluate in interface LibrarySimpleUnaryOperation

Specified by:

evaluate in class AbstractSimpleUnaryOperation