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