Uses of Class
soot.jimple.spark.ondemand.HeuristicType

Packages that use HeuristicType

Package	Description
soot.jimple.spark.ondemand

Uses of HeuristicType in soot.jimple.spark.ondemand

Fields in soot.jimple.spark.ondemand declared as HeuristicType

Modifier and Type	Field and Description
protected HeuristicType	DemandCSPointsTo.heuristicType

Methods in soot.jimple.spark.ondemand that return HeuristicType

Modifier and Type	Method and Description
HeuristicType	DemandCSPointsTo.getHeuristicType()
static HeuristicType	HeuristicType.valueOf(String name) Returns the enum constant of this type with the specified name.
static HeuristicType[]	HeuristicType.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in soot.jimple.spark.ondemand with parameters of type HeuristicType

Modifier and Type	Method and Description
protected boolean	DemandCSPointsTo.checkP2Set(VarNode v, HeuristicType heuristic, Predicate<Set<AllocAndContext>> p2setPred) check the computed points-to set of a variable against some predicate
protected Set<VarNode>	DemandCSPointsTo.computeFlowsTo(AllocNode alloc, HeuristicType heuristic) compute a flows-to set for an allocation site.
static FieldCheckHeuristic	HeuristicType.getHeuristic(HeuristicType type, TypeManager tm, int maxPasses)
protected boolean	DemandCSPointsTo.refineAlias(VarNode v1, VarNode v2, PointsToSetInternal intersection, HeuristicType heuristic)
protected boolean	DemandCSPointsTo.refineAliasInternal(VarNode v1, VarNode v2, PointsToSetInternal intersection, HeuristicType heuristic)
protected boolean	DemandCSPointsTo.refineP2Set(VarNode v, PointsToSetInternal badLocs, HeuristicType heuristic)
void	DemandCSPointsTo.setHeuristicType(HeuristicType heuristicType)