{-# LANGUAGE OverloadedStrings #-}

module HWProtoChecker where

import Data.Maybe

import Control.Monad.Reader

--------------------------------------

import CoreTypes

import Actions

import HandlerUtils

handleCmd_checker :: CmdHandler

handleCmd_checker ["READY"] = return [ModifyClient $ \c -> c{isReady = True}, CheckRecord]

handleCmd_checker ["CHECKED", "FAIL", msg] = do

    isChecking <- liftM (isJust . checkInfo) thisClient

    if not isChecking then

        return []

        else

        return [CheckFailed msg, ModifyClient $ \c -> c{checkInfo = Nothing}]

handleCmd_checker ("CHECKED" : "OK" : info) = do

    isChecking <- liftM (isJust . checkInfo) thisClient

    if not isChecking then

        return []

        else

        return [CheckSuccess info, ModifyClient $ \c -> c{checkInfo = Nothing}]

handleCmd_checker _ = return [ProtocolError "Unknown command"]