proguard.analysis.cpa.interfaces

Interface ProgramLocationDependent

All Known Implementing Classes:

BamLocationDependentJvmMemoryLocation, JvmAbstractState, JvmMemoryLocationAbstractState, JvmValueAbstractState

public interface ProgramLocationDependent

If an AbstractState is program location-specific (i.e., is associated to a specific node from the Cfa), it should implement ProgramLocationDependent.

Method Summary

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

Method Detail

getProgramLocation

JvmCfaNode getProgramLocation()

Returns the program location.

setProgramLocation

void setProgramLocation(JvmCfaNode programLocation)

Sets the program location.