Package proguard.analysis.cpa.defaults

Class BreadthFirstWaitlist<StateT extends AbstractState<StateT>>

java.lang.Object

proguard.analysis.cpa.defaults.AbstractWaitlist<StateT>

proguard.analysis.cpa.defaults.BreadthFirstWaitlist<StateT>

Type Parameters:

StateT - The states contained in the waitlist.

All Implemented Interfaces:

Waitlist<StateT>

public class BreadthFirstWaitlist<StateT extends AbstractState<StateT>>
extends AbstractWaitlist<StateT>

This Waitlist pops the first element, i.e., performs a breadth first traversal over the Cfa.

Field Summary

Fields inherited from class proguard.analysis.cpa.defaults.AbstractWaitlist

waitlist

Constructor Summary

Constructors

Constructor	Description
BreadthFirstWaitlist()

Method Summary

Modifier and Type	Method	Description
StateT	pop()	Remove the next abstract state and return it.

Methods inherited from class proguard.analysis.cpa.defaults.AbstractWaitlist

add, addAll, clear, contains, isEmpty, remove, removeAll, size

Methods inherited from class java.lang.Object

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

Constructor Details

BreadthFirstWaitlist

public BreadthFirstWaitlist()

Method Details

pop

public StateT pop()

Description copied from interface: Waitlist

Remove the next abstract state and return it.