proguard.analysis.cpa.defaults

Class BreadthFirstWaitlist

java.lang.Object

proguard.analysis.cpa.defaults.AbstractWaitlist<java.util.LinkedHashSet<AbstractState>>

proguard.analysis.cpa.defaults.BreadthFirstWaitlist

All Implemented Interfaces:

java.lang.Iterable<AbstractState>, Waitlist

public class BreadthFirstWaitlist
extends AbstractWaitlist<java.util.LinkedHashSet<AbstractState>>

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 and Description
BreadthFirstWaitlist()

Method Summary

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

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

add, addAll, clear, contains, forEach, isEmpty, iterator, remove, removeAll, size, spliterator

Methods inherited from class java.lang.Object

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

Constructor Detail

BreadthFirstWaitlist

public BreadthFirstWaitlist()

Method Detail

pop

public AbstractState pop()

Description copied from interface: Waitlist

Remove the next abstract state and return it.