(* compile with voc -M testTexts.Mod *)
MODULE testTexts;

IMPORT Texts, Console;

CONST pi = -311.1415;

VAR
  W:  Texts.Writer;
  T:  Texts.Text;
  R:  Texts.Reader;
  ch: CHAR;
  i:  INTEGER;
  s:  ARRAY 1024 OF CHAR;

BEGIN
  Texts.OpenWriter(W);

  Texts.WriteString(W, "aaa");     Texts.WriteLn(W);
  Texts.WriteReal(W, pi, 7);       Texts.WriteLn(W);
  Texts.WriteRealFix(W, pi, 0, 7); Texts.WriteLn(W);
  Texts.WriteLongReal(W, pi, 7);   Texts.WriteLn(W);

  NEW(T); Texts.Open(T, "test.txt");

  Texts.Append(T, W.buf);
  (*Texts.Store(W, T);*)

  Texts.OpenReader(R, T, 0);
  Texts.Read(R, ch);
  i := 0;
  WHILE ~R.eot DO
    IF ch = 0DX THEN
      s[i] := 0X; i := 0; Console.String(s); Console.Ln
    ELSE
      s[i] := ch; INC(i)
    END;
    Texts.Read(R, ch)
  END;
  s[i] := 0X; (*Console.String(s)*)
END testTexts.