author | nemo |
Sat, 21 Dec 2013 15:39:16 -0500 | |
changeset 9812 | a293a9ecdc82 |
parent 9444 | 30748b1d9ec7 |
child 10212 | 5fb3bb2de9d2 |
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 |
|
9433 | 14 |
handleCmd_checker ["READY"] = return [ModifyClient $ \c -> c{isReady = True}, CheckRecord] |
8479
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 |
|
9444 | 21 |
return [CheckFailed msg, ModifyClient $ \c -> c{checkInfo = Nothing}] |
8507 | 22 |
|
23 |
||
24 |
handleCmd_checker ("CHECKED" : "OK" : info) = do |
|
25 |
isChecking <- liftM (isJust . checkInfo) thisClient |
|
26 |
if not isChecking then |
|
27 |
return [] |
|
28 |
else |
|
9444 | 29 |
return [CheckSuccess info, ModifyClient $ \c -> c{checkInfo = Nothing}] |
8507 | 30 |
|
8479
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
31 |
handleCmd_checker _ = return [ProtocolError "Unknown command"] |