Hierarchy For All Packages

Package Hierarchies:

• tools.refinery.language,
• tools.refinery.language.annotations,
• tools.refinery.language.annotations.internal,
• tools.refinery.language.conversion,
• tools.refinery.language.documentation,
• tools.refinery.language.expressions,
• tools.refinery.language.formatting2,
• tools.refinery.language.library,
• tools.refinery.language.library.internal,
• tools.refinery.language.linking,
• tools.refinery.language.naming,
• tools.refinery.language.parser,
• tools.refinery.language.parser.antlr,
• tools.refinery.language.parser.antlr.internal,
• tools.refinery.language.parser.antlr.lexer,
• tools.refinery.language.resource,
• tools.refinery.language.resource.state,
• tools.refinery.language.scoping,
• tools.refinery.language.scoping.imports,
• tools.refinery.language.serializer,
• tools.refinery.language.services,
• tools.refinery.language.typesystem,
• tools.refinery.language.utils,
• tools.refinery.language.validation

Class Hierarchy

• java.lang.Object
  • org.eclipse.xtext.diagnostics.AbstractDiagnostic (implements org.eclipse.xtext.diagnostics.Diagnostic)
    • org.eclipse.xtext.linking.impl.XtextLinkingDiagnostic
      • tools.refinery.language.resource.ProblemResource.ProblemResourceLinkingDiagnostic
  • org.eclipse.xtext.service.AbstractElementFinder
    • org.eclipse.xtext.service.AbstractElementFinder.AbstractEnumRuleElementFinder (implements org.eclipse.xtext.IGrammarAccess.IEnumRuleAccess)
      • tools.refinery.language.services.ProblemGrammarAccess.AdditiveOpElements
      • tools.refinery.language.services.ProblemGrammarAccess.BooleanBinaryOpElements
      • tools.refinery.language.services.ProblemGrammarAccess.ComparisonOpElements
      • tools.refinery.language.services.ProblemGrammarAccess.ConcretenessElements
      • tools.refinery.language.services.ProblemGrammarAccess.ErrorPredicateKindElements
      • tools.refinery.language.services.ProblemGrammarAccess.ExponentialOpElements
      • tools.refinery.language.services.ProblemGrammarAccess.LatticeBinaryOpElements
      • tools.refinery.language.services.ProblemGrammarAccess.LatticeComparisonOpElements
      • tools.refinery.language.services.ProblemGrammarAccess.LogicValueElements
      • tools.refinery.language.services.ProblemGrammarAccess.ModalityElements
      • tools.refinery.language.services.ProblemGrammarAccess.ModuleKindElements
      • tools.refinery.language.services.ProblemGrammarAccess.MultiplicativeOpElements
      • tools.refinery.language.services.ProblemGrammarAccess.NodeKindElements
      • tools.refinery.language.services.ProblemGrammarAccess.ParameterKindElements
      • tools.refinery.language.services.ProblemGrammarAccess.PredicateKindElements
      • tools.refinery.language.services.ProblemGrammarAccess.ReferenceKindElements
      • tools.refinery.language.services.ProblemGrammarAccess.RuleKindElements
      • tools.refinery.language.services.ProblemGrammarAccess.ShortLogicValueElements
      • tools.refinery.language.services.ProblemGrammarAccess.UnaryOpElements
    • org.eclipse.xtext.service.AbstractElementFinder.AbstractGrammarElementFinder (implements org.eclipse.xtext.IGrammarAccess)
      • tools.refinery.language.services.ProblemGrammarAccess
    • org.eclipse.xtext.service.AbstractElementFinder.AbstractParserRuleElementFinder (implements org.eclipse.xtext.IGrammarAccess.IParserRuleAccess)
      • tools.refinery.language.services.ProblemGrammarAccess.ActionElements
      • tools.refinery.language.services.ProblemGrammarAccess.AdditiveExprElements
      • tools.refinery.language.services.ProblemGrammarAccess.AggregationExprElements
      • tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements
      • tools.refinery.language.services.ProblemGrammarAccess.AnnotationArgumentElements
      • tools.refinery.language.services.ProblemGrammarAccess.AnnotationContainerElements
      • tools.refinery.language.services.ProblemGrammarAccess.AnnotationElements
      • tools.refinery.language.services.ProblemGrammarAccess.ArithmeticUnaryExprElements
      • tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
      • tools.refinery.language.services.ProblemGrammarAccess.AssertionArgumentElements
      • tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
      • tools.refinery.language.services.ProblemGrammarAccess.AssignmentExprElements
      • tools.refinery.language.services.ProblemGrammarAccess.AtomElements
      • tools.refinery.language.services.ProblemGrammarAccess.BooleanExprElements
      • tools.refinery.language.services.ProblemGrammarAccess.CaseElements
      • tools.refinery.language.services.ProblemGrammarAccess.ComparisonExprElements
      • tools.refinery.language.services.ProblemGrammarAccess.ConjunctionElements
      • tools.refinery.language.services.ProblemGrammarAccess.ConsequentElements
      • tools.refinery.language.services.ProblemGrammarAccess.ConstantElements
      • tools.refinery.language.services.ProblemGrammarAccess.DefiniteMultiplicityElements
      • tools.refinery.language.services.ProblemGrammarAccess.EnumLiteralElements
      • tools.refinery.language.services.ProblemGrammarAccess.ExactMultiplicityElements
      • tools.refinery.language.services.ProblemGrammarAccess.ExponentialExprElements
      • tools.refinery.language.services.ProblemGrammarAccess.ExprElements
      • tools.refinery.language.services.ProblemGrammarAccess.IdentifierElements
      • tools.refinery.language.services.ProblemGrammarAccess.ImportStatementElements
      • tools.refinery.language.services.ProblemGrammarAccess.InfiniteConstantElements
      • tools.refinery.language.services.ProblemGrammarAccess.IntConstantElements
      • tools.refinery.language.services.ProblemGrammarAccess.LatticeExprElements
      • tools.refinery.language.services.ProblemGrammarAccess.LogicConstantElements
      • tools.refinery.language.services.ProblemGrammarAccess.ModalExprElements
      • tools.refinery.language.services.ProblemGrammarAccess.MultiplicativeExprElements
      • tools.refinery.language.services.ProblemGrammarAccess.MultiplicityElements
      • tools.refinery.language.services.ProblemGrammarAccess.NegationExprElements
      • tools.refinery.language.services.ProblemGrammarAccess.NodeAssertionArgumentElements
      • tools.refinery.language.services.ProblemGrammarAccess.NonContainmentIdentifierElements
      • tools.refinery.language.services.ProblemGrammarAccess.NonContainmentQualifiedNameElements
      • tools.refinery.language.services.ProblemGrammarAccess.ParameterElements
      • tools.refinery.language.services.ProblemGrammarAccess.ProblemElements
      • tools.refinery.language.services.ProblemGrammarAccess.QualifiedNameElements
      • tools.refinery.language.services.ProblemGrammarAccess.RangeExprElements
      • tools.refinery.language.services.ProblemGrammarAccess.RangeMultiplicityElements
      • tools.refinery.language.services.ProblemGrammarAccess.RealConstantElements
      • tools.refinery.language.services.ProblemGrammarAccess.RealElements
      • tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
      • tools.refinery.language.services.ProblemGrammarAccess.ReferenceMultiplicityElements
      • tools.refinery.language.services.ProblemGrammarAccess.ScopeDeclarationElements
      • tools.refinery.language.services.ProblemGrammarAccess.ShortLogicConstantElements
      • tools.refinery.language.services.ProblemGrammarAccess.StatementElements
      • tools.refinery.language.services.ProblemGrammarAccess.StringConstantElements
      • tools.refinery.language.services.ProblemGrammarAccess.TopLevelAnnotationElements
      • tools.refinery.language.services.ProblemGrammarAccess.TypeScopeElements
      • tools.refinery.language.services.ProblemGrammarAccess.UnaryExprElements
      • tools.refinery.language.services.ProblemGrammarAccess.UnboundedMultiplicityElements
      • tools.refinery.language.services.ProblemGrammarAccess.UpperBoundElements
      • tools.refinery.language.services.ProblemGrammarAccess.VariableOrNodeExprElements
      • tools.refinery.language.services.ProblemGrammarAccess.WildcardAssertionArgumentElements
  • org.eclipse.xtext.formatting2.AbstractFormatter2 (implements org.eclipse.xtext.formatting2.IFormatter2)
    • org.eclipse.xtext.formatting2.AbstractJavaFormatter
      • tools.refinery.language.formatting2.ProblemFormatter
  • org.eclipse.xtext.service.AbstractGenericModule (implements com.google.inject.Module)
    • org.eclipse.xtext.service.DefaultRuntimeModule
      • tools.refinery.language.AbstractProblemRuntimeModule
        • tools.refinery.language.ProblemRuntimeModule
  • org.eclipse.xtext.scoping.impl.AbstractGlobalScopeProvider (implements org.eclipse.xtext.scoping.IGlobalScopeProvider)
    • tools.refinery.language.scoping.ProblemGlobalScopeProvider
  • org.eclipse.xtext.validation.AbstractInjectableValidator (implements org.eclipse.emf.ecore.EValidator)
    • org.eclipse.xtext.validation.AbstractDeclarativeValidator (implements org.eclipse.xtext.validation.ValidationMessageAcceptor)
      • tools.refinery.language.validation.AbstractProblemValidator
        • tools.refinery.language.validation.ProblemAnnotationValidator
        • tools.refinery.language.validation.ProblemValidator
  • org.eclipse.xtext.linking.impl.AbstractLinkingService (implements org.eclipse.xtext.linking.ILinkingService)
    • org.eclipse.xtext.linking.impl.DefaultLinkingService
      • tools.refinery.language.linking.ProblemLinkingService
  • org.eclipse.xtext.parser.AbstractParser (implements org.eclipse.xtext.parser.IParser)
    • org.eclipse.xtext.parser.antlr.AbstractAntlrParser
      • tools.refinery.language.parser.antlr.ProblemParser
        • tools.refinery.language.parser.antlr.TokenSourceInjectingProblemParser
  • org.eclipse.xtext.resource.impl.AbstractResourceDescription (implements org.eclipse.xtext.resource.IResourceDescription)
    • org.eclipse.xtext.resource.impl.DefaultResourceDescription
      • tools.refinery.language.resource.ProblemResourceDescription
  • org.eclipse.xtext.scoping.impl.AbstractScope (implements org.eclipse.xtext.scoping.IScope)
    • org.eclipse.xtext.scoping.impl.SelectableBasedScope
      • tools.refinery.language.scoping.ShadowingKeyAwareSelectableBasedScope
  • org.eclipse.xtext.scoping.impl.AbstractScopeProvider (implements org.eclipse.xtext.scoping.IScopeProvider)
    • org.eclipse.xtext.scoping.impl.AbstractGlobalScopeDelegatingScopeProvider
      • tools.refinery.language.scoping.ProblemLocalScopeProvider
    • org.eclipse.xtext.scoping.impl.DelegatingScopeProvider (implements org.eclipse.xtext.scoping.impl.IDelegatingScopeProvider)
      • tools.refinery.language.scoping.AbstractProblemScopeProvider
        • tools.refinery.language.scoping.ProblemScopeProvider
  • org.eclipse.xtext.serializer.sequencer.AbstractSemanticSequencer (implements org.eclipse.xtext.serializer.sequencer.ISemanticSequencer)
    • org.eclipse.xtext.serializer.sequencer.AbstractDelegatingSemanticSequencer
      • tools.refinery.language.serializer.ProblemSemanticSequencer
        • tools.refinery.language.serializer.PreferShortAssertionsProblemSemanticSequencer
  • org.eclipse.xtext.serializer.sequencer.AbstractSyntacticSequencer (implements org.eclipse.xtext.serializer.acceptor.ISemanticSequenceAcceptor, org.eclipse.xtext.serializer.sequencer.ISyntacticSequencer)
    • tools.refinery.language.serializer.ProblemSyntacticSequencer
      • tools.refinery.language.serializer.SyntheticTokenProblemSyntacticSequencer
  • tools.refinery.language.expressions.AbstractTermInterpreter (implements tools.refinery.language.expressions.TermInterpreter)
    • tools.refinery.language.expressions.BuiltinTermInterpreter
  • org.eclipse.xtext.parsetree.reconstr.impl.AbstractTransientValueService (implements org.eclipse.xtext.parsetree.reconstr.ITransientValueService)
    • org.eclipse.xtext.parsetree.reconstr.impl.DefaultTransientValueService
      • tools.refinery.language.serializer.ProblemTransientValueService
  • org.eclipse.xtext.conversion.impl.AbstractValueConverter<Type> (implements org.eclipse.xtext.conversion.IValueConverter<Type>)
    • org.eclipse.xtext.conversion.impl.AbstractLexerBasedConverter<T> (implements org.eclipse.xtext.conversion.IValueConverter.RuleSpecific)
      • org.eclipse.xtext.conversion.impl.AbstractIDValueConverter
        • tools.refinery.language.conversion.IDValueConverter
      • org.eclipse.xtext.conversion.impl.STRINGValueConverter
        • tools.refinery.language.conversion.QUOTED_IDValueConverter
    • tools.refinery.language.conversion.RealValueConverter
    • tools.refinery.language.conversion.UpperBoundValueConverter
  • org.eclipse.xtext.conversion.impl.AbstractValueConverterService (implements org.eclipse.xtext.conversion.IValueConverterService)
    • org.eclipse.xtext.conversion.impl.AbstractDeclarativeValueConverterService (implements org.eclipse.xtext.conversion.IValueConverterService.Introspectable)
      • org.eclipse.xtext.common.services.DefaultTerminalConverters
        • tools.refinery.language.conversion.ProblemValueConverterService
  • tools.refinery.language.validation.ActionTargetCollector
  • org.eclipse.emf.common.notify.impl.AdapterImpl (implements org.eclipse.emf.common.notify.Adapter.Internal)
    • tools.refinery.language.scoping.imports.ImportAdapter
    • tools.refinery.language.resource.state.ProblemDerivedStateComputer.Adapter
  • tools.refinery.language.annotations.internal.AnnotationUtil
  • org.antlr.runtime.BaseRecognizer
    • org.antlr.runtime.Lexer (implements org.antlr.runtime.TokenSource)
      • org.eclipse.xtext.parser.antlr.Lexer
        • tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
    • org.antlr.runtime.Parser
      • org.eclipse.xtext.parser.antlr.AbstractInternalAntlrParser
        • tools.refinery.language.parser.antlr.internal.InternalProblemParser
  • org.eclipse.emf.common.notify.impl.BasicNotifierImpl (implements org.eclipse.emf.common.notify.Notifier)
    • 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.xtext.resource.XtextResource
          • org.eclipse.xtext.linking.lazy.LazyLinkingResource
            • org.eclipse.xtext.resource.persistence.StorageAwareResource
              • org.eclipse.xtext.resource.DerivedStateAwareResource
                • tools.refinery.language.resource.ProblemResource
  • tools.refinery.language.utils.BuiltinAnnotationContext
  • tools.refinery.language.utils.BuiltinSymbols
  • tools.refinery.language.expressions.BuiltInTerms
  • tools.refinery.language.validation.ClassHierarchyCollector
  • tools.refinery.language.library.ClasspathBasedLibrary (implements tools.refinery.language.library.RefineryLibrary)
    • tools.refinery.language.library.BuiltinLibrary
  • tools.refinery.language.annotations.internal.CompositeAnnotationValidator (implements tools.refinery.language.annotations.AnnotationValidator)
  • tools.refinery.language.library.internal.CompositeLibrary (implements tools.refinery.language.library.RefineryLibrary)
  • tools.refinery.language.expressions.CompositeTermInterpreter (implements tools.refinery.language.expressions.TermInterpreter)
  • org.eclipse.xtext.validation.ConfigurableIssueCodesProvider
    • tools.refinery.language.validation.ProblemConfigurableIssueCodesProvider
  • org.eclipse.xtext.serializer.tokens.CrossReferenceSerializer (implements org.eclipse.xtext.serializer.tokens.ICrossReferenceSerializer)
    • tools.refinery.language.serializer.ProblemCrossReferenceSerializer
  • tools.refinery.language.annotations.DeclarativeAnnotationValidator (implements tools.refinery.language.annotations.AnnotationValidator)
    • tools.refinery.language.annotations.BuiltinAnnotations
  • org.eclipse.xtext.parser.DefaultEcoreElementFactory (implements org.eclipse.xtext.parser.IAstFactory)
    • tools.refinery.language.parser.ProblemEcoreElementFactory
  • org.eclipse.xtext.resource.DefaultLocationInFileProvider (implements org.eclipse.xtext.resource.ILocationInFileProvider, org.eclipse.xtext.resource.ILocationInFileProviderExtension)
    • tools.refinery.language.resource.ProblemLocationInFileProvider
  • org.eclipse.xtext.resource.impl.DefaultResourceDescriptionManager (implements org.eclipse.xtext.resource.IResourceDescription.Manager)
    • org.eclipse.xtext.resource.persistence.StorageAwareResourceDescriptionManager
      • org.eclipse.xtext.resource.DerivedStateAwareResourceDescriptionManager
        • tools.refinery.language.resource.ProblemResourceDescriptionManager
  • org.eclipse.xtext.resource.impl.DefaultResourceDescriptionStrategy (implements org.eclipse.xtext.resource.IDefaultResourceDescriptionStrategy)
    • tools.refinery.language.resource.ProblemResourceDescriptionStrategy
  • tools.refinery.language.resource.state.DerivedVariableComputer
  • org.eclipse.xtext.validation.DiagnosticConverterImpl (implements org.eclipse.xtext.validation.IDiagnosticConverter)
    • tools.refinery.language.validation.ProblemDiagnosticConverter
  • tools.refinery.language.documentation.DocumentationCommentParser
  • tools.refinery.language.expressions.ExprToTerm
  • tools.refinery.language.parser.antlr.IdentifierTokenProvider
  • tools.refinery.language.conversion.IdentifierValueConverter (implements org.eclipse.xtext.conversion.IValueConverter<Type>)
  • tools.refinery.language.scoping.imports.ImportAdapterProvider
  • tools.refinery.language.scoping.imports.ImportCollection
  • tools.refinery.language.scoping.imports.ImportCollector
  • tools.refinery.language.typesystem.InvalidType (implements tools.refinery.language.typesystem.FixedType)
  • org.eclipse.xtext.naming.IQualifiedNameProvider.AbstractImpl (implements org.eclipse.xtext.naming.IQualifiedNameProvider)
    • org.eclipse.xtext.naming.DefaultDeclarativeQualifiedNameProvider
      • tools.refinery.language.naming.ProblemQualifiedNameProvider
  • tools.refinery.language.library.LibraryResolutionUtil
  • tools.refinery.language.typesystem.LiteralType (implements tools.refinery.language.typesystem.FixedType)
  • tools.refinery.language.resource.LoadOnDemandResourceDescriptionProvider
  • tools.refinery.language.typesystem.MutableType (implements tools.refinery.language.typesystem.ExprType)
  • tools.refinery.language.naming.NamingUtil
  • tools.refinery.language.resource.state.NodeNameCollector
  • tools.refinery.language.typesystem.NodeType (implements tools.refinery.language.typesystem.FixedType)
  • tools.refinery.language.scoping.NoFullyQualifiedNamesSelectable (implements org.eclipse.xtext.resource.ISelectable)
  • tools.refinery.language.library.PathLibrary (implements tools.refinery.language.library.RefineryLibrary)
  • tools.refinery.language.parser.antlr.ProblemAntlrTokenFileProvider (implements org.eclipse.xtext.parser.antlr.IAntlrTokenFileProvider)
  • tools.refinery.language.resource.state.ProblemDerivedStateComputer (implements org.eclipse.xtext.resource.IDerivedStateComputer)
  • tools.refinery.language.naming.ProblemQualifiedNameConverter (implements org.eclipse.xtext.naming.IQualifiedNameConverter)
  • tools.refinery.language.ProblemStandaloneSetupGenerated (implements org.eclipse.xtext.ISetup)
    • tools.refinery.language.ProblemStandaloneSetup
  • tools.refinery.language.parser.antlr.ProblemTokenSource (implements org.antlr.runtime.TokenSource)
  • tools.refinery.language.typesystem.ProblemTypeAnalyzer
  • tools.refinery.language.utils.ProblemUtil
  • tools.refinery.language.validation.ReferenceCounter
  • org.eclipse.xtext.findReferences.ReferenceFinder (implements org.eclipse.xtext.findReferences.IReferenceFinder)
    • tools.refinery.language.resource.ProblemReferenceFinder
  • tools.refinery.language.typesystem.SignatureProvider
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Error
      • java.lang.AssertionError
        • tools.refinery.language.resource.ProblemResource.CyclicLinkingError
  • tools.refinery.language.annotations.internal.TypedAnnotation (implements tools.refinery.language.annotations.Annotation)
  • tools.refinery.language.annotations.internal.TypedAnnotationContext (implements tools.refinery.language.annotations.AnnotationContext)
  • tools.refinery.language.annotations.internal.TypedAnnotations (implements tools.refinery.language.annotations.Annotations)
  • tools.refinery.language.typesystem.TypedModule
  • tools.refinery.language.documentation.TypeHashProvider

Interface Hierarchy

• tools.refinery.language.expressions.AbstractTermInterpreter.Cast<R,T>
• tools.refinery.language.expressions.AbstractTermInterpreter.Range<T>
• tools.refinery.language.expressions.AbstractTermInterpreter.Serializer<A,C>
• tools.refinery.language.annotations.Annotation
• tools.refinery.language.annotations.AnnotationContext
• tools.refinery.language.annotations.Annotations
• tools.refinery.language.annotations.AnnotationValidator
• tools.refinery.language.typesystem.ExprType
  • tools.refinery.language.typesystem.FixedType
• tools.refinery.language.scoping.imports.Import
• tools.refinery.language.library.RefineryLibrary
• tools.refinery.language.expressions.TermInterpreter

Annotation Interface Hierarchy

• tools.refinery.language.annotations.ValidateAnnotation (implements java.lang.annotation.Annotation)
• tools.refinery.language.annotations.ValidateAnnotations (implements java.lang.annotation.Annotation)

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.utils.ParameterBinding
    • tools.refinery.language.utils.Visibility

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • tools.refinery.language.typesystem.AggregatorName
    • tools.refinery.language.utils.ConcretizationSettings
    • tools.refinery.language.typesystem.DataExprType (implements tools.refinery.language.typesystem.FixedType)
    • tools.refinery.language.utils.DecisionSettings
    • tools.refinery.language.scoping.imports.NamedImport (implements tools.refinery.language.scoping.imports.Import)
    • tools.refinery.language.typesystem.PrimitiveName
    • tools.refinery.language.scoping.ProblemGlobalScopeProvider.LoadedImports
    • tools.refinery.language.resource.ProblemResourceDescriptionStrategy.ShadowingKey
    • tools.refinery.language.typesystem.Signature
    • tools.refinery.language.scoping.imports.TransitiveImport (implements tools.refinery.language.scoping.imports.Import)