public readonly property isFinished as Boolean
True after read() observed end, or after closure.
print(stream.isFinished)