public static interface TraceRegionSerializer.Strategy<Region,Location>
Modifier and Type | Method and Description |
---|---|
Location |
createLocation(int offset,
int length,
int lineNumber,
int endLineNumber,
org.eclipse.emf.common.util.URI path) |
Region |
createRegion(int offset,
int length,
int lineNumber,
int endLineNumber,
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, org.eclipse.emf.common.util.URI path)
Region createRegion(int offset, int length, int lineNumber, int endLineNumber, 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