Package proguard.analysis.cpa.interfaces
Interface Waitlist<StateT extends AbstractState<StateT>>
-
- Type Parameters:
StateT- The states contained in the waitlist.
- All Known Implementing Classes:
AbstractWaitlist,BreadthFirstWaitlist,DepthFirstWaitlist
public interface Waitlist<StateT extends AbstractState<StateT>>
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description voidadd(StateT state)Adds an abstract state.voidaddAll(java.util.Collection<? extends StateT> abstractStates)Adds multiple abstract states.voidclear()Empties the waitlist.booleancontains(StateT abstractState)Checks whether the abstract state is present.booleanisEmpty()Checks whether the waitlist is empty.StateTpop()Remove the next abstract state and return it.booleanremove(StateT abstractState)Removes an abstract state.voidremoveAll(java.util.Collection<? extends StateT> abstractStates)Removes multiple abstract states.intsize()Returns the size of the waitlist.
-
-
-
Method Detail
-
add
void add(StateT state)
Adds an abstract state.
-
addAll
void addAll(java.util.Collection<? extends StateT> abstractStates)
Adds multiple abstract states.
-
clear
void clear()
Empties the waitlist.
-
contains
boolean contains(StateT abstractState)
Checks whether the abstract state is present.
-
isEmpty
boolean isEmpty()
Checks whether the waitlist is empty.
-
pop
StateT pop()
Remove the next abstract state and return it.
-
remove
boolean remove(StateT abstractState)
Removes an abstract state.
-
removeAll
void removeAll(java.util.Collection<? extends StateT> abstractStates)
Removes multiple abstract states.
-
size
int size()
Returns the size of the waitlist.
-
-