soot.jimple.spark.geom.geomPA

Interface IWorklist

All Known Implementing Classes:

FIFO_Worklist, PQ_Worklist

public interface IWorklist

The worklist interface that abstracts the selection strategy.

Author:

xiao

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