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
; }
35 return (peek() == '\n');
65 cerr
<<__FUNCTION__
<< ": closing unended file";
70 /// GNU format message.
71 void message(String s
);