********************************************************************
* NOTE: This file is generated automatically from the event * definition file Match.evt. ********************************************************************<* PRAGMA LL *> MODULE; <*NOWARN*> IMPORT Match, MatchAlgClass, ZeusClass, VBT, ViewClass; REVEAL T = Public BRANDED OBJECT OVERRIDES <* LL.sup = VBT.mu *> isCompat := IsCompat; <* LL.sup < VBT.mu *> oeInit := Init; oeSetState := SetState; <* LL.sup = VBT.mu *> END; PROCEDURE MatchViewClass IsCompat (<*UNUSED*> v: T; alg: ZeusClass.T): BOOLEAN = <* LL.sup = VBT.mu *> BEGIN RETURN ISTYPE(alg, MatchAlgClass.T) END IsCompat; PROCEDUREInit (view: T ; <*UNUSED*> READONLY clues: Match.Clues ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END Init; PROCEDURESetState (view: T ; <*UNUSED*> i: INTEGER ; <*UNUSED*> j: INTEGER ; <*UNUSED*> state: Match.State ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END SetState; BEGIN END MatchViewClass.