author | RodolfoRG |
Mon, 22 Jul 2013 18:16:01 +0200 | |
changeset 9366 | 4d0128c9cb35 |
parent 9109 | 878f06e9c484 |
child 9433 | f0a8ac191839 |
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 Data.Maybe |
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
5 |
import Control.Monad.Reader |
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
6 |
-------------------------------------- |
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
7 |
import CoreTypes |
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
8 |
import Actions |
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
9 |
import HandlerUtils |
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
10 |
|
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
11 |
|
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
12 |
handleCmd_checker :: CmdHandler |
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
13 |
|
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
14 |
handleCmd_checker ["READY"] = return [CheckRecord] |
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
15 |
|
8507 | 16 |
handleCmd_checker ["CHECKED", "FAIL", msg] = do |
17 |
isChecking <- liftM (isJust . checkInfo) thisClient |
|
18 |
if not isChecking then |
|
19 |
return [] |
|
20 |
else |
|
21 |
return [CheckFailed msg, ModifyClient $ \c -> c{checkInfo = Nothing}] |
|
22 |
||
23 |
||
24 |
handleCmd_checker ("CHECKED" : "OK" : info) = do |
|
25 |
isChecking <- liftM (isJust . checkInfo) thisClient |
|
26 |
if not isChecking then |
|
27 |
return [] |
|
28 |
else |
|
29 |
return [CheckSuccess info, ModifyClient $ \c -> c{checkInfo = Nothing}] |
|
30 |
||
8479
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
31 |
handleCmd_checker _ = return [ProtocolError "Unknown command"] |