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 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 IdentityHashMap<Block,Integer>	depthFirstOrder Map all blocks in the CFG to their depth-first order.
protected PriorityQueue<Block>	queue The backing priority queue.

Constructor Summary

Constructors

Constructor and Description
Worklist()

Method Summary

Modifier and Type	Method and Description
void	add(Block block)
boolean	contains(Block block)
boolean	isEmpty()
@Nullable Block	poll()
void	process(ControlFlowGraph cfg)
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

depthFirstOrder

protected final IdentityHashMap<Block,Integer> depthFirstOrder

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

queue

protected final PriorityQueue<Block> queue

The backing priority queue.

Constructor Detail

Worklist

public Worklist()

Method Detail

process

public void process(ControlFlowGraph cfg)

isEmpty

@EnsuresNonNullIf(result=false,
                  expression="poll()")
public boolean isEmpty()

See Also:

AbstractCollection.isEmpty()

contains

public boolean contains(Block block)

add

public void add(Block block)

poll

public @Nullable Block poll()

See Also:

PriorityQueue.poll()

toString

public String toString()

Overrides:

toString in class Object