Summary
Reads in lines from a file, but allows lines to be pushed back
back into the input stream for rereading. There is no limit
(aside from memory constraints) on the number of lines pushed back.
- Superclasses:
-
Object
- Package:
- util
- File:
- pushback.icn
Methods:
pushback, read
Methods inherited from Object:
Type, className, clone, equals, fieldNames, genMethods, getField, get_class, get_class_name, get_id, hasField, hasMethod, hash_code, instanceOf, invoke, is_instance, setField, to_string
Fields:
f, pbBuffer, reader
Source code.
PushBack(aFile)
Provide an instance of a pushback file reader.
File to read from
pushback(line)
Push a line back onto the input stream.
line to push back onto input stream
read()
Read in the next line. Reads in any pushed back lines first
before reading a line from the file.
f -- Input file (defaults to <tt>&input</tt>)
pbBuffer -- pushback buffer
reader -- hook to real <tt>read</tt> procedure
This page produced by UniDoc on 2021/04/15 @ 23:59:53.