org.eclipse.ocl.pivot.library.logical

Class BooleanAllInstancesOperation

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.logical.BooleanAllInstancesOperation

All Implemented Interfaces:

LibraryFeature, LibraryOperation, LibraryUnaryOperation, LibraryUntypedOperation, LibraryUntypedUnaryOperation

public class BooleanAllInstancesOperation
extends AbstractUntypedUnaryOperation

BooleanAllInstancesOperation realises the Boolean::allInstances() library operation.

Field Summary

Fields

Modifier and Type	Field and Description
static BooleanAllInstancesOperation	INSTANCE
static CollectionTypeId	SET_BOOLEAN

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

Method Summary

Methods

Modifier and Type	Method and Description
SetValue	evaluate(Evaluator evaluator, java.lang.Object sourceVal)

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

dispatch, evaluate

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

asBagValue, asBoolean, asClass, asCollectionType, asCollectionValue, asInteger, asIntegerValue, asMapType, asMapValue, asNavigableObject, asObject, asOrderedCollectionValue, asOrderedSetValue, asRealValue, asSequenceValue, asSetValue, asString, asTupleValue, asType, asUniqueCollectionValue, asUnlimitedNaturalValue, asValue, bigDecimalValueOf, bigIntegerValueOf, characterValueOf, 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, getElementIdName, getTypeName, initAllStatics, integerValueOf, integerValueOf, integerValueOf, integerValueOf, integerValueOf, isBoxed, isCollectionValue, isEcore, isIntegerNumber, isIntegerValue, isRealNumber, isUnboxed, isUnlimited, oclToString, realValueOf, realValueOf, realValueOf, realValueOf, realValueOf, stringValueOf, throwBooleanInvalidValueException, throwInvalidValueException, throwUnsupportedCompareTo, toString, 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 BooleanAllInstancesOperation INSTANCE

SET_BOOLEAN

@NonNull
public static final CollectionTypeId SET_BOOLEAN

Constructor Detail

BooleanAllInstancesOperation

public BooleanAllInstancesOperation()

Method Detail

evaluate

@NonNull
public SetValue evaluate(@NonNull
                        Evaluator evaluator,
                        @Nullable
                        java.lang.Object sourceVal)

Specified by:

evaluate in interface LibraryUntypedUnaryOperation

Specified by:

evaluate in class AbstractUntypedUnaryOperation