public static interface TraceRegionSerializer.Strategy<Region,Location>
Modifier and Type | Method and Description |
---|---|
Location |
createLocation(int offset,
int length,
int lineNumber,
int endLineNumber,
SourceRelativeURI path) |
Region |
createRegion(int offset,
int length,
int lineNumber,
int endLineNumber,
boolean useForDebugging,
java.util.List<Location> associations,
Region parent) |
void |
writeLocation(Location location,
TraceRegionSerializer.Callback<Region,Location> callback) |
void |
writeRegion(Region region,
TraceRegionSerializer.Callback<Region,Location> callback) |
Location createLocation(int offset, int length, int lineNumber, int endLineNumber, SourceRelativeURI path)
Region createRegion(int offset, int length, int lineNumber, int endLineNumber, boolean useForDebugging, java.util.List<Location> associations, Region parent)
void writeRegion(Region region, TraceRegionSerializer.Callback<Region,Location> callback) throws java.io.IOException
java.io.IOException
void writeLocation(Location location, TraceRegionSerializer.Callback<Region,Location> callback) throws java.io.IOException
java.io.IOException