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

Packages that use AbstractUnaryOperation
org.eclipse.ocl.examples.library.classifier   
org.eclipse.ocl.examples.library.collection   
org.eclipse.ocl.examples.library.enumeration   
org.eclipse.ocl.examples.library.logical   
org.eclipse.ocl.examples.library.numeric   
org.eclipse.ocl.examples.library.oclany   
org.eclipse.ocl.examples.library.oclinvalid   
org.eclipse.ocl.examples.library.oclvoid   
org.eclipse.ocl.examples.library.string   
org.eclipse.ocl.examples.pivot.bodies   
org.eclipse.ocl.examples.pivot.library   
 

Uses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.classifier
 

Subclasses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.classifier
 class ClassifierAllInstancesOperation
          ClassifierAllInstancesOperation realises the Classifier::allInstances() library operation.
 class ClassifierOclContainerOperation
          ClassifierOclContainerOperation realises the Classifier::oclContainer() library operation.
 class ClassifierOclContentsOperation
          ClassifierOclContentsOperation realises the Classifier::oclContents() library operation.
 

Uses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.collection
 

Subclasses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.collection
 class CollectionAsBagOperation
          CollectionAsBagOperation realises the Collection::asBag() library operation.
 class CollectionAsOrderedSetOperation
          CollectionAsOrderedSetOperation realises the Collection::asOrderedSet() library operation.
 class CollectionAsSequenceOperation
          CollectionAsSequenceOperation realises the Collection::asSequence() library operation.
 class CollectionAsSetOperation
          CollectionAsSetOperation realises the Collection::asSet() library operation.
 class CollectionFlattenOperation
          CollectionFlattenOperation realises the Collection::flatten() library operation.
 class CollectionIsEmptyOperation
          CollectionIsEmptyOperation realises the Collection::isEmpty() library operation.
 class CollectionMaxOperation
          CollectionMaxOperation realises the Collection::max() library operation.
 class CollectionMinOperation
          CollectionMinOperation realises the Collection::min() library operation.
 class CollectionNotEmptyOperation
          CollectionNotEmptyOperation realises the Collection::notEmpty() library operation.
 class CollectionSizeOperation
          CollectionSizeOperation realises the Collection::size() library operation.
 class CollectionSumOperation
          CollectionSumOperation realises the Collection::sum() library operation.
 class OrderedCollectionFirstOperation
          OrderedCollectionFirstOperation realises the OrderedCollection::first() library operation.
 class OrderedCollectionLastOperation
          OrderedCollectionLastOperation realises the OrderedCollection::last() library operation.
 class OrderedCollectionReverseOperation
          OrderedCollectionReverseOperation realises the OrderedCollection::reverse() library operation.
 

Uses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.enumeration
 

Subclasses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.enumeration
 class EnumerationAllInstancesOperation
          EnumerationAllInstancesOperation realises the Enumeration::allInstances() library operation.
 

Uses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.logical
 

Subclasses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.logical
 class BooleanAllInstancesOperation
          BooleanAllInstancesOperation realises the Boolean::allInstances() library operation.
 class BooleanNotOperation
          NotOperation realises the not() library operation.
 

Uses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.numeric
 

Subclasses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.numeric
 class AbstractNumericUnaryOperation
          AbstractNumericUnaryOperation dispatches a unary library operation to matching-type-specific call-backs.
 class NumericAbsOperation
          AbsOperation realises the abs() library operation.
 class NumericFloorOperation
          FloorOperation realises the floor() library operation.
 class NumericNegateOperation
          NegateOperation realises the unary -() library operation.
 class NumericRoundOperation
          RoundOperation realises the round() library operation.
 

Uses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.oclany
 

Subclasses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.oclany
 class OclAnyOclAsSetOperation
          OclAnyOclAsSetOperation realises the OclAny::oclAsSet() library operation.
 class OclAnyOclIsInvalidOperation
          OclAnyOclIsInvalidOperation realises the OclAny::oclIsInvalid() library operation.
 class OclAnyOclIsUndefinedOperation
          OclAnyOclIsUndefinedOperation realises the OclAny::oclIsUndefined() library operation.
 class OclAnyOclTypeOperation
          OclAnyOclTypeOperation realises the OclAny::oclType() library operation.
 class OclAnyToStringOperation
          OclAnyToStringOperation realises the OclAny::toString() library operation.
 

Uses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.oclinvalid
 

Subclasses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.oclinvalid
 class OclInvalidAllInstancesOperation
          OclInvalidAllInstancesOperation realises the OclInvalid::allInstances() library operation.
 

Uses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.oclvoid
 

Subclasses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.oclvoid
 class OclVoidAllInstancesOperation
          OclVoidAllInstancesOperation realises the OclVoid::allInstances() library operation.
 

Uses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.string
 

Subclasses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.string
 class StringCharactersOperation
          OrderedSetSubOrderedSetOperation realises the OrderedSet::subOrderedSet() library operation.
 class StringSizeOperation
          StringSizeOperation realises the String::size() library operation.
 class StringToBooleanOperation
          StringToBooleanOperation realises the String::toBoolean() library operation.
 class StringToIntegerOperation
          StringToIntegerOperation realises the String::toInteger() library operation.
 class StringToLowerCaseOperation
          StringToLowerCaseOperation realises the String::toLowerCase() library operation.
 class StringToRealOperation
          StringToRealOperation realises the String::toReal() library operation.
 class StringToUpperCaseOperation
          StringToUpperCaseOperation realises the String::toUpperCase() library operation.
 class StringTrimOperation
          StringTrimOperation realises the String::trim() library operation.
 

Uses of AbstractUnaryOperation in org.eclipse.ocl.examples.pivot.bodies
 

Subclasses of AbstractUnaryOperation in org.eclipse.ocl.examples.pivot.bodies
static class BooleanLiteralExpBodies._invariant_TypeIsBoolean
          Implementation of the BooleanLiteralExp 'TypeIsBoolean' invariant.
static class CollectionItemBodies._invariant_TypeIsItemType
          Implementation of the CollectionItem 'TypeIsItemType' invariant.
static class CollectionLiteralExpBodies._invariant_BagKindIsBag
          Implementation of the CollectionLiteralExp 'BagKindIsBag' invariant.
static class CollectionLiteralExpBodies._invariant_CollectionKindIsConcrete
          Implementation of the CollectionLiteralExp 'CollectionKindIsConcrete' invariant.
static class CollectionLiteralExpBodies._invariant_OrderedSetKindIsOrderedSet
          Implementation of the CollectionLiteralExp 'OrderedSetKindIsOrderedSet' invariant.
static class CollectionLiteralExpBodies._invariant_SequenceKindIsSequence
          Implementation of the CollectionLiteralExp 'SequenceKindIsSequence' invariant.
static class CollectionLiteralExpBodies._invariant_SetKindIsSet
          Implementation of the CollectionLiteralExp 'SetKindIsSet' invariant.
static class ConstraintBodies._invariant_UniqueName
          Implementation of the Constraint 'UniqueName' invariant.
static class ElementBodies._allOwnedElements_body_
          Implementation of the Element::allOwnedElements '' .
static class ElementBodies._invariant_not_own_self
          Implementation of the Element 'not_own_self' invariant.
static class EnumLiteralExpBodies._invariant_TypeIsEnumerationType
          Implementation of the EnumLiteralExp 'TypeIsEnumerationType' invariant.
static class IfExpBodies._invariant_ConditionTypeIsBoolean
          Implementation of the IfExp 'ConditionTypeIsBoolean' invariant.
static class IntegerLiteralExpBodies._invariant_TypeIsInteger
          Implementation of the IntegerLiteralExp 'TypeIsInteger' invariant.
static class IterateExpBodies._invariant_BodyTypeConformsToResultType
          Implementation of the IterateExp 'BodyTypeConformsToResultType' invariant.
static class IterateExpBodies._invariant_OneInitializer
          Implementation of the IterateExp 'OneInitializer' invariant.
static class IterateExpBodies._invariant_TypeIsResultType
          Implementation of the IterateExp 'TypeIsResultType' invariant.
static class IteratorExpBodies._invariant_AnyBodyTypeIsBoolean
          Implementation of the IteratorExp 'AnyBodyTypeIsBoolean' invariant.
static class IteratorExpBodies._invariant_AnyHasOneIterator
          Implementation of the IteratorExp 'AnyHasOneIterator' invariant.
static class IteratorExpBodies._invariant_AnyTypeIsSourceElementType
          Implementation of the IteratorExp 'AnyTypeIsSourceElementType' invariant.
static class IteratorExpBodies._invariant_ClosureElementTypeIsSourceElementType
          Implementation of the IteratorExp 'ClosureElementTypeIsSourceElementType' invariant.
static class IteratorExpBodies._invariant_ClosureHasOneIterator
          Implementation of the IteratorExp 'ClosureHasOneIterator' invariant.
static class IteratorExpBodies._invariant_ClosureSourceElementTypeIsBodyElementType
          Implementation of the IteratorExp 'ClosureSourceElementTypeIsBodyElementType' invariant.
static class IteratorExpBodies._invariant_ClosureTypeIsUniqueCollection
          Implementation of the IteratorExp 'ClosureTypeIsUniqueCollection' invariant.
static class IteratorExpBodies._invariant_CollectElementTypeIsSourceElementType
          Implementation of the IteratorExp 'CollectElementTypeIsSourceElementType' invariant.
static class IteratorExpBodies._invariant_CollectHasOneIterator
          Implementation of the IteratorExp 'CollectHasOneIterator' invariant.
static class IteratorExpBodies._invariant_CollectNestedHasOneIterator
          Implementation of the IteratorExp 'CollectNestedHasOneIterator' invariant.
static class IteratorExpBodies._invariant_CollectNestedTypeIsBag
          Implementation of the IteratorExp 'CollectNestedTypeIsBag' invariant.
static class IteratorExpBodies._invariant_CollectNestedTypeIsBodyType
          Implementation of the IteratorExp 'CollectNestedTypeIsBodyType' invariant.
static class IteratorExpBodies._invariant_CollectTypeIsUnordered
          Implementation of the IteratorExp 'CollectTypeIsUnordered' invariant.
static class IteratorExpBodies._invariant_ExistsBodyTypeIsBoolean
          Implementation of the IteratorExp 'ExistsBodyTypeIsBoolean' invariant.
static class IteratorExpBodies._invariant_ExistsTypeIsBoolean
          Implementation of the IteratorExp 'ExistsTypeIsBoolean' invariant.
static class IteratorExpBodies._invariant_ForAllBodyTypeIsBoolean
          Implementation of the IteratorExp 'ForAllBodyTypeIsBoolean' invariant.
static class IteratorExpBodies._invariant_ForAllTypeIsBoolean
          Implementation of the IteratorExp 'ForAllTypeIsBoolean' invariant.
static class IteratorExpBodies._invariant_IsUniqueHasOneIterator
          Implementation of the IteratorExp 'IsUniqueHasOneIterator' invariant.
static class IteratorExpBodies._invariant_IsUniqueTypeIsBoolean
          Implementation of the IteratorExp 'IsUniqueTypeIsBoolean' invariant.
static class IteratorExpBodies._invariant_IteratorTypeIsSourceElementType
          Implementation of the IteratorExp 'IteratorTypeIsSourceElementType' invariant.
static class IteratorExpBodies._invariant_OneBodyTypeIsBoolean
          Implementation of the IteratorExp 'OneBodyTypeIsBoolean' invariant.
static class IteratorExpBodies._invariant_OneHasOneIterator
          Implementation of the IteratorExp 'OneHasOneIterator' invariant.
static class IteratorExpBodies._invariant_OneTypeIsBoolean
          Implementation of the IteratorExp 'OneTypeIsBoolean' invariant.
static class IteratorExpBodies._invariant_RejectOrSelectHasOneIterator
          Implementation of the IteratorExp 'RejectOrSelectHasOneIterator' invariant.
static class IteratorExpBodies._invariant_RejectOrSelectTypeIsBoolean
          Implementation of the IteratorExp 'RejectOrSelectTypeIsBoolean' invariant.
static class IteratorExpBodies._invariant_RejectOrSelectTypeIsSourceType
          Implementation of the IteratorExp 'RejectOrSelectTypeIsSourceType' invariant.
static class IteratorExpBodies._invariant_SortedByElementTypeIsSourceElementType
          Implementation of the IteratorExp 'SortedByElementTypeIsSourceElementType' invariant.
static class IteratorExpBodies._invariant_SortedByHasOneIterator
          Implementation of the IteratorExp 'SortedByHasOneIterator' invariant.
static class IteratorExpBodies._invariant_SortedByIsOrderedIfSourceIsOrdered
          Implementation of the IteratorExp 'SortedByIsOrderedIfSourceIsOrdered' invariant.
static class LetExpBodies._invariant_TypeIsInType
          Implementation of the LetExp 'TypeIsInType' invariant.
static class LoopExpBodies._invariant_NoInitializers
          Implementation of the LoopExp 'NoInitializers' invariant.
static class LoopExpBodies._invariant_SourceIsCollection
          Implementation of the LoopExp 'SourceIsCollection' invariant.
static class MessageExpBodies._invariant_OneCallOrOneSend
          Implementation of the MessageExp 'OneCallOrOneSend' invariant.
static class MessageExpBodies._invariant_TargetIsNotACollection
          Implementation of the MessageExp 'TargetIsNotACollection' invariant.
static class MultiplicityElementBodies._invariant_lower_ge_0
          Implementation of the MultiplicityElement 'lower_ge_0' invariant.
static class MultiplicityElementBodies._invariant_upper_ge_lower
          Implementation of the MultiplicityElement 'upper_ge_lower' invariant.
static class MultiplicityElementBodies._isMultivalued_body_
          Implementation of the MultiplicityElement::isMultivalued '' .
static class MultiplicityElementBodies._lowerBound_body_
          Implementation of the MultiplicityElement::lowerBound '' .
static class MultiplicityElementBodies._upperBound_body_
          Implementation of the MultiplicityElement::upperBound '' .
static class OpaqueExpressionBodies._invariant_language_body_size
          Implementation of the OpaqueExpression 'language_body_size' invariant.
static class OperationBodies._invariant_CompatibleReturn
          Implementation of the Operation 'CompatibleReturn' invariant.
static class OperationCallExpBodies._invariant_ArgumentCount
          Implementation of the OperationCallExp 'ArgumentCount' invariant.
static class PropertyBodies._invariant_CompatibleInitialiser
          Implementation of the Property 'CompatibleInitialiser' invariant.
static class TemplateableElementBodies._isTemplate_body_
          Implementation of the TemplateableElement::isTemplate '' .
static class TemplateableElementBodies._parameterableElements_body_
          Implementation of the TemplateableElement::parameterableElements '' .
static class TemplateBindingBodies._invariant_one_parameter_substitution
          Implementation of the TemplateBinding 'one_parameter_substitution' invariant.
static class TemplateBindingBodies._invariant_parameter_substitution_formal
          Implementation of the TemplateBinding 'parameter_substitution_formal' invariant.
static class TemplateParameterBodies._invariant_must_be_compatible
          Implementation of the TemplateParameter 'must_be_compatible' invariant.
static class TemplateParameterSubstitutionBodies._invariant_must_be_compatible
          Implementation of the TemplateParameterSubstitution 'must_be_compatible' invariant.
static class TemplateSignatureBodies._invariant_own_elements
          Implementation of the TemplateSignature 'own_elements' invariant.
static class TypedMultiplicityElementBodies._makeParameter_body_
          Implementation of the TypedMultiplicityElement::makeParameter '' .
static class TypeTemplateParameterBodies._invariant_has_constraining_type
          Implementation of the TypeTemplateParameter 'has_constraining_type' invariant.
static class ValueSpecificationBodies._booleanValue_body_
          Implementation of the ValueSpecification::booleanValue '' .
static class ValueSpecificationBodies._integerValue_body_
          Implementation of the ValueSpecification::integerValue '' .
static class ValueSpecificationBodies._isComputable_body_
          Implementation of the ValueSpecification::isComputable '' .
static class ValueSpecificationBodies._isNull_body_
          Implementation of the ValueSpecification::isNull '' .
static class ValueSpecificationBodies._stringValue_body_
          Implementation of the ValueSpecification::stringValue '' .
static class ValueSpecificationBodies._unlimitedValue_body_
          Implementation of the ValueSpecification::unlimitedValue '' .
 

Uses of AbstractUnaryOperation in org.eclipse.ocl.examples.pivot.library
 

Subclasses of AbstractUnaryOperation in org.eclipse.ocl.examples.pivot.library
 class UnimplementedOperation
          The static instance of UnimplementedOperation supports evaluation of an operation that has not been implemented.