soot.jimple.spark.geom.geomPA

Class PQ_Worklist

java.lang.Object

soot.jimple.spark.geom.geomPA.PQ_Worklist

All Implemented Interfaces:

IWorklist

public class PQ_Worklist
extends Object
implements IWorklist

The implementation of prioritized worklist. The priority is computed by two parameters: the Topsort order and the least recent fired (LRF) timestamp. For two pointers p and q p has higher priority than q iff: 1. topsort_order(p) < topsort_order(q) 2. topsort_order(p) == topsort_order(q) && LRF(p) < LRF(q)

Author:

xiao

Constructor Summary

Constructors

Constructor and Description
PQ_Worklist()

Method Summary

Modifier and Type	Method and Description
void	clear()
boolean	has_job()
void	initialize(int size) Some worklist may need the initial capacity.
IVarAbstraction	next()
void	push(IVarAbstraction e)
int	size()

Methods inherited from class java.lang.Object

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

Constructor Detail

PQ_Worklist

public PQ_Worklist()

Method Detail

initialize

public void initialize(int size)

Description copied from interface: IWorklist

Some worklist may need the initial capacity.

Specified by:

initialize in interface IWorklist

has_job

public boolean has_job()

Specified by:

has_job in interface IWorklist

next

public IVarAbstraction next()

Specified by:

next in interface IWorklist

push

public void push(IVarAbstraction e)

Specified by:

push in interface IWorklist

size

public int size()

Specified by:

size in interface IWorklist

clear

public void clear()

Specified by:

clear in interface IWorklist