DepthFirstWaitlist (ProGuardCORE)

java.lang.Object
- proguard.analysis.cpa.defaults.AbstractWaitlist<StateT>
- - proguard.analysis.cpa.defaults.DepthFirstWaitlist<StateT>

Type Parameters:

StateT - The states contained in the waitlist.

All Implemented Interfaces:

Waitlist<StateT>
```
public class DepthFirstWaitlist<StateT extends AbstractState<StateT>>
extends AbstractWaitlist<StateT>
```
This Waitlist pops the last element, i.e., performs a depth first traversal over the Cfa.

- Field Summary
  - Fields inherited from class proguard.analysis.cpa.defaults.AbstractWaitlist
    waitlist
- Constructor Summary
  
  Constructors
  Constructor Description
  
  DepthFirstWaitlist()
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  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 Detail
  - DepthFirstWaitlist
```
public DepthFirstWaitlist()
```
- Method Detail
  - pop
```
public StateT pop()
```
    Description copied from interface: Waitlist
    
    Remove the next abstract state and return it.