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

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.SetMinusOperation

All Implemented Interfaces:

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

public class SetMinusOperation
extends AbstractSimpleBinaryOperation

SetMinusOperation realises the Set::-() library operation.

Field Summary

static SetMinusOperation

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

SetMinusOperation()

Method Summary

CollectionValue	evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
CollectionValue	evaluate(java.lang.Object left, java.lang.Object right)

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

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

Constructor Detail

SetMinusOperation

public SetMinusOperation()

Method Detail

evaluate

@Deprecated
@NonNull
public CollectionValue evaluate(@NonNull
                                                   DomainEvaluator evaluator,
                                                   @NonNull
                                                   TypeId returnTypeId,
                                                   @Nullable
                                                   java.lang.Object left,
                                                   @Nullable
                                                   java.lang.Object right)

Deprecated.

Description copied from interface: LibraryBinaryOperation

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

Specified by:

evaluate in interface LibraryBinaryOperation

Overrides:

evaluate in class AbstractSimpleBinaryOperation

Returns:

the evaluated value

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