private static class SourceBuilder.WriterVisitor
extends org.eclipse.text.edits.TextEditVisitor
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
m_base |
private int |
m_offset |
private java.io.Writer |
m_writer |
Constructor and Description |
---|
WriterVisitor(java.lang.String base,
java.io.Writer writer)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
private void |
copy(int offset) |
void |
finish()
Finish writing output.
|
private void |
skip(int offset) |
boolean |
visit(org.eclipse.text.edits.DeleteEdit edit) |
boolean |
visit(org.eclipse.text.edits.InsertEdit edit) |
boolean |
visit(org.eclipse.text.edits.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(org.eclipse.text.edits.DeleteEdit edit)
visit
in class org.eclipse.text.edits.TextEditVisitor
public boolean visit(org.eclipse.text.edits.InsertEdit edit)
visit
in class org.eclipse.text.edits.TextEditVisitor
public boolean visit(org.eclipse.text.edits.ReplaceEdit edit)
visit
in class org.eclipse.text.edits.TextEditVisitor
public void finish()