testEOF.groovy

def f = new File("/tmp/test.dat")
f.text = "1234567890" * 2

def tryRead(ins) {
    def buff = new byte[9]
    println ins.read(buff)
    println new String(buff)
}

f.withInputStream { ins ->
    tryRead(ins)
    tryRead(ins)
    tryRead(ins)
    tryRead(ins)
    tryRead(ins)
}

// 9
// 123456789
// 9
// 012345678
// 2
// 90  <---EOFの直前までで一度正しく読み込める
// -1
//   <---EOF検出時にはデータは空
// -1
//