********************************************************************
* NOTE: This file is generated automatically from the event
* definition file ZPaper.evt.
********************************************************************
<* PRAGMA LL *>
INTERFACE ZPaperIE ;
<*NOWARN*> IMPORT Algorithm, View, Thread;
call the following to generate an event:
PROCEDURE Init (
initiator: Algorithm.T;
N, k: INTEGER
) RAISES {Thread.Alerted};
<* LL = {} *>
PROCEDURE Set (
initiator: Algorithm.T;
x, y, val: INTEGER
) RAISES {Thread.Alerted};
<* LL = {} *>
END ZPaperIE.