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

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


<* PRAGMA LL *>

MODULE SortViewClass;

<*NOWARN*> IMPORT ZeusClass, Sort, SortAlgClass, ViewClass;

REVEAL
  T = Public BRANDED OBJECT
      OVERRIDES
        <* LL.sup = VBT.mu *>
        isCompat := IsCompat;
        <* LL.sup < VBT.mu *>
        oeInit := Init;
        oeSetVal := SetVal;
        oeSwapElts := SwapElts;
        oeStartPass := StartPass;
        <* LL.sup = VBT.mu *>
        ueUpdateVal := UpdateVal;
      END;

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

PROCEDURE Init (view: T
    ; <*UNUSED*> N: CARDINAL
    ; <*UNUSED*> passes: CARDINAL
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END Init;
PROCEDURE SetVal (view: T
    ; <*UNUSED*> i: CARDINAL
    ; <*UNUSED*> val: Sort.Key
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END SetVal;
PROCEDURE SwapElts (view: T
    ; <*UNUSED*> i: CARDINAL
    ; <*UNUSED*> j: CARDINAL
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END SwapElts;
PROCEDURE StartPass (view: T
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END StartPass;

PROCEDURE UpdateVal (view: T
    ; <*UNUSED*> i: CARDINAL
    ; <*UNUSED*> val: Sort.Key
) =
  <* LL.sup = VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END UpdateVal;

BEGIN
END SortViewClass.