1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
-- |HUnit tests and QuickQuick properties for Happstack.Util.*
module Happstack.Util.Tests (allTests) where
import Happstack.Util.Common (split)
import Happstack.Util.Testing (qctest)
import Test.HUnit as HU (Test(..),(~:))
import Happstack.Util.Tests.HostAddress
-- |All of the tests for happstack-util should be listed here.
allTests :: Test
allTests =
"happstack-util tests" ~:
[splitTest
,showHostAddressTest
,showHostAddressTest
]
-- |turn 'splitTest_prop' into an HUnit test with a label
splitTest :: Test
splitTest = "splitTest" ~: qctest splitTest_prop
-- |a QuickCheck property which tests 'split'
splitTest_prop :: Bool -> [Bool] -> Bool
splitTest_prop elem list =
let (left1, right1) = split (elem ==) list
(left2, right2) = break (elem ==) list
right2' =
case right2 of
(r:rs) | r == elem -> rs
_ -> right2
in
(left1 == left2) && (right1 == right2')
-- |test showHostAddress against inet_ntoa to ensure that the same results occur
showHostAddressTest :: Test
showHostAddressTest = "showHostAddressTest" ~: qctest propShowHostAddress
-- |test showHostAddress6 against getNameInfo to ensure that the same results occur
showHostAddress6Test :: Test
showHostAddress6Test = "showHostAddress6Test" ~: qctest propShowHostAddress6
|
