proguard.analysis.cpa.defaults

Class AbstractWaitlist<StateT extends AbstractState<StateT>>

java.lang.Object

proguard.analysis.cpa.defaults.AbstractWaitlist<StateT>

Type Parameters:

StateT - The states contained in the waitlist.

All Implemented Interfaces:

Waitlist<StateT>

Direct Known Subclasses:

BreadthFirstWaitlist, DepthFirstWaitlist

public abstract class AbstractWaitlist<StateT extends AbstractState<StateT>>
extends java.lang.Object
implements Waitlist<StateT>

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 java.util.Collection<StateT>	waitlist

Constructor Summary

Constructors

Constructor and Description
AbstractWaitlist()

Method Summary

Modifier and Type	Method and Description
void	add(StateT abstractState) Adds an abstract state.
void	addAll(java.util.Collection<? extends StateT> abstractStates) Adds multiple abstract states.
void	clear() Empties the waitlist.
boolean	contains(StateT abstractState) Checks whether the abstract state is present.
boolean	isEmpty() Checks whether the waitlist is empty.
boolean	remove(StateT abstractState) Removes an abstract state.
void	removeAll(java.util.Collection<? extends StateT> abstractStates) Removes multiple abstract states.
int	size() Returns the size of the waitlist.

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 java.util.Collection<StateT extends AbstractState<StateT>> waitlist

Constructor Detail

AbstractWaitlist

public AbstractWaitlist()

Method Detail

add

public void add(StateT abstractState)

Description copied from interface: Waitlist

Adds an abstract state.

Specified by:

add in interface Waitlist<StateT extends AbstractState<StateT>>

addAll

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

Description copied from interface: Waitlist

Adds multiple abstract states.

Specified by:

addAll in interface Waitlist<StateT extends AbstractState<StateT>>

clear

public void clear()

Description copied from interface: Waitlist

Empties the waitlist.

Specified by:

clear in interface Waitlist<StateT extends AbstractState<StateT>>

contains

public boolean contains(StateT abstractState)

Description copied from interface: Waitlist

Checks whether the abstract state is present.

Specified by:

contains in interface Waitlist<StateT extends AbstractState<StateT>>

isEmpty

public boolean isEmpty()

Description copied from interface: Waitlist

Checks whether the waitlist is empty.

Specified by:

isEmpty in interface Waitlist<StateT extends AbstractState<StateT>>

remove

public boolean remove(StateT abstractState)

Description copied from interface: Waitlist

Removes an abstract state.

Specified by:

remove in interface Waitlist<StateT extends AbstractState<StateT>>

removeAll

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

Description copied from interface: Waitlist

Removes multiple abstract states.

Specified by:

removeAll in interface Waitlist<StateT extends AbstractState<StateT>>

size

public int size()

Description copied from interface: Waitlist

Returns the size of the waitlist.

Specified by:

size in interface Waitlist<StateT extends AbstractState<StateT>>