diff options
Diffstat (limited to 'stream.sig')
-rw-r--r-- | stream.sig | 9 |
1 files changed, 7 insertions, 2 deletions
@@ -32,13 +32,18 @@ signature STREAM = sig val pposWithoutCol: ppos -> ppos val getSubstr: fileOffset -> fileOffset -> t -> string + val getFname: t -> string val isFirstOnLine: pos -> t -> bool - (* throws IO.Io *) + (* both throw IO.Io *) val create: string -> t + val createFromInstream: string -> TextIO.instream -> t val pposCacheInit: fileInfo -> pposCache - val pposCacheAdvance: pos -> pposCache -> (int * int) * pposCache + + val pposCacheGetId: pposCache -> fileId val pposCacheGetLine: pposCache -> int val pposCacheGetFname: pposCache -> string + + val pposCacheAdvance: pos -> pposCache -> (int * int) * pposCache end |