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.IOExceptionvoid doWriteLocation(int offset,
                   int length,
                   int lineNumber,
                   int endLineNumber,
                   org.eclipse.emf.common.util.URI path)
                     throws java.io.IOException
java.io.IOException