********************************************************************
* NOTE: This file is generated automatically from the event * definition file StringSearch.evt. ********************************************************************<* PRAGMA LL *> MODULE; <*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 StringSearchViewClass IsCompat (<*UNUSED*> v: T; alg: ZeusClass.T): BOOLEAN = <* LL.sup = VBT.mu *> BEGIN RETURN ISTYPE(alg, StringSearchAlgClass.T) END IsCompat; PROCEDURESetup (view: T ; <*UNUSED*> p: TEXT ; <*UNUSED*> s: TEXT ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END Setup; PROCEDUREProbe (view: T ; <*UNUSED*> i: CARDINAL ; <*UNUSED*> j: CARDINAL ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END Probe; PROCEDUREResult (view: T ; <*UNUSED*> res: BOOLEAN ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END Result; PROCEDUREPartialMatch (view: T ; <*UNUSED*> i: CARDINAL ; <*UNUSED*> j: CARDINAL ; <*UNUSED*> len: CARDINAL ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END PartialMatch; PROCEDUREPartialMatchClear (view: T ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END PartialMatchClear; PROCEDURECompleteMatch (view: T ; <*UNUSED*> j: CARDINAL ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END CompleteMatch; PROCEDURESlideTo (view: T ; <*UNUSED*> j: CARDINAL ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END SlideTo; PROCEDUREKMPSetup (view: T ; <*UNUSED*> p: TEXT ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END KMPSetup; PROCEDUREAddEdge (view: T ; <*UNUSED*> f: CARDINAL ; <*UNUSED*> t: CARDINAL ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END AddEdge; BEGIN END StringSearchViewClass.