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

      *  NOTE: This file is generated automatically from the event
      *        definition file ZPaper.evt.
      ********************************************************************


<* PRAGMA LL *>

MODULE ZPaperViewClass;

<*NOWARN*> IMPORT ZeusClass, ZPaperAlgClass, ViewClass;

REVEAL
  T = Public BRANDED OBJECT
      OVERRIDES
        <* LL.sup = VBT.mu *>
        isCompat := IsCompat;
        <* LL.sup < VBT.mu *>
        oeInit := Init;
        oeSet := Set;
        <* LL.sup = VBT.mu *>
      END;

PROCEDURE IsCompat(<*UNUSED*> v: T; alg: ZeusClass.T): BOOLEAN =
  <* LL.sup = VBT.mu *>
  BEGIN
    RETURN ISTYPE(alg, ZPaperAlgClass.T)
  END IsCompat;

PROCEDURE Init (view: T
    ; <*UNUSED*> N: INTEGER
    ; <*UNUSED*> k: INTEGER
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END Init;
PROCEDURE Set (view: T
    ; <*UNUSED*> x: INTEGER
    ; <*UNUSED*> y: INTEGER
    ; <*UNUSED*> val: INTEGER
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END Set;

BEGIN
END ZPaperViewClass.