private abstract static class SideEffectsAnalysis.LocationAbstraction
extends java.lang.Object
Implementations of this class will each provide own their implementation(s) of SideEffectLocation and methods to determine the side effect locations of a given piece of code.
Modifier | Constructor and Description |
---|---|
private |
LocationAbstraction() |
Modifier and Type | Method and Description |
---|---|
(package private) abstract SideEffectsAnalysis.LocationSummary |
calculateLocationSummary(Node node)
Calculates the abstraction-specific side effects
for the node.
|
SideEffectsAnalysis.LocationSummary |
calculateLocationSummary(java.util.Set<Node> nodes)
Calculates the abstraction-specific side effects
for the node.
|
(package private) abstract SideEffectsAnalysis.EffectLocation |
getBottomLocation()
Returns an abstraction-specific EffectLocation representing
no location.
|
abstract SideEffectsAnalysis.LocationSummary calculateLocationSummary(Node node)
abstract SideEffectsAnalysis.EffectLocation getBottomLocation()
The bottom location joined with any location should return that location.
public SideEffectsAnalysis.LocationSummary calculateLocationSummary(java.util.Set<Node> nodes)