07/07/18 00:05:20
>>714
表現が少しあいまいでした。
正確には研究室の先生に出力が途切れる現象を伝えたところ、flush()すれば大丈夫との回答が得られ、実際にflush()の行を追加したところ、すべてが出力されたという状態です。
BufferedWriterのjavadocでは
flush
public void flush()
throws IOExceptionストリームをフラッシュします。
定義:
クラス Writer 内の flush
例外:
IOException - 入出力エラーが発生した場合
--------------------------------------------------------------------------------
close
public void close()
throws IOExceptionストリームを閉じます。
定義:
クラス Writer 内の close
例外:
IOException - 入出力エラーが発生した場合
とあって、closeが内部でflushを行ってからストリームを閉じるとは書いてはないので、実は明示的に行わないとまずいのではと思ったのですが・・・
でもいくつかのページではcloseはflushを行った後にストリームを閉じるって書いてあって、でも各ページの説明で使っているサンプルコードにはちゃんとcloseの前にflushが入っているわけで・・・
初めに出力されなかった問題点はもっと別のところにあるのかな？