Class TextMappingsWriter

    • Field Detail

      • writer

        protected final java.io.PrintWriter writer
    • Constructor Detail

      • TextMappingsWriter

        protected TextMappingsWriter​(java.io.Writer writer)
        Creates a new mappings writer, from the given Writer.
        Parameters:
        writer - The output writer, to write to
    • Method Detail

      • close

        public void close()
                   throws java.io.IOException
        Throws:
        java.io.IOException