Class IO


  • public final class IO
    extends java.lang.Object
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private java.io.PrintStream err  
      private java.lang.String ifn  
      private java.io.Reader in  
      private java.io.PrintStream msg  
      private java.lang.String ofn  
      private java.io.PrintWriter out  
    • Constructor Summary

      Constructors 
      Constructor Description
      IO()  
    • Field Detail

      • ifn

        private java.lang.String ifn
      • ofn

        private java.lang.String ofn
      • in

        private java.io.Reader in
      • out

        private java.io.PrintWriter out
      • msg

        private final java.io.PrintStream msg
      • err

        private final java.io.PrintStream err
    • Constructor Detail

      • IO

        public IO()
    • Method Detail

      • getInputFileName

        public java.lang.String getInputFileName()
      • getIn

        public java.io.Reader getIn()
      • getOutputFileName

        public java.lang.String getOutputFileName()
      • getOut

        public java.io.PrintWriter getOut()
      • getMsg

        public java.io.PrintStream getMsg()
      • getErr

        public java.io.PrintStream getErr()
      • print

        public void print​(java.lang.String s)
      • println

        public void println​(java.lang.String s)
      • println

        public void println()
      • closeAll

        public void closeAll()
      • create_output_file_name

        private java.lang.String create_output_file_name​(java.lang.String i,
                                                         JJTreeContext context)