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

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


<* PRAGMA LL *>

MODULE MatchViewClass;

<*NOWARN*> IMPORT Match, MatchAlgClass, ZeusClass, VBT, ViewClass;

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

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

PROCEDURE Init (view: T
    ; <*UNUSED*> READONLY clues: Match.Clues
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END Init;
PROCEDURE SetState (view: T
    ; <*UNUSED*> i: INTEGER
    ; <*UNUSED*> j: INTEGER
    ; <*UNUSED*> state: Match.State
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END SetState;

BEGIN
END MatchViewClass.