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

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	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.