Field Detail

• m_base

  private final java.lang.String m_base

• m_writer

  private final java.io.Writer m_writer

• m_offset

  private int m_offset

Constructor Detail

• WriterVisitor

  public WriterVisitor​(java.lang.String base,
                       java.io.Writer writer)

  Constructor.

  Parameters:

  base -

  writer -

Method Detail

• skip

  private void skip​(int offset)

• copy

  private void copy​(int offset)

• visit

  public boolean visit​(DeleteEdit edit)

• visit

  public boolean visit​(InsertEdit edit)

• visit

  public boolean visit​(ReplaceEdit edit)

• finish

  public void finish()

  Finish writing output. This needs to be called after visiting the tree, to catch any final bits at the end.