Inheritance: global::java.io.Writer
Esempio n. 1
0
        private bool Closing = false;         // To avoid recursive closing

        /// <summary>
        /// Closes the stream.  This is done by flushing the stream and then closing
        /// the underlying output stream.
        /// </summary>
        /// <seealso cref=        java.io.OutputStream#close() </seealso>
        public override void Close()
        {
            lock (this)
            {
                if (!Closing)
                {
                    Closing = true;
                    try
                    {
                        TextOut.Close();
                        @out.Close();
                    }
                    catch (IOException)
                    {
                        Trouble = true;
                    }
                    TextOut = null;
                    CharOut = null;
                    @out    = null;
                }
            }
        }
Esempio n. 2
0
        //needs to figure out why .16g thing isnt working in runtime..it is java after all and working inthe original.
        public void saveConfigMinMax_java()
        {
            if (save_filename != null)
            {
                java.util.Formatter    formatter = new java.util.Formatter(new java.lang.StringBuilder());
                java.io.BufferedWriter fp_save   = null;

                try
                {
                    fp_save = new java.io.BufferedWriter(new java.io.FileWriter(save_filename));
                }
                catch (java.io.IOException e)
                {
                    System.Console.Error.WriteLine("can't open file " + save_filename);
                    //Environment.Exit(1);
                }

                if (y_scaling)
                {
                    formatter.format("y\n");
                    formatter.format("%.16g %.16g\n", y_lower, y_upper);
                    formatter.format("%.16g %.16g\n", y_min, y_max);
                }
                formatter.format("x\n");
                formatter.format("%.16g %.16g\n", lower, upper);
                for (int i = 1; i <= max_index; i++)
                {
                    if (feature_min[i] != feature_max[i])
                    {
                        formatter.format("%d %.16g %.16g\n", i, feature_min[i], feature_max[i]);
                    }
                }
                fp_save.write(formatter.toString());
                fp_save.close();
            }
        }
Esempio n. 3
0
 private PrintStream(bool autoFlush, OutputStream @out, Charset charset) : base(@out)
 {
     this.AutoFlush = autoFlush;
     this.CharOut   = new OutputStreamWriter(this, charset);
     this.TextOut   = new BufferedWriter(CharOut);
 }