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

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


<* PRAGMA LL *>

MODULE logoViewClass;

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

REVEAL
  T = Public BRANDED OBJECT
      OVERRIDES
        <* LL.sup = VBT.mu *>
        isCompat := IsCompat;
        <* LL.sup < VBT.mu *>
        oeInit := Init;
        oeRandomStep := RandomStep;
        oeShift := Shift;
        oeMarquee := Marquee;
        oeMarqueeSpots := MarqueeSpots;
        <* LL.sup = VBT.mu *>
      END;

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

PROCEDURE Init (view: T
    ; <*UNUSED*> text: TEXT
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END Init;
PROCEDURE RandomStep (view: T
    ; <*UNUSED*> delta: REAL
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END RandomStep;
PROCEDURE Shift (view: T
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END Shift;
PROCEDURE Marquee (view: T
    ; <*UNUSED*> side: INTEGER
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END Marquee;
PROCEDURE MarqueeSpots (view: T
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END MarqueeSpots;

BEGIN
END logoViewClass.