org.eclipse.ocl.examples.library.collection
Class CollectionIncludingAllOperation

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.AbstractBinaryOperation
                  org.eclipse.ocl.examples.domain.library.AbstractUntypedBinaryOperation
                      org.eclipse.ocl.examples.domain.library.AbstractSimpleBinaryOperation
                          org.eclipse.ocl.examples.library.collection.CollectionIncludingAllOperation

All Implemented Interfaces:

LibraryBinaryOperation, LibraryFeature, LibraryOperation, LibrarySimpleBinaryOperation, LibrarySimpleOperation, LibraryUntypedBinaryOperation, LibraryUntypedOperation

public class CollectionIncludingAllOperation
extends AbstractSimpleBinaryOperation

CollectionIncludingAllOperation realises the Collection::includingAll() library operation.

Field Summary

static CollectionIncludingAllOperation

INSTANCE

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

CollectionIncludingAllOperation()

Method Summary

CollectionValue

evaluate(java.lang.Object left, java.lang.Object right)

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

dispatch, evaluate, 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 CollectionIncludingAllOperation INSTANCE

Constructor Detail

CollectionIncludingAllOperation

public CollectionIncludingAllOperation()

Method Detail

evaluate

@NonNull
public CollectionValue evaluate(@Nullable
                                        java.lang.Object left,
                                        @Nullable
                                        java.lang.Object right)

Specified by:

evaluate in interface LibrarySimpleBinaryOperation

Specified by:

evaluate in class AbstractSimpleBinaryOperation