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.
|
calculateLocationSummaryprivate static final SideEffectsAnalysis.EffectLocation EVERY_LOCATION
private static final SideEffectsAnalysis.EffectLocation NO_LOCATION
SideEffectsAnalysis.EffectLocation getBottomLocation()
SideEffectsAnalysis.LocationAbstractionThe bottom location joined with any location should return that location.
getBottomLocation in class SideEffectsAnalysis.LocationAbstractionpublic SideEffectsAnalysis.LocationSummary calculateLocationSummary(Node node)
SideEffectsAnalysis.LocationAbstractioncalculateLocationSummary in class SideEffectsAnalysis.LocationAbstractionstatic SideEffectsAnalysis.EffectLocation calculateRefSet(Node node)
static SideEffectsAnalysis.EffectLocation calculateModSet(Node node)