org.eclipse.ocl.examples.domain.library
Interface LibraryUnaryOperation

All Superinterfaces:

LibraryFeature, LibraryOperation

All Known Implementing Classes:

AbstractNumericUnaryOperation, AbstractUnaryOperation, 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, ConstrainedOperation, ConstraintBodies._invariant_UniqueName, ElementBodies._allOwnedElements_body_, ElementBodies._invariant_not_own_self, EnumerationAllInstancesOperation, EnumLiteralExpBodies._invariant_TypeIsEnumerationType, EObjectOperation, 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_, NumericAbsOperation, NumericFloorOperation, NumericNegateOperation, NumericRoundOperation, 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, StringTokenizeOperation, 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 interface LibraryUnaryOperation
extends LibraryOperation

Method Summary

Value

evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue) Return the result of evaluating the operation on an argument.

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

argumentsMayBeInvalid, evaluate

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

getValidator

Method Detail

evaluate

Value evaluate(DomainEvaluator evaluator,
               DomainType returnType,
               Value sourceValue)
               throws InvalidValueException

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.

Parameters:

argument - the argument

Returns:

the evaluated value

Throws:

InvalidValueException