org.eclipse.ocl.examples.library.logical
Class BooleanAllInstancesOperation

java.lang.Object
  org.eclipse.ocl.examples.domain.values.util.ValuesUtil
      org.eclipse.ocl.examples.domain.library.AbstractFeature
          org.eclipse.ocl.examples.domain.library.AbstractOperation
              org.eclipse.ocl.examples.domain.library.AbstractUnaryOperation
                  org.eclipse.ocl.examples.domain.library.AbstractUntypedUnaryOperation
                      org.eclipse.ocl.examples.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

static BooleanAllInstancesOperation	INSTANCE
static CollectionTypeId	SET_BOOLEAN

Fields inherited from class org.eclipse.ocl.examples.domain.values.util.ValuesUtil

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_VALUE, ZERO_VALUE

Constructor Summary

BooleanAllInstancesOperation()

Method Summary

SetValue

evaluate(DomainEvaluator evaluator, java.lang.Object sourceVal)

Methods inherited from class org.eclipse.ocl.examples.domain.library.AbstractUntypedUnaryOperation

dispatch, evaluate

Methods inherited from class org.eclipse.ocl.examples.domain.values.util.ValuesUtil

asBagValue, asBoolean, asCollectionType, asCollectionValue, asInteger, asIntegerValue, asMetaclass, asNavigableObject, asObject, asOrderedCollectionValue, asOrderedSetValue, asRealValue, asSequenceValue, asSetValue, asString, asTupleValue, asType, asUniqueCollectionValue, asUnlimitedNaturalValue, asValue, bigDecimalValueOf, bigIntegerValueOf, characterValueOf, createBagAccumulatorValue, createBagOfEach, createBagRange, createBagValue, createCollectionAccumulatorValue, createInvalidValue, createObjectValue, createOrderedSetAccumulatorValue, createOrderedSetOfEach, createOrderedSetRange, createOrderedSetValue, createRange, createSequenceAccumulatorValue, createSequenceOfEach, createSequenceRange, createSequenceRange, createSequenceValue, createSetAccumulatorValue, createSetOfEach, createSetRange, createSetValue, createTupleOfEach, createTupleValue, createTupleValue, createTypeValue, getEcoreNumber, getTypeName, initAllStatics, integerValueOf, integerValueOf, integerValueOf, integerValueOf, integerValueOf, isBoxed, isCollectionValue, isIntegerNumber, isIntegerValue, isRealNumber, isUnboxed, isUnlimited, oclToString, realValueOf, realValueOf, realValueOf, realValueOf, realValueOf, stringValueOf, throwBooleanInvalidValueException, throwInvalidValueException, toString

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
                                 DomainEvaluator evaluator,
                                 @Nullable
                                 java.lang.Object sourceVal)

Specified by:

evaluate in interface LibraryUntypedUnaryOperation

Specified by:

evaluate in class AbstractUntypedUnaryOperation