org.checkerframework.dataflow.analysis

Class Analysis.Worklist

java.lang.Object

org.checkerframework.dataflow.analysis.Analysis.Worklist

Enclosing class:

Analysis<A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>>

protected static class Analysis.Worklist
extends java.lang.Object

A worklist is a priority queue of blocks in which the order is given by depth-first ordering to place non-loop predecessors ahead of successors.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	Analysis.Worklist.DFOComparator Comparator to allow priority queue to order blocks by their depth-first order.

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.IdentityHashMap<Block,java.lang.Integer>	depthFirstOrder Map all blocks in the CFG to their depth-first order.
protected java.util.PriorityQueue<Block>	queue The backing priority queue.

Constructor Summary

Constructors

Constructor and Description
Worklist(ControlFlowGraph cfg)

Method Summary

Modifier and Type	Method and Description
void	add(Block block)
boolean	contains(Block block)
boolean	isEmpty()
Block	poll()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

depthFirstOrder

protected java.util.IdentityHashMap<Block,java.lang.Integer> depthFirstOrder

Map all blocks in the CFG to their depth-first order.

queue

protected java.util.PriorityQueue<Block> queue

The backing priority queue.

Constructor Detail

Worklist

public Worklist(ControlFlowGraph cfg)

Method Detail

isEmpty

public boolean isEmpty()

contains

public boolean contains(Block block)

add

public void add(Block block)

poll

public Block poll()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object