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

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


<* PRAGMA LL *>

MODULE BinpackViewClass;

<*NOWARN*> IMPORT IntList, ZeusClass, BinpackAux, RealList;
<*NOWARN*> IMPORT BinpackAlgClass, ViewClass;

REVEAL
  T = Public BRANDED OBJECT
      OVERRIDES
        <* LL.sup = VBT.mu *>
        isCompat := IsCompat;
        <* LL.sup < VBT.mu *>
        oeSetup := Setup;
        oeNewWeight := NewWeight;
        oePack := Pack;
        oeIgnore := Ignore;
        oeProbe := Probe;
        <* LL.sup = VBT.mu *>
        ueRepackBin := RepackBin;
      END;

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

PROCEDURE Setup (view: T
    ; <*UNUSED*> nBins: INTEGER
    ; <*UNUSED*> nWts: INTEGER
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END Setup;
PROCEDURE NewWeight (view: T
    ; <*UNUSED*> id: INTEGER
    ; <*UNUSED*> wt: REAL
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END NewWeight;
PROCEDURE Pack (view: T
    ; <*UNUSED*> bin: INTEGER
    ; <*UNUSED*> total: REAL
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END Pack;
PROCEDURE Ignore (view: T
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END Ignore;
PROCEDURE Probe (view: T
    ; <*UNUSED*> bin: INTEGER
    ; <*UNUSED*> total: REAL
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END Probe;

PROCEDURE RepackBin (view: T
    ; <*UNUSED*> bin: INTEGER
    ; <*UNUSED*> old: IntList.T
    ; <*UNUSED*> new: IntList.T
    ; <*UNUSED*> amts: RealList.T
) =
  <* LL.sup = VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END RepackBin;

BEGIN
END BinpackViewClass.