Class SourceBuilder.WriterVisitor

  • Enclosing class:
    SourceBuilder

    private static class SourceBuilder.WriterVisitor
    extends TextEditVisitor
    Visitor to apply edits. This is used to avoid the overhead of standard document processing of the edits generated by formatting.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private java.lang.String m_base  
      private int m_offset  
      private java.io.Writer m_writer  
    • Constructor Summary

      Constructors 
      Constructor Description
      WriterVisitor​(java.lang.String base, java.io.Writer writer)
      Constructor.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      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)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • 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.