Hierarchy For Package org.eclipse.ocl.examples.pivot.bodies

Package Hierarchies:

All Packages

Class Hierarchy

• java.lang.Object
  • org.eclipse.ocl.examples.domain.library.AbstractFeature (implements org.eclipse.ocl.examples.domain.library.LibraryFeature)
    • org.eclipse.ocl.examples.domain.library.AbstractOperation (implements org.eclipse.ocl.examples.domain.library.LibraryOperation)
      • org.eclipse.ocl.examples.domain.library.AbstractBinaryOperation (implements org.eclipse.ocl.examples.domain.library.LibraryBinaryOperation)
        • org.eclipse.ocl.examples.pivot.bodies.MultiplicityElementBodies._includesCardinality_body_
        • org.eclipse.ocl.examples.pivot.bodies.MultiplicityElementBodies._includesMultiplicity_body_
        • org.eclipse.ocl.examples.pivot.bodies.ParameterableElementBodies._isCompatibleWith_body_
        • org.eclipse.ocl.examples.pivot.bodies.PropertyBodies._isAttribute_body_
        • org.eclipse.ocl.examples.pivot.bodies.SelfTypeBodies._resolveSelfType_body_
        • org.eclipse.ocl.examples.pivot.bodies.TypeBodies._resolveSelfType_body_
        • org.eclipse.ocl.examples.pivot.bodies.TypedMultiplicityElementBodies._CompatibleBody_body_
      • org.eclipse.ocl.examples.domain.library.AbstractUnaryOperation (implements org.eclipse.ocl.examples.domain.library.LibraryUnaryOperation)
        • org.eclipse.ocl.examples.pivot.bodies.BooleanLiteralExpBodies._invariant_TypeIsBoolean
        • org.eclipse.ocl.examples.pivot.bodies.CollectionItemBodies._invariant_TypeIsItemType
        • org.eclipse.ocl.examples.pivot.bodies.CollectionLiteralExpBodies._invariant_BagKindIsBag
        • org.eclipse.ocl.examples.pivot.bodies.CollectionLiteralExpBodies._invariant_CollectionKindIsConcrete
        • org.eclipse.ocl.examples.pivot.bodies.CollectionLiteralExpBodies._invariant_OrderedSetKindIsOrderedSet
        • org.eclipse.ocl.examples.pivot.bodies.CollectionLiteralExpBodies._invariant_SequenceKindIsSequence
        • org.eclipse.ocl.examples.pivot.bodies.CollectionLiteralExpBodies._invariant_SetKindIsSet
        • org.eclipse.ocl.examples.pivot.bodies.ConstraintBodies._invariant_UniqueName
        • org.eclipse.ocl.examples.pivot.bodies.ElementBodies._allOwnedElements_body_
        • org.eclipse.ocl.examples.pivot.bodies.ElementBodies._invariant_not_own_self
        • org.eclipse.ocl.examples.pivot.bodies.EnumLiteralExpBodies._invariant_TypeIsEnumerationType
        • org.eclipse.ocl.examples.pivot.bodies.IfExpBodies._invariant_ConditionTypeIsBoolean
        • org.eclipse.ocl.examples.pivot.bodies.IntegerLiteralExpBodies._invariant_TypeIsInteger
        • org.eclipse.ocl.examples.pivot.bodies.IterateExpBodies._invariant_BodyTypeConformsToResultType
        • org.eclipse.ocl.examples.pivot.bodies.IterateExpBodies._invariant_OneInitializer
        • org.eclipse.ocl.examples.pivot.bodies.IterateExpBodies._invariant_TypeIsResultType
        • org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies._invariant_AnyBodyTypeIsBoolean
        • org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies._invariant_AnyHasOneIterator
        • org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies._invariant_AnyTypeIsSourceElementType
        • org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies._invariant_ClosureElementTypeIsSourceElementType
        • org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies._invariant_ClosureHasOneIterator
        • org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies._invariant_ClosureSourceElementTypeIsBodyElementType
        • org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies._invariant_ClosureTypeIsUniqueCollection
        • org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies._invariant_CollectElementTypeIsSourceElementType
        • org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies._invariant_CollectHasOneIterator
        • org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies._invariant_CollectNestedHasOneIterator
        • org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies._invariant_CollectNestedTypeIsBag
        • org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies._invariant_CollectNestedTypeIsBodyType
        • org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies._invariant_CollectTypeIsUnordered
        • org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies._invariant_ExistsBodyTypeIsBoolean
        • org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies._invariant_ExistsTypeIsBoolean
        • org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies._invariant_ForAllBodyTypeIsBoolean
        • org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies._invariant_ForAllTypeIsBoolean
        • org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies._invariant_IsUniqueHasOneIterator
        • org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies._invariant_IsUniqueTypeIsBoolean
        • org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies._invariant_IteratorTypeIsSourceElementType
        • org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies._invariant_OneBodyTypeIsBoolean
        • org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies._invariant_OneHasOneIterator
        • org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies._invariant_OneTypeIsBoolean
        • org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies._invariant_RejectOrSelectHasOneIterator
        • org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies._invariant_RejectOrSelectTypeIsBoolean
        • org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies._invariant_RejectOrSelectTypeIsSourceType
        • org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies._invariant_SortedByElementTypeIsSourceElementType
        • org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies._invariant_SortedByHasOneIterator
        • org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies._invariant_SortedByIsOrderedIfSourceIsOrdered
        • org.eclipse.ocl.examples.pivot.bodies.LetExpBodies._invariant_TypeIsInType
        • org.eclipse.ocl.examples.pivot.bodies.LoopExpBodies._invariant_NoInitializers
        • org.eclipse.ocl.examples.pivot.bodies.LoopExpBodies._invariant_SourceIsCollection
        • org.eclipse.ocl.examples.pivot.bodies.MessageExpBodies._invariant_OneCallOrOneSend
        • org.eclipse.ocl.examples.pivot.bodies.MessageExpBodies._invariant_TargetIsNotACollection
        • org.eclipse.ocl.examples.pivot.bodies.MultiplicityElementBodies._invariant_lower_ge_0
        • org.eclipse.ocl.examples.pivot.bodies.MultiplicityElementBodies._invariant_upper_ge_lower
        • org.eclipse.ocl.examples.pivot.bodies.MultiplicityElementBodies._isMultivalued_body_
        • org.eclipse.ocl.examples.pivot.bodies.MultiplicityElementBodies._lowerBound_body_
        • org.eclipse.ocl.examples.pivot.bodies.MultiplicityElementBodies._upperBound_body_
        • org.eclipse.ocl.examples.pivot.bodies.OpaqueExpressionBodies._invariant_language_body_size
        • org.eclipse.ocl.examples.pivot.bodies.OperationBodies._invariant_CompatibleReturn
        • org.eclipse.ocl.examples.pivot.bodies.OperationCallExpBodies._invariant_ArgumentCount
        • org.eclipse.ocl.examples.pivot.bodies.PropertyBodies._invariant_CompatibleInitialiser
        • org.eclipse.ocl.examples.pivot.bodies.TemplateableElementBodies._isTemplate_body_
        • org.eclipse.ocl.examples.pivot.bodies.TemplateableElementBodies._parameterableElements_body_
        • org.eclipse.ocl.examples.pivot.bodies.TemplateBindingBodies._invariant_one_parameter_substitution
        • org.eclipse.ocl.examples.pivot.bodies.TemplateBindingBodies._invariant_parameter_substitution_formal
        • org.eclipse.ocl.examples.pivot.bodies.TemplateParameterBodies._invariant_must_be_compatible
        • org.eclipse.ocl.examples.pivot.bodies.TemplateParameterSubstitutionBodies._invariant_must_be_compatible
        • org.eclipse.ocl.examples.pivot.bodies.TemplateSignatureBodies._invariant_own_elements
        • org.eclipse.ocl.examples.pivot.bodies.TypedMultiplicityElementBodies._makeParameter_body_
        • org.eclipse.ocl.examples.pivot.bodies.TypeTemplateParameterBodies._invariant_has_constraining_type
        • org.eclipse.ocl.examples.pivot.bodies.ValueSpecificationBodies._booleanValue_body_
        • org.eclipse.ocl.examples.pivot.bodies.ValueSpecificationBodies._integerValue_body_
        • org.eclipse.ocl.examples.pivot.bodies.ValueSpecificationBodies._isComputable_body_
        • org.eclipse.ocl.examples.pivot.bodies.ValueSpecificationBodies._isNull_body_
        • org.eclipse.ocl.examples.pivot.bodies.ValueSpecificationBodies._stringValue_body_
        • org.eclipse.ocl.examples.pivot.bodies.ValueSpecificationBodies._unlimitedValue_body_
  • org.eclipse.ocl.examples.pivot.bodies.BooleanLiteralExpBodies
  • org.eclipse.ocl.examples.pivot.bodies.CollectionItemBodies
  • org.eclipse.ocl.examples.pivot.bodies.CollectionLiteralExpBodies
  • org.eclipse.ocl.examples.pivot.bodies.ConstraintBodies
  • org.eclipse.ocl.examples.pivot.bodies.ElementBodies
  • org.eclipse.ocl.examples.pivot.bodies.EnumLiteralExpBodies
  • org.eclipse.ocl.examples.pivot.bodies.IfExpBodies
  • org.eclipse.ocl.examples.pivot.bodies.IntegerLiteralExpBodies
  • org.eclipse.ocl.examples.pivot.bodies.IterateExpBodies
  • org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies
  • org.eclipse.ocl.examples.pivot.bodies.LetExpBodies
  • org.eclipse.ocl.examples.pivot.bodies.LoopExpBodies
  • org.eclipse.ocl.examples.pivot.bodies.MessageExpBodies
  • org.eclipse.ocl.examples.pivot.bodies.MultiplicityElementBodies
  • org.eclipse.ocl.examples.pivot.bodies.OpaqueExpressionBodies
  • org.eclipse.ocl.examples.pivot.bodies.OperationBodies
  • org.eclipse.ocl.examples.pivot.bodies.OperationCallExpBodies
  • org.eclipse.ocl.examples.pivot.bodies.ParameterableElementBodies
  • org.eclipse.ocl.examples.pivot.bodies.PropertyBodies
  • org.eclipse.ocl.examples.pivot.bodies.SelfTypeBodies
  • org.eclipse.ocl.examples.pivot.bodies.TemplateableElementBodies
  • org.eclipse.ocl.examples.pivot.bodies.TemplateBindingBodies
  • org.eclipse.ocl.examples.pivot.bodies.TemplateParameterBodies
  • org.eclipse.ocl.examples.pivot.bodies.TemplateParameterSubstitutionBodies
  • org.eclipse.ocl.examples.pivot.bodies.TemplateSignatureBodies
  • org.eclipse.ocl.examples.pivot.bodies.TypeBodies
  • org.eclipse.ocl.examples.pivot.bodies.TypedMultiplicityElementBodies
  • org.eclipse.ocl.examples.pivot.bodies.TypeTemplateParameterBodies
  • org.eclipse.ocl.examples.pivot.bodies.ValueSpecificationBodies