soot.jimple.spark.geom.ptinsE

Class PtInsIntervalManager

java.lang.Object

soot.jimple.spark.geom.geomPA.IFigureManager

soot.jimple.spark.geom.ptinsE.PtInsIntervalManager

public class PtInsIntervalManager
extends IFigureManager

The figure manager for the PtIns descriptors. The implementation is almost same to the HeapIns manager, please refer to HeapInsIntervalManager for more detailed comments.

Field Summary

Fields

Modifier and Type	Field and 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 and Description
PtInsIntervalManager()

Method Summary

Modifier and Type	Method and Description
SegmentNode	addNewFigure(int code, RectangleNode pnew)
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 final int Divisions

See Also:

Constant Field Values

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

PtInsIntervalManager

public PtInsIntervalManager()

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

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