A TextWr.T, or text writer, is a writer the contents of whose internal buffer can be retrieved as a TEXT. Retrieving the buffer resets the target to be empty. Text writers are buffered, seekable, and never raise Failure or Alerted. The fact that they are buffered is essentially unobservable, since there is no way for the client to access the target except through the text writer.

INTERFACE TextWr;

IMPORT Wr;

TYPE
  T <: Public;
  Public = Wr.T OBJECT METHODS init(): T END;

PROCEDURE New(): T;

Equivalent to NEW(T).init().

PROCEDURE ToText(wr: T): TEXT;

Return c(wr), resetting c(wr) to the empty sequence and cur(wr) to 0.

END TextWr.