diff --git a/Test.obn b/Test.obn
index b80d7a15c3a490308c7b343ab2843e710f22efde..f47edbbb416fd2154a0f16c7bfbaf310923269bc 100644 (file)
--- a/Test.obn
+++ b/Test.obn
MODULE Test;
-TYPE
- R1 = RECORD END;
- R2 = RECORD (R1) END;
- R3 = RECORD END;
+IMPORT Files;
- P1 = POINTER TO R1;
- P2 = POINTER TO R2;
+TYPE
+ String = POINTER TO ARRAY OF CHAR;
+ R* = RECORD ch : CHAR END;
VAR
- a : R1;
- b : R2;
- c : R3;
- p1 : P1;
- p2 : P2;
+ f : Files.File;
+ r : Files.Rider;
+ m : R;
+ s : String;
BEGIN
- a := b;
- p2 := p1(P2);
- p1 := p2(P2);
+ f := Files.Old("Test.obn");
+ ASSERT(f # NIL);
+ Files.Set(r, f, 0);
+
+ Files.Read(r, m.ch);
+
+ ASSERT(s = NIL);
END Test.