blob: 3522adff331bfe94d385ed9214eb6f3217021b51 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
Namespace Reader {
Struct Reader {
-- some kind of instream
let new Reader( instream ) = this.init( instream );
let init( instream ) = this.instream <- instream;
let close = this.instream.close();
let mark = this.instream.mark();
let reset = this.instream.reset();
let read = this.instream.read();
let readBytes(n) = this.instream.readBytes(n);
let skip(n) = this.instream.skip();
let available = this.instream.available();
let nextChar = this.read() as Character;
}
}
|