Package soot.jimple.spark.geom.geomE

Class GeometricManager

java.lang.Object

soot.jimple.spark.geom.geomPA.IFigureManager

soot.jimple.spark.geom.geomE.GeometricManager

public class GeometricManager
extends IFigureManager

This class implements the figure manager. Currently, we apply a naive management strategy: For each type of object, we maintain a linked list. If we insert a new object, we don't test if all the geometric objects on the plane together can cover the new object. Instead, we test if there is one object already covers the new object.

Author:

xiao

Field Summary

Fields

Modifier and Type	Field	Description
static int	Divisions
static int	MANY_TO_MANY
static int	ONE_TO_ONE
static int	Undefined_Mapping

Constructor Summary

Constructors

Constructor	Description
GeometricManager()

Method Summary

Modifier and Type	Method	Description
SegmentNode	addNewFigure(int code, RectangleNode pnew)	Insert a new figure into this manager if it is not covered by any exisiting figure.
void	flush()	Remove the new labels for all the figures.
SegmentNode[]	getFigures()
int[]	getSizes()
boolean	isThereUnprocessedFigures()
void	mergeFigures(int buget_size)	Merge the set of objects in the same category into one.
void	removeUselessSegments()	The lines that are included in some rectangles can be deleted.

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

ONE_TO_ONE

public static final int ONE_TO_ONE

See Also:

Constant Field Values

MANY_TO_MANY

public static final int MANY_TO_MANY

See Also:

Constant Field Values

Undefined_Mapping

public static final int Undefined_Mapping

See Also:

Constant Field Values

Constructor Detail

GeometricManager

public GeometricManager()

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()

Remove the new labels for all the figures.

Specified by:

flush in class IFigureManager

addNewFigure

public SegmentNode addNewFigure(int code,
                                RectangleNode pnew)

Insert a new figure into this manager if it is not covered by any exisiting figure.

Specified by:

addNewFigure in class IFigureManager

mergeFigures

public void mergeFigures(int buget_size)

Merge the set of objects in the same category into one.

Specified by:

mergeFigures in class IFigureManager

removeUselessSegments

public void removeUselessSegments()

The lines that are included in some rectangles can be deleted.

Specified by:

removeUselessSegments in class IFigureManager