Class Hierarchy
- java.lang.Object
- pascal.taie.analysis.pta.plugin.reflection.LogItem
- pascal.taie.analysis.pta.plugin.reflection.ReflectionAnalysis (implements pascal.taie.analysis.pta.plugin.Plugin)
- pascal.taie.analysis.pta.plugin.util.SolverHolder
- pascal.taie.analysis.pta.plugin.util.AbstractModel (implements pascal.taie.analysis.pta.plugin.util.Model)
- pascal.taie.analysis.pta.plugin.reflection.OthersModel
- pascal.taie.analysis.pta.plugin.reflection.ReflectiveActionModel
- pascal.taie.analysis.pta.plugin.reflection.SolarModel
- pascal.taie.analysis.pta.plugin.reflection.StringBasedModel
- pascal.taie.analysis.pta.plugin.util.AbstractModel (implements pascal.taie.analysis.pta.plugin.util.Model)