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

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


<* PRAGMA LL *>

MODULE StringSearchViewClass;

<*NOWARN*> IMPORT ZeusClass, ViewClass, StringSearchAlgClass;

REVEAL
  T = Public BRANDED OBJECT
      OVERRIDES
        <* LL.sup = VBT.mu *>
        isCompat := IsCompat;
        <* LL.sup < VBT.mu *>
        oeSetup := Setup;
        oeProbe := Probe;
        oeResult := Result;
        oePartialMatch := PartialMatch;
        oePartialMatchClear := PartialMatchClear;
        oeCompleteMatch := CompleteMatch;
        oeSlideTo := SlideTo;
        oeKMPSetup := KMPSetup;
        oeAddEdge := AddEdge;
        <* LL.sup = VBT.mu *>
      END;

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

PROCEDURE Setup (view: T
    ; <*UNUSED*> p: TEXT
    ; <*UNUSED*> s: TEXT
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END Setup;
PROCEDURE Probe (view: T
    ; <*UNUSED*> i: CARDINAL
    ; <*UNUSED*> j: CARDINAL
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END Probe;
PROCEDURE Result (view: T
    ; <*UNUSED*> res: BOOLEAN
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END Result;
PROCEDURE PartialMatch (view: T
    ; <*UNUSED*> i: CARDINAL
    ; <*UNUSED*> j: CARDINAL
    ; <*UNUSED*> len: CARDINAL
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END PartialMatch;
PROCEDURE PartialMatchClear (view: T
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END PartialMatchClear;
PROCEDURE CompleteMatch (view: T
    ; <*UNUSED*> j: CARDINAL
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END CompleteMatch;
PROCEDURE SlideTo (view: T
    ; <*UNUSED*> j: CARDINAL
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END SlideTo;
PROCEDURE KMPSetup (view: T
    ; <*UNUSED*> p: TEXT
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END KMPSetup;
PROCEDURE AddEdge (view: T
    ; <*UNUSED*> f: CARDINAL
    ; <*UNUSED*> t: CARDINAL
) =
  <* LL.sup < VBT.mu *>
  BEGIN
    view.evtHandled := FALSE;
  END AddEdge;

BEGIN
END StringSearchViewClass.