org.eclipse.ocl.examples.library.enumeration
Class EnumerationAllInstancesOperation

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.library.enumeration.EnumerationAllInstancesOperation
All Implemented Interfaces:
LibraryFeature, LibraryOperation, LibraryUnaryOperation

public class EnumerationAllInstancesOperation
extends AbstractUnaryOperation

EnumerationAllInstancesOperation realises the Enumeration::allInstances() library operation.


Field Summary
static EnumerationAllInstancesOperation 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
EnumerationAllInstancesOperation()
           
 
Method Summary
 SetValue evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceVal)
          Return the result of evaluating the operation on an argument.
 
Methods inherited from class org.eclipse.ocl.examples.domain.library.AbstractUnaryOperation
dispatch
 
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 EnumerationAllInstancesOperation INSTANCE
Constructor Detail

EnumerationAllInstancesOperation

public EnumerationAllInstancesOperation()
Method Detail

evaluate

@NonNull
public SetValue evaluate(@NonNull
                                 DomainEvaluator evaluator,
                                 @NonNull
                                 TypeId returnTypeId,
                                 @Nullable
                                 java.lang.Object sourceVal)
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
Specified by:
evaluate in class AbstractUnaryOperation
Returns:
the evaluated value