Package soot.jimple.spark.geom.heapinsE

Class HeapInsIntervalManager

java.lang.Object

soot.jimple.spark.geom.geomPA.IFigureManager

soot.jimple.spark.geom.heapinsE.HeapInsIntervalManager

public class HeapInsIntervalManager
extends IFigureManager

An abstraction for the management of all the heap insensitive encoding figures. We employ the naive management strategy, which is a linked list based manager. For HeapIns analysis, we have four types of figures: Type | Index all-to-many | 0 many-to-all | 1 one-to-one | 2 all-to-all all-to-all is special because whenever it was presented, all others can be deleted (its semantics is context insensitive). The corresponding index means header[0] stores all the all-to-one figures, and so on.

Author:

xiao

Field Summary

Fields

Modifier and Type	Field	Description
static int	ALL_TO_ALL
static int	ALL_TO_MANY
static int	Divisions
static int	MANY_TO_ALL
static int	ONE_TO_ONE

Constructor Summary

Constructors

Constructor	Description
HeapInsIntervalManager()

Method Summary

Modifier and Type	Method	Description
SegmentNode	addNewFigure(int code, RectangleNode pnew)
void	clear()	Delete all the shapes recorded.
void	flush()
SegmentNode[]	getFigures()
int[]	getSizes()
boolean	isThereUnprocessedFigures()
void	mergeFigures(int upperSize)
void	removeUselessSegments()

Methods inherited from class soot.jimple.spark.geom.geomPA.IFigureManager

cleanCache, getRectangleNode, getSegmentNode, reclaimRectangleNode, reclaimSegmentNode

Methods inherited from class java.lang.Object

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

Field Detail

Divisions

public static int Divisions

ALL_TO_ALL

public static final int ALL_TO_ALL

See Also:

Constant Field Values

ALL_TO_MANY

public static final int ALL_TO_MANY

See Also:

Constant Field Values

MANY_TO_ALL

public static final int MANY_TO_ALL

See Also:

Constant Field Values

ONE_TO_ONE

public static final int ONE_TO_ONE

See Also:

Constant Field Values

Constructor Detail

HeapInsIntervalManager

public HeapInsIntervalManager()

Method Detail

getFigures

public SegmentNode[] getFigures()

Specified by:

getFigures in class IFigureManager

getSizes

public int[] getSizes()

Specified by:

getSizes in class IFigureManager

isThereUnprocessedFigures

public boolean isThereUnprocessedFigures()

Specified by:

isThereUnprocessedFigures in class IFigureManager

flush

public void flush()

Specified by:

flush in class IFigureManager

clear

public void clear()

Delete all the shapes recorded.

addNewFigure

public SegmentNode addNewFigure(int code,
                                RectangleNode pnew)

Specified by:

addNewFigure in class IFigureManager

mergeFigures

public void mergeFigures(int upperSize)

Specified by:

mergeFigures in class IFigureManager

removeUselessSegments

public void removeUselessSegments()

Specified by:

removeUselessSegments in class IFigureManager