11 line counting input stream.
12 a stream for textfiles. linecounting. Thin interface getchar and
13 ungetchar. (ungetc is unlimited)
15 should protect get and unget against improper use
23 // could just have used streams.
29 Text_stream (String fn);
30 String get_name() { return name; }
57 return (peek() == '\n');
65 cerr <<__FUNCTION__<< ": closing unended file";
70 /// GNU format message.
71 void message (String s);