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

java.lang.Object
  org.eclipse.ocl.examples.domain.values.util.ValuesUtil
      org.eclipse.ocl.examples.domain.library.AbstractFeature
          org.eclipse.ocl.examples.domain.library.AbstractProperty
              org.eclipse.ocl.examples.library.collection.CollectionUpperProperty

All Implemented Interfaces:

LibraryFeature, LibraryProperty

public class CollectionUpperProperty
extends AbstractProperty

CollectionUpperProperty realizes the Collection::upper() library property.

Field Summary

static CollectionUpperProperty

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

CollectionUpperProperty()

Method Summary

IntegerValue

evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)

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

Constructor Detail

CollectionUpperProperty

public CollectionUpperProperty()

Method Detail

evaluate

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