Test.obn

   1 MODULE Test;
   2
   3 IMPORT Files;
   4
   5 TYPE
   6   String = POINTER TO ARRAY OF CHAR;
   7   R* = RECORD ch : CHAR END;
   8
   9 VAR
  10   f : Files.File;
  11   r : Files.Rider;
  12   m : R;
  13   s : String;
  14
  15 BEGIN
  16   f := Files.Old("Test.obn");
  17   ASSERT(f # NIL);
  18   Files.Set(r, f, 0);
  19
  20   Files.Read(r, m.ch);
  21
  22   ASSERT(s = NIL);
  23 END Test.