Uses of Class
joeq.Compiler.Analysis.Primitive.PrimitivePA

Packages that use PrimitivePA

joeq.Compiler.Analysis.Primitive

Uses of PrimitivePA in joeq.Compiler.Analysis.Primitive

Fields in joeq.Compiler.Analysis.Primitive declared as PrimitivePA

protected PrimitivePA

PrimitiveSubtypeHelper.pa

Methods in joeq.Compiler.Analysis.Primitive that return PrimitivePA

static PrimitivePA

PrimitivePA.loadResults(String bddfactory, String loaddir, String loadfilename)

Methods in joeq.Compiler.Analysis.Primitive with parameters of type PrimitivePA

static PrimitiveSubtypeHelper

PrimitiveSubtypeHelper.newSubtypeHelper(PrimitivePA pa, String kind)

Constructors in joeq.Compiler.Analysis.Primitive with parameters of type PrimitivePA

PrimitivePACallGraph(PrimitivePA pa)

PrimitivePAMethodSummary(PrimitivePA pa, jq_Method m)

PrimitiveSubtypeHelper.KnownClassesSubtypeHelper(PrimitivePA pa)

PrimitiveSubtypeHelper.OfflineSubtypeHelper(PrimitivePA pa)

PrimitiveSubtypeHelper.OnlineSubtypeHelper(PrimitivePA pa)

PrimitiveSubtypeHelper(PrimitivePA pa)