Test.obn

   1 MODULE Test;
   2
   3 TYPE
   4   Object = RECORD
   5     mth : PROCEDURE;
   6   END;
   7
   8 VAR
   9   p : PROCEDURE;
  10   o, a : Object;
  11
  12 PROCEDURE X;
  13 END X;
  14
  15 PROCEDURE Z(VAR g : Object);
  16 BEGIN
  17   g.mth;
  18 END Z;
  19
  20 BEGIN
  21   p := X;
  22   ASSERT(p # NIL);
  23   o.mth := X;
  24   ASSERT(o.mth # NIL);
  25   a := o;
  26   ASSERT(a.mth # NIL);
  27   Z(a);
  28 END Test.