Hierarchy For All Packages

Package Hierarchies:

• 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
          • 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.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)
          • 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.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.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.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.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.Statement)
      • 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.Statement)
        • tools.refinery.language.model.problem.DatatypeDeclaration (also extends tools.refinery.language.model.problem.Statement)
        • tools.refinery.language.model.problem.EnumDeclaration (also extends 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
      • 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
        • tools.refinery.language.model.problem.Variable
          • tools.refinery.language.model.problem.ImplicitVariable
          • tools.refinery.language.model.problem.Parameter
    • tools.refinery.language.model.problem.Statement
      • tools.refinery.language.model.problem.AggregatorDeclaration (also extends tools.refinery.language.model.problem.NamedElement)
      • 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.Relation)
      • tools.refinery.language.model.problem.DatatypeDeclaration (also extends tools.refinery.language.model.problem.Relation)
      • tools.refinery.language.model.problem.EnumDeclaration (also extends tools.refinery.language.model.problem.Relation)
      • tools.refinery.language.model.problem.ImportStatement
      • tools.refinery.language.model.problem.NodeDeclaration
      • tools.refinery.language.model.problem.ParametricDefinition
        • 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.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.ParameterBinding (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)