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

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

All Implemented Interfaces:

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

public class CollectionSizeOperation
extends AbstractSimpleUnaryOperation

CollectionSizeOperation realises the Collection::size() library operation.

Field Summary

static CollectionSizeOperation

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

CollectionSizeOperation()

Method Summary

IntegerValue

evaluate(java.lang.Object argument)

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

Constructor Detail

CollectionSizeOperation

public CollectionSizeOperation()

Method Detail

evaluate

@NonNull
public IntegerValue evaluate(@Nullable
                                     java.lang.Object argument)

Specified by:

evaluate in interface LibrarySimpleUnaryOperation

Specified by:

evaluate in class AbstractSimpleUnaryOperation