proguard.analysis.cpa.defaults

Class ProgramLocationDependentReachedSet<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,AbstractStateT extends AbstractState & ProgramLocationDependent<CfaNodeT,CfaEdgeT,SignatureT>,SignatureT extends Signature>

java.lang.Object

proguard.analysis.cpa.defaults.ProgramLocationDependentReachedSet<CfaNodeT,CfaEdgeT,AbstractStateT,SignatureT>

All Implemented Interfaces:

ReachedSet

public final class ProgramLocationDependentReachedSet<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,AbstractStateT extends AbstractState & ProgramLocationDependent<CfaNodeT,CfaEdgeT,SignatureT>,SignatureT extends Signature>
extends java.lang.Object
implements ReachedSet

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(AbstractState abstractState) Adds an abstract state.
boolean	addAll(java.util.Collection<? extends AbstractState> abstractStates) Adds multiple abstract states.
java.util.Collection<AbstractStateT>	asCollection() Returns a collection representation of itself.
java.util.Collection<? extends AbstractState>	getReached(AbstractState abstractState) Returns a collection of abstract states mergeable with the abstractState.
java.util.Collection<? extends AbstractState>	getReached(CfaNodeT location) Returns a collection of abstract states belonging to the given location.
boolean	remove(AbstractState abstractState) Removes an abstract state.
boolean	removeAll(java.util.Collection<?> 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(AbstractState abstractState)

Description copied from interface: ReachedSet

Adds an abstract state.

Specified by:

add in interface ReachedSet

addAll

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

Description copied from interface: ReachedSet

Adds multiple abstract states.

Specified by:

addAll in interface ReachedSet

remove

public boolean remove(AbstractState abstractState)

Description copied from interface: ReachedSet

Removes an abstract state.

Specified by:

remove in interface ReachedSet

removeAll

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

Description copied from interface: ReachedSet

Removes multiple abstract states.

Specified by:

removeAll in interface ReachedSet

asCollection

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

Description copied from interface: ReachedSet

Returns a collection representation of itself.

Specified by:

asCollection in interface ReachedSet

getReached

public java.util.Collection<? extends AbstractState> getReached(AbstractState abstractState)

Description copied from interface: ReachedSet

Returns a collection of abstract states mergeable with the abstractState.

Specified by:

getReached in interface ReachedSet

getReached

public java.util.Collection<? extends AbstractState> getReached(CfaNodeT location)

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