Package proguard.analysis.cpa.bam

Interface BamLocationDependent<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,AbstractStateT extends AbstractState & ProgramLocationDependent<CfaNodeT,CfaEdgeT,SignatureT>,SignatureT extends Signature>

Type Parameters:

AbstractStateT - The type of the abstract states in the BAM cache.

All Known Implementing Classes:

BamLocationDependentJvmMemoryLocation, JvmMemoryLocationAbstractState

public interface BamLocationDependent<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,AbstractStateT extends AbstractState & ProgramLocationDependent<CfaNodeT,CfaEdgeT,SignatureT>,SignatureT extends Signature>

If the usage of an AbstractState depends on the specific BAM cache entry it belongs to, it should implement BamLocationDependent to link it to its source reached set.

Method Summary

Modifier and Type	Method	Description
ProgramLocationDependentReachedSet<CfaNodeT,CfaEdgeT,AbstractStateT,SignatureT>	getSourceReachedSet()	Returns the reached set the abstract state belongs to.
void	setSourceReachedSet(ProgramLocationDependentReachedSet<CfaNodeT,CfaEdgeT,AbstractStateT,SignatureT> sourceReachedSet)	Sets the reached set the abstract state belongs to.

Method Detail

getSourceReachedSet

ProgramLocationDependentReachedSet<CfaNodeT,CfaEdgeT,AbstractStateT,SignatureT> getSourceReachedSet()

Returns the reached set the abstract state belongs to.

setSourceReachedSet

void setSourceReachedSet(ProgramLocationDependentReachedSet<CfaNodeT,CfaEdgeT,AbstractStateT,SignatureT> sourceReachedSet)

Sets the reached set the abstract state belongs to.