mentor/derived/ZPaperIE.i3


 Copyright (C) 1995, Digital Equipment Corporation.       
 All rights reserved.                                     
 See the file COPYRIGHT for a full description.           
                                                          
 Last modified on Thu Feb  9 08:50:12 PST 1995 by kalsow  
      modified on Sun Jun  5 21:58:07 PDT 1994 by mhb     
      modified on Wed Feb 17 16:46:35 PST 1993 by johnh   

********************************************************************

      *  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.

interface View is in: