********************************************************************
* NOTE: This file is generated automatically from the event * definition file Minimax.evt. ********************************************************************<* PRAGMA LL *> MODULE; <*NOWARN*> IMPORT ZeusClass, TypeFmt, Minimax, MinimaxAlgClass; <*NOWARN*> IMPORT GameBoard, ViewClass; REVEAL T = Public BRANDED OBJECT OVERRIDES <* LL.sup = VBT.mu *> isCompat := IsCompat; <* LL.sup < VBT.mu *> oeSetup := Setup; oePlayerMove := PlayerMove; oeFinished := Finished; oeEvaluateNode := EvaluateNode; oePlayerThinking := PlayerThinking; oeFinishedEvalNode := FinishedEvalNode; oeBoardValueUpdated := BoardValueUpdated; oeHumanCellSelected := HumanCellSelected; oeHumanIllegalMove := HumanIllegalMove; <* LL.sup = VBT.mu *> END; PROCEDURE MinimaxViewClass IsCompat (<*UNUSED*> v: T; alg: ZeusClass.T): BOOLEAN = <* LL.sup = VBT.mu *> BEGIN RETURN ISTYPE(alg, MinimaxAlgClass.T) END IsCompat; PROCEDURESetup (view: T ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END Setup; PROCEDUREPlayerMove (view: T ; <*UNUSED*> player: INTEGER ; <*UNUSED*> fromx: INTEGER ; <*UNUSED*> fromy: INTEGER ; <*UNUSED*> tox: INTEGER ; <*UNUSED*> toy: INTEGER ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END PlayerMove; PROCEDUREFinished (view: T ; <*UNUSED*> winner: INTEGER ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END Finished; PROCEDUREEvaluateNode (view: T ; <*UNUSED*> board: GameBoard.T ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END EvaluateNode; PROCEDUREPlayerThinking (view: T ; <*UNUSED*> player: INTEGER ; <*UNUSED*> board: GameBoard.T ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END PlayerThinking; PROCEDUREFinishedEvalNode (view: T ; <*UNUSED*> board: GameBoard.T ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END FinishedEvalNode; PROCEDUREBoardValueUpdated (view: T ; <*UNUSED*> board: GameBoard.T ; <*UNUSED*> newValue: Minimax.BoardValue ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END BoardValueUpdated; PROCEDUREHumanCellSelected (view: T ; <*UNUSED*> xCoord: INTEGER ; <*UNUSED*> yCoord: INTEGER ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END HumanCellSelected; PROCEDUREHumanIllegalMove (view: T ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END HumanIllegalMove; BEGIN END MinimaxViewClass.