soot.jimple.spark.geom.geomPA
Interface IWorklist

All Known Implementing Classes:

FIFO_Worklist, PQ_Worklist

public interface IWorklist

Worklist, abstracts the selection strategy

Author:

xiao

Method Summary

void	clear()
boolean	has_job()
void	initialize(int size) Some worklist may need the initial capacity.
IVarAbstraction	next()
void	push(IVarAbstraction p)
int	size()

Method Detail

initialize

void initialize(int size)

Some worklist may need the initial capacity.

Parameters:

size -

has_job

boolean has_job()

next

IVarAbstraction next()

push

void push(IVarAbstraction p)

size

int size()

clear

void clear()