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,
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, List<Location> associations, Region parent)
void writeRegion(Region region, TraceRegionSerializer.Callback<Region,Location> callback) throws IOException
IOExceptionvoid writeLocation(Location location, TraceRegionSerializer.Callback<Region,Location> callback) throws IOException
IOExceptionCopyright © 2015. All Rights Reserved.