proguard.analysis.cpa.defaults

Class DefaultReachedSet<StateT extends AbstractState<StateT>>

java.lang.Object

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

Type Parameters:

StateT - The states contained in the reached set.

All Implemented Interfaces:

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.

Constructor Summary

Constructors

Constructor and Description
DefaultReachedSet()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultReachedSet

public DefaultReachedSet()

Method Detail

add

public boolean add(StateT abstractState)

Description copied from interface: ReachedSet

Adds an abstract state.

Specified by:

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

addAll

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

Description copied from interface: ReachedSet

Adds multiple abstract states.

Specified by:

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

remove

public boolean remove(StateT state)

Description copied from interface: ReachedSet

Removes an abstract state.

Specified by:

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

removeAll

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

Description copied from interface: ReachedSet

Removes multiple abstract states.

Specified by:

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

asCollection

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

Description copied from interface: ReachedSet

Returns a collection representation of itself.

Specified by:

asCollection in interface ReachedSet<StateT extends AbstractState<StateT>>

getReached

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

Description copied from interface: ReachedSet

Returns a collection of abstract states mergeable with the abstractState.

Specified by:

getReached in interface ReachedSet<StateT extends AbstractState<StateT>>

clear

public void clear()

Description copied from interface: ReachedSet

Empties the reached set.

Specified by:

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