程序包 proguard.analysis.cpa.defaults

类 DefaultReachedSet<StateT extends AbstractState<StateT>>

java.lang.Object

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

类型参数:

StateT - The states contained in the reached set.

所有已实现的接口:

ReachedSet<StateT>

public final class DefaultReachedSet<StateT extends AbstractState<StateT>>
extends java.lang.Object
implements ReachedSet<StateT>

This is a LinkedHashSet-based implementation of the ReachedSet.

构造器概要

构造器

构造器	说明
DefaultReachedSet()

方法概要

修饰符和类型	方法	说明
boolean	add(StateT abstractState)	Adds an abstract state.
boolean	addAll(java.util.Collection<? extends StateT> abstractStates)	Adds multiple abstract states.
java.util.Collection<StateT>	asCollection()	Returns a collection representation of itself.
void	clear()	Empties the reached set.
java.util.Collection<StateT>	getReached(StateT abstractState)	Returns a collection of abstract states mergeable with the abstractState.
boolean	remove(StateT state)	Removes an abstract state.
boolean	removeAll(java.util.Collection<? extends StateT> abstractStates)	Removes multiple abstract states.

从类继承的方法 java.lang.Object

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

构造器详细资料

DefaultReachedSet

public DefaultReachedSet()

方法详细资料

add

public boolean add(StateT abstractState)

从接口复制的说明: ReachedSet

Adds an abstract state.

指定者:

add 在接口中 ReachedSet<StateT extends AbstractState<StateT>>

addAll

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

从接口复制的说明: ReachedSet

Adds multiple abstract states.

指定者:

addAll 在接口中 ReachedSet<StateT extends AbstractState<StateT>>

remove

public boolean remove(StateT state)

从接口复制的说明: ReachedSet

Removes an abstract state.

指定者:

remove 在接口中 ReachedSet<StateT extends AbstractState<StateT>>

removeAll

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

从接口复制的说明: ReachedSet

Removes multiple abstract states.

指定者:

removeAll 在接口中 ReachedSet<StateT extends AbstractState<StateT>>

asCollection

public java.util.Collection<StateT> asCollection()

从接口复制的说明: ReachedSet

Returns a collection representation of itself.

指定者:

asCollection 在接口中 ReachedSet<StateT extends AbstractState<StateT>>

getReached

public java.util.Collection<StateT> getReached(StateT abstractState)

从接口复制的说明: ReachedSet

Returns a collection of abstract states mergeable with the abstractState.

指定者:

getReached 在接口中 ReachedSet<StateT extends AbstractState<StateT>>

clear

public void clear()

从接口复制的说明: ReachedSet

Empties the reached set.

指定者:

clear 在接口中 ReachedSet<StateT extends AbstractState<StateT>>