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, LibraryOperation.LibraryOperationExtension, LibraryOperation.LibraryOperationExtension2, LibraryUnaryOperation, LibraryUnaryOperation.LibraryUnaryOperationExtension, LibraryUntypedOperation, LibraryUntypedUnaryOperation, LibraryUntypedUnaryOperation.LibraryUntypedUnaryOperationExtension

public class BooleanAllInstancesOperation
extends AbstractUntypedUnaryOperation

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

Nested Class Summary

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

Modifier and Type	Method and Description
SetValue	evaluate(Evaluator evaluator, java.lang.Object sourceValue) Deprecated. use Executor
SetValue	evaluate(Executor executor, java.lang.Object sourceVal)

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

dispatch, evaluate, evaluate, evaluate

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

dispatch

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

Methods inherited from interface org.eclipse.ocl.pivot.library.LibraryOperation.LibraryOperationExtension

dispatch

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

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

Deprecated. use Executor

Specified by:

evaluate in interface LibraryUntypedUnaryOperation

Overrides:

evaluate in class AbstractUntypedUnaryOperation

evaluate

@NonNull
public SetValue evaluate(@NonNull
                                   Executor executor,
                                   @Nullable
                                   java.lang.Object sourceVal)

Since:

1.1