Uses of Class
joeq.Compiler.Analysis.IPA.PA

Packages that use PA

joeq.Compiler.Analysis.IPA
joeq.Compiler.Analysis.IPSSA

Uses of PA in joeq.Compiler.Analysis.IPA

Fields in joeq.Compiler.Analysis.IPA declared as PA

protected PA

SubtypeHelper.pa

Methods in joeq.Compiler.Analysis.IPA that return PA

PA	PAResults.getPAResults()
PA	PointerAnalysisResults.getPAResults()
static PA	PA.loadResults(String bddfactory, String loaddir, String loadfilename)

Methods in joeq.Compiler.Analysis.IPA with parameters of type PA

static SubtypeHelper	SubtypeHelper.newSubtypeHelper(PA pa, String kind)
String	PAResults.HeapLocation.toString(PA r)

Constructors in joeq.Compiler.Analysis.IPA with parameters of type PA

PACallGraph(PA pa)

PAMethodSummary(PA pa, jq_Method m)

PAProxy(PA that)

PAResults(PA pa)

SubtypeHelper.KnownClassesSubtypeHelper(PA pa)

SubtypeHelper.OfflineSubtypeHelper(PA pa)

SubtypeHelper.OnlineSubtypeHelper(PA pa)

SubtypeHelper(PA pa)

Uses of PA in joeq.Compiler.Analysis.IPSSA

Methods in joeq.Compiler.Analysis.IPSSA with parameters of type PA

String	SSALocation.toString(PA pa)
String	SSALocation.Temporary.toString(PA pa)
String	SSALocation.Unique.toString(PA pa)
String	SSALocation.LocalLocation.toString(PA pa)