module Test.Framework.TestManagerInternal (
extractPendingMessage,
quickCheckTestFail, quickCheckTestError, quickCheckTestPending,
unitTestFail, unitTestPending, blackBoxTestFail,
report
) where
import Data.List ( isPrefixOf )
import qualified Test.HUnit.Lang as HU
import Test.Framework.TestManager
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 (False, m))
quickCheckTestFail :: Maybe String -> Assertion
quickCheckTestFail m = assertFailureHTF (show (True, m))
quickCheckTestPending :: String -> Assertion
quickCheckTestPending m = quickCheckTestFail (Just $ makePendingMessage 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
report :: String -> IO ()
report = putStrLn