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) = 0It is a checked runtime error if
t = NIL
.
PROCEDURE New(t: TEXT): T;
Equivalent to NEW(T).init(t)
.
END TextRd.