soot.jimple.spark.geom.geomE
Class GeometricManager

java.lang.Object
  soot.jimple.spark.geom.geomE.GeometricManager

public class GeometricManager
extends Object

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.

Since:

1/11/2010

Author:

richardxx

Field Summary

static int

Divisions

Constructor Summary

GeometricManager()

Method Summary

SegmentNode	addNewObject(int code, RectangleNode pnew)
void	flush()
SegmentNode[]	getObjects()
int[]	getSizes()
boolean	isThereUnprocessedObject()
void	mergeObjects(int buget_size) merge the set of objects in the same category into one.
void	remove_useless_lines() The lines that are included in some rectangles can be deleted.

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

Constructor Detail

GeometricManager

public GeometricManager()

Method Detail

getObjects

public SegmentNode[] getObjects()

getSizes

public int[] getSizes()

isThereUnprocessedObject

public boolean isThereUnprocessedObject()

flush

public void flush()

addNewObject

public SegmentNode addNewObject(int code,
                                RectangleNode pnew)

mergeObjects

public void mergeObjects(int buget_size)

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

Parameters:

buget_size -

remove_useless_lines

public void remove_useless_lines()

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