proguard.analysis.cpa.interfaces

Interface ProgramLocationDependent<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>

All Known Implementing Classes:

BamLocationDependentJvmMemoryLocation, CompositeHeapJvmAbstractState, JvmAbstractState, JvmMemoryLocationAbstractState, JvmReferenceAbstractState, JvmTaintAbstractState, JvmValueAbstractState

public interface ProgramLocationDependent<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>

If an AbstractState is program location-specific, it should implement ProgramLocationDependent.

Method Summary

Modifier and Type	Method and Description
CfaNodeT	getProgramLocation() Returns the program location.
void	setProgramLocation(CfaNodeT programLocation) Sets the program location.

Method Detail

getProgramLocation

CfaNodeT getProgramLocation()

Returns the program location.

setProgramLocation

void setProgramLocation(CfaNodeT programLocation)

Sets the program location.