Class GenFileStream

  • All Implemented Interfaces:
    java.io.Closeable, java.io.Flushable, java.lang.Appendable, java.lang.AutoCloseable

    public class GenFileStream
    extends java.io.PrintWriter
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private java.io.CharArrayWriter charArrayWriter  
      private java.lang.String name  
      private static java.io.CharArrayWriter tmpCharArrayWriter  
      • Fields inherited from class java.io.PrintWriter

        out
      • Fields inherited from class java.io.Writer

        lock
    • Constructor Summary

      Constructors 
      Constructor Description
      GenFileStream​(java.lang.String filename)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void close()  
      java.lang.String name()  
      • Methods inherited from class java.io.PrintWriter

        append, append, append, checkError, clearError, flush, format, format, print, print, print, print, print, print, print, print, print, printf, printf, println, println, println, println, println, println, println, println, println, println, setError, write, write, write, write, write
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • charArrayWriter

        private final java.io.CharArrayWriter charArrayWriter
      • tmpCharArrayWriter

        private static java.io.CharArrayWriter tmpCharArrayWriter
      • name

        private final java.lang.String name
    • Constructor Detail

      • GenFileStream

        public GenFileStream​(java.lang.String filename)
    • Method Detail

      • close

        public void close()
        Specified by:
        close in interface java.lang.AutoCloseable
        Specified by:
        close in interface java.io.Closeable
        Overrides:
        close in class java.io.PrintWriter
      • name

        public java.lang.String name()