author | nemo |
Sat, 01 Nov 2014 11:20:37 -0400 | |
changeset 10462 | dd3cf0c91cc9 |
parent 10212 | 5fb3bb2de9d2 |
child 10460 | 8dcea9087d75 |
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 HandlerUtils |
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
9 |
|
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 |
handleCmd_checker :: CmdHandler |
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
12 |
|
9433 | 13 |
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
|
14 |
|
8507 | 15 |
handleCmd_checker ["CHECKED", "FAIL", msg] = do |
16 |
isChecking <- liftM (isJust . checkInfo) thisClient |
|
17 |
if not isChecking then |
|
18 |
return [] |
|
19 |
else |
|
9444 | 20 |
return [CheckFailed msg, ModifyClient $ \c -> c{checkInfo = Nothing}] |
8507 | 21 |
|
22 |
||
23 |
handleCmd_checker ("CHECKED" : "OK" : info) = do |
|
24 |
isChecking <- liftM (isJust . checkInfo) thisClient |
|
25 |
if not isChecking then |
|
26 |
return [] |
|
27 |
else |
|
9444 | 28 |
return [CheckSuccess info, ModifyClient $ \c -> c{checkInfo = Nothing}] |
8507 | 29 |
|
8479
8d71109b04d2
Some work on loading replay and interaction with checker
unc0rr
parents:
diff
changeset
|
30 |
handleCmd_checker _ = return [ProtocolError "Unknown command"] |