Uses of Class
soot.jimple.spark.ondemand.DemandCSPointsTo.VarAndContext

Packages that use DemandCSPointsTo.VarAndContext

Package	Description
soot.jimple.spark.ondemand

Uses of DemandCSPointsTo.VarAndContext in soot.jimple.spark.ondemand

Subclasses of DemandCSPointsTo.VarAndContext in soot.jimple.spark.ondemand

Modifier and Type	Class	Description
protected static class	DemandCSPointsTo.VarContextAndUp

Fields in soot.jimple.spark.ondemand with type parameters of type DemandCSPointsTo.VarAndContext

Modifier and Type	Field	Description
protected Stack<DemandCSPointsTo.VarAndContext>	DemandCSPointsTo.contextForAllocsStack
protected Map<DemandCSPointsTo.VarAndContext,Pair<PointsToSetInternal,AllocAndContextSet>>	DemandCSPointsTo.contextsForAllocsCache

Methods in soot.jimple.spark.ondemand with parameters of type DemandCSPointsTo.VarAndContext

Modifier and Type	Method	Description
protected PointsToSetInternal	DemandCSPointsTo.checkContextsForAllocsCache(DemandCSPointsTo.VarAndContext varAndContext, AllocAndContextSet ret, PointsToSetInternal locs)
protected AllocAndContextSet	DemandCSPointsTo.findContextsForAllocs(DemandCSPointsTo.VarAndContext varAndContext, PointsToSetInternal locs)
abstract void	DemandCSPointsTo.IncomingEdgeHandler.handleAlloc(AllocNode allocNode, DemandCSPointsTo.VarAndContext origVarAndContext)
abstract void	DemandCSPointsTo.IncomingEdgeHandler.handleMatchSrc(VarNode matchSrc, PointsToSetInternal intersection, VarNode loadBase, VarNode storeBase, DemandCSPointsTo.VarAndContext origVarAndContext, SparkField field, boolean refine)
protected boolean	DemandCSPointsTo.refineP2Set(DemandCSPointsTo.VarAndContext varAndContext, PointsToSetInternal badLocs)

Method parameters in soot.jimple.spark.ondemand with type arguments of type DemandCSPointsTo.VarAndContext

Modifier and Type	Method	Description
protected void	DemandCSPointsTo.processIncomingEdges(DemandCSPointsTo.IncomingEdgeHandler h, Stack<DemandCSPointsTo.VarAndContext> worklist)