proguard.analysis.cpa.defaults

Class ProgramLocationDependentReachedSet<StateT extends AbstractState<StateT> & ProgramLocationDependent>

java.lang.Object

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

Type Parameters:

StateT - The type of the ProgramLocationDependent abstract states contained in the reached set. Typically, a JvmAbstractState, but might be a different type of state depending on the analysis (e.g., might contain JvmMemoryLocationAbstractState for taint trace analysis).

All Implemented Interfaces:

ReachedSet<StateT>

public final class ProgramLocationDependentReachedSet<StateT extends AbstractState<StateT> & ProgramLocationDependent>
extends java.lang.Object
implements ReachedSet<StateT>

This ReachedSet stores ProgramLocationDependent AbstractStates. It assumes the analysis does merge the AbstractStates belonging to different CfaNodes and stores them in separate bins.

Constructor Summary

Constructors

Constructor and Description
ProgramLocationDependentReachedSet()

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(JvmCfaNode location) Returns a collection of abstract states belonging to the given location.
java.util.Collection<StateT>	getReached(StateT abstractState) Returns a collection of abstract states mergeable with the abstractState.
boolean	remove(StateT abstractState) 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

ProgramLocationDependentReachedSet

public ProgramLocationDependentReachedSet()

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

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

remove

public boolean remove(StateT abstractState)

Description copied from interface: ReachedSet

Removes an abstract state.

Specified by:

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

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

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

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

getReached

public java.util.Collection<StateT> getReached(JvmCfaNode location)

Returns a collection of abstract states belonging to the given location.

clear

public void clear()

Description copied from interface: ReachedSet

Empties the reached set.

Specified by:

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