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>

The Waitlist stores the AbstractStates the Algorithm needs to process.

Method Summary

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

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

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.