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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE OverloadedStrings #-}
module Test.Foundation.Network.IPv4
( testNetworkIPv4
) where
import Foundation
import Foundation.Network.IPv4
import Foundation.Check
import Data.Either (isLeft)
import Foundation.Parser (parseOnly)
import Test.Data.Network
import Test.Foundation.Storable
-- | test property equality for the given Collection
testEquality :: Gen IPv4 -> Test
testEquality genElement = Group "equality"
[ Property "x == x" $ forAll genElement (\x -> x === x)
, Property "x == y" $ forAll ((,) <$> genElement <*> genElement) $
\(x,y) -> (toTuple x == toTuple y) === (x == y)
]
-- | test ordering
testOrdering :: Gen IPv4 -> Test
testOrdering genElement = Property "ordering" $
forAll ((,) <$> genElement <*> genElement) $ \(x, y) ->
(toTuple x `compare` toTuple y) === x `compare` y
-- | generate IPv4 like string but with bigger numbers
genOverflowingIPv4String :: Gen String
genOverflowingIPv4String = do
w1 <- bigWordGen
w2 <- bigWordGen
w3 <- bigWordGen
w4 <- bigWordGen
return $ show w1 <> "." <> show w2 <> "." <> show w3 <> "." <> show w4 where
bigWordGen :: Gen Word
bigWordGen = between (256,maxBound)
testNetworkIPv4 :: Test
testNetworkIPv4 = Group "IPv4"
[ Property "toTuple . fromTuple == id" $
forAll genIPv4Tuple $ \x -> x === toTuple (fromTuple x)
, Property "toString . fromString == id" $
forAll genIPv4String $ \x -> x === toString (fromString $ toList x)
, testEquality genIPv4
, testOrdering genIPv4
, testPropertyStorable "Storable" (Proxy :: Proxy IPv4)
, testPropertyStorableFixed "StorableFixed" (Proxy :: Proxy IPv4)
, Property "Word8 overflow is detected" $
forAll genOverflowingIPv4String $ \x -> isLeft $ parseOnly ipv4Parser x
, Property "www.example.com" $
isLeft $ parseOnly ipv4Parser ("www.example.com" :: String)
]
|
