class SourceMappingWriter
extends java.lang.Object
| Constructor and Description |
|---|
SourceMappingWriter(com.google.gwt.thirdparty.debugging.sourcemap.SourceMapGenerator out) |
| Modifier and Type | Method and Description |
|---|---|
(package private) void |
addMapping(Range nextRange,
java.lang.String javaName)
Sends one mapping to the sourcemap.
|
(package private) void |
flush()
Writes any buffered mappings to the source map generator.
|
SourceMappingWriter(com.google.gwt.thirdparty.debugging.sourcemap.SourceMapGenerator out)
void addMapping(Range nextRange, java.lang.String javaName)
The mappings must be sorted by JavaScript starting position.
The output is buffered, so the caller must call flush() when done.
void flush()