module Test.Framework.TestManagerInternal (
extractPendingMessage,
quickCheckTestFail, quickCheckTestError, quickCheckTestPending,
quickCheckTestPass,
unitTestFail, unitTestPending, blackBoxTestFail,
TestResult(..)
) where
import Data.List ( isPrefixOf )
import qualified Test.HUnit.Lang as HU
import Test.Framework.TestManager
data TestResult = Error | Fail | Pending | Pass
deriving (Show, Read, Eq)
pendingPrefix :: String
pendingPrefix = "__PENDING__"
makePendingMessage :: String -> String
makePendingMessage = (++) pendingPrefix
extractPendingMessage :: String -> Maybe String
extractPendingMessage msg =
if pendingPrefix `isPrefixOf` msg
then Just $ drop (length pendingPrefix) msg
else Nothing
assertFailureHTF :: String -> Assertion
assertFailureHTF s = length s `seq` HU.assertFailure s
quickCheckTestError :: Maybe String -> Assertion
quickCheckTestError m = assertFailureHTF (show (Error, m))
quickCheckTestFail :: Maybe String -> Assertion
quickCheckTestFail m = assertFailureHTF (show (Fail, m))
quickCheckTestPending :: String -> Assertion
quickCheckTestPending m = assertFailureHTF (show (Pending, Just m))
quickCheckTestPass :: String -> Assertion
quickCheckTestPass m = assertFailureHTF (show (Pass, Just m))
unitTestFail :: String -> IO a
unitTestFail s =
do assertFailureHTF s
error "unitTestFail: UNREACHABLE"
unitTestPending :: String -> IO a
unitTestPending s = unitTestFail (makePendingMessage s)
blackBoxTestFail :: String -> Assertion
blackBoxTestFail = assertFailureHTF