Hierarchy For Package pascal.taie.analysis.pta.core.solver

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • pascal.taie.analysis.pta.core.solver.DeclaredParamProvider (implements pascal.taie.analysis.pta.core.solver.ParamProvider)
  • pascal.taie.analysis.pta.core.solver.DefaultSolver (implements pascal.taie.analysis.pta.core.solver.Solver)
  • pascal.taie.analysis.pta.core.solver.PointerFlowEdge (implements pascal.taie.util.graph.Edge<N>)
    • pascal.taie.analysis.pta.core.solver.OtherEdge
  • pascal.taie.analysis.pta.core.solver.PointerFlowGraph (implements pascal.taie.util.graph.Graph<N>)
  • pascal.taie.analysis.pta.core.solver.PropagateTypes
  • java.lang.Record
    • pascal.taie.analysis.pta.core.solver.EntryPoint
  • pascal.taie.analysis.pta.core.solver.SpecifiedParamProvider (implements pascal.taie.analysis.pta.core.solver.ParamProvider)
  • pascal.taie.analysis.pta.core.solver.SpecifiedParamProvider.Builder
  • pascal.taie.analysis.pta.core.solver.TypeFilter (implements pascal.taie.analysis.pta.core.solver.Transfer)

Interface Hierarchy

• pascal.taie.analysis.pta.core.solver.ParamProvider
• pascal.taie.analysis.pta.core.solver.Solver
• pascal.taie.analysis.pta.core.solver.Transfer

Enum Class Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • pascal.taie.analysis.pta.core.solver.EmptyParamProvider (implements pascal.taie.analysis.pta.core.solver.ParamProvider)
    • pascal.taie.analysis.pta.core.solver.Identity (implements pascal.taie.analysis.pta.core.solver.Transfer)