2 ( ipv4address_from_octets,
13 most_sig_bit_different,
21 import Test.QuickCheck
23 import qualified Bit as B
27 data IPv4Address = None | IPv4Address { octet1 :: Octet,
34 instance Show IPv4Address where
35 show IPv4Address.None = "None"
36 show addr = concat [(show oct1) ++ ".",
47 instance Arbitrary IPv4Address where
49 oct1 <- arbitrary :: Gen Octet
50 oct2 <- arbitrary :: Gen Octet
51 oct3 <- arbitrary :: Gen Octet
52 oct4 <- arbitrary :: Gen Octet
53 return (IPv4Address oct1 oct2 oct3 oct4)
55 coarbitrary _ = variant 0
59 -- We don't export our constructor so this function is the only
60 -- way to construct an address from octets. As a result, we can
61 -- return IPv4Address.None in response to being passed one of more
63 ipv4address_from_octets :: Octet -> Octet -> Octet -> Octet -> IPv4Address
64 ipv4address_from_octets oct1 oct2 oct3 oct4
65 | or [oct1 == Octet.None,
68 oct4 == Octet.None] = IPv4Address.None
69 | otherwise = IPv4Address oct1 oct2 oct3 oct4
72 min_address :: IPv4Address -> Maskbits -> IPv4Address
73 min_address IPv4Address.None _ = IPv4Address.None
74 min_address _ Maskbits.None = IPv4Address.None
76 | mask == ThirtyTwo = IPv4Address oct1 oct2 oct3 oct4
77 | mask == ThirtyOne = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 a29 a30 a31 B.Zero)
78 | mask == Thirty = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 a29 a30 B.Zero B.Zero)
79 | mask == TwentyNine = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 a29 B.Zero B.Zero B.Zero)
80 | mask == TwentyEight = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 B.Zero B.Zero B.Zero B.Zero)
81 | mask == TwentySeven = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 B.Zero B.Zero B.Zero B.Zero B.Zero)
82 | mask == TwentySix = IPv4Address oct1 oct2 oct3 (Octet a25 a26 B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero)
83 | mask == TwentyFive = IPv4Address oct1 oct2 oct3 (Octet a25 B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero)
84 | mask == TwentyFour = IPv4Address oct1 oct2 oct3 (min_octet)
85 | mask == TwentyThree = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 a21 a22 a23 B.Zero) (min_octet)
86 | mask == TwentyTwo = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 a21 a22 B.Zero B.Zero) (min_octet)
87 | mask == TwentyOne = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 a21 B.Zero B.Zero B.Zero) (min_octet)
88 | mask == Twenty = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 B.Zero B.Zero B.Zero B.Zero) (min_octet)
89 | mask == Nineteen = IPv4Address oct1 oct2 (Octet a17 a18 a19 B.Zero B.Zero B.Zero B.Zero B.Zero) (min_octet)
90 | mask == Eighteen = IPv4Address oct1 oct2 (Octet a17 a18 B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero) (min_octet)
91 | mask == Seventeen = IPv4Address oct1 oct2 (Octet a17 B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero) (min_octet)
92 | mask == Sixteen = IPv4Address oct1 oct2 (min_octet) (min_octet)
93 | mask == Fifteen = IPv4Address oct1 (Octet a9 a10 a11 a12 a13 a14 a15 B.Zero) (min_octet) (min_octet)
94 | mask == Fourteen = IPv4Address oct1 (Octet a9 a10 a11 a12 a13 a14 B.Zero B.Zero) (min_octet) (min_octet)
95 | mask == Thirteen = IPv4Address oct1 (Octet a9 a10 a11 a12 a13 B.Zero B.Zero B.Zero) (min_octet) (min_octet)
96 | mask == Twelve = IPv4Address oct1 (Octet a9 a10 a11 a12 B.Zero B.Zero B.Zero B.Zero) (min_octet) (min_octet)
97 | mask == Eleven = IPv4Address oct1 (Octet a9 a10 a11 B.Zero B.Zero B.Zero B.Zero B.Zero) (min_octet) (min_octet)
98 | mask == Ten = IPv4Address oct1 (Octet a9 a10 B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero) (min_octet) (min_octet)
99 | mask == Nine = IPv4Address oct1 (Octet a9 B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero) (min_octet) (min_octet)
100 | mask == Eight = IPv4Address oct1 (min_octet) (min_octet) (min_octet)
101 | mask == Seven = IPv4Address (Octet a1 a2 a3 a4 a5 a6 a7 B.Zero) (min_octet) (min_octet) (min_octet)
102 | mask == Six = IPv4Address (Octet a1 a2 a3 a4 a5 a6 B.Zero B.Zero) (min_octet) (min_octet) (min_octet)
103 | mask == Five = IPv4Address (Octet a1 a2 a3 a4 a5 B.Zero B.Zero B.Zero) (min_octet) (min_octet) (min_octet)
104 | mask == Four = IPv4Address (Octet a1 a2 a3 a4 B.Zero B.Zero B.Zero B.Zero) (min_octet) (min_octet) (min_octet)
105 | mask == Three = IPv4Address (Octet a1 a2 a3 B.Zero B.Zero B.Zero B.Zero B.Zero) (min_octet) (min_octet) (min_octet)
106 | mask == Two = IPv4Address (Octet a1 a2 B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero) (min_octet) (min_octet) (min_octet)
107 | mask == One = IPv4Address (Octet a1 B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero) (min_octet) (min_octet) (min_octet)
108 | mask == Zero = IPv4Address (min_octet) (min_octet) (min_octet) (min_octet)
146 max_address :: IPv4Address -> Maskbits -> IPv4Address
147 max_address IPv4Address.None _ = IPv4Address.None
148 max_address _ Maskbits.None = IPv4Address.None
149 max_address addr mask
150 | mask == ThirtyTwo = IPv4Address oct1 oct2 oct3 oct4
151 | mask == ThirtyOne = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 a29 a30 a31 B.One)
152 | mask == Thirty = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 a29 a30 B.One B.One)
153 | mask == TwentyNine = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 a29 B.One B.One B.One)
154 | mask == TwentyEight = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 B.One B.One B.One B.One)
155 | mask == TwentySeven = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 B.One B.One B.One B.One B.One)
156 | mask == TwentySix = IPv4Address oct1 oct2 oct3 (Octet a25 a26 B.One B.One B.One B.One B.One B.One)
157 | mask == TwentyFive = IPv4Address oct1 oct2 oct3 (Octet a25 B.One B.One B.One B.One B.One B.One B.One)
158 | mask == TwentyFour = IPv4Address oct1 oct2 oct3 (max_octet)
159 | mask == TwentyThree = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 a21 a22 a23 B.One) (max_octet)
160 | mask == TwentyTwo = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 a21 a22 B.One B.One) (max_octet)
161 | mask == TwentyOne = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 a21 B.One B.One B.One) (max_octet)
162 | mask == Twenty = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 B.One B.One B.One B.One) (max_octet)
163 | mask == Nineteen = IPv4Address oct1 oct2 (Octet a17 a18 a19 B.One B.One B.One B.One B.One) (max_octet)
164 | mask == Eighteen = IPv4Address oct1 oct2 (Octet a17 a18 B.One B.One B.One B.One B.One B.One) (max_octet)
165 | mask == Seventeen = IPv4Address oct1 oct2 (Octet a17 B.One B.One B.One B.One B.One B.One B.One) (max_octet)
166 | mask == Sixteen = IPv4Address oct1 oct2 (max_octet) (max_octet)
167 | mask == Fifteen = IPv4Address oct1 (Octet a9 a10 a11 a12 a13 a14 a15 B.One) (max_octet) (max_octet)
168 | mask == Fourteen = IPv4Address oct1 (Octet a9 a10 a11 a12 a13 a14 B.One B.One) (max_octet) (max_octet)
169 | mask == Thirteen = IPv4Address oct1 (Octet a9 a10 a11 a12 a13 B.One B.One B.One) (max_octet) (max_octet)
170 | mask == Twelve = IPv4Address oct1 (Octet a9 a10 a11 a12 B.One B.One B.One B.One) (max_octet) (max_octet)
171 | mask == Eleven = IPv4Address oct1 (Octet a9 a10 a11 B.One B.One B.One B.One B.One) (max_octet) (max_octet)
172 | mask == Ten = IPv4Address oct1 (Octet a9 a10 B.One B.One B.One B.One B.One B.One) (max_octet) (max_octet)
173 | mask == Nine = IPv4Address oct1 (Octet a9 B.One B.One B.One B.One B.One B.One B.One) (max_octet) (max_octet)
174 | mask == Eight = IPv4Address oct1 (max_octet) (max_octet) (max_octet)
175 | mask == Seven = IPv4Address (Octet a1 a2 a3 a4 a5 a6 a7 B.One) (max_octet) (max_octet) (max_octet)
176 | mask == Six = IPv4Address (Octet a1 a2 a3 a4 a5 a6 B.One B.One) (max_octet) (max_octet) (max_octet)
177 | mask == Five = IPv4Address (Octet a1 a2 a3 a4 a5 B.One B.One B.One) (max_octet) (max_octet) (max_octet)
178 | mask == Four = IPv4Address (Octet a1 a2 a3 a4 B.One B.One B.One B.One) (max_octet) (max_octet) (max_octet)
179 | mask == Three = IPv4Address (Octet a1 a2 a3 B.One B.One B.One B.One B.One) (max_octet) (max_octet) (max_octet)
180 | mask == Two = IPv4Address (Octet a1 a2 B.One B.One B.One B.One B.One B.One) (max_octet) (max_octet) (max_octet)
181 | mask == One = IPv4Address (Octet a1 B.One B.One B.One B.One B.One B.One B.One) (max_octet) (max_octet) (max_octet)
182 | mask == Zero = IPv4Address (max_octet) (max_octet) (max_octet) (max_octet)
220 min_octet1 :: IPv4Address -> Maskbits -> Octet
221 min_octet1 addr mask = octet1 (min_address addr mask)
223 min_octet2 :: IPv4Address -> Maskbits -> Octet
224 min_octet2 addr mask = octet2 (min_address addr mask)
226 min_octet3 :: IPv4Address -> Maskbits -> Octet
227 min_octet3 addr mask = octet3 (min_address addr mask)
229 min_octet4 :: IPv4Address -> Maskbits -> Octet
230 min_octet4 addr mask = octet4 (min_address addr mask)
232 max_octet1 :: IPv4Address -> Maskbits -> Octet
233 max_octet1 addr mask = octet1 (max_address addr mask)
235 max_octet2 :: IPv4Address -> Maskbits -> Octet
236 max_octet2 addr mask = octet2 (max_address addr mask)
238 max_octet3 :: IPv4Address -> Maskbits -> Octet
239 max_octet3 addr mask = octet3 (max_address addr mask)
241 max_octet4 :: IPv4Address -> Maskbits -> Octet
242 max_octet4 addr mask = octet4 (max_address addr mask)
245 -- Given two addresses, find the number of the most significant bit
246 -- where they differ. If the addresses are the same, return
248 most_sig_bit_different :: IPv4Address -> IPv4Address -> Maskbits
249 most_sig_bit_different addr1 addr2
250 | addr1 == addr2 = Maskbits.Zero
251 | m1 /= n1 = Maskbits.One
261 | m11 /= n11 = Eleven
262 | m12 /= n12 = Twelve
263 | m13 /= n13 = Thirteen
264 | m14 /= n14 = Fourteen
265 | m15 /= n15 = Fifteen
266 | m16 /= n16 = Sixteen
267 | m17 /= n17 = Seventeen
268 | m18 /= n18 = Eighteen
269 | m19 /= n19 = Nineteen
270 | m20 /= n20 = Twenty
271 | m21 /= n21 = TwentyOne
272 | m22 /= n22 = TwentyTwo
273 | m23 /= n23 = TwentyThree
274 | m24 /= n24 = TwentyFour
275 | m25 /= n25 = TwentyFive
276 | m26 /= n26 = TwentySix
277 | m27 /= n27 = TwentySeven
278 | m28 /= n28 = TwentyEight
279 | m29 /= n29 = TwentyNine
280 | m30 /= n30 = Thirty
281 | m31 /= n31 = ThirtyOne
282 | m32 /= n32 = ThirtyTwo
283 | otherwise = Maskbits.Zero
317 oct1a = (octet1 addr1)
318 oct2a = (octet2 addr1)
319 oct3a = (octet3 addr1)
320 oct4a = (octet4 addr1)
353 oct1b = (octet1 addr2)
354 oct2b = (octet2 addr2)
355 oct3b = (octet3 addr2)
356 oct4b = (octet4 addr2)
361 mk_testaddr :: Int -> Int -> Int -> Int -> IPv4Address
362 mk_testaddr a b c d =
363 IPv4Address oct1 oct2 oct3 oct4
365 oct1 = octet_from_int a
366 oct2 = octet_from_int b
367 oct3 = octet_from_int c
368 oct4 = octet_from_int d
371 test_most_sig_bit_different1 :: Test
372 test_most_sig_bit_different1 =
373 TestCase $ assertEqual "10.1.1.0 and 10.1.0.0 differ in bit 24" TwentyFour (most_sig_bit_different (mk_testaddr 10 1 1 0) (mk_testaddr 10 1 0 0))
376 test_most_sig_bit_different2 :: Test
377 test_most_sig_bit_different2 =
378 TestCase $ assertEqual "10.1.2.0 and 10.1.1.0 differ in bit 23" TwentyThree (most_sig_bit_different (mk_testaddr 10 1 2 0) (mk_testaddr 10 1 1 0))
381 ipv4address_tests :: [Test]
382 ipv4address_tests = [ test_most_sig_bit_different1,
383 test_most_sig_bit_different2 ]