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(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue) Deprecated.
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

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

Constructor Detail

OrderedSetSubOrderedSetOperation

public OrderedSetSubOrderedSetOperation()

Method Detail

evaluate

@Deprecated
@NonNull
public OrderedSetValue evaluate(@NonNull
                                                   DomainEvaluator evaluator,
                                                   @NonNull
                                                   TypeId returnTypeId,
                                                   @Nullable
                                                   java.lang.Object sourceValue,
                                                   @Nullable
                                                   java.lang.Object firstArgumentValue,
                                                   @Nullable
                                                   java.lang.Object secondArgumentValue)

Deprecated.

Description copied from interface: LibraryTernaryOperation

Return the result of evaluating the operation on source with arg1 and arg2. An invalid return may be indicated by throwing an exception returning Java null or OCL invalid.

Specified by:

evaluate in interface LibraryTernaryOperation

Overrides:

evaluate in class AbstractSimpleTernaryOperation

Returns:

the evaluated value

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