public static interface TraceRegionSerializer.Callback<Region,Location>
Modifier and Type | Method and Description |
---|---|
void |
doWriteLocation(int offset,
int length,
int lineNumber,
int endLineNumber,
org.eclipse.emf.common.util.URI path) |
void |
doWriteRegion(int offset,
int length,
int lineNumber,
int endLineNumber,
java.util.List<Location> locations,
java.util.List<Region> children) |
void doWriteRegion(int offset, int length, int lineNumber, int endLineNumber, 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, org.eclipse.emf.common.util.URI path) throws java.io.IOException
java.io.IOException