BufferedStream

// A buffer in front of another stream: small reads and writes become few large ones.
public class System.IO.BufferedStream : System.IO.Stream
{
    field inner: System.IO.Stream
    field buffer: u8[]
    // Bytes read ahead: buffer[readAt..readEnd].
    field readAt: i32
    field readEnd: i32
    // Bytes not written yet: buffer[0..writeEnd].
    field writeEnd: i32
    method FlushWrites() -> void
    // Gives back the bytes read ahead (moving the inner stream back to where this one is).
    method DropReads() -> void
    constructor BufferedStream(stream: System.IO.Stream)
    constructor BufferedStream(stream: System.IO.Stream, bufferSize: i32)
    method Read(target: u8[], offset: i32, count: i32) -> i32
    method ReadByte() -> i32
    method Write(source: u8[], offset: i32, count: i32) -> void
    method WriteByte(value: u8) -> void
    method Seek(offset: i64, origin: System.IO.SeekOrigin) -> i64
    method SetLength(length: i64) -> void
    method Flush() -> void
    method Close() -> void
    // The stream behind the buffer.
    property UnderlyingStream: System.IO.Stream
    property BufferSize: i32
    property CanRead: bool
    property CanWrite: bool
    property CanSeek: bool
    property Length: i64
    property Position: i64
}