soot.jimple.spark.geom.dataMgr

Class ContextsCollector

java.lang.Object

soot.jimple.spark.geom.dataMgr.ContextsCollector

public class ContextsCollector
extends java.lang.Object

Manage context intervals.

Author:

xiao

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.List<SimpleInterval>	backupList
java.util.List<SimpleInterval>	bars
protected int	nBudget
protected SimpleInterval	tmp_si

Constructor Summary

Constructors

Constructor and Description
ContextsCollector()

Method Summary

Methods

Modifier and Type	Method and Description
void	clear()
int	getBudget()
boolean	insert(long L, long R)
int	setBudget(int n)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

bars

public java.util.List<SimpleInterval> bars

backupList

protected java.util.List<SimpleInterval> backupList

tmp_si

protected SimpleInterval tmp_si

nBudget

protected int nBudget

Constructor Detail

ContextsCollector

public ContextsCollector()

Method Detail

getBudget

public int getBudget()

setBudget

public int setBudget(int n)

insert

public boolean insert(long L,
             long R)

clear

public void clear()