程序包 proguard.analysis.cpa.interfaces

接口 Waitlist<StateT extends AbstractState<StateT>>

类型参数:

StateT - The states contained in the waitlist.

所有已知实现类:

AbstractWaitlist, BreadthFirstWaitlist, DepthFirstWaitlist

public interface Waitlist<StateT extends AbstractState<StateT>>

The Waitlist stores the AbstractStates the CpaAlgorithm needs to process.

方法概要

修饰符和类型	方法	说明
void	add(StateT state)	Adds an abstract state.
void	addAll(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(Collection<? extends StateT> abstractStates)	Removes multiple abstract states.
int	size()	Returns the size of the waitlist.

方法详细资料

add

void add(StateT state)

Adds an abstract state.

addAll

void addAll(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(Collection<? extends StateT> abstractStates)

Removes multiple abstract states.

size

int size()

Returns the size of the waitlist.