Interface TraceRegionSerializer.Callback<Region,Location>
-
- Enclosing class:
- TraceRegionSerializer
public static interface TraceRegionSerializer.Callback<Region,Location>
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description voiddoWriteLocation(int offset, int length, int lineNumber, int endLineNumber, SourceRelativeURI path)voiddoWriteRegion(int offset, int length, int lineNumber, int endLineNumber, boolean useForDebugging, java.util.List<Location> locations, java.util.List<Region> children)
-
-
-
Method Detail
-
doWriteRegion
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- Throws:
java.io.IOException
-
doWriteLocation
void doWriteLocation(int offset, int length, int lineNumber, int endLineNumber, SourceRelativeURI path) throws java.io.IOException- Throws:
java.io.IOException
-
-