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

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.domain.library.AbstractSimpleUnaryOperation
                          org.eclipse.ocl.examples.library.collection.CollectionMaxOperation

All Implemented Interfaces:

LibraryFeature, LibraryOperation, LibrarySimpleOperation, LibrarySimpleUnaryOperation, LibraryUnaryOperation, LibraryUntypedOperation, LibraryUntypedUnaryOperation

public class CollectionMaxOperation
extends AbstractSimpleUnaryOperation

CollectionMaxOperation realises the Collection::max() library operation.

Field Summary

static CollectionMaxOperation

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

CollectionMaxOperation()

Method Summary

java.lang.Object

evaluate(java.lang.Object sourceVal)

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

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

Constructor Detail

CollectionMaxOperation

public CollectionMaxOperation()

Method Detail

evaluate

@NonNull
public java.lang.Object evaluate(@Nullable
                                         java.lang.Object sourceVal)

Specified by:

evaluate in interface LibrarySimpleUnaryOperation

Specified by:

evaluate in class AbstractSimpleUnaryOperation