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>>

The Waitlist stores the AbstractStates the CpaAlgorithm needs to process.

Method Summary

Modifier and Type	Method and Description
void	add(StateT state) 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.
StateT	pop() Remove the next abstract state and return it.
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.

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.