Code: Select all
MODULE PrivTest;
TYPE
Thing* = POINTER TO ABSTRACT RECORD END;
StdThing = POINTER TO RECORD (Thing) END;
PROCEDURE^ (mf : Thing) React* (n : INTEGER), NEW, ABSTRACT;
(* Code that calls Thing.React *)
PROCEDURE (mf : Thing) React* (n : INTEGER), NEW, ABSTRACT;
PROCEDURE (mf : StdThing) React* (n : INTEGER);
BEGIN (* do stuff *) END React;
END PrivTest.
Is this behaviour described in the Language Reference?