private static class SideEffectsAnalysis.DegenerateLocationAbstraction extends SideEffectsAnalysis.LocationAbstraction
Modifier and Type | Class and Description |
---|---|
private static class |
SideEffectsAnalysis.DegenerateLocationAbstraction.DegenerateEffectLocation |
Modifier and Type | Field and Description |
---|---|
private static SideEffectsAnalysis.EffectLocation |
EVERY_LOCATION |
private static SideEffectsAnalysis.EffectLocation |
NO_LOCATION |
Modifier | Constructor and Description |
---|---|
private |
DegenerateLocationAbstraction() |
Modifier and Type | Method and Description |
---|---|
SideEffectsAnalysis.LocationSummary |
calculateLocationSummary(Node node)
Calculates the abstraction-specific side effects
for the node.
|
(package private) static SideEffectsAnalysis.EffectLocation |
calculateModSet(Node node) |
(package private) static SideEffectsAnalysis.EffectLocation |
calculateRefSet(Node node) |
(package private) SideEffectsAnalysis.EffectLocation |
getBottomLocation()
Returns an abstraction-specific EffectLocation representing
no location.
|
calculateLocationSummary
private static final SideEffectsAnalysis.EffectLocation EVERY_LOCATION
private static final SideEffectsAnalysis.EffectLocation NO_LOCATION
SideEffectsAnalysis.EffectLocation getBottomLocation()
SideEffectsAnalysis.LocationAbstraction
The bottom location joined with any location should return that location.
getBottomLocation
in class SideEffectsAnalysis.LocationAbstraction
public SideEffectsAnalysis.LocationSummary calculateLocationSummary(Node node)
SideEffectsAnalysis.LocationAbstraction
calculateLocationSummary
in class SideEffectsAnalysis.LocationAbstraction
static SideEffectsAnalysis.EffectLocation calculateRefSet(Node node)
static SideEffectsAnalysis.EffectLocation calculateModSet(Node node)