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

java.lang.Object
  extended by org.eclipse.ocl.examples.domain.values.util.ValuesUtil
      extended by org.eclipse.ocl.examples.domain.library.AbstractFeature
          extended by org.eclipse.ocl.examples.domain.library.AbstractOperation
              extended by org.eclipse.ocl.examples.domain.library.AbstractUnaryOperation
                  extended by org.eclipse.ocl.examples.domain.library.AbstractUntypedUnaryOperation
                      extended by org.eclipse.ocl.examples.domain.library.AbstractSimpleUnaryOperation
                          extended by 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(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
          Deprecated. 
 IntegerValue evaluate(java.lang.Object argument)
           
 
Methods inherited from class org.eclipse.ocl.examples.domain.library.AbstractSimpleUnaryOperation
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 CollectionSizeOperation INSTANCE
Constructor Detail

CollectionSizeOperation

public CollectionSizeOperation()
Method Detail

evaluate

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

Description copied from interface: LibraryUnaryOperation
Return the result of evaluating the operation on an argument. An invalid return may be indicated by throwing an exception returning Java null or OCL invalid.

Specified by:
evaluate in interface LibraryUnaryOperation
Overrides:
evaluate in class AbstractSimpleUnaryOperation
Returns:
the evaluated value

evaluate

@NonNull
public IntegerValue evaluate(@Nullable
                                     java.lang.Object argument)
Specified by:
evaluate in interface LibrarySimpleUnaryOperation
Specified by:
evaluate in class AbstractSimpleUnaryOperation