public static interface TraceRegionSerializer.Callback<Region,Location>
Modifier and Type | Method and Description |
---|---|
void |
doWriteLocation(int offset,
int length,
int lineNumber,
int endLineNumber,
SourceRelativeURI path) |
void |
doWriteRegion(int offset,
int length,
int lineNumber,
int endLineNumber,
boolean useForDebugging,
java.util.List<Location> locations,
java.util.List<Region> children) |
void doWriteRegion(int offset, int length, int lineNumber, int endLineNumber, boolean useForDebugging, java.util.List<Location> locations, java.util.List<Region> children) throws java.io.IOException
java.io.IOException
void doWriteLocation(int offset, int length, int lineNumber, int endLineNumber, SourceRelativeURI path) throws java.io.IOException
java.io.IOException