Hierarchy For All Packages

Package Hierarchies:

• tools.refinery.language.model.delegate,
• tools.refinery.language.model.problem,
• tools.refinery.language.model.problem.impl,
• tools.refinery.language.model.problem.util

Class Hierarchy

• java.lang.Object
  • org.eclipse.emf.common.notify.impl.AdapterFactoryImpl (implements org.eclipse.emf.common.notify.AdapterFactory)
    • tools.refinery.language.model.problem.util.ProblemAdapterFactory
  • org.eclipse.emf.common.notify.impl.BasicNotifierImpl (implements org.eclipse.emf.common.notify.Notifier)
    • org.eclipse.emf.ecore.impl.BasicEObjectImpl (implements org.eclipse.emf.ecore.EObject, org.eclipse.emf.ecore.InternalEObject)
      • org.eclipse.emf.ecore.impl.MinimalEObjectImpl (implements org.eclipse.emf.ecore.EStructuralFeature.Internal.DynamicValueHolder)
        • org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container
          • org.eclipse.emf.ecore.impl.EModelElementImpl (implements org.eclipse.emf.ecore.EModelElement)
            • org.eclipse.emf.ecore.impl.EFactoryImpl (implements org.eclipse.emf.ecore.resource.impl.BinaryResourceImpl.DataConverter.Factory, org.eclipse.emf.ecore.EFactory)
              • tools.refinery.language.model.problem.impl.ProblemFactoryImpl (implements tools.refinery.language.model.problem.ProblemFactory)
            • org.eclipse.emf.ecore.impl.ENamedElementImpl (implements org.eclipse.emf.ecore.ENamedElement)
              • org.eclipse.emf.ecore.impl.EPackageImpl (implements org.eclipse.emf.ecore.util.BasicExtendedMetaData.EPackageExtendedMetaData.Holder, org.eclipse.emf.ecore.EPackage)
                • tools.refinery.language.model.problem.impl.ProblemPackageImpl (implements tools.refinery.language.model.problem.ProblemPackage)
          • tools.refinery.language.model.problem.impl.ProblemEObjectImpl
            • tools.refinery.language.model.problem.impl.AbstractAssertionImpl (implements tools.refinery.language.model.problem.AbstractAssertion)
            • tools.refinery.language.model.problem.impl.AggregatorDeclarationImpl (implements tools.refinery.language.model.problem.AggregatorDeclaration)
            • tools.refinery.language.model.problem.impl.AnnotationArgumentImpl (implements tools.refinery.language.model.problem.AnnotationArgument)
            • tools.refinery.language.model.problem.impl.AnnotationContainerImpl (implements tools.refinery.language.model.problem.AnnotationContainer)
            • tools.refinery.language.model.problem.impl.AnnotationDeclarationImpl (implements tools.refinery.language.model.problem.AnnotationDeclaration)
            • tools.refinery.language.model.problem.impl.AnnotationImpl (implements tools.refinery.language.model.problem.Annotation)
            • tools.refinery.language.model.problem.impl.AssertionActionImpl (implements tools.refinery.language.model.problem.AssertionAction)
            • tools.refinery.language.model.problem.impl.AssertionArgumentImpl (implements tools.refinery.language.model.problem.AssertionArgument)
              • tools.refinery.language.model.problem.impl.NodeAssertionArgumentImpl (implements tools.refinery.language.model.problem.NodeAssertionArgument)
              • tools.refinery.language.model.problem.impl.WildcardAssertionArgumentImpl (implements tools.refinery.language.model.problem.WildcardAssertionArgument)
            • tools.refinery.language.model.problem.impl.AssertionImpl (implements tools.refinery.language.model.problem.Assertion)
            • tools.refinery.language.model.problem.impl.CaseImpl (implements tools.refinery.language.model.problem.Case)
              • tools.refinery.language.model.problem.impl.ConjunctionImpl (implements tools.refinery.language.model.problem.Conjunction)
              • tools.refinery.language.model.problem.impl.MatchImpl (implements tools.refinery.language.model.problem.Match)
            • tools.refinery.language.model.problem.impl.ClassDeclarationImpl (implements tools.refinery.language.model.problem.ClassDeclaration)
            • tools.refinery.language.model.problem.impl.ConsequentImpl (implements tools.refinery.language.model.problem.Consequent)
            • tools.refinery.language.model.problem.impl.EnumDeclarationImpl (implements tools.refinery.language.model.problem.EnumDeclaration)
            • tools.refinery.language.model.problem.impl.ExprImpl (implements tools.refinery.language.model.problem.Expr)
              • tools.refinery.language.model.problem.impl.AggregationExprImpl (implements tools.refinery.language.model.problem.AggregationExpr)
              • tools.refinery.language.model.problem.impl.AtomImpl (implements tools.refinery.language.model.problem.Atom)
              • tools.refinery.language.model.problem.impl.BinaryExprImpl (implements tools.refinery.language.model.problem.BinaryExpr)
                • tools.refinery.language.model.problem.impl.ArithmeticBinaryExprImpl (implements tools.refinery.language.model.problem.ArithmeticBinaryExpr)
                • tools.refinery.language.model.problem.impl.AssignmentExprImpl (implements tools.refinery.language.model.problem.AssignmentExpr)
                • tools.refinery.language.model.problem.impl.ComparisonExprImpl (implements tools.refinery.language.model.problem.ComparisonExpr)
                • tools.refinery.language.model.problem.impl.LatticeBinaryExprImpl (implements tools.refinery.language.model.problem.LatticeBinaryExpr)
                • tools.refinery.language.model.problem.impl.RangeExprImpl (implements tools.refinery.language.model.problem.RangeExpr)
              • tools.refinery.language.model.problem.impl.CastExprImpl (implements tools.refinery.language.model.problem.CastExpr)
              • tools.refinery.language.model.problem.impl.ConstantImpl (implements tools.refinery.language.model.problem.Constant)
                • tools.refinery.language.model.problem.impl.InfiniteConstantImpl (implements tools.refinery.language.model.problem.InfiniteConstant)
                • tools.refinery.language.model.problem.impl.IntConstantImpl (implements tools.refinery.language.model.problem.IntConstant)
                • tools.refinery.language.model.problem.impl.LogicConstantImpl (implements tools.refinery.language.model.problem.LogicConstant)
                • tools.refinery.language.model.problem.impl.RealConstantImpl (implements tools.refinery.language.model.problem.RealConstant)
                • tools.refinery.language.model.problem.impl.StringConstantImpl (implements tools.refinery.language.model.problem.StringConstant)
              • tools.refinery.language.model.problem.impl.UnaryExprImpl (implements tools.refinery.language.model.problem.UnaryExpr)
                • tools.refinery.language.model.problem.impl.ArithmeticUnaryExprImpl (implements tools.refinery.language.model.problem.ArithmeticUnaryExpr)
                • tools.refinery.language.model.problem.impl.ModalExprImpl (implements tools.refinery.language.model.problem.ModalExpr)
              • tools.refinery.language.model.problem.impl.VariableOrNodeExprImpl (implements tools.refinery.language.model.problem.VariableOrNodeExpr)
            • tools.refinery.language.model.problem.impl.FunctionDefinitionImpl (implements tools.refinery.language.model.problem.FunctionDefinition)
            • tools.refinery.language.model.problem.impl.ImportStatementImpl (implements tools.refinery.language.model.problem.ImportStatement)
            • tools.refinery.language.model.problem.impl.MultiplicityImpl (implements tools.refinery.language.model.problem.Multiplicity)
              • tools.refinery.language.model.problem.impl.ExactMultiplicityImpl (implements tools.refinery.language.model.problem.ExactMultiplicity)
              • tools.refinery.language.model.problem.impl.RangeMultiplicityImpl (implements tools.refinery.language.model.problem.RangeMultiplicity)
              • tools.refinery.language.model.problem.impl.UnboundedMultiplicityImpl (implements tools.refinery.language.model.problem.UnboundedMultiplicity)
            • tools.refinery.language.model.problem.impl.NamedElementImpl (implements tools.refinery.language.model.problem.NamedElement)
              • tools.refinery.language.model.problem.impl.ProblemImpl (implements tools.refinery.language.model.problem.Problem)
              • tools.refinery.language.model.problem.impl.RelationImpl (implements tools.refinery.language.model.problem.Relation)
                • tools.refinery.language.model.problem.impl.DatatypeDeclarationImpl (implements tools.refinery.language.model.problem.DatatypeDeclaration)
                • tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl (implements tools.refinery.language.model.problem.ReferenceDeclaration)
              • tools.refinery.language.model.problem.impl.VariableOrNodeImpl (implements tools.refinery.language.model.problem.VariableOrNode)
                • tools.refinery.language.model.problem.impl.NodeImpl (implements tools.refinery.language.model.problem.Node)
                • tools.refinery.language.model.problem.impl.VariableImpl (implements tools.refinery.language.model.problem.Variable)
                  • tools.refinery.language.model.problem.impl.ImplicitVariableImpl (implements tools.refinery.language.model.problem.ImplicitVariable)
                  • tools.refinery.language.model.problem.impl.ParameterImpl (implements tools.refinery.language.model.problem.Parameter)
            • tools.refinery.language.model.problem.impl.NodeDeclarationImpl (implements tools.refinery.language.model.problem.NodeDeclaration)
            • tools.refinery.language.model.problem.impl.PredicateDefinitionImpl (implements tools.refinery.language.model.problem.PredicateDefinition)
            • tools.refinery.language.model.problem.impl.QuantifiedUnaryExprImpl (implements tools.refinery.language.model.problem.QuantifiedUnaryExpr)
              • tools.refinery.language.model.problem.impl.CountExprImpl (implements tools.refinery.language.model.problem.CountExpr)
              • tools.refinery.language.model.problem.impl.NegationExprImpl (implements tools.refinery.language.model.problem.NegationExpr)
            • tools.refinery.language.model.problem.impl.RuleDefinitionImpl (implements tools.refinery.language.model.problem.RuleDefinition)
            • tools.refinery.language.model.problem.impl.ScopeDeclarationImpl (implements tools.refinery.language.model.problem.ScopeDeclaration)
            • tools.refinery.language.model.problem.impl.TopLevelAnnotationImpl (implements tools.refinery.language.model.problem.TopLevelAnnotation)
            • tools.refinery.language.model.problem.impl.TypeScopeImpl (implements tools.refinery.language.model.problem.TypeScope)
    • org.eclipse.emf.common.notify.impl.NotifierImpl
      • org.eclipse.emf.ecore.resource.impl.ResourceImpl (implements org.eclipse.emf.ecore.resource.Resource, org.eclipse.emf.ecore.resource.Resource.Internal)
        • org.eclipse.emf.ecore.xmi.impl.XMLResourceImpl (implements org.eclipse.emf.ecore.xmi.XMLResource)
          • org.eclipse.emf.ecore.xmi.impl.XMIResourceImpl (implements org.eclipse.emf.ecore.xmi.XMIResource)
            • tools.refinery.language.model.problem.util.ProblemResourceImpl
  • org.eclipse.emf.ecore.util.BasicSettingDelegate (implements org.eclipse.emf.ecore.EStructuralFeature.Internal.SettingDelegate)
    • org.eclipse.emf.ecore.util.BasicSettingDelegate.Stateless
      • tools.refinery.language.model.delegate.ElementDelegate
  • tools.refinery.language.model.delegate.ProblemDelegateFactory (implements org.eclipse.emf.ecore.EStructuralFeature.Internal.SettingDelegate.Factory)
  • org.eclipse.emf.ecore.resource.impl.ResourceFactoryImpl (implements org.eclipse.emf.ecore.resource.Resource.Factory)
    • tools.refinery.language.model.problem.util.ProblemResourceFactoryImpl
  • org.eclipse.emf.ecore.util.Switch<T>
    • tools.refinery.language.model.problem.util.ProblemSwitch<T>

Interface Hierarchy

• org.eclipse.emf.common.notify.Notifier
  • org.eclipse.emf.ecore.EObject
    • tools.refinery.language.model.problem.AbstractAssertion
      • tools.refinery.language.model.problem.Assertion (also extends tools.refinery.language.model.problem.Statement)
      • tools.refinery.language.model.problem.AssertionAction (also extends tools.refinery.language.model.problem.Action)
    • tools.refinery.language.model.problem.Action
      • tools.refinery.language.model.problem.AssertionAction (also extends tools.refinery.language.model.problem.AbstractAssertion)
    • tools.refinery.language.model.problem.AnnotatedElement
      • tools.refinery.language.model.problem.AggregatorDeclaration (also extends tools.refinery.language.model.problem.NamedElement, tools.refinery.language.model.problem.Statement)
      • tools.refinery.language.model.problem.ClassDeclaration (also extends tools.refinery.language.model.problem.Relation, tools.refinery.language.model.problem.Statement)
      • tools.refinery.language.model.problem.DatatypeDeclaration (also extends tools.refinery.language.model.problem.Relation, tools.refinery.language.model.problem.Statement)
      • tools.refinery.language.model.problem.EnumDeclaration (also extends tools.refinery.language.model.problem.Relation, tools.refinery.language.model.problem.Statement)
      • tools.refinery.language.model.problem.Node (also extends tools.refinery.language.model.problem.VariableOrNode)
      • tools.refinery.language.model.problem.NodeDeclaration (also extends tools.refinery.language.model.problem.Statement)
      • tools.refinery.language.model.problem.Parameter (also extends tools.refinery.language.model.problem.Variable)
      • tools.refinery.language.model.problem.ParametricDefinition (also extends tools.refinery.language.model.problem.Statement)
        • tools.refinery.language.model.problem.AnnotationDeclaration (also extends tools.refinery.language.model.problem.NamedElement)
        • tools.refinery.language.model.problem.FunctionDefinition (also extends tools.refinery.language.model.problem.Relation)
        • tools.refinery.language.model.problem.PredicateDefinition (also extends tools.refinery.language.model.problem.Relation)
        • tools.refinery.language.model.problem.RuleDefinition (also extends tools.refinery.language.model.problem.NamedElement)
      • tools.refinery.language.model.problem.ReferenceDeclaration (also extends tools.refinery.language.model.problem.Relation)
    • tools.refinery.language.model.problem.Annotation
    • tools.refinery.language.model.problem.AnnotationArgument
    • tools.refinery.language.model.problem.AssertionArgument
      • tools.refinery.language.model.problem.NodeAssertionArgument
      • tools.refinery.language.model.problem.WildcardAssertionArgument
    • tools.refinery.language.model.problem.Case
      • tools.refinery.language.model.problem.Conjunction (also extends tools.refinery.language.model.problem.ExistentialQuantifier)
      • tools.refinery.language.model.problem.Match
    • tools.refinery.language.model.problem.Consequent
    • org.eclipse.emf.ecore.EModelElement
      • org.eclipse.emf.ecore.EFactory
        • tools.refinery.language.model.problem.ProblemFactory
      • org.eclipse.emf.ecore.ENamedElement
        • org.eclipse.emf.ecore.EPackage
          • tools.refinery.language.model.problem.ProblemPackage
    • tools.refinery.language.model.problem.ExistentialQuantifier
      • tools.refinery.language.model.problem.AggregationExpr (also extends tools.refinery.language.model.problem.Expr)
      • tools.refinery.language.model.problem.Conjunction (also extends tools.refinery.language.model.problem.Case)
      • tools.refinery.language.model.problem.QuantifiedUnaryExpr (also extends tools.refinery.language.model.problem.UnaryExpr)
        • tools.refinery.language.model.problem.CountExpr
        • tools.refinery.language.model.problem.NegationExpr
    • tools.refinery.language.model.problem.Expr
      • tools.refinery.language.model.problem.AggregationExpr (also extends tools.refinery.language.model.problem.ExistentialQuantifier)
      • tools.refinery.language.model.problem.Atom
      • tools.refinery.language.model.problem.BinaryExpr
        • tools.refinery.language.model.problem.ArithmeticBinaryExpr
        • tools.refinery.language.model.problem.AssignmentExpr
        • tools.refinery.language.model.problem.ComparisonExpr
        • tools.refinery.language.model.problem.LatticeBinaryExpr
        • tools.refinery.language.model.problem.RangeExpr
      • tools.refinery.language.model.problem.CastExpr
      • tools.refinery.language.model.problem.Constant
        • tools.refinery.language.model.problem.InfiniteConstant
        • tools.refinery.language.model.problem.IntConstant
        • tools.refinery.language.model.problem.LogicConstant
        • tools.refinery.language.model.problem.RealConstant
        • tools.refinery.language.model.problem.StringConstant
      • tools.refinery.language.model.problem.UnaryExpr
        • tools.refinery.language.model.problem.ArithmeticUnaryExpr
        • tools.refinery.language.model.problem.ModalExpr
        • tools.refinery.language.model.problem.QuantifiedUnaryExpr (also extends tools.refinery.language.model.problem.ExistentialQuantifier)
          • tools.refinery.language.model.problem.CountExpr
          • tools.refinery.language.model.problem.NegationExpr
      • tools.refinery.language.model.problem.VariableOrNodeExpr
    • tools.refinery.language.model.problem.Multiplicity
      • tools.refinery.language.model.problem.ExactMultiplicity
      • tools.refinery.language.model.problem.RangeMultiplicity
      • tools.refinery.language.model.problem.UnboundedMultiplicity
    • tools.refinery.language.model.problem.NamedElement
      • tools.refinery.language.model.problem.AggregatorDeclaration (also extends tools.refinery.language.model.problem.AnnotatedElement, tools.refinery.language.model.problem.Statement)
      • tools.refinery.language.model.problem.AnnotationDeclaration (also extends tools.refinery.language.model.problem.ParametricDefinition)
      • tools.refinery.language.model.problem.Problem
      • tools.refinery.language.model.problem.Relation
        • tools.refinery.language.model.problem.ClassDeclaration (also extends tools.refinery.language.model.problem.AnnotatedElement, tools.refinery.language.model.problem.Statement)
        • tools.refinery.language.model.problem.DatatypeDeclaration (also extends tools.refinery.language.model.problem.AnnotatedElement, tools.refinery.language.model.problem.Statement)
        • tools.refinery.language.model.problem.EnumDeclaration (also extends tools.refinery.language.model.problem.AnnotatedElement, tools.refinery.language.model.problem.Statement)
        • tools.refinery.language.model.problem.FunctionDefinition (also extends tools.refinery.language.model.problem.ParametricDefinition)
        • tools.refinery.language.model.problem.PredicateDefinition (also extends tools.refinery.language.model.problem.ParametricDefinition)
        • tools.refinery.language.model.problem.ReferenceDeclaration (also extends tools.refinery.language.model.problem.AnnotatedElement)
      • tools.refinery.language.model.problem.RuleDefinition (also extends tools.refinery.language.model.problem.ParametricDefinition)
      • tools.refinery.language.model.problem.VariableOrNode
        • tools.refinery.language.model.problem.Node (also extends tools.refinery.language.model.problem.AnnotatedElement)
        • tools.refinery.language.model.problem.Variable
          • tools.refinery.language.model.problem.ImplicitVariable
          • tools.refinery.language.model.problem.Parameter (also extends tools.refinery.language.model.problem.AnnotatedElement)
    • tools.refinery.language.model.problem.Statement
      • tools.refinery.language.model.problem.AggregatorDeclaration (also extends tools.refinery.language.model.problem.AnnotatedElement, tools.refinery.language.model.problem.NamedElement)
      • tools.refinery.language.model.problem.AnnotationContainer
      • tools.refinery.language.model.problem.Assertion (also extends tools.refinery.language.model.problem.AbstractAssertion)
      • tools.refinery.language.model.problem.ClassDeclaration (also extends tools.refinery.language.model.problem.AnnotatedElement, tools.refinery.language.model.problem.Relation)
      • tools.refinery.language.model.problem.DatatypeDeclaration (also extends tools.refinery.language.model.problem.AnnotatedElement, tools.refinery.language.model.problem.Relation)
      • tools.refinery.language.model.problem.EnumDeclaration (also extends tools.refinery.language.model.problem.AnnotatedElement, tools.refinery.language.model.problem.Relation)
      • tools.refinery.language.model.problem.ImportStatement
      • tools.refinery.language.model.problem.NodeDeclaration (also extends tools.refinery.language.model.problem.AnnotatedElement)
      • tools.refinery.language.model.problem.ParametricDefinition (also extends tools.refinery.language.model.problem.AnnotatedElement)
        • tools.refinery.language.model.problem.AnnotationDeclaration (also extends tools.refinery.language.model.problem.NamedElement)
        • tools.refinery.language.model.problem.FunctionDefinition (also extends tools.refinery.language.model.problem.Relation)
        • tools.refinery.language.model.problem.PredicateDefinition (also extends tools.refinery.language.model.problem.Relation)
        • tools.refinery.language.model.problem.RuleDefinition (also extends tools.refinery.language.model.problem.NamedElement)
      • tools.refinery.language.model.problem.ScopeDeclaration
      • tools.refinery.language.model.problem.TopLevelAnnotation
    • tools.refinery.language.model.problem.TypeScope
• tools.refinery.language.model.problem.ProblemPackage.Literals

Enum Class Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • tools.refinery.language.model.problem.BinaryOp (implements org.eclipse.emf.common.util.Enumerator)
    • tools.refinery.language.model.problem.ComparisonOp (implements org.eclipse.emf.common.util.Enumerator)
    • tools.refinery.language.model.problem.Concreteness (implements org.eclipse.emf.common.util.Enumerator)
    • tools.refinery.language.model.problem.LatticeBinaryOp (implements org.eclipse.emf.common.util.Enumerator)
    • tools.refinery.language.model.problem.LogicValue (implements org.eclipse.emf.common.util.Enumerator)
    • tools.refinery.language.model.problem.Modality (implements org.eclipse.emf.common.util.Enumerator)
    • tools.refinery.language.model.problem.ModuleKind (implements org.eclipse.emf.common.util.Enumerator)
    • tools.refinery.language.model.problem.NodeKind (implements org.eclipse.emf.common.util.Enumerator)
    • tools.refinery.language.model.problem.ParameterKind (implements org.eclipse.emf.common.util.Enumerator)
    • tools.refinery.language.model.problem.PredicateKind (implements org.eclipse.emf.common.util.Enumerator)
    • tools.refinery.language.model.problem.ReferenceKind (implements org.eclipse.emf.common.util.Enumerator)
    • tools.refinery.language.model.problem.RuleKind (implements org.eclipse.emf.common.util.Enumerator)
    • tools.refinery.language.model.problem.UnaryOp (implements org.eclipse.emf.common.util.Enumerator)