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

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • org.eclipse.ocl.examples.pivot.AbstractBasicEnvironment<P> (implements org.eclipse.ocl.examples.pivot.BasicEnvironment)
    • org.eclipse.ocl.examples.pivot.AbstractEnvironment (implements org.eclipse.ocl.examples.pivot.Environment)
  • org.eclipse.ocl.examples.pivot.AbstractEnvironment.VariableEntry
  • org.eclipse.ocl.examples.pivot.AbstractEnvironmentFactory (implements org.eclipse.ocl.examples.pivot.Adaptable, org.eclipse.ocl.examples.pivot.EnvironmentFactory)
  • org.eclipse.ocl.examples.pivot.ObjectUtil
  • org.eclipse.ocl.examples.pivot.OCL
  • org.eclipse.ocl.examples.pivot.OCLDebugOptions
  • org.eclipse.ocl.examples.pivot.OCLInput
  • org.eclipse.ocl.examples.pivot.OCLUtil
  • org.eclipse.ocl.examples.pivot.PivotStandaloneSetup
  • org.eclipse.ocl.examples.pivot.PivotTables
  • org.eclipse.ocl.examples.pivot.PivotTables.EnumerationLiterals
  • org.eclipse.ocl.examples.pivot.PivotTables.FragmentOperations
  • org.eclipse.ocl.examples.pivot.PivotTables.FragmentProperties
  • org.eclipse.ocl.examples.pivot.PivotTables.Fragments
  • org.eclipse.ocl.examples.pivot.PivotTables.Operations
  • org.eclipse.ocl.examples.pivot.PivotTables.Parameters
  • org.eclipse.ocl.examples.pivot.PivotTables.Properties
  • org.eclipse.ocl.examples.pivot.PivotTables.TypeFragments
  • org.eclipse.ocl.examples.pivot.PivotTables.TypeParameters
  • org.eclipse.ocl.examples.pivot.PivotTables.Types
  • org.eclipse.ocl.examples.pivot.ProblemHandler.Phase (implements java.lang.Comparable<T>)
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • org.eclipse.ocl.examples.pivot.ParserException
        • org.eclipse.ocl.examples.pivot.SemanticException
          • org.eclipse.ocl.examples.pivot.LookupException
            • org.eclipse.ocl.examples.pivot.AmbiguousLookupException
        • org.eclipse.ocl.examples.pivot.SyntaxException

Interface Hierarchy

• org.eclipse.ocl.examples.pivot.Adaptable
  • org.eclipse.ocl.examples.pivot.BasicEnvironment (also extends org.eclipse.ocl.examples.pivot.Customizable)
    • org.eclipse.ocl.examples.pivot.Environment
• org.eclipse.ocl.examples.pivot.Customizable
  • org.eclipse.ocl.examples.pivot.BasicEnvironment (also extends org.eclipse.ocl.examples.pivot.Adaptable)
    • org.eclipse.ocl.examples.pivot.Environment
• org.eclipse.ocl.examples.domain.elements.DomainElement
  • org.eclipse.ocl.examples.domain.elements.DomainNamedElement (also extends org.eclipse.ocl.examples.domain.elements.Nameable)
    • org.eclipse.ocl.examples.domain.elements.DomainConstraint
      • org.eclipse.ocl.examples.pivot.Constraint (also extends org.eclipse.ocl.examples.pivot.NamedElement)
    • org.eclipse.ocl.examples.domain.elements.DomainEnumerationLiteral
      • org.eclipse.ocl.examples.pivot.EnumerationLiteral (also extends org.eclipse.ocl.examples.pivot.NamedElement)
    • org.eclipse.ocl.examples.domain.elements.DomainNamespace
      • org.eclipse.ocl.examples.domain.elements.DomainPackage
        • org.eclipse.ocl.examples.pivot.Package (also extends org.eclipse.ocl.examples.pivot.Namespace, org.eclipse.ocl.examples.pivot.TemplateableElement)
          • org.eclipse.ocl.examples.pivot.Library
          • org.eclipse.ocl.examples.pivot.Profile
      • org.eclipse.ocl.examples.domain.elements.DomainRoot
        • org.eclipse.ocl.examples.pivot.Root (also extends org.eclipse.ocl.examples.pivot.Namespace)
      • org.eclipse.ocl.examples.domain.elements.DomainType (also extends org.eclipse.ocl.examples.domain.values.OCLValue)
        • org.eclipse.ocl.examples.domain.elements.DomainCollectionType
          • org.eclipse.ocl.examples.pivot.CollectionType (also extends org.eclipse.ocl.examples.pivot.DataType)
            • org.eclipse.ocl.examples.pivot.BagType
            • org.eclipse.ocl.examples.pivot.OrderedSetType
            • org.eclipse.ocl.examples.pivot.SequenceType
            • org.eclipse.ocl.examples.pivot.SetType
        • org.eclipse.ocl.examples.domain.elements.DomainEnumeration
          • org.eclipse.ocl.examples.pivot.Enumeration (also extends org.eclipse.ocl.examples.pivot.DataType)
        • org.eclipse.ocl.examples.domain.elements.DomainLambdaType
          • org.eclipse.ocl.examples.pivot.LambdaType (also extends org.eclipse.ocl.examples.pivot.DataType)
        • org.eclipse.ocl.examples.domain.elements.DomainMetaclass
          • org.eclipse.ocl.examples.pivot.Metaclass (also extends org.eclipse.ocl.examples.pivot.Class)
        • org.eclipse.ocl.examples.domain.elements.DomainTupleType
          • org.eclipse.ocl.examples.pivot.TupleType (also extends org.eclipse.ocl.examples.pivot.DataType)
        • org.eclipse.ocl.examples.pivot.Type (also extends org.eclipse.ocl.examples.pivot.NamedElement, org.eclipse.ocl.examples.pivot.ParameterableElement, org.eclipse.ocl.examples.pivot.TemplateableElement)
          • org.eclipse.ocl.examples.pivot.Class (also extends org.eclipse.ocl.examples.pivot.Namespace)
            • org.eclipse.ocl.examples.pivot.AnyType
            • org.eclipse.ocl.examples.pivot.AssociationClass
            • org.eclipse.ocl.examples.pivot.Behavior
              • org.eclipse.ocl.examples.pivot.StateMachine
            • org.eclipse.ocl.examples.pivot.DataType
              • org.eclipse.ocl.examples.pivot.CollectionType (also extends org.eclipse.ocl.examples.domain.elements.DomainCollectionType)
                • org.eclipse.ocl.examples.pivot.BagType
                • org.eclipse.ocl.examples.pivot.OrderedSetType
                • org.eclipse.ocl.examples.pivot.SequenceType
                • org.eclipse.ocl.examples.pivot.SetType
              • org.eclipse.ocl.examples.pivot.Enumeration (also extends org.eclipse.ocl.examples.domain.elements.DomainEnumeration)
              • org.eclipse.ocl.examples.pivot.LambdaType (also extends org.eclipse.ocl.examples.domain.elements.DomainLambdaType)
              • org.eclipse.ocl.examples.pivot.PrimitiveType
              • org.eclipse.ocl.examples.pivot.TupleType (also extends org.eclipse.ocl.examples.domain.elements.DomainTupleType)
            • org.eclipse.ocl.examples.pivot.InvalidType
            • org.eclipse.ocl.examples.pivot.Metaclass (also extends org.eclipse.ocl.examples.domain.elements.DomainMetaclass)
            • org.eclipse.ocl.examples.pivot.SelfType
            • org.eclipse.ocl.examples.pivot.Stereotype
            • org.eclipse.ocl.examples.pivot.UnspecifiedType
            • org.eclipse.ocl.examples.pivot.VoidType
          • org.eclipse.ocl.examples.pivot.DynamicType (also extends org.eclipse.ocl.examples.pivot.DynamicElement)
          • org.eclipse.ocl.examples.pivot.ElementExtension
          • org.eclipse.ocl.examples.pivot.MessageType
          • org.eclipse.ocl.examples.pivot.TemplateParameterType
      • org.eclipse.ocl.examples.pivot.Namespace (also extends org.eclipse.ocl.examples.pivot.NamedElement)
        • org.eclipse.ocl.examples.pivot.Class (also extends org.eclipse.ocl.examples.pivot.Type)
          • org.eclipse.ocl.examples.pivot.AnyType
          • org.eclipse.ocl.examples.pivot.AssociationClass
          • org.eclipse.ocl.examples.pivot.Behavior
            • org.eclipse.ocl.examples.pivot.StateMachine
          • org.eclipse.ocl.examples.pivot.DataType
            • org.eclipse.ocl.examples.pivot.CollectionType (also extends org.eclipse.ocl.examples.domain.elements.DomainCollectionType)
              • org.eclipse.ocl.examples.pivot.BagType
              • org.eclipse.ocl.examples.pivot.OrderedSetType
              • org.eclipse.ocl.examples.pivot.SequenceType
              • org.eclipse.ocl.examples.pivot.SetType
            • org.eclipse.ocl.examples.pivot.Enumeration (also extends org.eclipse.ocl.examples.domain.elements.DomainEnumeration)
            • org.eclipse.ocl.examples.pivot.LambdaType (also extends org.eclipse.ocl.examples.domain.elements.DomainLambdaType)
            • org.eclipse.ocl.examples.pivot.PrimitiveType
            • org.eclipse.ocl.examples.pivot.TupleType (also extends org.eclipse.ocl.examples.domain.elements.DomainTupleType)
          • org.eclipse.ocl.examples.pivot.InvalidType
          • org.eclipse.ocl.examples.pivot.Metaclass (also extends org.eclipse.ocl.examples.domain.elements.DomainMetaclass)
          • org.eclipse.ocl.examples.pivot.SelfType
          • org.eclipse.ocl.examples.pivot.Stereotype
          • org.eclipse.ocl.examples.pivot.UnspecifiedType
          • org.eclipse.ocl.examples.pivot.VoidType
        • org.eclipse.ocl.examples.pivot.Operation (also extends org.eclipse.ocl.examples.domain.elements.DomainOperation, org.eclipse.ocl.examples.pivot.Feature, org.eclipse.ocl.examples.pivot.ParameterableElement, org.eclipse.ocl.examples.pivot.TemplateableElement)
          • org.eclipse.ocl.examples.pivot.Iteration (also extends org.eclipse.ocl.examples.domain.elements.DomainIteration)
        • org.eclipse.ocl.examples.pivot.Package (also extends org.eclipse.ocl.examples.domain.elements.DomainPackage, org.eclipse.ocl.examples.pivot.TemplateableElement)
          • org.eclipse.ocl.examples.pivot.Library
          • org.eclipse.ocl.examples.pivot.Profile
        • org.eclipse.ocl.examples.pivot.Region
        • org.eclipse.ocl.examples.pivot.Root (also extends org.eclipse.ocl.examples.domain.elements.DomainRoot)
        • org.eclipse.ocl.examples.pivot.State (also extends org.eclipse.ocl.examples.pivot.Vertex)
          • org.eclipse.ocl.examples.pivot.FinalState
        • org.eclipse.ocl.examples.pivot.Transition
    • org.eclipse.ocl.examples.domain.elements.DomainTypedElement
      • org.eclipse.ocl.examples.domain.elements.DomainExpression
        • org.eclipse.ocl.examples.domain.elements.DomainCallExp
          • org.eclipse.ocl.examples.pivot.CallExp (also extends org.eclipse.ocl.examples.pivot.OCLExpression)
            • org.eclipse.ocl.examples.pivot.FeatureCallExp
              • org.eclipse.ocl.examples.pivot.NavigationCallExp
                • org.eclipse.ocl.examples.pivot.AssociationClassCallExp
                • org.eclipse.ocl.examples.pivot.PropertyCallExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
              • org.eclipse.ocl.examples.pivot.OperationCallExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
            • org.eclipse.ocl.examples.pivot.LoopExp
              • org.eclipse.ocl.examples.pivot.IterateExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
              • org.eclipse.ocl.examples.pivot.IteratorExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
        • org.eclipse.ocl.examples.pivot.OCLExpression (also extends org.eclipse.ocl.examples.pivot.TypedElement)
          • org.eclipse.ocl.examples.pivot.CallExp (also extends org.eclipse.ocl.examples.domain.elements.DomainCallExp)
            • org.eclipse.ocl.examples.pivot.FeatureCallExp
              • org.eclipse.ocl.examples.pivot.NavigationCallExp
                • org.eclipse.ocl.examples.pivot.AssociationClassCallExp
                • org.eclipse.ocl.examples.pivot.PropertyCallExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
              • org.eclipse.ocl.examples.pivot.OperationCallExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
            • org.eclipse.ocl.examples.pivot.LoopExp
              • org.eclipse.ocl.examples.pivot.IterateExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
              • org.eclipse.ocl.examples.pivot.IteratorExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
          • org.eclipse.ocl.examples.pivot.ConstructorExp
          • org.eclipse.ocl.examples.pivot.IfExp
          • org.eclipse.ocl.examples.pivot.LetExp
          • org.eclipse.ocl.examples.pivot.LiteralExp
            • org.eclipse.ocl.examples.pivot.CollectionLiteralExp
            • org.eclipse.ocl.examples.pivot.EnumLiteralExp
            • org.eclipse.ocl.examples.pivot.InvalidLiteralExp
            • org.eclipse.ocl.examples.pivot.PrimitiveLiteralExp
              • org.eclipse.ocl.examples.pivot.BooleanLiteralExp
              • org.eclipse.ocl.examples.pivot.NullLiteralExp
              • org.eclipse.ocl.examples.pivot.NumericLiteralExp
                • org.eclipse.ocl.examples.pivot.IntegerLiteralExp
                • org.eclipse.ocl.examples.pivot.RealLiteralExp
                • org.eclipse.ocl.examples.pivot.UnlimitedNaturalLiteralExp
              • org.eclipse.ocl.examples.pivot.StringLiteralExp
            • org.eclipse.ocl.examples.pivot.TupleLiteralExp
          • org.eclipse.ocl.examples.pivot.MessageExp
          • org.eclipse.ocl.examples.pivot.StateExp
          • org.eclipse.ocl.examples.pivot.TypeExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
          • org.eclipse.ocl.examples.pivot.UnspecifiedValueExp
          • org.eclipse.ocl.examples.pivot.VariableExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
        • org.eclipse.ocl.examples.pivot.OpaqueExpression (also extends org.eclipse.ocl.examples.pivot.ValueSpecification)
          • org.eclipse.ocl.examples.pivot.ExpressionInOCL
      • org.eclipse.ocl.examples.domain.elements.DomainFeature
        • org.eclipse.ocl.examples.domain.elements.DomainOperation
          • org.eclipse.ocl.examples.domain.elements.DomainIteration
            • org.eclipse.ocl.examples.pivot.Iteration (also extends org.eclipse.ocl.examples.pivot.Operation)
          • org.eclipse.ocl.examples.pivot.Operation (also extends org.eclipse.ocl.examples.pivot.Feature, org.eclipse.ocl.examples.pivot.Namespace, org.eclipse.ocl.examples.pivot.ParameterableElement, org.eclipse.ocl.examples.pivot.TemplateableElement)
            • org.eclipse.ocl.examples.pivot.Iteration (also extends org.eclipse.ocl.examples.domain.elements.DomainIteration)
        • org.eclipse.ocl.examples.domain.elements.DomainProperty
          • org.eclipse.ocl.examples.pivot.Property (also extends org.eclipse.ocl.examples.pivot.Feature, org.eclipse.ocl.examples.pivot.ParameterableElement)
      • org.eclipse.ocl.examples.pivot.TypedElement (also extends org.eclipse.ocl.examples.pivot.NamedElement)
        • org.eclipse.ocl.examples.pivot.CollectionLiteralPart
          • org.eclipse.ocl.examples.pivot.CollectionItem
          • org.eclipse.ocl.examples.pivot.CollectionRange
        • org.eclipse.ocl.examples.pivot.ConstructorPart
        • org.eclipse.ocl.examples.pivot.OCLExpression (also extends org.eclipse.ocl.examples.domain.elements.DomainExpression)
          • org.eclipse.ocl.examples.pivot.CallExp (also extends org.eclipse.ocl.examples.domain.elements.DomainCallExp)
            • org.eclipse.ocl.examples.pivot.FeatureCallExp
              • org.eclipse.ocl.examples.pivot.NavigationCallExp
                • org.eclipse.ocl.examples.pivot.AssociationClassCallExp
                • org.eclipse.ocl.examples.pivot.PropertyCallExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
              • org.eclipse.ocl.examples.pivot.OperationCallExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
            • org.eclipse.ocl.examples.pivot.LoopExp
              • org.eclipse.ocl.examples.pivot.IterateExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
              • org.eclipse.ocl.examples.pivot.IteratorExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
          • org.eclipse.ocl.examples.pivot.ConstructorExp
          • org.eclipse.ocl.examples.pivot.IfExp
          • org.eclipse.ocl.examples.pivot.LetExp
          • org.eclipse.ocl.examples.pivot.LiteralExp
            • org.eclipse.ocl.examples.pivot.CollectionLiteralExp
            • org.eclipse.ocl.examples.pivot.EnumLiteralExp
            • org.eclipse.ocl.examples.pivot.InvalidLiteralExp
            • org.eclipse.ocl.examples.pivot.PrimitiveLiteralExp
              • org.eclipse.ocl.examples.pivot.BooleanLiteralExp
              • org.eclipse.ocl.examples.pivot.NullLiteralExp
              • org.eclipse.ocl.examples.pivot.NumericLiteralExp
                • org.eclipse.ocl.examples.pivot.IntegerLiteralExp
                • org.eclipse.ocl.examples.pivot.RealLiteralExp
                • org.eclipse.ocl.examples.pivot.UnlimitedNaturalLiteralExp
              • org.eclipse.ocl.examples.pivot.StringLiteralExp
            • org.eclipse.ocl.examples.pivot.TupleLiteralExp
          • org.eclipse.ocl.examples.pivot.MessageExp
          • org.eclipse.ocl.examples.pivot.StateExp
          • org.eclipse.ocl.examples.pivot.TypeExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
          • org.eclipse.ocl.examples.pivot.UnspecifiedValueExp
          • org.eclipse.ocl.examples.pivot.VariableExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
        • org.eclipse.ocl.examples.pivot.TypedMultiplicityElement
          • org.eclipse.ocl.examples.pivot.Feature
            • org.eclipse.ocl.examples.pivot.Operation (also extends org.eclipse.ocl.examples.domain.elements.DomainOperation, org.eclipse.ocl.examples.pivot.Namespace, org.eclipse.ocl.examples.pivot.ParameterableElement, org.eclipse.ocl.examples.pivot.TemplateableElement)
              • org.eclipse.ocl.examples.pivot.Iteration (also extends org.eclipse.ocl.examples.domain.elements.DomainIteration)
            • org.eclipse.ocl.examples.pivot.Property (also extends org.eclipse.ocl.examples.domain.elements.DomainProperty, org.eclipse.ocl.examples.pivot.ParameterableElement)
          • org.eclipse.ocl.examples.pivot.Parameter (also extends org.eclipse.ocl.examples.pivot.VariableDeclaration)
        • org.eclipse.ocl.examples.pivot.ValueSpecification (also extends org.eclipse.ocl.examples.pivot.ParameterableElement)
          • org.eclipse.ocl.examples.pivot.OpaqueExpression (also extends org.eclipse.ocl.examples.domain.elements.DomainExpression)
            • org.eclipse.ocl.examples.pivot.ExpressionInOCL
        • org.eclipse.ocl.examples.pivot.VariableDeclaration
          • org.eclipse.ocl.examples.pivot.Parameter (also extends org.eclipse.ocl.examples.pivot.TypedMultiplicityElement)
          • org.eclipse.ocl.examples.pivot.TupleLiteralPart
          • org.eclipse.ocl.examples.pivot.Variable
    • org.eclipse.ocl.examples.pivot.NamedElement (also extends org.eclipse.ocl.examples.pivot.Element, org.eclipse.ocl.examples.domain.elements.Nameable)
      • org.eclipse.ocl.examples.pivot.Annotation
      • org.eclipse.ocl.examples.pivot.CallOperationAction
      • org.eclipse.ocl.examples.pivot.Constraint (also extends org.eclipse.ocl.examples.domain.elements.DomainConstraint)
      • org.eclipse.ocl.examples.pivot.Detail
      • org.eclipse.ocl.examples.pivot.EnumerationLiteral (also extends org.eclipse.ocl.examples.domain.elements.DomainEnumerationLiteral)
      • org.eclipse.ocl.examples.pivot.Import
      • org.eclipse.ocl.examples.pivot.Namespace (also extends org.eclipse.ocl.examples.domain.elements.DomainNamespace)
        • org.eclipse.ocl.examples.pivot.Class (also extends org.eclipse.ocl.examples.pivot.Type)
          • org.eclipse.ocl.examples.pivot.AnyType
          • org.eclipse.ocl.examples.pivot.AssociationClass
          • org.eclipse.ocl.examples.pivot.Behavior
            • org.eclipse.ocl.examples.pivot.StateMachine
          • org.eclipse.ocl.examples.pivot.DataType
            • org.eclipse.ocl.examples.pivot.CollectionType (also extends org.eclipse.ocl.examples.domain.elements.DomainCollectionType)
              • org.eclipse.ocl.examples.pivot.BagType
              • org.eclipse.ocl.examples.pivot.OrderedSetType
              • org.eclipse.ocl.examples.pivot.SequenceType
              • org.eclipse.ocl.examples.pivot.SetType
            • org.eclipse.ocl.examples.pivot.Enumeration (also extends org.eclipse.ocl.examples.domain.elements.DomainEnumeration)
            • org.eclipse.ocl.examples.pivot.LambdaType (also extends org.eclipse.ocl.examples.domain.elements.DomainLambdaType)
            • org.eclipse.ocl.examples.pivot.PrimitiveType
            • org.eclipse.ocl.examples.pivot.TupleType (also extends org.eclipse.ocl.examples.domain.elements.DomainTupleType)
          • org.eclipse.ocl.examples.pivot.InvalidType
          • org.eclipse.ocl.examples.pivot.Metaclass (also extends org.eclipse.ocl.examples.domain.elements.DomainMetaclass)
          • org.eclipse.ocl.examples.pivot.SelfType
          • org.eclipse.ocl.examples.pivot.Stereotype
          • org.eclipse.ocl.examples.pivot.UnspecifiedType
          • org.eclipse.ocl.examples.pivot.VoidType
        • org.eclipse.ocl.examples.pivot.Operation (also extends org.eclipse.ocl.examples.domain.elements.DomainOperation, org.eclipse.ocl.examples.pivot.Feature, org.eclipse.ocl.examples.pivot.ParameterableElement, org.eclipse.ocl.examples.pivot.TemplateableElement)
          • org.eclipse.ocl.examples.pivot.Iteration (also extends org.eclipse.ocl.examples.domain.elements.DomainIteration)
        • org.eclipse.ocl.examples.pivot.Package (also extends org.eclipse.ocl.examples.domain.elements.DomainPackage, org.eclipse.ocl.examples.pivot.TemplateableElement)
          • org.eclipse.ocl.examples.pivot.Library
          • org.eclipse.ocl.examples.pivot.Profile
        • org.eclipse.ocl.examples.pivot.Region
        • org.eclipse.ocl.examples.pivot.Root (also extends org.eclipse.ocl.examples.domain.elements.DomainRoot)
        • org.eclipse.ocl.examples.pivot.State (also extends org.eclipse.ocl.examples.pivot.Vertex)
          • org.eclipse.ocl.examples.pivot.FinalState
        • org.eclipse.ocl.examples.pivot.Transition
      • org.eclipse.ocl.examples.pivot.Precedence
      • org.eclipse.ocl.examples.pivot.SendSignalAction
      • org.eclipse.ocl.examples.pivot.Signal
      • org.eclipse.ocl.examples.pivot.Trigger
      • org.eclipse.ocl.examples.pivot.Type (also extends org.eclipse.ocl.examples.domain.elements.DomainType, org.eclipse.ocl.examples.pivot.ParameterableElement, org.eclipse.ocl.examples.pivot.TemplateableElement)
        • org.eclipse.ocl.examples.pivot.Class (also extends org.eclipse.ocl.examples.pivot.Namespace)
          • org.eclipse.ocl.examples.pivot.AnyType
          • org.eclipse.ocl.examples.pivot.AssociationClass
          • org.eclipse.ocl.examples.pivot.Behavior
            • org.eclipse.ocl.examples.pivot.StateMachine
          • org.eclipse.ocl.examples.pivot.DataType
            • org.eclipse.ocl.examples.pivot.CollectionType (also extends org.eclipse.ocl.examples.domain.elements.DomainCollectionType)
              • org.eclipse.ocl.examples.pivot.BagType
              • org.eclipse.ocl.examples.pivot.OrderedSetType
              • org.eclipse.ocl.examples.pivot.SequenceType
              • org.eclipse.ocl.examples.pivot.SetType
            • org.eclipse.ocl.examples.pivot.Enumeration (also extends org.eclipse.ocl.examples.domain.elements.DomainEnumeration)
            • org.eclipse.ocl.examples.pivot.LambdaType (also extends org.eclipse.ocl.examples.domain.elements.DomainLambdaType)
            • org.eclipse.ocl.examples.pivot.PrimitiveType
            • org.eclipse.ocl.examples.pivot.TupleType (also extends org.eclipse.ocl.examples.domain.elements.DomainTupleType)
          • org.eclipse.ocl.examples.pivot.InvalidType
          • org.eclipse.ocl.examples.pivot.Metaclass (also extends org.eclipse.ocl.examples.domain.elements.DomainMetaclass)
          • org.eclipse.ocl.examples.pivot.SelfType
          • org.eclipse.ocl.examples.pivot.Stereotype
          • org.eclipse.ocl.examples.pivot.UnspecifiedType
          • org.eclipse.ocl.examples.pivot.VoidType
        • org.eclipse.ocl.examples.pivot.DynamicType (also extends org.eclipse.ocl.examples.pivot.DynamicElement)
        • org.eclipse.ocl.examples.pivot.ElementExtension
        • org.eclipse.ocl.examples.pivot.MessageType
        • org.eclipse.ocl.examples.pivot.TemplateParameterType
      • org.eclipse.ocl.examples.pivot.TypedElement (also extends org.eclipse.ocl.examples.domain.elements.DomainTypedElement)
        • org.eclipse.ocl.examples.pivot.CollectionLiteralPart
          • org.eclipse.ocl.examples.pivot.CollectionItem
          • org.eclipse.ocl.examples.pivot.CollectionRange
        • org.eclipse.ocl.examples.pivot.ConstructorPart
        • org.eclipse.ocl.examples.pivot.OCLExpression (also extends org.eclipse.ocl.examples.domain.elements.DomainExpression)
          • org.eclipse.ocl.examples.pivot.CallExp (also extends org.eclipse.ocl.examples.domain.elements.DomainCallExp)
            • org.eclipse.ocl.examples.pivot.FeatureCallExp
              • org.eclipse.ocl.examples.pivot.NavigationCallExp
                • org.eclipse.ocl.examples.pivot.AssociationClassCallExp
                • org.eclipse.ocl.examples.pivot.PropertyCallExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
              • org.eclipse.ocl.examples.pivot.OperationCallExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
            • org.eclipse.ocl.examples.pivot.LoopExp
              • org.eclipse.ocl.examples.pivot.IterateExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
              • org.eclipse.ocl.examples.pivot.IteratorExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
          • org.eclipse.ocl.examples.pivot.ConstructorExp
          • org.eclipse.ocl.examples.pivot.IfExp
          • org.eclipse.ocl.examples.pivot.LetExp
          • org.eclipse.ocl.examples.pivot.LiteralExp
            • org.eclipse.ocl.examples.pivot.CollectionLiteralExp
            • org.eclipse.ocl.examples.pivot.EnumLiteralExp
            • org.eclipse.ocl.examples.pivot.InvalidLiteralExp
            • org.eclipse.ocl.examples.pivot.PrimitiveLiteralExp
              • org.eclipse.ocl.examples.pivot.BooleanLiteralExp
              • org.eclipse.ocl.examples.pivot.NullLiteralExp
              • org.eclipse.ocl.examples.pivot.NumericLiteralExp
                • org.eclipse.ocl.examples.pivot.IntegerLiteralExp
                • org.eclipse.ocl.examples.pivot.RealLiteralExp
                • org.eclipse.ocl.examples.pivot.UnlimitedNaturalLiteralExp
              • org.eclipse.ocl.examples.pivot.StringLiteralExp
            • org.eclipse.ocl.examples.pivot.TupleLiteralExp
          • org.eclipse.ocl.examples.pivot.MessageExp
          • org.eclipse.ocl.examples.pivot.StateExp
          • org.eclipse.ocl.examples.pivot.TypeExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
          • org.eclipse.ocl.examples.pivot.UnspecifiedValueExp
          • org.eclipse.ocl.examples.pivot.VariableExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
        • org.eclipse.ocl.examples.pivot.TypedMultiplicityElement
          • org.eclipse.ocl.examples.pivot.Feature
            • org.eclipse.ocl.examples.pivot.Operation (also extends org.eclipse.ocl.examples.domain.elements.DomainOperation, org.eclipse.ocl.examples.pivot.Namespace, org.eclipse.ocl.examples.pivot.ParameterableElement, org.eclipse.ocl.examples.pivot.TemplateableElement)
              • org.eclipse.ocl.examples.pivot.Iteration (also extends org.eclipse.ocl.examples.domain.elements.DomainIteration)
            • org.eclipse.ocl.examples.pivot.Property (also extends org.eclipse.ocl.examples.domain.elements.DomainProperty, org.eclipse.ocl.examples.pivot.ParameterableElement)
          • org.eclipse.ocl.examples.pivot.Parameter (also extends org.eclipse.ocl.examples.pivot.VariableDeclaration)
        • org.eclipse.ocl.examples.pivot.ValueSpecification (also extends org.eclipse.ocl.examples.pivot.ParameterableElement)
          • org.eclipse.ocl.examples.pivot.OpaqueExpression (also extends org.eclipse.ocl.examples.domain.elements.DomainExpression)
            • org.eclipse.ocl.examples.pivot.ExpressionInOCL
        • org.eclipse.ocl.examples.pivot.VariableDeclaration
          • org.eclipse.ocl.examples.pivot.Parameter (also extends org.eclipse.ocl.examples.pivot.TypedMultiplicityElement)
          • org.eclipse.ocl.examples.pivot.TupleLiteralPart
          • org.eclipse.ocl.examples.pivot.Variable
      • org.eclipse.ocl.examples.pivot.Vertex
        • org.eclipse.ocl.examples.pivot.ConnectionPointReference
        • org.eclipse.ocl.examples.pivot.Pseudostate
        • org.eclipse.ocl.examples.pivot.State (also extends org.eclipse.ocl.examples.pivot.Namespace)
          • org.eclipse.ocl.examples.pivot.FinalState
  • org.eclipse.ocl.examples.domain.elements.DomainTemplateParameter
    • org.eclipse.ocl.examples.pivot.TemplateParameter (also extends org.eclipse.ocl.examples.pivot.Element)
      • org.eclipse.ocl.examples.pivot.OperationTemplateParameter
      • org.eclipse.ocl.examples.pivot.TypeTemplateParameter
  • org.eclipse.ocl.examples.pivot.Element (also extends org.eclipse.ocl.examples.pivot.utilities.PivotObject, org.eclipse.ocl.examples.pivot.util.Visitable)
    • org.eclipse.ocl.examples.pivot.Comment
    • org.eclipse.ocl.examples.pivot.DynamicElement
      • org.eclipse.ocl.examples.pivot.DynamicType (also extends org.eclipse.ocl.examples.pivot.Type)
    • org.eclipse.ocl.examples.pivot.DynamicProperty
    • org.eclipse.ocl.examples.pivot.NamedElement (also extends org.eclipse.ocl.examples.domain.elements.DomainNamedElement, org.eclipse.ocl.examples.domain.elements.Nameable)
      • org.eclipse.ocl.examples.pivot.Annotation
      • org.eclipse.ocl.examples.pivot.CallOperationAction
      • org.eclipse.ocl.examples.pivot.Constraint (also extends org.eclipse.ocl.examples.domain.elements.DomainConstraint)
      • org.eclipse.ocl.examples.pivot.Detail
      • org.eclipse.ocl.examples.pivot.EnumerationLiteral (also extends org.eclipse.ocl.examples.domain.elements.DomainEnumerationLiteral)
      • org.eclipse.ocl.examples.pivot.Import
      • org.eclipse.ocl.examples.pivot.Namespace (also extends org.eclipse.ocl.examples.domain.elements.DomainNamespace)
        • org.eclipse.ocl.examples.pivot.Class (also extends org.eclipse.ocl.examples.pivot.Type)
          • org.eclipse.ocl.examples.pivot.AnyType
          • org.eclipse.ocl.examples.pivot.AssociationClass
          • org.eclipse.ocl.examples.pivot.Behavior
            • org.eclipse.ocl.examples.pivot.StateMachine
          • org.eclipse.ocl.examples.pivot.DataType
            • org.eclipse.ocl.examples.pivot.CollectionType (also extends org.eclipse.ocl.examples.domain.elements.DomainCollectionType)
              • org.eclipse.ocl.examples.pivot.BagType
              • org.eclipse.ocl.examples.pivot.OrderedSetType
              • org.eclipse.ocl.examples.pivot.SequenceType
              • org.eclipse.ocl.examples.pivot.SetType
            • org.eclipse.ocl.examples.pivot.Enumeration (also extends org.eclipse.ocl.examples.domain.elements.DomainEnumeration)
            • org.eclipse.ocl.examples.pivot.LambdaType (also extends org.eclipse.ocl.examples.domain.elements.DomainLambdaType)
            • org.eclipse.ocl.examples.pivot.PrimitiveType
            • org.eclipse.ocl.examples.pivot.TupleType (also extends org.eclipse.ocl.examples.domain.elements.DomainTupleType)
          • org.eclipse.ocl.examples.pivot.InvalidType
          • org.eclipse.ocl.examples.pivot.Metaclass (also extends org.eclipse.ocl.examples.domain.elements.DomainMetaclass)
          • org.eclipse.ocl.examples.pivot.SelfType
          • org.eclipse.ocl.examples.pivot.Stereotype
          • org.eclipse.ocl.examples.pivot.UnspecifiedType
          • org.eclipse.ocl.examples.pivot.VoidType
        • org.eclipse.ocl.examples.pivot.Operation (also extends org.eclipse.ocl.examples.domain.elements.DomainOperation, org.eclipse.ocl.examples.pivot.Feature, org.eclipse.ocl.examples.pivot.ParameterableElement, org.eclipse.ocl.examples.pivot.TemplateableElement)
          • org.eclipse.ocl.examples.pivot.Iteration (also extends org.eclipse.ocl.examples.domain.elements.DomainIteration)
        • org.eclipse.ocl.examples.pivot.Package (also extends org.eclipse.ocl.examples.domain.elements.DomainPackage, org.eclipse.ocl.examples.pivot.TemplateableElement)
          • org.eclipse.ocl.examples.pivot.Library
          • org.eclipse.ocl.examples.pivot.Profile
        • org.eclipse.ocl.examples.pivot.Region
        • org.eclipse.ocl.examples.pivot.Root (also extends org.eclipse.ocl.examples.domain.elements.DomainRoot)
        • org.eclipse.ocl.examples.pivot.State (also extends org.eclipse.ocl.examples.pivot.Vertex)
          • org.eclipse.ocl.examples.pivot.FinalState
        • org.eclipse.ocl.examples.pivot.Transition
      • org.eclipse.ocl.examples.pivot.Precedence
      • org.eclipse.ocl.examples.pivot.SendSignalAction
      • org.eclipse.ocl.examples.pivot.Signal
      • org.eclipse.ocl.examples.pivot.Trigger
      • org.eclipse.ocl.examples.pivot.Type (also extends org.eclipse.ocl.examples.domain.elements.DomainType, org.eclipse.ocl.examples.pivot.ParameterableElement, org.eclipse.ocl.examples.pivot.TemplateableElement)
        • org.eclipse.ocl.examples.pivot.Class (also extends org.eclipse.ocl.examples.pivot.Namespace)
          • org.eclipse.ocl.examples.pivot.AnyType
          • org.eclipse.ocl.examples.pivot.AssociationClass
          • org.eclipse.ocl.examples.pivot.Behavior
            • org.eclipse.ocl.examples.pivot.StateMachine
          • org.eclipse.ocl.examples.pivot.DataType
            • org.eclipse.ocl.examples.pivot.CollectionType (also extends org.eclipse.ocl.examples.domain.elements.DomainCollectionType)
              • org.eclipse.ocl.examples.pivot.BagType
              • org.eclipse.ocl.examples.pivot.OrderedSetType
              • org.eclipse.ocl.examples.pivot.SequenceType
              • org.eclipse.ocl.examples.pivot.SetType
            • org.eclipse.ocl.examples.pivot.Enumeration (also extends org.eclipse.ocl.examples.domain.elements.DomainEnumeration)
            • org.eclipse.ocl.examples.pivot.LambdaType (also extends org.eclipse.ocl.examples.domain.elements.DomainLambdaType)
            • org.eclipse.ocl.examples.pivot.PrimitiveType
            • org.eclipse.ocl.examples.pivot.TupleType (also extends org.eclipse.ocl.examples.domain.elements.DomainTupleType)
          • org.eclipse.ocl.examples.pivot.InvalidType
          • org.eclipse.ocl.examples.pivot.Metaclass (also extends org.eclipse.ocl.examples.domain.elements.DomainMetaclass)
          • org.eclipse.ocl.examples.pivot.SelfType
          • org.eclipse.ocl.examples.pivot.Stereotype
          • org.eclipse.ocl.examples.pivot.UnspecifiedType
          • org.eclipse.ocl.examples.pivot.VoidType
        • org.eclipse.ocl.examples.pivot.DynamicType (also extends org.eclipse.ocl.examples.pivot.DynamicElement)
        • org.eclipse.ocl.examples.pivot.ElementExtension
        • org.eclipse.ocl.examples.pivot.MessageType
        • org.eclipse.ocl.examples.pivot.TemplateParameterType
      • org.eclipse.ocl.examples.pivot.TypedElement (also extends org.eclipse.ocl.examples.domain.elements.DomainTypedElement)
        • org.eclipse.ocl.examples.pivot.CollectionLiteralPart
          • org.eclipse.ocl.examples.pivot.CollectionItem
          • org.eclipse.ocl.examples.pivot.CollectionRange
        • org.eclipse.ocl.examples.pivot.ConstructorPart
        • org.eclipse.ocl.examples.pivot.OCLExpression (also extends org.eclipse.ocl.examples.domain.elements.DomainExpression)
          • org.eclipse.ocl.examples.pivot.CallExp (also extends org.eclipse.ocl.examples.domain.elements.DomainCallExp)
            • org.eclipse.ocl.examples.pivot.FeatureCallExp
              • org.eclipse.ocl.examples.pivot.NavigationCallExp
                • org.eclipse.ocl.examples.pivot.AssociationClassCallExp
                • org.eclipse.ocl.examples.pivot.PropertyCallExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
              • org.eclipse.ocl.examples.pivot.OperationCallExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
            • org.eclipse.ocl.examples.pivot.LoopExp
              • org.eclipse.ocl.examples.pivot.IterateExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
              • org.eclipse.ocl.examples.pivot.IteratorExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
          • org.eclipse.ocl.examples.pivot.ConstructorExp
          • org.eclipse.ocl.examples.pivot.IfExp
          • org.eclipse.ocl.examples.pivot.LetExp
          • org.eclipse.ocl.examples.pivot.LiteralExp
            • org.eclipse.ocl.examples.pivot.CollectionLiteralExp
            • org.eclipse.ocl.examples.pivot.EnumLiteralExp
            • org.eclipse.ocl.examples.pivot.InvalidLiteralExp
            • org.eclipse.ocl.examples.pivot.PrimitiveLiteralExp
              • org.eclipse.ocl.examples.pivot.BooleanLiteralExp
              • org.eclipse.ocl.examples.pivot.NullLiteralExp
              • org.eclipse.ocl.examples.pivot.NumericLiteralExp
                • org.eclipse.ocl.examples.pivot.IntegerLiteralExp
                • org.eclipse.ocl.examples.pivot.RealLiteralExp
                • org.eclipse.ocl.examples.pivot.UnlimitedNaturalLiteralExp
              • org.eclipse.ocl.examples.pivot.StringLiteralExp
            • org.eclipse.ocl.examples.pivot.TupleLiteralExp
          • org.eclipse.ocl.examples.pivot.MessageExp
          • org.eclipse.ocl.examples.pivot.StateExp
          • org.eclipse.ocl.examples.pivot.TypeExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
          • org.eclipse.ocl.examples.pivot.UnspecifiedValueExp
          • org.eclipse.ocl.examples.pivot.VariableExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
        • org.eclipse.ocl.examples.pivot.TypedMultiplicityElement
          • org.eclipse.ocl.examples.pivot.Feature
            • org.eclipse.ocl.examples.pivot.Operation (also extends org.eclipse.ocl.examples.domain.elements.DomainOperation, org.eclipse.ocl.examples.pivot.Namespace, org.eclipse.ocl.examples.pivot.ParameterableElement, org.eclipse.ocl.examples.pivot.TemplateableElement)
              • org.eclipse.ocl.examples.pivot.Iteration (also extends org.eclipse.ocl.examples.domain.elements.DomainIteration)
            • org.eclipse.ocl.examples.pivot.Property (also extends org.eclipse.ocl.examples.domain.elements.DomainProperty, org.eclipse.ocl.examples.pivot.ParameterableElement)
          • org.eclipse.ocl.examples.pivot.Parameter (also extends org.eclipse.ocl.examples.pivot.VariableDeclaration)
        • org.eclipse.ocl.examples.pivot.ValueSpecification (also extends org.eclipse.ocl.examples.pivot.ParameterableElement)
          • org.eclipse.ocl.examples.pivot.OpaqueExpression (also extends org.eclipse.ocl.examples.domain.elements.DomainExpression)
            • org.eclipse.ocl.examples.pivot.ExpressionInOCL
        • org.eclipse.ocl.examples.pivot.VariableDeclaration
          • org.eclipse.ocl.examples.pivot.Parameter (also extends org.eclipse.ocl.examples.pivot.TypedMultiplicityElement)
          • org.eclipse.ocl.examples.pivot.TupleLiteralPart
          • org.eclipse.ocl.examples.pivot.Variable
      • org.eclipse.ocl.examples.pivot.Vertex
        • org.eclipse.ocl.examples.pivot.ConnectionPointReference
        • org.eclipse.ocl.examples.pivot.Pseudostate
        • org.eclipse.ocl.examples.pivot.State (also extends org.eclipse.ocl.examples.pivot.Namespace)
          • org.eclipse.ocl.examples.pivot.FinalState
    • org.eclipse.ocl.examples.pivot.ParameterableElement
      • org.eclipse.ocl.examples.pivot.Operation (also extends org.eclipse.ocl.examples.domain.elements.DomainOperation, org.eclipse.ocl.examples.pivot.Feature, org.eclipse.ocl.examples.pivot.Namespace, org.eclipse.ocl.examples.pivot.TemplateableElement)
        • org.eclipse.ocl.examples.pivot.Iteration (also extends org.eclipse.ocl.examples.domain.elements.DomainIteration)
      • org.eclipse.ocl.examples.pivot.PackageableElement
      • org.eclipse.ocl.examples.pivot.Property (also extends org.eclipse.ocl.examples.domain.elements.DomainProperty, org.eclipse.ocl.examples.pivot.Feature)
      • org.eclipse.ocl.examples.pivot.Type (also extends org.eclipse.ocl.examples.domain.elements.DomainType, org.eclipse.ocl.examples.pivot.NamedElement, org.eclipse.ocl.examples.pivot.TemplateableElement)
        • org.eclipse.ocl.examples.pivot.Class (also extends org.eclipse.ocl.examples.pivot.Namespace)
          • org.eclipse.ocl.examples.pivot.AnyType
          • org.eclipse.ocl.examples.pivot.AssociationClass
          • org.eclipse.ocl.examples.pivot.Behavior
            • org.eclipse.ocl.examples.pivot.StateMachine
          • org.eclipse.ocl.examples.pivot.DataType
            • org.eclipse.ocl.examples.pivot.CollectionType (also extends org.eclipse.ocl.examples.domain.elements.DomainCollectionType)
              • org.eclipse.ocl.examples.pivot.BagType
              • org.eclipse.ocl.examples.pivot.OrderedSetType
              • org.eclipse.ocl.examples.pivot.SequenceType
              • org.eclipse.ocl.examples.pivot.SetType
            • org.eclipse.ocl.examples.pivot.Enumeration (also extends org.eclipse.ocl.examples.domain.elements.DomainEnumeration)
            • org.eclipse.ocl.examples.pivot.LambdaType (also extends org.eclipse.ocl.examples.domain.elements.DomainLambdaType)
            • org.eclipse.ocl.examples.pivot.PrimitiveType
            • org.eclipse.ocl.examples.pivot.TupleType (also extends org.eclipse.ocl.examples.domain.elements.DomainTupleType)
          • org.eclipse.ocl.examples.pivot.InvalidType
          • org.eclipse.ocl.examples.pivot.Metaclass (also extends org.eclipse.ocl.examples.domain.elements.DomainMetaclass)
          • org.eclipse.ocl.examples.pivot.SelfType
          • org.eclipse.ocl.examples.pivot.Stereotype
          • org.eclipse.ocl.examples.pivot.UnspecifiedType
          • org.eclipse.ocl.examples.pivot.VoidType
        • org.eclipse.ocl.examples.pivot.DynamicType (also extends org.eclipse.ocl.examples.pivot.DynamicElement)
        • org.eclipse.ocl.examples.pivot.ElementExtension
        • org.eclipse.ocl.examples.pivot.MessageType
        • org.eclipse.ocl.examples.pivot.TemplateParameterType
      • org.eclipse.ocl.examples.pivot.ValueSpecification (also extends org.eclipse.ocl.examples.pivot.TypedElement)
        • org.eclipse.ocl.examples.pivot.OpaqueExpression (also extends org.eclipse.ocl.examples.domain.elements.DomainExpression)
          • org.eclipse.ocl.examples.pivot.ExpressionInOCL
    • org.eclipse.ocl.examples.pivot.TemplateableElement
      • org.eclipse.ocl.examples.pivot.Operation (also extends org.eclipse.ocl.examples.domain.elements.DomainOperation, org.eclipse.ocl.examples.pivot.Feature, org.eclipse.ocl.examples.pivot.Namespace, org.eclipse.ocl.examples.pivot.ParameterableElement)
        • org.eclipse.ocl.examples.pivot.Iteration (also extends org.eclipse.ocl.examples.domain.elements.DomainIteration)
      • org.eclipse.ocl.examples.pivot.Package (also extends org.eclipse.ocl.examples.domain.elements.DomainPackage, org.eclipse.ocl.examples.pivot.Namespace)
        • org.eclipse.ocl.examples.pivot.Library
        • org.eclipse.ocl.examples.pivot.Profile
      • org.eclipse.ocl.examples.pivot.Type (also extends org.eclipse.ocl.examples.domain.elements.DomainType, org.eclipse.ocl.examples.pivot.NamedElement, org.eclipse.ocl.examples.pivot.ParameterableElement)
        • org.eclipse.ocl.examples.pivot.Class (also extends org.eclipse.ocl.examples.pivot.Namespace)
          • org.eclipse.ocl.examples.pivot.AnyType
          • org.eclipse.ocl.examples.pivot.AssociationClass
          • org.eclipse.ocl.examples.pivot.Behavior
            • org.eclipse.ocl.examples.pivot.StateMachine
          • org.eclipse.ocl.examples.pivot.DataType
            • org.eclipse.ocl.examples.pivot.CollectionType (also extends org.eclipse.ocl.examples.domain.elements.DomainCollectionType)
              • org.eclipse.ocl.examples.pivot.BagType
              • org.eclipse.ocl.examples.pivot.OrderedSetType
              • org.eclipse.ocl.examples.pivot.SequenceType
              • org.eclipse.ocl.examples.pivot.SetType
            • org.eclipse.ocl.examples.pivot.Enumeration (also extends org.eclipse.ocl.examples.domain.elements.DomainEnumeration)
            • org.eclipse.ocl.examples.pivot.LambdaType (also extends org.eclipse.ocl.examples.domain.elements.DomainLambdaType)
            • org.eclipse.ocl.examples.pivot.PrimitiveType
            • org.eclipse.ocl.examples.pivot.TupleType (also extends org.eclipse.ocl.examples.domain.elements.DomainTupleType)
          • org.eclipse.ocl.examples.pivot.InvalidType
          • org.eclipse.ocl.examples.pivot.Metaclass (also extends org.eclipse.ocl.examples.domain.elements.DomainMetaclass)
          • org.eclipse.ocl.examples.pivot.SelfType
          • org.eclipse.ocl.examples.pivot.Stereotype
          • org.eclipse.ocl.examples.pivot.UnspecifiedType
          • org.eclipse.ocl.examples.pivot.VoidType
        • org.eclipse.ocl.examples.pivot.DynamicType (also extends org.eclipse.ocl.examples.pivot.DynamicElement)
        • org.eclipse.ocl.examples.pivot.ElementExtension
        • org.eclipse.ocl.examples.pivot.MessageType
        • org.eclipse.ocl.examples.pivot.TemplateParameterType
    • org.eclipse.ocl.examples.pivot.TemplateBinding
    • org.eclipse.ocl.examples.pivot.TemplateParameter (also extends org.eclipse.ocl.examples.domain.elements.DomainTemplateParameter)
      • org.eclipse.ocl.examples.pivot.OperationTemplateParameter
      • org.eclipse.ocl.examples.pivot.TypeTemplateParameter
    • org.eclipse.ocl.examples.pivot.TemplateParameterSubstitution
    • org.eclipse.ocl.examples.pivot.TemplateSignature
• org.eclipse.ocl.examples.pivot.Environment.Registry
• org.eclipse.ocl.examples.pivot.EnvironmentFactory
• org.eclipse.ocl.examples.domain.elements.Nameable
  • org.eclipse.ocl.examples.domain.elements.DomainNamedElement (also extends org.eclipse.ocl.examples.domain.elements.DomainElement)
    • org.eclipse.ocl.examples.domain.elements.DomainConstraint
      • org.eclipse.ocl.examples.pivot.Constraint (also extends org.eclipse.ocl.examples.pivot.NamedElement)
    • org.eclipse.ocl.examples.domain.elements.DomainEnumerationLiteral
      • org.eclipse.ocl.examples.pivot.EnumerationLiteral (also extends org.eclipse.ocl.examples.pivot.NamedElement)
    • org.eclipse.ocl.examples.domain.elements.DomainNamespace
      • org.eclipse.ocl.examples.domain.elements.DomainPackage
        • org.eclipse.ocl.examples.pivot.Package (also extends org.eclipse.ocl.examples.pivot.Namespace, org.eclipse.ocl.examples.pivot.TemplateableElement)
          • org.eclipse.ocl.examples.pivot.Library
          • org.eclipse.ocl.examples.pivot.Profile
      • org.eclipse.ocl.examples.domain.elements.DomainRoot
        • org.eclipse.ocl.examples.pivot.Root (also extends org.eclipse.ocl.examples.pivot.Namespace)
      • org.eclipse.ocl.examples.domain.elements.DomainType (also extends org.eclipse.ocl.examples.domain.values.OCLValue)
        • org.eclipse.ocl.examples.domain.elements.DomainCollectionType
          • org.eclipse.ocl.examples.pivot.CollectionType (also extends org.eclipse.ocl.examples.pivot.DataType)
            • org.eclipse.ocl.examples.pivot.BagType
            • org.eclipse.ocl.examples.pivot.OrderedSetType
            • org.eclipse.ocl.examples.pivot.SequenceType
            • org.eclipse.ocl.examples.pivot.SetType
        • org.eclipse.ocl.examples.domain.elements.DomainEnumeration
          • org.eclipse.ocl.examples.pivot.Enumeration (also extends org.eclipse.ocl.examples.pivot.DataType)
        • org.eclipse.ocl.examples.domain.elements.DomainLambdaType
          • org.eclipse.ocl.examples.pivot.LambdaType (also extends org.eclipse.ocl.examples.pivot.DataType)
        • org.eclipse.ocl.examples.domain.elements.DomainMetaclass
          • org.eclipse.ocl.examples.pivot.Metaclass (also extends org.eclipse.ocl.examples.pivot.Class)
        • org.eclipse.ocl.examples.domain.elements.DomainTupleType
          • org.eclipse.ocl.examples.pivot.TupleType (also extends org.eclipse.ocl.examples.pivot.DataType)
        • org.eclipse.ocl.examples.pivot.Type (also extends org.eclipse.ocl.examples.pivot.NamedElement, org.eclipse.ocl.examples.pivot.ParameterableElement, org.eclipse.ocl.examples.pivot.TemplateableElement)
          • org.eclipse.ocl.examples.pivot.Class (also extends org.eclipse.ocl.examples.pivot.Namespace)
            • org.eclipse.ocl.examples.pivot.AnyType
            • org.eclipse.ocl.examples.pivot.AssociationClass
            • org.eclipse.ocl.examples.pivot.Behavior
              • org.eclipse.ocl.examples.pivot.StateMachine
            • org.eclipse.ocl.examples.pivot.DataType
              • org.eclipse.ocl.examples.pivot.CollectionType (also extends org.eclipse.ocl.examples.domain.elements.DomainCollectionType)
                • org.eclipse.ocl.examples.pivot.BagType
                • org.eclipse.ocl.examples.pivot.OrderedSetType
                • org.eclipse.ocl.examples.pivot.SequenceType
                • org.eclipse.ocl.examples.pivot.SetType
              • org.eclipse.ocl.examples.pivot.Enumeration (also extends org.eclipse.ocl.examples.domain.elements.DomainEnumeration)
              • org.eclipse.ocl.examples.pivot.LambdaType (also extends org.eclipse.ocl.examples.domain.elements.DomainLambdaType)
              • org.eclipse.ocl.examples.pivot.PrimitiveType
              • org.eclipse.ocl.examples.pivot.TupleType (also extends org.eclipse.ocl.examples.domain.elements.DomainTupleType)
            • org.eclipse.ocl.examples.pivot.InvalidType
            • org.eclipse.ocl.examples.pivot.Metaclass (also extends org.eclipse.ocl.examples.domain.elements.DomainMetaclass)
            • org.eclipse.ocl.examples.pivot.SelfType
            • org.eclipse.ocl.examples.pivot.Stereotype
            • org.eclipse.ocl.examples.pivot.UnspecifiedType
            • org.eclipse.ocl.examples.pivot.VoidType
          • org.eclipse.ocl.examples.pivot.DynamicType (also extends org.eclipse.ocl.examples.pivot.DynamicElement)
          • org.eclipse.ocl.examples.pivot.ElementExtension
          • org.eclipse.ocl.examples.pivot.MessageType
          • org.eclipse.ocl.examples.pivot.TemplateParameterType
      • org.eclipse.ocl.examples.pivot.Namespace (also extends org.eclipse.ocl.examples.pivot.NamedElement)
        • org.eclipse.ocl.examples.pivot.Class (also extends org.eclipse.ocl.examples.pivot.Type)
          • org.eclipse.ocl.examples.pivot.AnyType
          • org.eclipse.ocl.examples.pivot.AssociationClass
          • org.eclipse.ocl.examples.pivot.Behavior
            • org.eclipse.ocl.examples.pivot.StateMachine
          • org.eclipse.ocl.examples.pivot.DataType
            • org.eclipse.ocl.examples.pivot.CollectionType (also extends org.eclipse.ocl.examples.domain.elements.DomainCollectionType)
              • org.eclipse.ocl.examples.pivot.BagType
              • org.eclipse.ocl.examples.pivot.OrderedSetType
              • org.eclipse.ocl.examples.pivot.SequenceType
              • org.eclipse.ocl.examples.pivot.SetType
            • org.eclipse.ocl.examples.pivot.Enumeration (also extends org.eclipse.ocl.examples.domain.elements.DomainEnumeration)
            • org.eclipse.ocl.examples.pivot.LambdaType (also extends org.eclipse.ocl.examples.domain.elements.DomainLambdaType)
            • org.eclipse.ocl.examples.pivot.PrimitiveType
            • org.eclipse.ocl.examples.pivot.TupleType (also extends org.eclipse.ocl.examples.domain.elements.DomainTupleType)
          • org.eclipse.ocl.examples.pivot.InvalidType
          • org.eclipse.ocl.examples.pivot.Metaclass (also extends org.eclipse.ocl.examples.domain.elements.DomainMetaclass)
          • org.eclipse.ocl.examples.pivot.SelfType
          • org.eclipse.ocl.examples.pivot.Stereotype
          • org.eclipse.ocl.examples.pivot.UnspecifiedType
          • org.eclipse.ocl.examples.pivot.VoidType
        • org.eclipse.ocl.examples.pivot.Operation (also extends org.eclipse.ocl.examples.domain.elements.DomainOperation, org.eclipse.ocl.examples.pivot.Feature, org.eclipse.ocl.examples.pivot.ParameterableElement, org.eclipse.ocl.examples.pivot.TemplateableElement)
          • org.eclipse.ocl.examples.pivot.Iteration (also extends org.eclipse.ocl.examples.domain.elements.DomainIteration)
        • org.eclipse.ocl.examples.pivot.Package (also extends org.eclipse.ocl.examples.domain.elements.DomainPackage, org.eclipse.ocl.examples.pivot.TemplateableElement)
          • org.eclipse.ocl.examples.pivot.Library
          • org.eclipse.ocl.examples.pivot.Profile
        • org.eclipse.ocl.examples.pivot.Region
        • org.eclipse.ocl.examples.pivot.Root (also extends org.eclipse.ocl.examples.domain.elements.DomainRoot)
        • org.eclipse.ocl.examples.pivot.State (also extends org.eclipse.ocl.examples.pivot.Vertex)
          • org.eclipse.ocl.examples.pivot.FinalState
        • org.eclipse.ocl.examples.pivot.Transition
    • org.eclipse.ocl.examples.domain.elements.DomainTypedElement
      • org.eclipse.ocl.examples.domain.elements.DomainExpression
        • org.eclipse.ocl.examples.domain.elements.DomainCallExp
          • org.eclipse.ocl.examples.pivot.CallExp (also extends org.eclipse.ocl.examples.pivot.OCLExpression)
            • org.eclipse.ocl.examples.pivot.FeatureCallExp
              • org.eclipse.ocl.examples.pivot.NavigationCallExp
                • org.eclipse.ocl.examples.pivot.AssociationClassCallExp
                • org.eclipse.ocl.examples.pivot.PropertyCallExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
              • org.eclipse.ocl.examples.pivot.OperationCallExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
            • org.eclipse.ocl.examples.pivot.LoopExp
              • org.eclipse.ocl.examples.pivot.IterateExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
              • org.eclipse.ocl.examples.pivot.IteratorExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
        • org.eclipse.ocl.examples.pivot.OCLExpression (also extends org.eclipse.ocl.examples.pivot.TypedElement)
          • org.eclipse.ocl.examples.pivot.CallExp (also extends org.eclipse.ocl.examples.domain.elements.DomainCallExp)
            • org.eclipse.ocl.examples.pivot.FeatureCallExp
              • org.eclipse.ocl.examples.pivot.NavigationCallExp
                • org.eclipse.ocl.examples.pivot.AssociationClassCallExp
                • org.eclipse.ocl.examples.pivot.PropertyCallExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
              • org.eclipse.ocl.examples.pivot.OperationCallExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
            • org.eclipse.ocl.examples.pivot.LoopExp
              • org.eclipse.ocl.examples.pivot.IterateExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
              • org.eclipse.ocl.examples.pivot.IteratorExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
          • org.eclipse.ocl.examples.pivot.ConstructorExp
          • org.eclipse.ocl.examples.pivot.IfExp
          • org.eclipse.ocl.examples.pivot.LetExp
          • org.eclipse.ocl.examples.pivot.LiteralExp
            • org.eclipse.ocl.examples.pivot.CollectionLiteralExp
            • org.eclipse.ocl.examples.pivot.EnumLiteralExp
            • org.eclipse.ocl.examples.pivot.InvalidLiteralExp
            • org.eclipse.ocl.examples.pivot.PrimitiveLiteralExp
              • org.eclipse.ocl.examples.pivot.BooleanLiteralExp
              • org.eclipse.ocl.examples.pivot.NullLiteralExp
              • org.eclipse.ocl.examples.pivot.NumericLiteralExp
                • org.eclipse.ocl.examples.pivot.IntegerLiteralExp
                • org.eclipse.ocl.examples.pivot.RealLiteralExp
                • org.eclipse.ocl.examples.pivot.UnlimitedNaturalLiteralExp
              • org.eclipse.ocl.examples.pivot.StringLiteralExp
            • org.eclipse.ocl.examples.pivot.TupleLiteralExp
          • org.eclipse.ocl.examples.pivot.MessageExp
          • org.eclipse.ocl.examples.pivot.StateExp
          • org.eclipse.ocl.examples.pivot.TypeExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
          • org.eclipse.ocl.examples.pivot.UnspecifiedValueExp
          • org.eclipse.ocl.examples.pivot.VariableExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
        • org.eclipse.ocl.examples.pivot.OpaqueExpression (also extends org.eclipse.ocl.examples.pivot.ValueSpecification)
          • org.eclipse.ocl.examples.pivot.ExpressionInOCL
      • org.eclipse.ocl.examples.domain.elements.DomainFeature
        • org.eclipse.ocl.examples.domain.elements.DomainOperation
          • org.eclipse.ocl.examples.domain.elements.DomainIteration
            • org.eclipse.ocl.examples.pivot.Iteration (also extends org.eclipse.ocl.examples.pivot.Operation)
          • org.eclipse.ocl.examples.pivot.Operation (also extends org.eclipse.ocl.examples.pivot.Feature, org.eclipse.ocl.examples.pivot.Namespace, org.eclipse.ocl.examples.pivot.ParameterableElement, org.eclipse.ocl.examples.pivot.TemplateableElement)
            • org.eclipse.ocl.examples.pivot.Iteration (also extends org.eclipse.ocl.examples.domain.elements.DomainIteration)
        • org.eclipse.ocl.examples.domain.elements.DomainProperty
          • org.eclipse.ocl.examples.pivot.Property (also extends org.eclipse.ocl.examples.pivot.Feature, org.eclipse.ocl.examples.pivot.ParameterableElement)
      • org.eclipse.ocl.examples.pivot.TypedElement (also extends org.eclipse.ocl.examples.pivot.NamedElement)
        • org.eclipse.ocl.examples.pivot.CollectionLiteralPart
          • org.eclipse.ocl.examples.pivot.CollectionItem
          • org.eclipse.ocl.examples.pivot.CollectionRange
        • org.eclipse.ocl.examples.pivot.ConstructorPart
        • org.eclipse.ocl.examples.pivot.OCLExpression (also extends org.eclipse.ocl.examples.domain.elements.DomainExpression)
          • org.eclipse.ocl.examples.pivot.CallExp (also extends org.eclipse.ocl.examples.domain.elements.DomainCallExp)
            • org.eclipse.ocl.examples.pivot.FeatureCallExp
              • org.eclipse.ocl.examples.pivot.NavigationCallExp
                • org.eclipse.ocl.examples.pivot.AssociationClassCallExp
                • org.eclipse.ocl.examples.pivot.PropertyCallExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
              • org.eclipse.ocl.examples.pivot.OperationCallExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
            • org.eclipse.ocl.examples.pivot.LoopExp
              • org.eclipse.ocl.examples.pivot.IterateExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
              • org.eclipse.ocl.examples.pivot.IteratorExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
          • org.eclipse.ocl.examples.pivot.ConstructorExp
          • org.eclipse.ocl.examples.pivot.IfExp
          • org.eclipse.ocl.examples.pivot.LetExp
          • org.eclipse.ocl.examples.pivot.LiteralExp
            • org.eclipse.ocl.examples.pivot.CollectionLiteralExp
            • org.eclipse.ocl.examples.pivot.EnumLiteralExp
            • org.eclipse.ocl.examples.pivot.InvalidLiteralExp
            • org.eclipse.ocl.examples.pivot.PrimitiveLiteralExp
              • org.eclipse.ocl.examples.pivot.BooleanLiteralExp
              • org.eclipse.ocl.examples.pivot.NullLiteralExp
              • org.eclipse.ocl.examples.pivot.NumericLiteralExp
                • org.eclipse.ocl.examples.pivot.IntegerLiteralExp
                • org.eclipse.ocl.examples.pivot.RealLiteralExp
                • org.eclipse.ocl.examples.pivot.UnlimitedNaturalLiteralExp
              • org.eclipse.ocl.examples.pivot.StringLiteralExp
            • org.eclipse.ocl.examples.pivot.TupleLiteralExp
          • org.eclipse.ocl.examples.pivot.MessageExp
          • org.eclipse.ocl.examples.pivot.StateExp
          • org.eclipse.ocl.examples.pivot.TypeExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
          • org.eclipse.ocl.examples.pivot.UnspecifiedValueExp
          • org.eclipse.ocl.examples.pivot.VariableExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
        • org.eclipse.ocl.examples.pivot.TypedMultiplicityElement
          • org.eclipse.ocl.examples.pivot.Feature
            • org.eclipse.ocl.examples.pivot.Operation (also extends org.eclipse.ocl.examples.domain.elements.DomainOperation, org.eclipse.ocl.examples.pivot.Namespace, org.eclipse.ocl.examples.pivot.ParameterableElement, org.eclipse.ocl.examples.pivot.TemplateableElement)
              • org.eclipse.ocl.examples.pivot.Iteration (also extends org.eclipse.ocl.examples.domain.elements.DomainIteration)
            • org.eclipse.ocl.examples.pivot.Property (also extends org.eclipse.ocl.examples.domain.elements.DomainProperty, org.eclipse.ocl.examples.pivot.ParameterableElement)
          • org.eclipse.ocl.examples.pivot.Parameter (also extends org.eclipse.ocl.examples.pivot.VariableDeclaration)
        • org.eclipse.ocl.examples.pivot.ValueSpecification (also extends org.eclipse.ocl.examples.pivot.ParameterableElement)
          • org.eclipse.ocl.examples.pivot.OpaqueExpression (also extends org.eclipse.ocl.examples.domain.elements.DomainExpression)
            • org.eclipse.ocl.examples.pivot.ExpressionInOCL
        • org.eclipse.ocl.examples.pivot.VariableDeclaration
          • org.eclipse.ocl.examples.pivot.Parameter (also extends org.eclipse.ocl.examples.pivot.TypedMultiplicityElement)
          • org.eclipse.ocl.examples.pivot.TupleLiteralPart
          • org.eclipse.ocl.examples.pivot.Variable
    • org.eclipse.ocl.examples.pivot.NamedElement (also extends org.eclipse.ocl.examples.pivot.Element, org.eclipse.ocl.examples.domain.elements.Nameable)
      • org.eclipse.ocl.examples.pivot.Annotation
      • org.eclipse.ocl.examples.pivot.CallOperationAction
      • org.eclipse.ocl.examples.pivot.Constraint (also extends org.eclipse.ocl.examples.domain.elements.DomainConstraint)
      • org.eclipse.ocl.examples.pivot.Detail
      • org.eclipse.ocl.examples.pivot.EnumerationLiteral (also extends org.eclipse.ocl.examples.domain.elements.DomainEnumerationLiteral)
      • org.eclipse.ocl.examples.pivot.Import
      • org.eclipse.ocl.examples.pivot.Namespace (also extends org.eclipse.ocl.examples.domain.elements.DomainNamespace)
        • org.eclipse.ocl.examples.pivot.Class (also extends org.eclipse.ocl.examples.pivot.Type)
          • org.eclipse.ocl.examples.pivot.AnyType
          • org.eclipse.ocl.examples.pivot.AssociationClass
          • org.eclipse.ocl.examples.pivot.Behavior
            • org.eclipse.ocl.examples.pivot.StateMachine
          • org.eclipse.ocl.examples.pivot.DataType
            • org.eclipse.ocl.examples.pivot.CollectionType (also extends org.eclipse.ocl.examples.domain.elements.DomainCollectionType)
              • org.eclipse.ocl.examples.pivot.BagType
              • org.eclipse.ocl.examples.pivot.OrderedSetType
              • org.eclipse.ocl.examples.pivot.SequenceType
              • org.eclipse.ocl.examples.pivot.SetType
            • org.eclipse.ocl.examples.pivot.Enumeration (also extends org.eclipse.ocl.examples.domain.elements.DomainEnumeration)
            • org.eclipse.ocl.examples.pivot.LambdaType (also extends org.eclipse.ocl.examples.domain.elements.DomainLambdaType)
            • org.eclipse.ocl.examples.pivot.PrimitiveType
            • org.eclipse.ocl.examples.pivot.TupleType (also extends org.eclipse.ocl.examples.domain.elements.DomainTupleType)
          • org.eclipse.ocl.examples.pivot.InvalidType
          • org.eclipse.ocl.examples.pivot.Metaclass (also extends org.eclipse.ocl.examples.domain.elements.DomainMetaclass)
          • org.eclipse.ocl.examples.pivot.SelfType
          • org.eclipse.ocl.examples.pivot.Stereotype
          • org.eclipse.ocl.examples.pivot.UnspecifiedType
          • org.eclipse.ocl.examples.pivot.VoidType
        • org.eclipse.ocl.examples.pivot.Operation (also extends org.eclipse.ocl.examples.domain.elements.DomainOperation, org.eclipse.ocl.examples.pivot.Feature, org.eclipse.ocl.examples.pivot.ParameterableElement, org.eclipse.ocl.examples.pivot.TemplateableElement)
          • org.eclipse.ocl.examples.pivot.Iteration (also extends org.eclipse.ocl.examples.domain.elements.DomainIteration)
        • org.eclipse.ocl.examples.pivot.Package (also extends org.eclipse.ocl.examples.domain.elements.DomainPackage, org.eclipse.ocl.examples.pivot.TemplateableElement)
          • org.eclipse.ocl.examples.pivot.Library
          • org.eclipse.ocl.examples.pivot.Profile
        • org.eclipse.ocl.examples.pivot.Region
        • org.eclipse.ocl.examples.pivot.Root (also extends org.eclipse.ocl.examples.domain.elements.DomainRoot)
        • org.eclipse.ocl.examples.pivot.State (also extends org.eclipse.ocl.examples.pivot.Vertex)
          • org.eclipse.ocl.examples.pivot.FinalState
        • org.eclipse.ocl.examples.pivot.Transition
      • org.eclipse.ocl.examples.pivot.Precedence
      • org.eclipse.ocl.examples.pivot.SendSignalAction
      • org.eclipse.ocl.examples.pivot.Signal
      • org.eclipse.ocl.examples.pivot.Trigger
      • org.eclipse.ocl.examples.pivot.Type (also extends org.eclipse.ocl.examples.domain.elements.DomainType, org.eclipse.ocl.examples.pivot.ParameterableElement, org.eclipse.ocl.examples.pivot.TemplateableElement)
        • org.eclipse.ocl.examples.pivot.Class (also extends org.eclipse.ocl.examples.pivot.Namespace)
          • org.eclipse.ocl.examples.pivot.AnyType
          • org.eclipse.ocl.examples.pivot.AssociationClass
          • org.eclipse.ocl.examples.pivot.Behavior
            • org.eclipse.ocl.examples.pivot.StateMachine
          • org.eclipse.ocl.examples.pivot.DataType
            • org.eclipse.ocl.examples.pivot.CollectionType (also extends org.eclipse.ocl.examples.domain.elements.DomainCollectionType)
              • org.eclipse.ocl.examples.pivot.BagType
              • org.eclipse.ocl.examples.pivot.OrderedSetType
              • org.eclipse.ocl.examples.pivot.SequenceType
              • org.eclipse.ocl.examples.pivot.SetType
            • org.eclipse.ocl.examples.pivot.Enumeration (also extends org.eclipse.ocl.examples.domain.elements.DomainEnumeration)
            • org.eclipse.ocl.examples.pivot.LambdaType (also extends org.eclipse.ocl.examples.domain.elements.DomainLambdaType)
            • org.eclipse.ocl.examples.pivot.PrimitiveType
            • org.eclipse.ocl.examples.pivot.TupleType (also extends org.eclipse.ocl.examples.domain.elements.DomainTupleType)
          • org.eclipse.ocl.examples.pivot.InvalidType
          • org.eclipse.ocl.examples.pivot.Metaclass (also extends org.eclipse.ocl.examples.domain.elements.DomainMetaclass)
          • org.eclipse.ocl.examples.pivot.SelfType
          • org.eclipse.ocl.examples.pivot.Stereotype
          • org.eclipse.ocl.examples.pivot.UnspecifiedType
          • org.eclipse.ocl.examples.pivot.VoidType
        • org.eclipse.ocl.examples.pivot.DynamicType (also extends org.eclipse.ocl.examples.pivot.DynamicElement)
        • org.eclipse.ocl.examples.pivot.ElementExtension
        • org.eclipse.ocl.examples.pivot.MessageType
        • org.eclipse.ocl.examples.pivot.TemplateParameterType
      • org.eclipse.ocl.examples.pivot.TypedElement (also extends org.eclipse.ocl.examples.domain.elements.DomainTypedElement)
        • org.eclipse.ocl.examples.pivot.CollectionLiteralPart
          • org.eclipse.ocl.examples.pivot.CollectionItem
          • org.eclipse.ocl.examples.pivot.CollectionRange
        • org.eclipse.ocl.examples.pivot.ConstructorPart
        • org.eclipse.ocl.examples.pivot.OCLExpression (also extends org.eclipse.ocl.examples.domain.elements.DomainExpression)
          • org.eclipse.ocl.examples.pivot.CallExp (also extends org.eclipse.ocl.examples.domain.elements.DomainCallExp)
            • org.eclipse.ocl.examples.pivot.FeatureCallExp
              • org.eclipse.ocl.examples.pivot.NavigationCallExp
                • org.eclipse.ocl.examples.pivot.AssociationClassCallExp
                • org.eclipse.ocl.examples.pivot.PropertyCallExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
              • org.eclipse.ocl.examples.pivot.OperationCallExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
            • org.eclipse.ocl.examples.pivot.LoopExp
              • org.eclipse.ocl.examples.pivot.IterateExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
              • org.eclipse.ocl.examples.pivot.IteratorExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
          • org.eclipse.ocl.examples.pivot.ConstructorExp
          • org.eclipse.ocl.examples.pivot.IfExp
          • org.eclipse.ocl.examples.pivot.LetExp
          • org.eclipse.ocl.examples.pivot.LiteralExp
            • org.eclipse.ocl.examples.pivot.CollectionLiteralExp
            • org.eclipse.ocl.examples.pivot.EnumLiteralExp
            • org.eclipse.ocl.examples.pivot.InvalidLiteralExp
            • org.eclipse.ocl.examples.pivot.PrimitiveLiteralExp
              • org.eclipse.ocl.examples.pivot.BooleanLiteralExp
              • org.eclipse.ocl.examples.pivot.NullLiteralExp
              • org.eclipse.ocl.examples.pivot.NumericLiteralExp
                • org.eclipse.ocl.examples.pivot.IntegerLiteralExp
                • org.eclipse.ocl.examples.pivot.RealLiteralExp
                • org.eclipse.ocl.examples.pivot.UnlimitedNaturalLiteralExp
              • org.eclipse.ocl.examples.pivot.StringLiteralExp
            • org.eclipse.ocl.examples.pivot.TupleLiteralExp
          • org.eclipse.ocl.examples.pivot.MessageExp
          • org.eclipse.ocl.examples.pivot.StateExp
          • org.eclipse.ocl.examples.pivot.TypeExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
          • org.eclipse.ocl.examples.pivot.UnspecifiedValueExp
          • org.eclipse.ocl.examples.pivot.VariableExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
        • org.eclipse.ocl.examples.pivot.TypedMultiplicityElement
          • org.eclipse.ocl.examples.pivot.Feature
            • org.eclipse.ocl.examples.pivot.Operation (also extends org.eclipse.ocl.examples.domain.elements.DomainOperation, org.eclipse.ocl.examples.pivot.Namespace, org.eclipse.ocl.examples.pivot.ParameterableElement, org.eclipse.ocl.examples.pivot.TemplateableElement)
              • org.eclipse.ocl.examples.pivot.Iteration (also extends org.eclipse.ocl.examples.domain.elements.DomainIteration)
            • org.eclipse.ocl.examples.pivot.Property (also extends org.eclipse.ocl.examples.domain.elements.DomainProperty, org.eclipse.ocl.examples.pivot.ParameterableElement)
          • org.eclipse.ocl.examples.pivot.Parameter (also extends org.eclipse.ocl.examples.pivot.VariableDeclaration)
        • org.eclipse.ocl.examples.pivot.ValueSpecification (also extends org.eclipse.ocl.examples.pivot.ParameterableElement)
          • org.eclipse.ocl.examples.pivot.OpaqueExpression (also extends org.eclipse.ocl.examples.domain.elements.DomainExpression)
            • org.eclipse.ocl.examples.pivot.ExpressionInOCL
        • org.eclipse.ocl.examples.pivot.VariableDeclaration
          • org.eclipse.ocl.examples.pivot.Parameter (also extends org.eclipse.ocl.examples.pivot.TypedMultiplicityElement)
          • org.eclipse.ocl.examples.pivot.TupleLiteralPart
          • org.eclipse.ocl.examples.pivot.Variable
      • org.eclipse.ocl.examples.pivot.Vertex
        • org.eclipse.ocl.examples.pivot.ConnectionPointReference
        • org.eclipse.ocl.examples.pivot.Pseudostate
        • org.eclipse.ocl.examples.pivot.State (also extends org.eclipse.ocl.examples.pivot.Namespace)
          • org.eclipse.ocl.examples.pivot.FinalState
  • org.eclipse.ocl.examples.pivot.NamedElement (also extends org.eclipse.ocl.examples.domain.elements.DomainNamedElement, org.eclipse.ocl.examples.pivot.Element)
    • org.eclipse.ocl.examples.pivot.Annotation
    • org.eclipse.ocl.examples.pivot.CallOperationAction
    • org.eclipse.ocl.examples.pivot.Constraint (also extends org.eclipse.ocl.examples.domain.elements.DomainConstraint)
    • org.eclipse.ocl.examples.pivot.Detail
    • org.eclipse.ocl.examples.pivot.EnumerationLiteral (also extends org.eclipse.ocl.examples.domain.elements.DomainEnumerationLiteral)
    • org.eclipse.ocl.examples.pivot.Import
    • org.eclipse.ocl.examples.pivot.Namespace (also extends org.eclipse.ocl.examples.domain.elements.DomainNamespace)
      • org.eclipse.ocl.examples.pivot.Class (also extends org.eclipse.ocl.examples.pivot.Type)
        • org.eclipse.ocl.examples.pivot.AnyType
        • org.eclipse.ocl.examples.pivot.AssociationClass
        • org.eclipse.ocl.examples.pivot.Behavior
          • org.eclipse.ocl.examples.pivot.StateMachine
        • org.eclipse.ocl.examples.pivot.DataType
          • org.eclipse.ocl.examples.pivot.CollectionType (also extends org.eclipse.ocl.examples.domain.elements.DomainCollectionType)
            • org.eclipse.ocl.examples.pivot.BagType
            • org.eclipse.ocl.examples.pivot.OrderedSetType
            • org.eclipse.ocl.examples.pivot.SequenceType
            • org.eclipse.ocl.examples.pivot.SetType
          • org.eclipse.ocl.examples.pivot.Enumeration (also extends org.eclipse.ocl.examples.domain.elements.DomainEnumeration)
          • org.eclipse.ocl.examples.pivot.LambdaType (also extends org.eclipse.ocl.examples.domain.elements.DomainLambdaType)
          • org.eclipse.ocl.examples.pivot.PrimitiveType
          • org.eclipse.ocl.examples.pivot.TupleType (also extends org.eclipse.ocl.examples.domain.elements.DomainTupleType)
        • org.eclipse.ocl.examples.pivot.InvalidType
        • org.eclipse.ocl.examples.pivot.Metaclass (also extends org.eclipse.ocl.examples.domain.elements.DomainMetaclass)
        • org.eclipse.ocl.examples.pivot.SelfType
        • org.eclipse.ocl.examples.pivot.Stereotype
        • org.eclipse.ocl.examples.pivot.UnspecifiedType
        • org.eclipse.ocl.examples.pivot.VoidType
      • org.eclipse.ocl.examples.pivot.Operation (also extends org.eclipse.ocl.examples.domain.elements.DomainOperation, org.eclipse.ocl.examples.pivot.Feature, org.eclipse.ocl.examples.pivot.ParameterableElement, org.eclipse.ocl.examples.pivot.TemplateableElement)
        • org.eclipse.ocl.examples.pivot.Iteration (also extends org.eclipse.ocl.examples.domain.elements.DomainIteration)
      • org.eclipse.ocl.examples.pivot.Package (also extends org.eclipse.ocl.examples.domain.elements.DomainPackage, org.eclipse.ocl.examples.pivot.TemplateableElement)
        • org.eclipse.ocl.examples.pivot.Library
        • org.eclipse.ocl.examples.pivot.Profile
      • org.eclipse.ocl.examples.pivot.Region
      • org.eclipse.ocl.examples.pivot.Root (also extends org.eclipse.ocl.examples.domain.elements.DomainRoot)
      • org.eclipse.ocl.examples.pivot.State (also extends org.eclipse.ocl.examples.pivot.Vertex)
        • org.eclipse.ocl.examples.pivot.FinalState
      • org.eclipse.ocl.examples.pivot.Transition
    • org.eclipse.ocl.examples.pivot.Precedence
    • org.eclipse.ocl.examples.pivot.SendSignalAction
    • org.eclipse.ocl.examples.pivot.Signal
    • org.eclipse.ocl.examples.pivot.Trigger
    • org.eclipse.ocl.examples.pivot.Type (also extends org.eclipse.ocl.examples.domain.elements.DomainType, org.eclipse.ocl.examples.pivot.ParameterableElement, org.eclipse.ocl.examples.pivot.TemplateableElement)
      • org.eclipse.ocl.examples.pivot.Class (also extends org.eclipse.ocl.examples.pivot.Namespace)
        • org.eclipse.ocl.examples.pivot.AnyType
        • org.eclipse.ocl.examples.pivot.AssociationClass
        • org.eclipse.ocl.examples.pivot.Behavior
          • org.eclipse.ocl.examples.pivot.StateMachine
        • org.eclipse.ocl.examples.pivot.DataType
          • org.eclipse.ocl.examples.pivot.CollectionType (also extends org.eclipse.ocl.examples.domain.elements.DomainCollectionType)
            • org.eclipse.ocl.examples.pivot.BagType
            • org.eclipse.ocl.examples.pivot.OrderedSetType
            • org.eclipse.ocl.examples.pivot.SequenceType
            • org.eclipse.ocl.examples.pivot.SetType
          • org.eclipse.ocl.examples.pivot.Enumeration (also extends org.eclipse.ocl.examples.domain.elements.DomainEnumeration)
          • org.eclipse.ocl.examples.pivot.LambdaType (also extends org.eclipse.ocl.examples.domain.elements.DomainLambdaType)
          • org.eclipse.ocl.examples.pivot.PrimitiveType
          • org.eclipse.ocl.examples.pivot.TupleType (also extends org.eclipse.ocl.examples.domain.elements.DomainTupleType)
        • org.eclipse.ocl.examples.pivot.InvalidType
        • org.eclipse.ocl.examples.pivot.Metaclass (also extends org.eclipse.ocl.examples.domain.elements.DomainMetaclass)
        • org.eclipse.ocl.examples.pivot.SelfType
        • org.eclipse.ocl.examples.pivot.Stereotype
        • org.eclipse.ocl.examples.pivot.UnspecifiedType
        • org.eclipse.ocl.examples.pivot.VoidType
      • org.eclipse.ocl.examples.pivot.DynamicType (also extends org.eclipse.ocl.examples.pivot.DynamicElement)
      • org.eclipse.ocl.examples.pivot.ElementExtension
      • org.eclipse.ocl.examples.pivot.MessageType
      • org.eclipse.ocl.examples.pivot.TemplateParameterType
    • org.eclipse.ocl.examples.pivot.TypedElement (also extends org.eclipse.ocl.examples.domain.elements.DomainTypedElement)
      • org.eclipse.ocl.examples.pivot.CollectionLiteralPart
        • org.eclipse.ocl.examples.pivot.CollectionItem
        • org.eclipse.ocl.examples.pivot.CollectionRange
      • org.eclipse.ocl.examples.pivot.ConstructorPart
      • org.eclipse.ocl.examples.pivot.OCLExpression (also extends org.eclipse.ocl.examples.domain.elements.DomainExpression)
        • org.eclipse.ocl.examples.pivot.CallExp (also extends org.eclipse.ocl.examples.domain.elements.DomainCallExp)
          • org.eclipse.ocl.examples.pivot.FeatureCallExp
            • org.eclipse.ocl.examples.pivot.NavigationCallExp
              • org.eclipse.ocl.examples.pivot.AssociationClassCallExp
              • org.eclipse.ocl.examples.pivot.PropertyCallExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
            • org.eclipse.ocl.examples.pivot.OperationCallExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
          • org.eclipse.ocl.examples.pivot.LoopExp
            • org.eclipse.ocl.examples.pivot.IterateExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
            • org.eclipse.ocl.examples.pivot.IteratorExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
        • org.eclipse.ocl.examples.pivot.ConstructorExp
        • org.eclipse.ocl.examples.pivot.IfExp
        • org.eclipse.ocl.examples.pivot.LetExp
        • org.eclipse.ocl.examples.pivot.LiteralExp
          • org.eclipse.ocl.examples.pivot.CollectionLiteralExp
          • org.eclipse.ocl.examples.pivot.EnumLiteralExp
          • org.eclipse.ocl.examples.pivot.InvalidLiteralExp
          • org.eclipse.ocl.examples.pivot.PrimitiveLiteralExp
            • org.eclipse.ocl.examples.pivot.BooleanLiteralExp
            • org.eclipse.ocl.examples.pivot.NullLiteralExp
            • org.eclipse.ocl.examples.pivot.NumericLiteralExp
              • org.eclipse.ocl.examples.pivot.IntegerLiteralExp
              • org.eclipse.ocl.examples.pivot.RealLiteralExp
              • org.eclipse.ocl.examples.pivot.UnlimitedNaturalLiteralExp
            • org.eclipse.ocl.examples.pivot.StringLiteralExp
          • org.eclipse.ocl.examples.pivot.TupleLiteralExp
        • org.eclipse.ocl.examples.pivot.MessageExp
        • org.eclipse.ocl.examples.pivot.StateExp
        • org.eclipse.ocl.examples.pivot.TypeExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
        • org.eclipse.ocl.examples.pivot.UnspecifiedValueExp
        • org.eclipse.ocl.examples.pivot.VariableExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
      • org.eclipse.ocl.examples.pivot.TypedMultiplicityElement
        • org.eclipse.ocl.examples.pivot.Feature
          • org.eclipse.ocl.examples.pivot.Operation (also extends org.eclipse.ocl.examples.domain.elements.DomainOperation, org.eclipse.ocl.examples.pivot.Namespace, org.eclipse.ocl.examples.pivot.ParameterableElement, org.eclipse.ocl.examples.pivot.TemplateableElement)
            • org.eclipse.ocl.examples.pivot.Iteration (also extends org.eclipse.ocl.examples.domain.elements.DomainIteration)
          • org.eclipse.ocl.examples.pivot.Property (also extends org.eclipse.ocl.examples.domain.elements.DomainProperty, org.eclipse.ocl.examples.pivot.ParameterableElement)
        • org.eclipse.ocl.examples.pivot.Parameter (also extends org.eclipse.ocl.examples.pivot.VariableDeclaration)
      • org.eclipse.ocl.examples.pivot.ValueSpecification (also extends org.eclipse.ocl.examples.pivot.ParameterableElement)
        • org.eclipse.ocl.examples.pivot.OpaqueExpression (also extends org.eclipse.ocl.examples.domain.elements.DomainExpression)
          • org.eclipse.ocl.examples.pivot.ExpressionInOCL
      • org.eclipse.ocl.examples.pivot.VariableDeclaration
        • org.eclipse.ocl.examples.pivot.Parameter (also extends org.eclipse.ocl.examples.pivot.TypedMultiplicityElement)
        • org.eclipse.ocl.examples.pivot.TupleLiteralPart
        • org.eclipse.ocl.examples.pivot.Variable
    • org.eclipse.ocl.examples.pivot.Vertex
      • org.eclipse.ocl.examples.pivot.ConnectionPointReference
      • org.eclipse.ocl.examples.pivot.Pseudostate
      • org.eclipse.ocl.examples.pivot.State (also extends org.eclipse.ocl.examples.pivot.Namespace)
        • org.eclipse.ocl.examples.pivot.FinalState
• org.eclipse.emf.common.notify.Notifier
  • org.eclipse.emf.ecore.EObject
    • org.eclipse.emf.ecore.EModelElement
      • org.eclipse.emf.ecore.EFactory
        • org.eclipse.ocl.examples.pivot.PivotFactory
      • org.eclipse.emf.ecore.ENamedElement
        • org.eclipse.emf.ecore.EPackage
          • org.eclipse.ocl.examples.pivot.PivotPackage
    • org.eclipse.ocl.examples.pivot.utilities.PivotObject
      • org.eclipse.ocl.examples.pivot.Element (also extends org.eclipse.ocl.examples.domain.elements.DomainElement, org.eclipse.ocl.examples.pivot.util.Visitable)
        • org.eclipse.ocl.examples.pivot.Comment
        • org.eclipse.ocl.examples.pivot.DynamicElement
          • org.eclipse.ocl.examples.pivot.DynamicType (also extends org.eclipse.ocl.examples.pivot.Type)
        • org.eclipse.ocl.examples.pivot.DynamicProperty
        • org.eclipse.ocl.examples.pivot.NamedElement (also extends org.eclipse.ocl.examples.domain.elements.DomainNamedElement, org.eclipse.ocl.examples.domain.elements.Nameable)
          • org.eclipse.ocl.examples.pivot.Annotation
          • org.eclipse.ocl.examples.pivot.CallOperationAction
          • org.eclipse.ocl.examples.pivot.Constraint (also extends org.eclipse.ocl.examples.domain.elements.DomainConstraint)
          • org.eclipse.ocl.examples.pivot.Detail
          • org.eclipse.ocl.examples.pivot.EnumerationLiteral (also extends org.eclipse.ocl.examples.domain.elements.DomainEnumerationLiteral)
          • org.eclipse.ocl.examples.pivot.Import
          • org.eclipse.ocl.examples.pivot.Namespace (also extends org.eclipse.ocl.examples.domain.elements.DomainNamespace)
            • org.eclipse.ocl.examples.pivot.Class (also extends org.eclipse.ocl.examples.pivot.Type)
              • org.eclipse.ocl.examples.pivot.AnyType
              • org.eclipse.ocl.examples.pivot.AssociationClass
              • org.eclipse.ocl.examples.pivot.Behavior
                • org.eclipse.ocl.examples.pivot.StateMachine
              • org.eclipse.ocl.examples.pivot.DataType
                • org.eclipse.ocl.examples.pivot.CollectionType (also extends org.eclipse.ocl.examples.domain.elements.DomainCollectionType)
                  • org.eclipse.ocl.examples.pivot.BagType
                  • org.eclipse.ocl.examples.pivot.OrderedSetType
                  • org.eclipse.ocl.examples.pivot.SequenceType
                  • org.eclipse.ocl.examples.pivot.SetType
                • org.eclipse.ocl.examples.pivot.Enumeration (also extends org.eclipse.ocl.examples.domain.elements.DomainEnumeration)
                • org.eclipse.ocl.examples.pivot.LambdaType (also extends org.eclipse.ocl.examples.domain.elements.DomainLambdaType)
                • org.eclipse.ocl.examples.pivot.PrimitiveType
                • org.eclipse.ocl.examples.pivot.TupleType (also extends org.eclipse.ocl.examples.domain.elements.DomainTupleType)
              • org.eclipse.ocl.examples.pivot.InvalidType
              • org.eclipse.ocl.examples.pivot.Metaclass (also extends org.eclipse.ocl.examples.domain.elements.DomainMetaclass)
              • org.eclipse.ocl.examples.pivot.SelfType
              • org.eclipse.ocl.examples.pivot.Stereotype
              • org.eclipse.ocl.examples.pivot.UnspecifiedType
              • org.eclipse.ocl.examples.pivot.VoidType
            • org.eclipse.ocl.examples.pivot.Operation (also extends org.eclipse.ocl.examples.domain.elements.DomainOperation, org.eclipse.ocl.examples.pivot.Feature, org.eclipse.ocl.examples.pivot.ParameterableElement, org.eclipse.ocl.examples.pivot.TemplateableElement)
              • org.eclipse.ocl.examples.pivot.Iteration (also extends org.eclipse.ocl.examples.domain.elements.DomainIteration)
            • org.eclipse.ocl.examples.pivot.Package (also extends org.eclipse.ocl.examples.domain.elements.DomainPackage, org.eclipse.ocl.examples.pivot.TemplateableElement)
              • org.eclipse.ocl.examples.pivot.Library
              • org.eclipse.ocl.examples.pivot.Profile
            • org.eclipse.ocl.examples.pivot.Region
            • org.eclipse.ocl.examples.pivot.Root (also extends org.eclipse.ocl.examples.domain.elements.DomainRoot)
            • org.eclipse.ocl.examples.pivot.State (also extends org.eclipse.ocl.examples.pivot.Vertex)
              • org.eclipse.ocl.examples.pivot.FinalState
            • org.eclipse.ocl.examples.pivot.Transition
          • org.eclipse.ocl.examples.pivot.Precedence
          • org.eclipse.ocl.examples.pivot.SendSignalAction
          • org.eclipse.ocl.examples.pivot.Signal
          • org.eclipse.ocl.examples.pivot.Trigger
          • org.eclipse.ocl.examples.pivot.Type (also extends org.eclipse.ocl.examples.domain.elements.DomainType, org.eclipse.ocl.examples.pivot.ParameterableElement, org.eclipse.ocl.examples.pivot.TemplateableElement)
            • org.eclipse.ocl.examples.pivot.Class (also extends org.eclipse.ocl.examples.pivot.Namespace)
              • org.eclipse.ocl.examples.pivot.AnyType
              • org.eclipse.ocl.examples.pivot.AssociationClass
              • org.eclipse.ocl.examples.pivot.Behavior
                • org.eclipse.ocl.examples.pivot.StateMachine
              • org.eclipse.ocl.examples.pivot.DataType
                • org.eclipse.ocl.examples.pivot.CollectionType (also extends org.eclipse.ocl.examples.domain.elements.DomainCollectionType)
                  • org.eclipse.ocl.examples.pivot.BagType
                  • org.eclipse.ocl.examples.pivot.OrderedSetType
                  • org.eclipse.ocl.examples.pivot.SequenceType
                  • org.eclipse.ocl.examples.pivot.SetType
                • org.eclipse.ocl.examples.pivot.Enumeration (also extends org.eclipse.ocl.examples.domain.elements.DomainEnumeration)
                • org.eclipse.ocl.examples.pivot.LambdaType (also extends org.eclipse.ocl.examples.domain.elements.DomainLambdaType)
                • org.eclipse.ocl.examples.pivot.PrimitiveType
                • org.eclipse.ocl.examples.pivot.TupleType (also extends org.eclipse.ocl.examples.domain.elements.DomainTupleType)
              • org.eclipse.ocl.examples.pivot.InvalidType
              • org.eclipse.ocl.examples.pivot.Metaclass (also extends org.eclipse.ocl.examples.domain.elements.DomainMetaclass)
              • org.eclipse.ocl.examples.pivot.SelfType
              • org.eclipse.ocl.examples.pivot.Stereotype
              • org.eclipse.ocl.examples.pivot.UnspecifiedType
              • org.eclipse.ocl.examples.pivot.VoidType
            • org.eclipse.ocl.examples.pivot.DynamicType (also extends org.eclipse.ocl.examples.pivot.DynamicElement)
            • org.eclipse.ocl.examples.pivot.ElementExtension
            • org.eclipse.ocl.examples.pivot.MessageType
            • org.eclipse.ocl.examples.pivot.TemplateParameterType
          • org.eclipse.ocl.examples.pivot.TypedElement (also extends org.eclipse.ocl.examples.domain.elements.DomainTypedElement)
            • org.eclipse.ocl.examples.pivot.CollectionLiteralPart
              • org.eclipse.ocl.examples.pivot.CollectionItem
              • org.eclipse.ocl.examples.pivot.CollectionRange
            • org.eclipse.ocl.examples.pivot.ConstructorPart
            • org.eclipse.ocl.examples.pivot.OCLExpression (also extends org.eclipse.ocl.examples.domain.elements.DomainExpression)
              • org.eclipse.ocl.examples.pivot.CallExp (also extends org.eclipse.ocl.examples.domain.elements.DomainCallExp)
                • org.eclipse.ocl.examples.pivot.FeatureCallExp
                  • org.eclipse.ocl.examples.pivot.NavigationCallExp
                    • org.eclipse.ocl.examples.pivot.AssociationClassCallExp
                    • org.eclipse.ocl.examples.pivot.PropertyCallExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
                  • org.eclipse.ocl.examples.pivot.OperationCallExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
                • org.eclipse.ocl.examples.pivot.LoopExp
                  • org.eclipse.ocl.examples.pivot.IterateExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
                  • org.eclipse.ocl.examples.pivot.IteratorExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
              • org.eclipse.ocl.examples.pivot.ConstructorExp
              • org.eclipse.ocl.examples.pivot.IfExp
              • org.eclipse.ocl.examples.pivot.LetExp
              • org.eclipse.ocl.examples.pivot.LiteralExp
                • org.eclipse.ocl.examples.pivot.CollectionLiteralExp
                • org.eclipse.ocl.examples.pivot.EnumLiteralExp
                • org.eclipse.ocl.examples.pivot.InvalidLiteralExp
                • org.eclipse.ocl.examples.pivot.PrimitiveLiteralExp
                  • org.eclipse.ocl.examples.pivot.BooleanLiteralExp
                  • org.eclipse.ocl.examples.pivot.NullLiteralExp
                  • org.eclipse.ocl.examples.pivot.NumericLiteralExp
                    • org.eclipse.ocl.examples.pivot.IntegerLiteralExp
                    • org.eclipse.ocl.examples.pivot.RealLiteralExp
                    • org.eclipse.ocl.examples.pivot.UnlimitedNaturalLiteralExp
                  • org.eclipse.ocl.examples.pivot.StringLiteralExp
                • org.eclipse.ocl.examples.pivot.TupleLiteralExp
              • org.eclipse.ocl.examples.pivot.MessageExp
              • org.eclipse.ocl.examples.pivot.StateExp
              • org.eclipse.ocl.examples.pivot.TypeExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
              • org.eclipse.ocl.examples.pivot.UnspecifiedValueExp
              • org.eclipse.ocl.examples.pivot.VariableExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
            • org.eclipse.ocl.examples.pivot.TypedMultiplicityElement
              • org.eclipse.ocl.examples.pivot.Feature
                • org.eclipse.ocl.examples.pivot.Operation (also extends org.eclipse.ocl.examples.domain.elements.DomainOperation, org.eclipse.ocl.examples.pivot.Namespace, org.eclipse.ocl.examples.pivot.ParameterableElement, org.eclipse.ocl.examples.pivot.TemplateableElement)
                  • org.eclipse.ocl.examples.pivot.Iteration (also extends org.eclipse.ocl.examples.domain.elements.DomainIteration)
                • org.eclipse.ocl.examples.pivot.Property (also extends org.eclipse.ocl.examples.domain.elements.DomainProperty, org.eclipse.ocl.examples.pivot.ParameterableElement)
              • org.eclipse.ocl.examples.pivot.Parameter (also extends org.eclipse.ocl.examples.pivot.VariableDeclaration)
            • org.eclipse.ocl.examples.pivot.ValueSpecification (also extends org.eclipse.ocl.examples.pivot.ParameterableElement)
              • org.eclipse.ocl.examples.pivot.OpaqueExpression (also extends org.eclipse.ocl.examples.domain.elements.DomainExpression)
                • org.eclipse.ocl.examples.pivot.ExpressionInOCL
            • org.eclipse.ocl.examples.pivot.VariableDeclaration
              • org.eclipse.ocl.examples.pivot.Parameter (also extends org.eclipse.ocl.examples.pivot.TypedMultiplicityElement)
              • org.eclipse.ocl.examples.pivot.TupleLiteralPart
              • org.eclipse.ocl.examples.pivot.Variable
          • org.eclipse.ocl.examples.pivot.Vertex
            • org.eclipse.ocl.examples.pivot.ConnectionPointReference
            • org.eclipse.ocl.examples.pivot.Pseudostate
            • org.eclipse.ocl.examples.pivot.State (also extends org.eclipse.ocl.examples.pivot.Namespace)
              • org.eclipse.ocl.examples.pivot.FinalState
        • org.eclipse.ocl.examples.pivot.ParameterableElement
          • org.eclipse.ocl.examples.pivot.Operation (also extends org.eclipse.ocl.examples.domain.elements.DomainOperation, org.eclipse.ocl.examples.pivot.Feature, org.eclipse.ocl.examples.pivot.Namespace, org.eclipse.ocl.examples.pivot.TemplateableElement)
            • org.eclipse.ocl.examples.pivot.Iteration (also extends org.eclipse.ocl.examples.domain.elements.DomainIteration)
          • org.eclipse.ocl.examples.pivot.PackageableElement
          • org.eclipse.ocl.examples.pivot.Property (also extends org.eclipse.ocl.examples.domain.elements.DomainProperty, org.eclipse.ocl.examples.pivot.Feature)
          • org.eclipse.ocl.examples.pivot.Type (also extends org.eclipse.ocl.examples.domain.elements.DomainType, org.eclipse.ocl.examples.pivot.NamedElement, org.eclipse.ocl.examples.pivot.TemplateableElement)
            • org.eclipse.ocl.examples.pivot.Class (also extends org.eclipse.ocl.examples.pivot.Namespace)
              • org.eclipse.ocl.examples.pivot.AnyType
              • org.eclipse.ocl.examples.pivot.AssociationClass
              • org.eclipse.ocl.examples.pivot.Behavior
                • org.eclipse.ocl.examples.pivot.StateMachine
              • org.eclipse.ocl.examples.pivot.DataType
                • org.eclipse.ocl.examples.pivot.CollectionType (also extends org.eclipse.ocl.examples.domain.elements.DomainCollectionType)
                  • org.eclipse.ocl.examples.pivot.BagType
                  • org.eclipse.ocl.examples.pivot.OrderedSetType
                  • org.eclipse.ocl.examples.pivot.SequenceType
                  • org.eclipse.ocl.examples.pivot.SetType
                • org.eclipse.ocl.examples.pivot.Enumeration (also extends org.eclipse.ocl.examples.domain.elements.DomainEnumeration)
                • org.eclipse.ocl.examples.pivot.LambdaType (also extends org.eclipse.ocl.examples.domain.elements.DomainLambdaType)
                • org.eclipse.ocl.examples.pivot.PrimitiveType
                • org.eclipse.ocl.examples.pivot.TupleType (also extends org.eclipse.ocl.examples.domain.elements.DomainTupleType)
              • org.eclipse.ocl.examples.pivot.InvalidType
              • org.eclipse.ocl.examples.pivot.Metaclass (also extends org.eclipse.ocl.examples.domain.elements.DomainMetaclass)
              • org.eclipse.ocl.examples.pivot.SelfType
              • org.eclipse.ocl.examples.pivot.Stereotype
              • org.eclipse.ocl.examples.pivot.UnspecifiedType
              • org.eclipse.ocl.examples.pivot.VoidType
            • org.eclipse.ocl.examples.pivot.DynamicType (also extends org.eclipse.ocl.examples.pivot.DynamicElement)
            • org.eclipse.ocl.examples.pivot.ElementExtension
            • org.eclipse.ocl.examples.pivot.MessageType
            • org.eclipse.ocl.examples.pivot.TemplateParameterType
          • org.eclipse.ocl.examples.pivot.ValueSpecification (also extends org.eclipse.ocl.examples.pivot.TypedElement)
            • org.eclipse.ocl.examples.pivot.OpaqueExpression (also extends org.eclipse.ocl.examples.domain.elements.DomainExpression)
              • org.eclipse.ocl.examples.pivot.ExpressionInOCL
        • org.eclipse.ocl.examples.pivot.TemplateableElement
          • org.eclipse.ocl.examples.pivot.Operation (also extends org.eclipse.ocl.examples.domain.elements.DomainOperation, org.eclipse.ocl.examples.pivot.Feature, org.eclipse.ocl.examples.pivot.Namespace, org.eclipse.ocl.examples.pivot.ParameterableElement)
            • org.eclipse.ocl.examples.pivot.Iteration (also extends org.eclipse.ocl.examples.domain.elements.DomainIteration)
          • org.eclipse.ocl.examples.pivot.Package (also extends org.eclipse.ocl.examples.domain.elements.DomainPackage, org.eclipse.ocl.examples.pivot.Namespace)
            • org.eclipse.ocl.examples.pivot.Library
            • org.eclipse.ocl.examples.pivot.Profile
          • org.eclipse.ocl.examples.pivot.Type (also extends org.eclipse.ocl.examples.domain.elements.DomainType, org.eclipse.ocl.examples.pivot.NamedElement, org.eclipse.ocl.examples.pivot.ParameterableElement)
            • org.eclipse.ocl.examples.pivot.Class (also extends org.eclipse.ocl.examples.pivot.Namespace)
              • org.eclipse.ocl.examples.pivot.AnyType
              • org.eclipse.ocl.examples.pivot.AssociationClass
              • org.eclipse.ocl.examples.pivot.Behavior
                • org.eclipse.ocl.examples.pivot.StateMachine
              • org.eclipse.ocl.examples.pivot.DataType
                • org.eclipse.ocl.examples.pivot.CollectionType (also extends org.eclipse.ocl.examples.domain.elements.DomainCollectionType)
                  • org.eclipse.ocl.examples.pivot.BagType
                  • org.eclipse.ocl.examples.pivot.OrderedSetType
                  • org.eclipse.ocl.examples.pivot.SequenceType
                  • org.eclipse.ocl.examples.pivot.SetType
                • org.eclipse.ocl.examples.pivot.Enumeration (also extends org.eclipse.ocl.examples.domain.elements.DomainEnumeration)
                • org.eclipse.ocl.examples.pivot.LambdaType (also extends org.eclipse.ocl.examples.domain.elements.DomainLambdaType)
                • org.eclipse.ocl.examples.pivot.PrimitiveType
                • org.eclipse.ocl.examples.pivot.TupleType (also extends org.eclipse.ocl.examples.domain.elements.DomainTupleType)
              • org.eclipse.ocl.examples.pivot.InvalidType
              • org.eclipse.ocl.examples.pivot.Metaclass (also extends org.eclipse.ocl.examples.domain.elements.DomainMetaclass)
              • org.eclipse.ocl.examples.pivot.SelfType
              • org.eclipse.ocl.examples.pivot.Stereotype
              • org.eclipse.ocl.examples.pivot.UnspecifiedType
              • org.eclipse.ocl.examples.pivot.VoidType
            • org.eclipse.ocl.examples.pivot.DynamicType (also extends org.eclipse.ocl.examples.pivot.DynamicElement)
            • org.eclipse.ocl.examples.pivot.ElementExtension
            • org.eclipse.ocl.examples.pivot.MessageType
            • org.eclipse.ocl.examples.pivot.TemplateParameterType
        • org.eclipse.ocl.examples.pivot.TemplateBinding
        • org.eclipse.ocl.examples.pivot.TemplateParameter (also extends org.eclipse.ocl.examples.domain.elements.DomainTemplateParameter)
          • org.eclipse.ocl.examples.pivot.OperationTemplateParameter
          • org.eclipse.ocl.examples.pivot.TypeTemplateParameter
        • org.eclipse.ocl.examples.pivot.TemplateParameterSubstitution
        • org.eclipse.ocl.examples.pivot.TemplateSignature
      • org.eclipse.ocl.examples.pivot.ReferringElement
        • org.eclipse.ocl.examples.pivot.IterateExp (also extends org.eclipse.ocl.examples.pivot.LoopExp)
        • org.eclipse.ocl.examples.pivot.IteratorExp (also extends org.eclipse.ocl.examples.pivot.LoopExp)
        • org.eclipse.ocl.examples.pivot.OperationCallExp (also extends org.eclipse.ocl.examples.pivot.FeatureCallExp)
        • org.eclipse.ocl.examples.pivot.PropertyCallExp (also extends org.eclipse.ocl.examples.pivot.NavigationCallExp)
        • org.eclipse.ocl.examples.pivot.TypeExp (also extends org.eclipse.ocl.examples.pivot.OCLExpression)
        • org.eclipse.ocl.examples.pivot.VariableExp (also extends org.eclipse.ocl.examples.pivot.OCLExpression)
• org.eclipse.ocl.examples.domain.values.OCLValue
  • org.eclipse.ocl.examples.domain.elements.DomainType (also extends org.eclipse.ocl.examples.domain.elements.DomainNamespace)
    • org.eclipse.ocl.examples.domain.elements.DomainCollectionType
      • org.eclipse.ocl.examples.pivot.CollectionType (also extends org.eclipse.ocl.examples.pivot.DataType)
        • org.eclipse.ocl.examples.pivot.BagType
        • org.eclipse.ocl.examples.pivot.OrderedSetType
        • org.eclipse.ocl.examples.pivot.SequenceType
        • org.eclipse.ocl.examples.pivot.SetType
    • org.eclipse.ocl.examples.domain.elements.DomainEnumeration
      • org.eclipse.ocl.examples.pivot.Enumeration (also extends org.eclipse.ocl.examples.pivot.DataType)
    • org.eclipse.ocl.examples.domain.elements.DomainLambdaType
      • org.eclipse.ocl.examples.pivot.LambdaType (also extends org.eclipse.ocl.examples.pivot.DataType)
    • org.eclipse.ocl.examples.domain.elements.DomainMetaclass
      • org.eclipse.ocl.examples.pivot.Metaclass (also extends org.eclipse.ocl.examples.pivot.Class)
    • org.eclipse.ocl.examples.domain.elements.DomainTupleType
      • org.eclipse.ocl.examples.pivot.TupleType (also extends org.eclipse.ocl.examples.pivot.DataType)
    • org.eclipse.ocl.examples.pivot.Type (also extends org.eclipse.ocl.examples.pivot.NamedElement, org.eclipse.ocl.examples.pivot.ParameterableElement, org.eclipse.ocl.examples.pivot.TemplateableElement)
      • org.eclipse.ocl.examples.pivot.Class (also extends org.eclipse.ocl.examples.pivot.Namespace)
        • org.eclipse.ocl.examples.pivot.AnyType
        • org.eclipse.ocl.examples.pivot.AssociationClass
        • org.eclipse.ocl.examples.pivot.Behavior
          • org.eclipse.ocl.examples.pivot.StateMachine
        • org.eclipse.ocl.examples.pivot.DataType
          • org.eclipse.ocl.examples.pivot.CollectionType (also extends org.eclipse.ocl.examples.domain.elements.DomainCollectionType)
            • org.eclipse.ocl.examples.pivot.BagType
            • org.eclipse.ocl.examples.pivot.OrderedSetType
            • org.eclipse.ocl.examples.pivot.SequenceType
            • org.eclipse.ocl.examples.pivot.SetType
          • org.eclipse.ocl.examples.pivot.Enumeration (also extends org.eclipse.ocl.examples.domain.elements.DomainEnumeration)
          • org.eclipse.ocl.examples.pivot.LambdaType (also extends org.eclipse.ocl.examples.domain.elements.DomainLambdaType)
          • org.eclipse.ocl.examples.pivot.PrimitiveType
          • org.eclipse.ocl.examples.pivot.TupleType (also extends org.eclipse.ocl.examples.domain.elements.DomainTupleType)
        • org.eclipse.ocl.examples.pivot.InvalidType
        • org.eclipse.ocl.examples.pivot.Metaclass (also extends org.eclipse.ocl.examples.domain.elements.DomainMetaclass)
        • org.eclipse.ocl.examples.pivot.SelfType
        • org.eclipse.ocl.examples.pivot.Stereotype
        • org.eclipse.ocl.examples.pivot.UnspecifiedType
        • org.eclipse.ocl.examples.pivot.VoidType
      • org.eclipse.ocl.examples.pivot.DynamicType (also extends org.eclipse.ocl.examples.pivot.DynamicElement)
      • org.eclipse.ocl.examples.pivot.ElementExtension
      • org.eclipse.ocl.examples.pivot.MessageType
      • org.eclipse.ocl.examples.pivot.TemplateParameterType
• org.eclipse.ocl.examples.pivot.PivotConstants
• org.eclipse.ocl.examples.pivot.PivotPackage.Literals
• org.eclipse.ocl.examples.pivot.ProblemAware
• org.eclipse.ocl.examples.pivot.ProblemHandler
• org.eclipse.ocl.examples.pivot.Query
• org.eclipse.ocl.examples.pivot.UMLReflection
• org.eclipse.ocl.examples.pivot.util.Visitable
  • org.eclipse.ocl.examples.pivot.Element (also extends org.eclipse.ocl.examples.domain.elements.DomainElement, org.eclipse.ocl.examples.pivot.utilities.PivotObject)
    • org.eclipse.ocl.examples.pivot.Comment
    • org.eclipse.ocl.examples.pivot.DynamicElement
      • org.eclipse.ocl.examples.pivot.DynamicType (also extends org.eclipse.ocl.examples.pivot.Type)
    • org.eclipse.ocl.examples.pivot.DynamicProperty
    • org.eclipse.ocl.examples.pivot.NamedElement (also extends org.eclipse.ocl.examples.domain.elements.DomainNamedElement, org.eclipse.ocl.examples.domain.elements.Nameable)
      • org.eclipse.ocl.examples.pivot.Annotation
      • org.eclipse.ocl.examples.pivot.CallOperationAction
      • org.eclipse.ocl.examples.pivot.Constraint (also extends org.eclipse.ocl.examples.domain.elements.DomainConstraint)
      • org.eclipse.ocl.examples.pivot.Detail
      • org.eclipse.ocl.examples.pivot.EnumerationLiteral (also extends org.eclipse.ocl.examples.domain.elements.DomainEnumerationLiteral)
      • org.eclipse.ocl.examples.pivot.Import
      • org.eclipse.ocl.examples.pivot.Namespace (also extends org.eclipse.ocl.examples.domain.elements.DomainNamespace)
        • org.eclipse.ocl.examples.pivot.Class (also extends org.eclipse.ocl.examples.pivot.Type)
          • org.eclipse.ocl.examples.pivot.AnyType
          • org.eclipse.ocl.examples.pivot.AssociationClass
          • org.eclipse.ocl.examples.pivot.Behavior
            • org.eclipse.ocl.examples.pivot.StateMachine
          • org.eclipse.ocl.examples.pivot.DataType
            • org.eclipse.ocl.examples.pivot.CollectionType (also extends org.eclipse.ocl.examples.domain.elements.DomainCollectionType)
              • org.eclipse.ocl.examples.pivot.BagType
              • org.eclipse.ocl.examples.pivot.OrderedSetType
              • org.eclipse.ocl.examples.pivot.SequenceType
              • org.eclipse.ocl.examples.pivot.SetType
            • org.eclipse.ocl.examples.pivot.Enumeration (also extends org.eclipse.ocl.examples.domain.elements.DomainEnumeration)
            • org.eclipse.ocl.examples.pivot.LambdaType (also extends org.eclipse.ocl.examples.domain.elements.DomainLambdaType)
            • org.eclipse.ocl.examples.pivot.PrimitiveType
            • org.eclipse.ocl.examples.pivot.TupleType (also extends org.eclipse.ocl.examples.domain.elements.DomainTupleType)
          • org.eclipse.ocl.examples.pivot.InvalidType
          • org.eclipse.ocl.examples.pivot.Metaclass (also extends org.eclipse.ocl.examples.domain.elements.DomainMetaclass)
          • org.eclipse.ocl.examples.pivot.SelfType
          • org.eclipse.ocl.examples.pivot.Stereotype
          • org.eclipse.ocl.examples.pivot.UnspecifiedType
          • org.eclipse.ocl.examples.pivot.VoidType
        • org.eclipse.ocl.examples.pivot.Operation (also extends org.eclipse.ocl.examples.domain.elements.DomainOperation, org.eclipse.ocl.examples.pivot.Feature, org.eclipse.ocl.examples.pivot.ParameterableElement, org.eclipse.ocl.examples.pivot.TemplateableElement)
          • org.eclipse.ocl.examples.pivot.Iteration (also extends org.eclipse.ocl.examples.domain.elements.DomainIteration)
        • org.eclipse.ocl.examples.pivot.Package (also extends org.eclipse.ocl.examples.domain.elements.DomainPackage, org.eclipse.ocl.examples.pivot.TemplateableElement)
          • org.eclipse.ocl.examples.pivot.Library
          • org.eclipse.ocl.examples.pivot.Profile
        • org.eclipse.ocl.examples.pivot.Region
        • org.eclipse.ocl.examples.pivot.Root (also extends org.eclipse.ocl.examples.domain.elements.DomainRoot)
        • org.eclipse.ocl.examples.pivot.State (also extends org.eclipse.ocl.examples.pivot.Vertex)
          • org.eclipse.ocl.examples.pivot.FinalState
        • org.eclipse.ocl.examples.pivot.Transition
      • org.eclipse.ocl.examples.pivot.Precedence
      • org.eclipse.ocl.examples.pivot.SendSignalAction
      • org.eclipse.ocl.examples.pivot.Signal
      • org.eclipse.ocl.examples.pivot.Trigger
      • org.eclipse.ocl.examples.pivot.Type (also extends org.eclipse.ocl.examples.domain.elements.DomainType, org.eclipse.ocl.examples.pivot.ParameterableElement, org.eclipse.ocl.examples.pivot.TemplateableElement)
        • org.eclipse.ocl.examples.pivot.Class (also extends org.eclipse.ocl.examples.pivot.Namespace)
          • org.eclipse.ocl.examples.pivot.AnyType
          • org.eclipse.ocl.examples.pivot.AssociationClass
          • org.eclipse.ocl.examples.pivot.Behavior
            • org.eclipse.ocl.examples.pivot.StateMachine
          • org.eclipse.ocl.examples.pivot.DataType
            • org.eclipse.ocl.examples.pivot.CollectionType (also extends org.eclipse.ocl.examples.domain.elements.DomainCollectionType)
              • org.eclipse.ocl.examples.pivot.BagType
              • org.eclipse.ocl.examples.pivot.OrderedSetType
              • org.eclipse.ocl.examples.pivot.SequenceType
              • org.eclipse.ocl.examples.pivot.SetType
            • org.eclipse.ocl.examples.pivot.Enumeration (also extends org.eclipse.ocl.examples.domain.elements.DomainEnumeration)
            • org.eclipse.ocl.examples.pivot.LambdaType (also extends org.eclipse.ocl.examples.domain.elements.DomainLambdaType)
            • org.eclipse.ocl.examples.pivot.PrimitiveType
            • org.eclipse.ocl.examples.pivot.TupleType (also extends org.eclipse.ocl.examples.domain.elements.DomainTupleType)
          • org.eclipse.ocl.examples.pivot.InvalidType
          • org.eclipse.ocl.examples.pivot.Metaclass (also extends org.eclipse.ocl.examples.domain.elements.DomainMetaclass)
          • org.eclipse.ocl.examples.pivot.SelfType
          • org.eclipse.ocl.examples.pivot.Stereotype
          • org.eclipse.ocl.examples.pivot.UnspecifiedType
          • org.eclipse.ocl.examples.pivot.VoidType
        • org.eclipse.ocl.examples.pivot.DynamicType (also extends org.eclipse.ocl.examples.pivot.DynamicElement)
        • org.eclipse.ocl.examples.pivot.ElementExtension
        • org.eclipse.ocl.examples.pivot.MessageType
        • org.eclipse.ocl.examples.pivot.TemplateParameterType
      • org.eclipse.ocl.examples.pivot.TypedElement (also extends org.eclipse.ocl.examples.domain.elements.DomainTypedElement)
        • org.eclipse.ocl.examples.pivot.CollectionLiteralPart
          • org.eclipse.ocl.examples.pivot.CollectionItem
          • org.eclipse.ocl.examples.pivot.CollectionRange
        • org.eclipse.ocl.examples.pivot.ConstructorPart
        • org.eclipse.ocl.examples.pivot.OCLExpression (also extends org.eclipse.ocl.examples.domain.elements.DomainExpression)
          • org.eclipse.ocl.examples.pivot.CallExp (also extends org.eclipse.ocl.examples.domain.elements.DomainCallExp)
            • org.eclipse.ocl.examples.pivot.FeatureCallExp
              • org.eclipse.ocl.examples.pivot.NavigationCallExp
                • org.eclipse.ocl.examples.pivot.AssociationClassCallExp
                • org.eclipse.ocl.examples.pivot.PropertyCallExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
              • org.eclipse.ocl.examples.pivot.OperationCallExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
            • org.eclipse.ocl.examples.pivot.LoopExp
              • org.eclipse.ocl.examples.pivot.IterateExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
              • org.eclipse.ocl.examples.pivot.IteratorExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
          • org.eclipse.ocl.examples.pivot.ConstructorExp
          • org.eclipse.ocl.examples.pivot.IfExp
          • org.eclipse.ocl.examples.pivot.LetExp
          • org.eclipse.ocl.examples.pivot.LiteralExp
            • org.eclipse.ocl.examples.pivot.CollectionLiteralExp
            • org.eclipse.ocl.examples.pivot.EnumLiteralExp
            • org.eclipse.ocl.examples.pivot.InvalidLiteralExp
            • org.eclipse.ocl.examples.pivot.PrimitiveLiteralExp
              • org.eclipse.ocl.examples.pivot.BooleanLiteralExp
              • org.eclipse.ocl.examples.pivot.NullLiteralExp
              • org.eclipse.ocl.examples.pivot.NumericLiteralExp
                • org.eclipse.ocl.examples.pivot.IntegerLiteralExp
                • org.eclipse.ocl.examples.pivot.RealLiteralExp
                • org.eclipse.ocl.examples.pivot.UnlimitedNaturalLiteralExp
              • org.eclipse.ocl.examples.pivot.StringLiteralExp
            • org.eclipse.ocl.examples.pivot.TupleLiteralExp
          • org.eclipse.ocl.examples.pivot.MessageExp
          • org.eclipse.ocl.examples.pivot.StateExp
          • org.eclipse.ocl.examples.pivot.TypeExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
          • org.eclipse.ocl.examples.pivot.UnspecifiedValueExp
          • org.eclipse.ocl.examples.pivot.VariableExp (also extends org.eclipse.ocl.examples.pivot.ReferringElement)
        • org.eclipse.ocl.examples.pivot.TypedMultiplicityElement
          • org.eclipse.ocl.examples.pivot.Feature
            • org.eclipse.ocl.examples.pivot.Operation (also extends org.eclipse.ocl.examples.domain.elements.DomainOperation, org.eclipse.ocl.examples.pivot.Namespace, org.eclipse.ocl.examples.pivot.ParameterableElement, org.eclipse.ocl.examples.pivot.TemplateableElement)
              • org.eclipse.ocl.examples.pivot.Iteration (also extends org.eclipse.ocl.examples.domain.elements.DomainIteration)
            • org.eclipse.ocl.examples.pivot.Property (also extends org.eclipse.ocl.examples.domain.elements.DomainProperty, org.eclipse.ocl.examples.pivot.ParameterableElement)
          • org.eclipse.ocl.examples.pivot.Parameter (also extends org.eclipse.ocl.examples.pivot.VariableDeclaration)
        • org.eclipse.ocl.examples.pivot.ValueSpecification (also extends org.eclipse.ocl.examples.pivot.ParameterableElement)
          • org.eclipse.ocl.examples.pivot.OpaqueExpression (also extends org.eclipse.ocl.examples.domain.elements.DomainExpression)
            • org.eclipse.ocl.examples.pivot.ExpressionInOCL
        • org.eclipse.ocl.examples.pivot.VariableDeclaration
          • org.eclipse.ocl.examples.pivot.Parameter (also extends org.eclipse.ocl.examples.pivot.TypedMultiplicityElement)
          • org.eclipse.ocl.examples.pivot.TupleLiteralPart
          • org.eclipse.ocl.examples.pivot.Variable
      • org.eclipse.ocl.examples.pivot.Vertex
        • org.eclipse.ocl.examples.pivot.ConnectionPointReference
        • org.eclipse.ocl.examples.pivot.Pseudostate
        • org.eclipse.ocl.examples.pivot.State (also extends org.eclipse.ocl.examples.pivot.Namespace)
          • org.eclipse.ocl.examples.pivot.FinalState
    • org.eclipse.ocl.examples.pivot.ParameterableElement
      • org.eclipse.ocl.examples.pivot.Operation (also extends org.eclipse.ocl.examples.domain.elements.DomainOperation, org.eclipse.ocl.examples.pivot.Feature, org.eclipse.ocl.examples.pivot.Namespace, org.eclipse.ocl.examples.pivot.TemplateableElement)
        • org.eclipse.ocl.examples.pivot.Iteration (also extends org.eclipse.ocl.examples.domain.elements.DomainIteration)
      • org.eclipse.ocl.examples.pivot.PackageableElement
      • org.eclipse.ocl.examples.pivot.Property (also extends org.eclipse.ocl.examples.domain.elements.DomainProperty, org.eclipse.ocl.examples.pivot.Feature)
      • org.eclipse.ocl.examples.pivot.Type (also extends org.eclipse.ocl.examples.domain.elements.DomainType, org.eclipse.ocl.examples.pivot.NamedElement, org.eclipse.ocl.examples.pivot.TemplateableElement)
        • org.eclipse.ocl.examples.pivot.Class (also extends org.eclipse.ocl.examples.pivot.Namespace)
          • org.eclipse.ocl.examples.pivot.AnyType
          • org.eclipse.ocl.examples.pivot.AssociationClass
          • org.eclipse.ocl.examples.pivot.Behavior
            • org.eclipse.ocl.examples.pivot.StateMachine
          • org.eclipse.ocl.examples.pivot.DataType
            • org.eclipse.ocl.examples.pivot.CollectionType (also extends org.eclipse.ocl.examples.domain.elements.DomainCollectionType)
              • org.eclipse.ocl.examples.pivot.BagType
              • org.eclipse.ocl.examples.pivot.OrderedSetType
              • org.eclipse.ocl.examples.pivot.SequenceType
              • org.eclipse.ocl.examples.pivot.SetType
            • org.eclipse.ocl.examples.pivot.Enumeration (also extends org.eclipse.ocl.examples.domain.elements.DomainEnumeration)
            • org.eclipse.ocl.examples.pivot.LambdaType (also extends org.eclipse.ocl.examples.domain.elements.DomainLambdaType)
            • org.eclipse.ocl.examples.pivot.PrimitiveType
            • org.eclipse.ocl.examples.pivot.TupleType (also extends org.eclipse.ocl.examples.domain.elements.DomainTupleType)
          • org.eclipse.ocl.examples.pivot.InvalidType
          • org.eclipse.ocl.examples.pivot.Metaclass (also extends org.eclipse.ocl.examples.domain.elements.DomainMetaclass)
          • org.eclipse.ocl.examples.pivot.SelfType
          • org.eclipse.ocl.examples.pivot.Stereotype
          • org.eclipse.ocl.examples.pivot.UnspecifiedType
          • org.eclipse.ocl.examples.pivot.VoidType
        • org.eclipse.ocl.examples.pivot.DynamicType (also extends org.eclipse.ocl.examples.pivot.DynamicElement)
        • org.eclipse.ocl.examples.pivot.ElementExtension
        • org.eclipse.ocl.examples.pivot.MessageType
        • org.eclipse.ocl.examples.pivot.TemplateParameterType
      • org.eclipse.ocl.examples.pivot.ValueSpecification (also extends org.eclipse.ocl.examples.pivot.TypedElement)
        • org.eclipse.ocl.examples.pivot.OpaqueExpression (also extends org.eclipse.ocl.examples.domain.elements.DomainExpression)
          • org.eclipse.ocl.examples.pivot.ExpressionInOCL
    • org.eclipse.ocl.examples.pivot.TemplateableElement
      • org.eclipse.ocl.examples.pivot.Operation (also extends org.eclipse.ocl.examples.domain.elements.DomainOperation, org.eclipse.ocl.examples.pivot.Feature, org.eclipse.ocl.examples.pivot.Namespace, org.eclipse.ocl.examples.pivot.ParameterableElement)
        • org.eclipse.ocl.examples.pivot.Iteration (also extends org.eclipse.ocl.examples.domain.elements.DomainIteration)
      • org.eclipse.ocl.examples.pivot.Package (also extends org.eclipse.ocl.examples.domain.elements.DomainPackage, org.eclipse.ocl.examples.pivot.Namespace)
        • org.eclipse.ocl.examples.pivot.Library
        • org.eclipse.ocl.examples.pivot.Profile
      • org.eclipse.ocl.examples.pivot.Type (also extends org.eclipse.ocl.examples.domain.elements.DomainType, org.eclipse.ocl.examples.pivot.NamedElement, org.eclipse.ocl.examples.pivot.ParameterableElement)
        • org.eclipse.ocl.examples.pivot.Class (also extends org.eclipse.ocl.examples.pivot.Namespace)
          • org.eclipse.ocl.examples.pivot.AnyType
          • org.eclipse.ocl.examples.pivot.AssociationClass
          • org.eclipse.ocl.examples.pivot.Behavior
            • org.eclipse.ocl.examples.pivot.StateMachine
          • org.eclipse.ocl.examples.pivot.DataType
            • org.eclipse.ocl.examples.pivot.CollectionType (also extends org.eclipse.ocl.examples.domain.elements.DomainCollectionType)
              • org.eclipse.ocl.examples.pivot.BagType
              • org.eclipse.ocl.examples.pivot.OrderedSetType
              • org.eclipse.ocl.examples.pivot.SequenceType
              • org.eclipse.ocl.examples.pivot.SetType
            • org.eclipse.ocl.examples.pivot.Enumeration (also extends org.eclipse.ocl.examples.domain.elements.DomainEnumeration)
            • org.eclipse.ocl.examples.pivot.LambdaType (also extends org.eclipse.ocl.examples.domain.elements.DomainLambdaType)
            • org.eclipse.ocl.examples.pivot.PrimitiveType
            • org.eclipse.ocl.examples.pivot.TupleType (also extends org.eclipse.ocl.examples.domain.elements.DomainTupleType)
          • org.eclipse.ocl.examples.pivot.InvalidType
          • org.eclipse.ocl.examples.pivot.Metaclass (also extends org.eclipse.ocl.examples.domain.elements.DomainMetaclass)
          • org.eclipse.ocl.examples.pivot.SelfType
          • org.eclipse.ocl.examples.pivot.Stereotype
          • org.eclipse.ocl.examples.pivot.UnspecifiedType
          • org.eclipse.ocl.examples.pivot.VoidType
        • org.eclipse.ocl.examples.pivot.DynamicType (also extends org.eclipse.ocl.examples.pivot.DynamicElement)
        • org.eclipse.ocl.examples.pivot.ElementExtension
        • org.eclipse.ocl.examples.pivot.MessageType
        • org.eclipse.ocl.examples.pivot.TemplateParameterType
    • org.eclipse.ocl.examples.pivot.TemplateBinding
    • org.eclipse.ocl.examples.pivot.TemplateParameter (also extends org.eclipse.ocl.examples.domain.elements.DomainTemplateParameter)
      • org.eclipse.ocl.examples.pivot.OperationTemplateParameter
      • org.eclipse.ocl.examples.pivot.TypeTemplateParameter
    • org.eclipse.ocl.examples.pivot.TemplateParameterSubstitution
    • org.eclipse.ocl.examples.pivot.TemplateSignature

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • org.eclipse.ocl.examples.pivot.TransitionKind (implements org.eclipse.emf.common.util.Enumerator)
    • org.eclipse.ocl.examples.pivot.CollectionKind (implements org.eclipse.emf.common.util.Enumerator)
    • org.eclipse.ocl.examples.pivot.AssociativityKind (implements org.eclipse.emf.common.util.Enumerator)
    • org.eclipse.ocl.examples.pivot.PseudostateKind (implements org.eclipse.emf.common.util.Enumerator)
    • org.eclipse.ocl.examples.pivot.AssociationKind (implements org.eclipse.emf.common.util.Enumerator)
    • org.eclipse.ocl.examples.pivot.ProblemHandler.Severity