org.eclipse.ocl.examples.domain.library
Class AbstractUnaryOperation

java.lang.Object
  org.eclipse.ocl.examples.domain.library.AbstractFeature
      org.eclipse.ocl.examples.domain.library.AbstractOperation
          org.eclipse.ocl.examples.domain.library.AbstractUnaryOperation

All Implemented Interfaces:

LibraryFeature, LibraryOperation, LibraryUnaryOperation

Direct Known Subclasses:

AbstractNumericUnaryOperation, BooleanAllInstancesOperation, BooleanLiteralExpBodies._invariant_TypeIsBoolean, BooleanNotOperation, ClassifierAllInstancesOperation, ClassifierOclContainerOperation, ClassifierOclContentsOperation, CollectionAsBagOperation, CollectionAsOrderedSetOperation, CollectionAsSequenceOperation, CollectionAsSetOperation, CollectionFlattenOperation, CollectionIsEmptyOperation, CollectionItemBodies._invariant_TypeIsItemType, CollectionLiteralExpBodies._invariant_BagKindIsBag, CollectionLiteralExpBodies._invariant_CollectionKindIsConcrete, CollectionLiteralExpBodies._invariant_OrderedSetKindIsOrderedSet, CollectionLiteralExpBodies._invariant_SequenceKindIsSequence, CollectionLiteralExpBodies._invariant_SetKindIsSet, CollectionMaxOperation, CollectionMinOperation, CollectionNotEmptyOperation, CollectionSizeOperation, CollectionSumOperation, ConstraintBodies._invariant_UniqueName, ElementBodies._allOwnedElements_body_, ElementBodies._invariant_not_own_self, EnumerationAllInstancesOperation, EnumLiteralExpBodies._invariant_TypeIsEnumerationType, IfExpBodies._invariant_ConditionTypeIsBoolean, IntegerLiteralExpBodies._invariant_TypeIsInteger, IterateExpBodies._invariant_BodyTypeConformsToResultType, IterateExpBodies._invariant_OneInitializer, IterateExpBodies._invariant_TypeIsResultType, IteratorExpBodies._invariant_AnyBodyTypeIsBoolean, IteratorExpBodies._invariant_AnyHasOneIterator, IteratorExpBodies._invariant_AnyTypeIsSourceElementType, IteratorExpBodies._invariant_ClosureElementTypeIsSourceElementType, IteratorExpBodies._invariant_ClosureHasOneIterator, IteratorExpBodies._invariant_ClosureSourceElementTypeIsBodyElementType, IteratorExpBodies._invariant_ClosureTypeIsUniqueCollection, IteratorExpBodies._invariant_CollectElementTypeIsSourceElementType, IteratorExpBodies._invariant_CollectHasOneIterator, IteratorExpBodies._invariant_CollectNestedHasOneIterator, IteratorExpBodies._invariant_CollectNestedTypeIsBag, IteratorExpBodies._invariant_CollectNestedTypeIsBodyType, IteratorExpBodies._invariant_CollectTypeIsUnordered, IteratorExpBodies._invariant_ExistsBodyTypeIsBoolean, IteratorExpBodies._invariant_ExistsTypeIsBoolean, IteratorExpBodies._invariant_ForAllBodyTypeIsBoolean, IteratorExpBodies._invariant_ForAllTypeIsBoolean, IteratorExpBodies._invariant_IsUniqueHasOneIterator, IteratorExpBodies._invariant_IsUniqueTypeIsBoolean, IteratorExpBodies._invariant_IteratorTypeIsSourceElementType, IteratorExpBodies._invariant_OneBodyTypeIsBoolean, IteratorExpBodies._invariant_OneHasOneIterator, IteratorExpBodies._invariant_OneTypeIsBoolean, IteratorExpBodies._invariant_RejectOrSelectHasOneIterator, IteratorExpBodies._invariant_RejectOrSelectTypeIsBoolean, IteratorExpBodies._invariant_RejectOrSelectTypeIsSourceType, IteratorExpBodies._invariant_SortedByElementTypeIsSourceElementType, IteratorExpBodies._invariant_SortedByHasOneIterator, IteratorExpBodies._invariant_SortedByIsOrderedIfSourceIsOrdered, LetExpBodies._invariant_TypeIsInType, LoopExpBodies._invariant_NoInitializers, LoopExpBodies._invariant_SourceIsCollection, MessageExpBodies._invariant_OneCallOrOneSend, MessageExpBodies._invariant_TargetIsNotACollection, MultiplicityElementBodies._invariant_lower_ge_0, MultiplicityElementBodies._invariant_upper_ge_lower, MultiplicityElementBodies._isMultivalued_body_, MultiplicityElementBodies._lowerBound_body_, MultiplicityElementBodies._upperBound_body_, OclAnyOclAsSetOperation, OclAnyOclIsInvalidOperation, OclAnyOclIsUndefinedOperation, OclAnyOclTypeOperation, OclAnyToStringOperation, OclInvalidAllInstancesOperation, OclVoidAllInstancesOperation, OpaqueExpressionBodies._invariant_language_body_size, OperationBodies._invariant_CompatibleReturn, OperationCallExpBodies._invariant_ArgumentCount, OrderedCollectionFirstOperation, OrderedCollectionLastOperation, OrderedCollectionReverseOperation, PropertyBodies._invariant_CompatibleInitialiser, StringCharactersOperation, StringSizeOperation, StringToBooleanOperation, StringToIntegerOperation, StringToLowerCaseOperation, StringToRealOperation, StringToUpperCaseOperation, StringTrimOperation, TemplateableElementBodies._isTemplate_body_, TemplateableElementBodies._parameterableElements_body_, TemplateBindingBodies._invariant_one_parameter_substitution, TemplateBindingBodies._invariant_parameter_substitution_formal, TemplateParameterBodies._invariant_must_be_compatible, TemplateParameterSubstitutionBodies._invariant_must_be_compatible, TemplateSignatureBodies._invariant_own_elements, TypedMultiplicityElementBodies._makeParameter_body_, TypeTemplateParameterBodies._invariant_has_constraining_type, UnimplementedOperation, ValueSpecificationBodies._booleanValue_body_, ValueSpecificationBodies._integerValue_body_, ValueSpecificationBodies._isComputable_body_, ValueSpecificationBodies._isNull_body_, ValueSpecificationBodies._stringValue_body_, ValueSpecificationBodies._unlimitedValue_body_

public abstract class AbstractUnaryOperation
extends AbstractOperation
implements LibraryUnaryOperation

AbstractBinaryOperation dispatches a unary library operation to matching-type-specific call-backs.

Constructor Summary

AbstractUnaryOperation()

Method Summary

Value

evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues) Return the result of evaluating operationCall upon sourceVal within the environment provided by EvaluationVisitor.

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

argumentsMayBeInvalid

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

getLibraryValidator, getValidator

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.eclipse.ocl.examples.domain.library.LibraryUnaryOperation

evaluate

Methods inherited from interface org.eclipse.ocl.examples.domain.library.LibraryOperation

argumentsMayBeInvalid

Methods inherited from interface org.eclipse.ocl.examples.domain.library.LibraryFeature

getValidator

Constructor Detail

AbstractUnaryOperation

public AbstractUnaryOperation()

Method Detail

evaluate

public Value evaluate(DomainEvaluator evaluator,
                      DomainCallExp callExp,
                      Value sourceValue,
                      Value... argumentValues)
               throws InvalidValueException

Description copied from interface: LibraryOperation

Return the result of evaluating operationCall upon sourceVal within the environment provided by EvaluationVisitor. An invalid return may be indicated by throwing an exception returning Java null or OCL invalid.

Specified by:

evaluate in interface LibraryOperation

Returns:

the evaluated value

Throws:

InvalidValueException