{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TemplateHaskell #-}
module Main where
--------------------------------------------------------------------------
-- imports
import qualified Data.Text as T
import EasyLogger
import System.Directory
import Test.QuickCheck
-- file Spec.hs
import Test.Hspec
import Test.Hspec.QuickCheck
import Test.QuickCheck
import Test.QuickCheck.Assertions
import Test.QuickCheck.Monadic
import Test.QuickCheck.Property
--------------------------------------------------------------------------
getLogMessages :: FilePath -> IO [String]
getLogMessages fp = do
txt <- readFile fp
let ls = lines txt
return $ map getLogMsg ls
where
getLogMsg = T.unpack . T.strip . T.takeWhile (/= '@') . T.tail . T.dropWhile (/= ']') . T.pack
--------------------------------------------------------------------------
prop_Logging :: Property
prop_Logging = ioProperty $ do
writeFile "test/files/prop_Logging.log" ""
$(initLogger) (LogFile ("test/files/prop_Logging.log" :: FilePath))
$(logDebug) "test run"
finalizeAllLoggers
lastLog <- getLogMessages "test/files/prop_Logging.log"
return (["test run"] === lastLog)
prop_NoInit :: IO ()
prop_NoInit = do
writeFile "test/files/prop_NoInit.log" ""
$(logDebug) "test run"
--------------------------------------------------------------------------
-- main
return []
-- prop_conj :: Property
-- prop_conj = counterexample "Simon Thompson" $(monomorphic 'prop_SimonThompson) .&&.
-- counterexample "reverse" $(monomorphic 'prop_Reverse)
-- prop_disj :: Property
-- prop_disj = counterexample "reverse" $(monomorphic 'prop_Reverse) .||.
-- counterexample "Simon Thompson" $(monomorphic 'prop_SimonThompson)
-- return []
main :: IO ()
main = do
createDirectoryIfMissing True "test/files"
hspec $ do
describe "prop_Logging" $ do
it "logs to file and reads content" $ prop_Logging
describe "initialization" $ do
it "throws an exception if not initialized" $
prop_NoInit `shouldThrow` anyException