author | koda |
Mon, 13 May 2013 22:53:20 +0200 | |
changeset 8985 | fe8d1a476f0b |
parent 8507 | f4475782cf45 |
child 9109 | 878f06e9c484 |
permissions | -rw-r--r-- |
8479
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
1 |
{-# LANGUAGE OverloadedStrings #-} |
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
2 |
module HWProtoChecker where |
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
3 |
|
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
4 |
import qualified Data.Map as Map |
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
5 |
import Data.Maybe |
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
6 |
import Data.List |
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
7 |
import Control.Monad.Reader |
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
8 |
-------------------------------------- |
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
9 |
import CoreTypes |
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
10 |
import Actions |
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
11 |
import Utils |
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
12 |
import HandlerUtils |
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
13 |
import RoomsAndClients |
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
14 |
import EngineInteraction |
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
15 |
|
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
16 |
|
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
17 |
handleCmd_checker :: CmdHandler |
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
18 |
|
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
19 |
handleCmd_checker ["READY"] = return [CheckRecord] |
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
20 |
|
8507 | 21 |
handleCmd_checker ["CHECKED", "FAIL", msg] = do |
22 |
isChecking <- liftM (isJust . checkInfo) thisClient |
|
23 |
if not isChecking then |
|
24 |
return [] |
|
25 |
else |
|
26 |
return [CheckFailed msg, ModifyClient $ \c -> c{checkInfo = Nothing}] |
|
27 |
||
28 |
||
29 |
handleCmd_checker ("CHECKED" : "OK" : info) = do |
|
30 |
isChecking <- liftM (isJust . checkInfo) thisClient |
|
31 |
if not isChecking then |
|
32 |
return [] |
|
33 |
else |
|
34 |
return [CheckSuccess info, ModifyClient $ \c -> c{checkInfo = Nothing}] |
|
35 |
||
8479
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
36 |
handleCmd_checker _ = return [ProtocolError "Unknown command"] |