module Main(main) where import Test.HUnit import Test.HUnit.Base import Data.Word (Word8) import Data.Bits (xor) import Network.EBus.Layer2 as L2 import Test.Layer2 as Test.Layer2 -- main = do -- -- * Select binary mode (True) or text mode (False) on a open handle. (See also openBinaryFile.) -- hSetBinaryMode stdin True -- -- * run -- -- Run an iteratee until it finishes, and return either the final value (if it succeeded) or the error (if it failed). -- -- * run_ -- -- Like run, except errors are converted to exceptions and thrown. Primarily useful for small scripts or other simple cases. -- maybePacket <- run( enumSource $$ runParser ) -- case maybePacket of -- Right result -> print result -- Left error -> print error -- maybePacket <- run( enumSource $$ runParser ) -- case maybePacket of -- Right result -> print result -- Left error -> print error -- enumSource :: Enumerator ByteString IO a -- enumSource = enumHandle 1 stdin -- runParser :: Iteratee ByteString IO EbusPacket -- runParser = do -- p <- iterParser parser -- return p main = runTestTT $ TestList Test.Layer2.tests -- defaultMain [ -- testGroup "SomeModule" [ testCase "foo" foooo] -- ] --tests = TestList [TestLabel "bla" foooo] tests = TestList [ ] --"Test:" ~: L2.ebusCrc [1 .. 7] ~=? 96 -- , "Test:" ~: L2.ebusCrc [8,1,1,16,255,88,255,60,9] ~=? 247] -- listEnumerator :: Enumerator ByteString IO a -- listEnumerator = enumLists l -- where l::[[ByteString]] -- l = [[pack [1,2,3]]] --foooo = -- TestList( -- ~: ~=? "asd" 2 2 -- assertBool "foo" True -- print $ ebusCrc [1,2,3] -- quickCheck (\s(\s -> length (take5 s) == 5) -- if ebusCrc [1,2,3,4,5,6,7] == 96 -- then IO () -- else assertFailure "Failed" -- print "\nOK" -- ) -- import Control.Concurrent (forkOS) -- import Control.Concurrent.MVar (MVar, newEmptyMVar, readMVar, putMVar) -- import Control.Exception (finally) -- import Control.Monad.Trans (liftIO) -- import qualified Data.Binary as B -- import qualified System.ZMQ as ZMQ -- import Control.Monad.BinaryProtocol.ZMQ -- (BinaryProtocol, runProtocol, send, receive, flush) -- main :: IO () -- main = defaultMain tests -- tests :: [TF.Test] -- tests = -- [ testGroup "unidirectional communications" -- [ testCase "send unit" testSendUnit -- , testCase "send number" testSendNumber -- , testCase "send list of numbers" testSendListOfNumbers -- ] -- , testGroup "bidirectional communications" -- [ testCase "addition" testAddition -- ] -- ] -- makeChannels :: ZMQ.Context -> String -> IO (ZMQ.Socket ZMQ.Up, -- ZMQ.Socket ZMQ.Down) -- makeChannels ctx address = do -- chan1 <- ZMQ.socket ctx ZMQ.Up -- chan2 <- ZMQ.socket ctx ZMQ.Down -- ZMQ.bind chan1 address -- ZMQ.connect chan2 address -- return (chan1, chan2) -- makeSendTest :: (B.Binary a, Eq a, Show a) => a -> IO () -- makeSendTest value = do -- ctx <- ZMQ.init 1 -- (chan_in, chan_out) <- makeChannels ctx "inproc://pipe" -- result <- runProtocol actions chan_in chan_out `finally` do -- ZMQ.close chan_out -- ZMQ.close chan_in -- ZMQ.term ctx -- assertEqual "Was the correct value received?" value result -- where actions = do -- send value -- flush -- receive -- testSendUnit :: IO () -- testSendUnit = makeSendTest () -- testSendNumber :: IO () -- testSendNumber = makeSendTest (3 :: Int) -- testSendListOfNumbers :: IO () -- testSendListOfNumbers = makeSendTest [3 :: Int, 4, 5, 6] -- makeExchangeTest :: (B.Binary a, Show a, Eq a) => -- a -> -- (MVar a -> BinaryProtocol ZMQ.Up ZMQ.Down ()) -> -- (MVar a -> BinaryProtocol ZMQ.Up ZMQ.Down ()) -> -- IO () -- makeExchangeTest correct_result protocol1 protocol2 = do -- resultMVar <- newEmptyMVar -- ctx <- ZMQ.init 1 -- lock1 <- newEmptyMVar -- lock2 <- newEmptyMVar -- -- ZeroMQ sockets can only be used in the thread which created them. -- -- We need some magic to get this right. -- f $ forkOS $ runProtocol' address1 address2 ctx lock1 lock2 -- (protocol1 resultMVar) -- f $ forkOS $ runProtocol' address2 address1 ctx lock2 lock1 -- (protocol2 resultMVar) -- result <- readMVar resultMVar `finally` ZMQ.term ctx -- assertEqual "Was the correct result computed?" correct_result result -- where address1 = "inproc://pipe1" -- address2 = "inproc://pipe2" -- f :: IO a -> IO () -- f a = a >> return () -- runProtocol' :: String -> String -> ZMQ.Context -> -- MVar () -> MVar () -> -- BinaryProtocol ZMQ.Up ZMQ.Down () -> IO () -- runProtocol' a1 a2 ctx l1 l2 p = do -- chan_in <- ZMQ.socket ctx ZMQ.Up -- chan_out <- ZMQ.socket ctx ZMQ.Down -- ZMQ.bind chan_in a1 -- putMVar l1 () -- f $ readMVar l2 -- ZMQ.connect chan_out a2 -- runProtocol p chan_in chan_out `finally` do -- ZMQ.close chan_in -- ZMQ.close chan_out -- testAddition :: IO () -- testAddition = -- makeExchangeTest (3 :: Int) -- (\resultMVar -> do -- send (1 :: Int) -- flush -- receive >>= liftIO . putMVar resultMVar -- ) -- (\_ -> do -- a <- receive -- send (a + (2 :: Int)) -- flush -- )