ProgramLocationDependent (ProGuardCORE)

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

Description

JvmCfaNode

getProgramLocation()

Returns the program location.

void

setProgramLocation(JvmCfaNode programLocation)

Sets the program location.

Method Details
- getProgramLocation
  
  JvmCfaNode getProgramLocation()
  
  Returns the program location.
- setProgramLocation
  
  void setProgramLocation(JvmCfaNode programLocation)
  
  Sets the program location.