close() public method

public close ( ) : void
return void
Exemplo n.º 1
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();
            }
        }