BufferedWriter #flush. ... void bdd_save(BufferedWriter out, int r) throws IOException { int[] n = new int[1]; if (r < 2) { out.write("0 0 " + r + "\n"); ...
確定! 回上一頁