Package soot.jimple.spark.geom.dataMgr
Class ContextsCollector
- java.lang.Object
-
- soot.jimple.spark.geom.dataMgr.ContextsCollector
-
public class ContextsCollector extends Object
Manage context intervals.- Author:
- xiao
-
-
Field Summary
Fields Modifier and Type Field Description protected List<SimpleInterval>backupListList<SimpleInterval>barsprotected intnBudgetprotected SimpleIntervaltmp_si
-
Constructor Summary
Constructors Constructor Description ContextsCollector()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidclear()intgetBudget()booleaninsert(long L, long R)intsetBudget(int n)
-
-
-
Field Detail
-
bars
public List<SimpleInterval> bars
-
backupList
protected List<SimpleInterval> backupList
-
tmp_si
protected SimpleInterval tmp_si
-
nBudget
protected int nBudget
-
-