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

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


<* PRAGMA LL *>

MODULE ShortestPathViewClass;

<*NOWARN*> IMPORT TextConv, ZeusClass, ViewClass;
<*NOWARN*> IMPORT ShortestPathAlgClass;

REVEAL
  T = Public BRANDED OBJECT
      OVERRIDES
        <* LL.sup = VBT.mu *>
        isCompat := IsCompat;
        <* LL.sup < VBT.mu *>
        oeNewVertex := NewVertex;
        oeNewEdge := NewEdge;
        oeStartFind := StartFind;
        oePromote := Promote;
        oeConsider := Consider;
        oeTraceback := Traceback;
        <* LL.sup = VBT.mu *>
      END;

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

PROCEDURE NewVertex (view: T
    ; <*UNUSED*> name: TEXT
    ; <*UNUSED*> x: REAL
    ; <*UNUSED*> y: REAL
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END NewVertex;
PROCEDURE NewEdge (view: T
    ; <*UNUSED*> name: TEXT
    ; <*UNUSED*> from: TEXT
    ; <*UNUSED*> to: TEXT
    ; <*UNUSED*> orientation: TEXT
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END NewEdge;
PROCEDURE StartFind (view: T
    ; <*UNUSED*> from: TEXT
    ; <*UNUSED*> to: TEXT
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END StartFind;
PROCEDURE Promote (view: T
    ; <*UNUSED*> edge: TEXT
    ; <*UNUSED*> sIndex: INTEGER
    ; <*UNUSED*> dIndex: INTEGER
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END Promote;
PROCEDURE Consider (view: T
    ; <*UNUSED*> edge: TEXT
    ; <*UNUSED*> sIndex: INTEGER
    ; <*UNUSED*> dIndex: INTEGER
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END Consider;
PROCEDURE Traceback (view: T
    ; <*UNUSED*> edge: TEXT
    ; <*UNUSED*> sIndex: INTEGER
    ; <*UNUSED*> dIndex: INTEGER
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END Traceback;

BEGIN
END ShortestPathViewClass.