private static class SideEffectsAnalysis.LocationSummary
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private SideEffectsAnalysis.EffectLocation |
modSet |
private SideEffectsAnalysis.EffectLocation |
refSet |
Constructor and Description |
---|
LocationSummary(SideEffectsAnalysis.EffectLocation modSet,
SideEffectsAnalysis.EffectLocation refSet) |
Modifier and Type | Method and Description |
---|---|
SideEffectsAnalysis.EffectLocation |
getModSet() |
SideEffectsAnalysis.EffectLocation |
getRefSet() |
private SideEffectsAnalysis.EffectLocation modSet
private SideEffectsAnalysis.EffectLocation refSet
public LocationSummary(SideEffectsAnalysis.EffectLocation modSet, SideEffectsAnalysis.EffectLocation refSet)
public SideEffectsAnalysis.EffectLocation getModSet()
public SideEffectsAnalysis.EffectLocation getRefSet()