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

This is a base class for Waitlists parametrized by the carrier CollectionT. It delegates all the Waitlist interfaces to its carrier collection.

Field Summary

Fields

Modifier and Type	Field and Description
protected CollectionT	waitlist

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractWaitlist(CollectionT waitList) Create a waitlist from a carrier collection.

Method Summary

Modifier and Type	Method and 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.
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()

Methods inherited from class java.lang.Object

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

Methods inherited from interface proguard.analysis.cpa.interfaces.Waitlist

pop

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.

Specified by:

add in interface Waitlist

addAll

public void addAll(java.util.Collection<? extends AbstractState> abstractStates)

Description copied from interface: Waitlist

Adds multiple abstract states.

Specified by:

addAll in interface Waitlist

clear

public void clear()

Description copied from interface: Waitlist

Empties the waitlist.

Specified by:

clear in interface Waitlist

contains

public boolean contains(AbstractState abstractState)

Description copied from interface: Waitlist

Checks whether the abstract state is present.

Specified by:

contains in interface Waitlist

isEmpty

public boolean isEmpty()

Description copied from interface: Waitlist

Checks whether the waitlist is empty.

Specified by:

isEmpty in interface Waitlist

remove

public boolean remove(AbstractState abstractState)

Description copied from interface: Waitlist

Removes an abstract state.

Specified by:

remove in interface Waitlist

removeAll

public void removeAll(java.util.Collection<?> abstractStates)

Description copied from interface: Waitlist

Removes multiple abstract states.

Specified by:

removeAll in interface Waitlist

size

public int size()

Description copied from interface: Waitlist

Returns the size of the waitlist.

Specified by:

size in interface Waitlist

iterator

@NotNull
public java.util.Iterator<AbstractState> iterator()

Specified by:

iterator in interface java.lang.Iterable<AbstractState>

forEach

public void forEach(java.util.function.Consumer<? super AbstractState> action)

Specified by:

forEach in interface java.lang.Iterable<AbstractState>

spliterator

public java.util.Spliterator<AbstractState> spliterator()

Specified by:

spliterator in interface java.lang.Iterable<AbstractState>