@Accessors protected static class AbstractTraceRegionToString.LocationHandle extends java.lang.Object
Constructor and Description |
---|
AbstractTraceRegionToString.LocationHandle(AbstractTraceRegionToString.RegionHandle region,
int id,
ILocationData location) |
Modifier and Type | Method and Description |
---|---|
int |
getId() |
ILocationData |
getLocation() |
AbstractTraceRegionToString.RegionHandle |
getRegion() |
public AbstractTraceRegionToString.LocationHandle(AbstractTraceRegionToString.RegionHandle region, int id, ILocationData location)
@Pure public AbstractTraceRegionToString.RegionHandle getRegion()
@Pure public int getId()
@Pure public ILocationData getLocation()