Hierarchy For All Packages

Package Hierarchies:

• liquidjava.api,
• liquidjava.diagnostics,
• liquidjava.diagnostics.errors,
• liquidjava.diagnostics.warnings,
• liquidjava.processor,
• liquidjava.processor.ann_generation,
• liquidjava.processor.context,
• liquidjava.processor.facade,
• liquidjava.processor.refinement_checker,
• liquidjava.processor.refinement_checker.general_checkers,
• liquidjava.processor.refinement_checker.object_checkers,
• liquidjava.rj_language,
• liquidjava.rj_language.ast,
• liquidjava.rj_language.ast.typing,
• liquidjava.rj_language.opt,
• liquidjava.rj_language.opt.derivation_node,
• liquidjava.rj_language.parsing,
• liquidjava.rj_language.visitors,
• liquidjava.smt,
• liquidjava.smt.errors,
• liquidjava.utils,
• liquidjava.utils.constants,
• rj.grammar

Class Hierarchy

• java.lang.Object
  • java.util.AbstractMap<K,V> (implements java.util.Map<K,V>)
    • java.util.HashMap<K,V> (implements java.lang.Cloneable, java.util.Map<K,V>, java.io.Serializable)
      • liquidjava.diagnostics.TranslationTable
  • spoon.processing.AbstractProcessor<E> (implements spoon.processing.Processor<E>)
    • liquidjava.processor.RefinementProcessor
  • liquidjava.processor.facade.AliasDTO
  • liquidjava.rj_language.visitors.AliasVisitor
  • liquidjava.processor.context.AliasWrapper
  • liquidjava.processor.refinement_checker.object_checkers.AuxHierarchyRefinementsPassage
  • liquidjava.processor.refinement_checker.object_checkers.AuxStateHandler
  • liquidjava.diagnostics.Colors
  • liquidjava.api.CommandLineLauncher
  • liquidjava.rj_language.opt.ConstantFolding
  • liquidjava.rj_language.opt.ConstantPropagation
  • liquidjava.processor.context.Context
  • liquidjava.rj_language.visitors.CreateASTVisitor
  • spoon.reflect.visitor.CtScanner (implements spoon.reflect.visitor.CtVisitor)
    • liquidjava.processor.ann_generation.FieldGhostsGeneration
    • liquidjava.processor.refinement_checker.TypeChecker
      • liquidjava.processor.refinement_checker.ExternalRefinementTypeChecker
      • liquidjava.processor.refinement_checker.MethodsFirstChecker
      • liquidjava.processor.refinement_checker.RefinementTypeChecker
  • liquidjava.rj_language.opt.derivation_node.DerivationNode
    • liquidjava.rj_language.opt.derivation_node.BinaryDerivationNode
    • liquidjava.rj_language.opt.derivation_node.UnaryDerivationNode
    • liquidjava.rj_language.opt.derivation_node.ValDerivationNode
    • liquidjava.rj_language.opt.derivation_node.VarDerivationNode
  • liquidjava.diagnostics.Diagnostics
  • liquidjava.rj_language.ast.Expression
    • liquidjava.rj_language.ast.AliasInvocation
    • liquidjava.rj_language.ast.BinaryExpression
    • liquidjava.rj_language.ast.FunctionInvocation
    • liquidjava.rj_language.ast.GroupExpression
    • liquidjava.rj_language.ast.Ite
    • liquidjava.rj_language.ast.LiteralBoolean
    • liquidjava.rj_language.ast.LiteralInt
    • liquidjava.rj_language.ast.LiteralReal
    • liquidjava.rj_language.ast.LiteralString
    • liquidjava.rj_language.ast.UnaryExpression
    • liquidjava.rj_language.ast.Var
  • liquidjava.rj_language.opt.ExpressionSimplifier
  • liquidjava.smt.ExpressionToZ3Visitor (implements liquidjava.rj_language.visitors.ExpressionVisitor<T>)
  • liquidjava.utils.constants.Formats
  • liquidjava.processor.context.GhostFunction
    • liquidjava.processor.context.GhostState
  • liquidjava.rj_language.visitors.GhostVisitor
  • liquidjava.utils.constants.Keys
  • liquidjava.processor.refinement_checker.general_checkers.MethodsFunctionsChecker
  • liquidjava.processor.context.ObjectState
  • liquidjava.processor.refinement_checker.general_checkers.OperationsChecker
  • liquidjava.utils.constants.Ops
  • liquidjava.processor.context.PlacementInCode
  • liquidjava.rj_language.Predicate
    • liquidjava.rj_language.BuiltinFunctionPredicate
  • org.antlr.v4.runtime.Recognizer<Symbol, ATNInterpreter>
    • org.antlr.v4.runtime.Lexer (implements org.antlr.v4.runtime.TokenSource)
      • rj.grammar.RJLexer
    • org.antlr.v4.runtime.Parser
      • rj.grammar.RJParser
  • liquidjava.processor.context.Refined
    • liquidjava.processor.context.RefinedFunction
    • liquidjava.processor.context.RefinedVariable
      • liquidjava.processor.context.Variable
      • liquidjava.processor.context.VariableInstance
  • liquidjava.rj_language.parsing.RefinementsParser
  • rj.grammar.RJBaseListener (implements rj.grammar.RJListener)
  • liquidjava.rj_language.parsing.RJErrorListener (implements org.antlr.v4.runtime.ANTLRErrorListener)
  • org.antlr.v4.runtime.RuleContext (implements org.antlr.v4.runtime.tree.RuleNode)
    • org.antlr.v4.runtime.ParserRuleContext
      • rj.grammar.RJParser.AliasCallContext
      • rj.grammar.RJParser.AliasContext
      • rj.grammar.RJParser.ArgDeclContext
      • rj.grammar.RJParser.ArgDeclIDContext
      • rj.grammar.RJParser.ArgsContext
      • rj.grammar.RJParser.ExpContext
        • rj.grammar.RJParser.ExpBoolContext
        • rj.grammar.RJParser.ExpGroupContext
        • rj.grammar.RJParser.ExpOperandContext
      • rj.grammar.RJParser.FunctionCallContext
      • rj.grammar.RJParser.GhostCallContext
      • rj.grammar.RJParser.GhostContext
      • rj.grammar.RJParser.LiteralContext
      • rj.grammar.RJParser.LiteralExpressionContext
        • rj.grammar.RJParser.InvocationContext
        • rj.grammar.RJParser.LitContext
        • rj.grammar.RJParser.LitGroupContext
        • rj.grammar.RJParser.TargetInvocationContext
        • rj.grammar.RJParser.VarContext
      • rj.grammar.RJParser.OperandContext
        • rj.grammar.RJParser.OpArithContext
        • rj.grammar.RJParser.OpGroupContext
        • rj.grammar.RJParser.OpLiteralContext
        • rj.grammar.RJParser.OpMinusContext
        • rj.grammar.RJParser.OpNotContext
        • rj.grammar.RJParser.OpSubContext
      • rj.grammar.RJParser.PredContext
        • rj.grammar.RJParser.IteContext
        • rj.grammar.RJParser.PredExpContext
        • rj.grammar.RJParser.PredGroupContext
        • rj.grammar.RJParser.PredLogicContext
        • rj.grammar.RJParser.PredNegateContext
      • rj.grammar.RJParser.ProgContext
      • rj.grammar.RJParser.StartContext
        • rj.grammar.RJParser.StartAliasContext
        • rj.grammar.RJParser.StartGhostContext
        • rj.grammar.RJParser.StartPredContext
      • rj.grammar.RJParser.TypeContext
  • liquidjava.smt.SMTEvaluator
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • java.lang.RuntimeException
        • liquidjava.diagnostics.LJDiagnostic
          • liquidjava.diagnostics.errors.LJError
            • liquidjava.diagnostics.errors.CustomError
            • liquidjava.diagnostics.errors.IllegalConstructorTransitionError
            • liquidjava.diagnostics.errors.InvalidRefinementError
            • liquidjava.diagnostics.errors.NotFoundError
            • liquidjava.diagnostics.errors.RefinementError
            • liquidjava.diagnostics.errors.StateConflictError
            • liquidjava.diagnostics.errors.StateRefinementError
            • liquidjava.diagnostics.errors.SyntaxError
          • liquidjava.diagnostics.warnings.LJWarning
            • liquidjava.diagnostics.warnings.CustomWarning
            • liquidjava.diagnostics.warnings.ExternalClassNotFoundWarning
            • liquidjava.diagnostics.warnings.ExternalMethodNotFoundWarning
      • liquidjava.smt.errors.SMTError
        • liquidjava.smt.errors.NotFoundError
      • liquidjava.smt.errors.TypeCheckError
  • liquidjava.smt.TranslatorContextToZ3
  • liquidjava.smt.TranslatorToZ3 (implements java.lang.AutoCloseable)
  • liquidjava.processor.refinement_checker.TypeCheckingUtils
  • liquidjava.rj_language.ast.typing.TypeInfer
  • liquidjava.utils.constants.Types
  • liquidjava.utils.Utils
  • liquidjava.rj_language.opt.VariableResolver
  • liquidjava.processor.refinement_checker.VCChecker
  • liquidjava.processor.VCImplication

Interface Hierarchy

• liquidjava.rj_language.visitors.ExpressionVisitor<T>
• org.antlr.v4.runtime.tree.ParseTreeListener
  • rj.grammar.RJListener

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • liquidjava.diagnostics.ErrorPosition
    • liquidjava.processor.facade.GhostDTO
    • liquidjava.utils.Pair<K,V>