private static class SourceBuilder.WriterVisitor
extends TextEditVisitor
Modifier and Type | Field | Description |
---|---|---|
private java.lang.String |
m_base |
|
private int |
m_offset |
|
private java.io.Writer |
m_writer |
Constructor | Description |
---|---|
WriterVisitor(java.lang.String base,
java.io.Writer writer) |
Constructor.
|
Modifier and Type | Method | Description |
---|---|---|
private void |
copy(int offset) |
|
void |
finish() |
Finish writing output.
|
private void |
skip(int offset) |
|
boolean |
visit(DeleteEdit edit) |
|
boolean |
visit(InsertEdit edit) |
|
boolean |
visit(ReplaceEdit edit) |
private final java.lang.String m_base
private final java.io.Writer m_writer
private int m_offset
public WriterVisitor(java.lang.String base, java.io.Writer writer)
base
- writer
- private void skip(int offset)
private void copy(int offset)
public boolean visit(DeleteEdit edit)
public boolean visit(InsertEdit edit)
public boolean visit(ReplaceEdit edit)
public void finish()