Package proguard.analysis.cpa.defaults
Class AbstractWaitlist<CollectionT extends java.util.Collection<AbstractState>>
- java.lang.Object
-
- proguard.analysis.cpa.defaults.AbstractWaitlist<CollectionT>
-
- All Implemented Interfaces:
java.lang.Iterable<AbstractState>
,Waitlist
- Direct Known Subclasses:
BreadthFirstWaitlist
,DepthFirstWaitlist
public abstract class AbstractWaitlist<CollectionT extends java.util.Collection<AbstractState>> extends java.lang.Object implements Waitlist
-
-
Field Summary
Fields Modifier and Type Field Description protected CollectionT
waitlist
-
Constructor Summary
Constructors Modifier Constructor Description protected
AbstractWaitlist(CollectionT waitList)
Create a waitlist from a carrier collection.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
add(AbstractState abstractState)
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.void
forEach(java.util.function.Consumer<? super AbstractState> action)
boolean
isEmpty()
Checks whether the waitlist is empty.@NotNull java.util.Iterator<AbstractState>
iterator()
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.java.util.Spliterator<AbstractState>
spliterator()
-
-
-
Field Detail
-
waitlist
protected final CollectionT extends java.util.Collection<AbstractState> waitlist
-
-
Constructor Detail
-
AbstractWaitlist
protected AbstractWaitlist(CollectionT waitList)
Create a waitlist from a carrier collection.- Parameters:
waitList
- the carrier collection
-
-
Method Detail
-
add
public void add(AbstractState abstractState)
Description copied from interface:Waitlist
Adds an abstract state.
-
addAll
public void addAll(java.util.Collection<? extends AbstractState> abstractStates)
Description copied from interface:Waitlist
Adds multiple abstract states.
-
clear
public void clear()
Description copied from interface:Waitlist
Empties the waitlist.
-
contains
public boolean contains(AbstractState abstractState)
Description copied from interface:Waitlist
Checks whether the abstract state is present.
-
isEmpty
public boolean isEmpty()
Description copied from interface:Waitlist
Checks whether the waitlist is empty.
-
remove
public boolean remove(AbstractState abstractState)
Description copied from interface:Waitlist
Removes an abstract state.
-
removeAll
public void removeAll(java.util.Collection<?> abstractStates)
Description copied from interface:Waitlist
Removes multiple abstract states.
-
size
public int size()
Description copied from interface:Waitlist
Returns the size of the waitlist.
-
iterator
@NotNull public @NotNull java.util.Iterator<AbstractState> iterator()
- Specified by:
iterator
in interfacejava.lang.Iterable<CollectionT extends java.util.Collection<AbstractState>>
-
forEach
public void forEach(java.util.function.Consumer<? super AbstractState> action)
- Specified by:
forEach
in interfacejava.lang.Iterable<CollectionT extends java.util.Collection<AbstractState>>
-
spliterator
public java.util.Spliterator<AbstractState> spliterator()
- Specified by:
spliterator
in interfacejava.lang.Iterable<CollectionT extends java.util.Collection<AbstractState>>
-
-