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

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


<* PRAGMA LL *>

MODULE SubtypeViewClass;

<*NOWARN*> IMPORT ZeusClass, SubtypeAlgClass, AlgSubtype;
<*NOWARN*> IMPORT ViewClass;

REVEAL
  T = Public BRANDED OBJECT
      OVERRIDES
        <* LL.sup = VBT.mu *>
        isCompat := IsCompat;
        <* LL.sup < VBT.mu *>
        oeSetup := Setup;
        oeBegin := Begin;
        oeNewBot := NewBot;
        oeNewTop := NewTop;
        oeNewFun := NewFun;
        oeNewDomRng := NewDomRng;
        oeNewLoop := NewLoop;
        oeEnter := Enter;
        oeExit := Exit;
        oeSeenOK := SeenOK;
        oeNotice := Notice;
        oeBotLessAnyOK := BotLessAnyOK;
        oeTopLessTopOK := TopLessTopOK;
        oeTopLessNonTopKO := TopLessNonTopKO;
        oeFunLessBotKO := FunLessBotKO;
        oeFunLessTopOK := FunLessTopOK;
        oeFunLessFun := FunLessFun;
        oeOK := OK;
        oeKO := KO;
        <* LL.sup = VBT.mu *>
      END;

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

PROCEDURE Setup (view: T
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END Setup;
PROCEDURE Begin (view: T
    ; <*UNUSED*> lftRoot: INTEGER
    ; <*UNUSED*> rhtRoot: INTEGER
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END Begin;
PROCEDURE NewBot (view: T
    ; <*UNUSED*> index: INTEGER
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END NewBot;
PROCEDURE NewTop (view: T
    ; <*UNUSED*> index: INTEGER
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END NewTop;
PROCEDURE NewFun (view: T
    ; <*UNUSED*> index: INTEGER
    ; <*UNUSED*> domEdgeIndex: INTEGER
    ; <*UNUSED*> rngEdgeIndex: INTEGER
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END NewFun;
PROCEDURE NewDomRng (view: T
    ; <*UNUSED*> index: INTEGER
    ; <*UNUSED*> domIndex: INTEGER
    ; <*UNUSED*> rngIndex: INTEGER
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END NewDomRng;
PROCEDURE NewLoop (view: T
    ; <*UNUSED*> fromIndex: INTEGER
    ; <*UNUSED*> toIndex: INTEGER
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END NewLoop;
PROCEDURE Enter (view: T
    ; <*UNUSED*> lftIndex: INTEGER
    ; <*UNUSED*> rhtIndex: INTEGER
    ; <*UNUSED*> lftLeadingEdgeIndex: INTEGER
    ; <*UNUSED*> rhtLeadingEdgeIndex: INTEGER
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END Enter;
PROCEDURE Exit (view: T
    ; <*UNUSED*> lftIndex: INTEGER
    ; <*UNUSED*> rhtIndex: INTEGER
    ; <*UNUSED*> lftLeadingEdgeIndex: INTEGER
    ; <*UNUSED*> rhtLeadingEdgeIndex: INTEGER
    ; <*UNUSED*> result: BOOLEAN
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END Exit;
PROCEDURE SeenOK (view: T
    ; <*UNUSED*> fromIndex: INTEGER
    ; <*UNUSED*> toIndex: INTEGER
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END SeenOK;
PROCEDURE Notice (view: T
    ; <*UNUSED*> fromIndex: INTEGER
    ; <*UNUSED*> toIndex: INTEGER
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END Notice;
PROCEDURE BotLessAnyOK (view: T
    ; <*UNUSED*> lftIndex: INTEGER
    ; <*UNUSED*> rhtIndex: INTEGER
    ; <*UNUSED*> lftLeadingEdgeIndex: INTEGER
    ; <*UNUSED*> rhtLeadingEdgeIndex: INTEGER
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END BotLessAnyOK;
PROCEDURE TopLessTopOK (view: T
    ; <*UNUSED*> lftIndex: INTEGER
    ; <*UNUSED*> rhtIndex: INTEGER
    ; <*UNUSED*> lftLeadingEdgeIndex: INTEGER
    ; <*UNUSED*> rhtLeadingEdgeIndex: INTEGER
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END TopLessTopOK;
PROCEDURE TopLessNonTopKO (view: T
    ; <*UNUSED*> lftIndex: INTEGER
    ; <*UNUSED*> rhtIndex: INTEGER
    ; <*UNUSED*> lftLeadingEdgeIndex: INTEGER
    ; <*UNUSED*> rhtLeadingEdgeIndex: INTEGER
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END TopLessNonTopKO;
PROCEDURE FunLessBotKO (view: T
    ; <*UNUSED*> lftIndex: INTEGER
    ; <*UNUSED*> rhtIndex: INTEGER
    ; <*UNUSED*> lftLeadingEdgeIndex: INTEGER
    ; <*UNUSED*> rhtLeadingEdgeIndex: INTEGER
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END FunLessBotKO;
PROCEDURE FunLessTopOK (view: T
    ; <*UNUSED*> lftIndex: INTEGER
    ; <*UNUSED*> rhtIndex: INTEGER
    ; <*UNUSED*> lftLeadingEdgeIndex: INTEGER
    ; <*UNUSED*> rhtLeadingEdgeIndex: INTEGER
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END FunLessTopOK;
PROCEDURE FunLessFun (view: T
    ; <*UNUSED*> lftIndex: INTEGER
    ; <*UNUSED*> rhtIndex: INTEGER
    ; <*UNUSED*> lftLeadingEdgeIndex: INTEGER
    ; <*UNUSED*> rhtLeadingEdgeIndex: INTEGER
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END FunLessFun;
PROCEDURE OK (view: T
    ; <*UNUSED*> lftIndex: INTEGER
    ; <*UNUSED*> rhtIndex: INTEGER
    ; <*UNUSED*> lftLeadingEdgeIndex: INTEGER
    ; <*UNUSED*> rhtLeadingEdgeIndex: INTEGER
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END OK;
PROCEDURE KO (view: T
    ; <*UNUSED*> lftIndex: INTEGER
    ; <*UNUSED*> rhtIndex: INTEGER
    ; <*UNUSED*> lftLeadingEdgeIndex: INTEGER
    ; <*UNUSED*> rhtLeadingEdgeIndex: INTEGER
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END KO;

BEGIN
END SubtypeViewClass.