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)
SetValue	evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceVal) Deprecated.

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

evaluate, evaluate

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

asBagValue, asBoolean, asCollectionType, asCollectionValue, asInteger, asIntegerValue, asNavigableObject, asObject, asOrderedSetValue, asRealValue, asSequenceValue, asSetValue, asString, asTupleValue, asType, asUniqueCollectionValue, asUnlimitedNaturalValue, asValue, 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, getTypeName, initAllStatics, integerValueOf, integerValueOf, integerValueOf, integerValueOf, integerValueOf, isBoxed, isCollectionValue, isIntegerValue, isUnboxed, isUnlimited, oclToString, realValueOf, realValueOf, realValueOf, realValueOf, realValueOf, stringValueOf, 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

@Deprecated
@NonNull
public SetValue evaluate(@NonNull
                                            DomainEvaluator evaluator,
                                            @NonNull
                                            TypeId returnTypeId,
                                            @Nullable
                                            java.lang.Object sourceVal)

Deprecated.

Description copied from interface: LibraryUnaryOperation

Return the result of evaluating the operation on an argument. An invalid return may be indicated by throwing an exception returning Java null or OCL invalid.

Specified by:

evaluate in interface LibraryUnaryOperation

Overrides:

evaluate in class AbstractUntypedUnaryOperation

Returns:

the evaluated value

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