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

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.AbstractTernaryOperation
                  org.eclipse.ocl.examples.domain.library.AbstractUntypedTernaryOperation
                      org.eclipse.ocl.examples.domain.library.AbstractSimpleTernaryOperation
                          org.eclipse.ocl.examples.library.collection.OrderedSetSubOrderedSetOperation

All Implemented Interfaces:

LibraryFeature, LibraryOperation, LibrarySimpleOperation, LibrarySimpleTernaryOperation, LibraryTernaryOperation, LibraryUntypedOperation, LibraryUntypedTernaryOperation

public class OrderedSetSubOrderedSetOperation
extends AbstractSimpleTernaryOperation

OrderedSetSubOrderedSetOperation realises the OrderedSet::subOrderedSet() library operation.

Field Summary

static OrderedSetSubOrderedSetOperation

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

OrderedSetSubOrderedSetOperation()

Method Summary

OrderedSetValue

evaluate(java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue)

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

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

Constructor Detail

OrderedSetSubOrderedSetOperation

public OrderedSetSubOrderedSetOperation()

Method Detail

evaluate

@NonNull
public OrderedSetValue evaluate(@Nullable
                                        java.lang.Object sourceValue,
                                        @Nullable
                                        java.lang.Object firstArgumentValue,
                                        @Nullable
                                        java.lang.Object secondArgumentValue)

Specified by:

evaluate in interface LibrarySimpleTernaryOperation

Specified by:

evaluate in class AbstractSimpleTernaryOperation