soot.jimple.spark.geom.heapinsE
Class HeapInsIntervalManager

java.lang.Object
  soot.jimple.spark.geom.heapinsE.HeapInsIntervalManager

public class HeapInsIntervalManager
extends Object

An abstraction for the management of all the intervals pertaining to a specific node. We employ the naive management strategy, which is linked list based manager.

Author:

richardxx

Field Summary

static int

Divisions

Constructor Summary

HeapInsIntervalManager()

Method Summary

SegmentNode	add_new_interval(long I1, long I2, long L)
void	clear() Delete all the shapes recorded.
void	flush()
SegmentNode[]	get_intervals()
boolean	isThereUnprocessedObject()
void	merge_flow_edges()
void	merge_points_to_tuples(int budget)
void	remove_useless_intervals()

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

Constructor Detail

HeapInsIntervalManager

public HeapInsIntervalManager()

Method Detail

get_intervals

public SegmentNode[] get_intervals()

isThereUnprocessedObject

public boolean isThereUnprocessedObject()

flush

public void flush()

clear

public void clear()

Delete all the shapes recorded.

add_new_interval

public SegmentNode add_new_interval(long I1,
                                    long I2,
                                    long L)

merge_flow_edges

public void merge_flow_edges()

merge_points_to_tuples

public void merge_points_to_tuples(int budget)

remove_useless_intervals

public void remove_useless_intervals()