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

Fields

Modifier and Type	Field and Description
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

Constructors

Constructor and Description
BooleanAllInstancesOperation()

Method Summary

Methods

Modifier and Type	Method and Description
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