A TextRd.T, or text reader, is a reader that delivers the
characters of a TEXT supplied when the reader was created. Text
readers are seekable, non-intermittent, and never raise Failure
or Alerted.
INTERFACEThe callTextRd ; IMPORT Rd; TYPE T <: Public; Public = Rd.T OBJECT METHODS init(t: TEXT): T END;
rd.init(t) initializes rd as a seekable,
non-intermittent reader with:
len(rd) = Text.Length(t)
src(rd) = characters of t
cur(rd) = 0
It is a checked runtime error if t = NIL.
PROCEDURE New(t: TEXT): T;
Equivalent to NEW(T).init(t). END TextRd.