6 most_sig_bit_different,
9 import Data.Maybe (fromJust)
11 import Test.QuickCheck
18 IPv4Address { octet1 :: Octet,
25 instance Show IPv4Address where
26 show addr = concat [(show oct1) ++ ".",
37 instance Arbitrary IPv4Address where
39 oct1 <- arbitrary :: Gen Octet
40 oct2 <- arbitrary :: Gen Octet
41 oct3 <- arbitrary :: Gen Octet
42 oct4 <- arbitrary :: Gen Octet
43 return (IPv4Address oct1 oct2 oct3 oct4)
47 instance Maskable IPv4Address where
49 apply_mask addr mask bit
50 | mask == ThirtyTwo = addr
51 | mask == ThirtyOne = addr { octet4 = (apply_mask oct4 Seven bit) }
52 | mask == Thirty = addr { octet4 = (apply_mask oct4 Six bit) }
53 | mask == TwentyNine = addr { octet4 = (apply_mask oct4 Five bit) }
54 | mask == TwentyEight = addr { octet4 = (apply_mask oct4 Four bit) }
55 | mask == TwentySeven = addr { octet4 = (apply_mask oct4 Three bit) }
56 | mask == TwentySix = addr { octet4 = (apply_mask oct4 Two bit) }
57 | mask == TwentyFive = addr { octet4 = (apply_mask oct4 One bit) }
58 | mask == TwentyFour = addr { octet4 = (apply_mask oct4 Zero bit) }
59 | mask == TwentyThree = addr { octet3 = (apply_mask oct3 Seven bit),
60 octet4 = (apply_mask oct4 Zero bit) }
61 | mask == TwentyTwo = addr { octet3 = (apply_mask oct3 Six bit),
62 octet4 = (apply_mask oct4 Zero bit) }
63 | mask == TwentyOne = addr { octet3 = (apply_mask oct3 Five bit),
64 octet4 = (apply_mask oct4 Zero bit) }
65 | mask == Twenty = addr { octet3 = (apply_mask oct3 Four bit),
66 octet4 = (apply_mask oct4 Zero bit) }
67 | mask == Nineteen = addr { octet3 = (apply_mask oct3 Three bit),
68 octet4 = (apply_mask oct4 Zero bit) }
69 | mask == Eighteen = addr { octet3 = (apply_mask oct3 Two bit),
70 octet4 = (apply_mask oct4 Zero bit) }
71 | mask == Seventeen = addr { octet3 = (apply_mask oct3 One bit),
72 octet4 = (apply_mask oct4 Zero bit) }
73 | mask == Sixteen = addr { octet3 = (apply_mask oct3 Zero bit),
74 octet4 = (apply_mask oct4 Zero bit) }
75 | mask == Fifteen = addr { octet2 = (apply_mask oct2 Seven bit),
76 octet3 = (apply_mask oct3 Zero bit),
77 octet4 = (apply_mask oct4 Zero bit) }
78 | mask == Fourteen = addr { octet2 = (apply_mask oct2 Six bit),
79 octet3 = (apply_mask oct3 Zero bit),
80 octet4 = (apply_mask oct4 Zero bit)}
81 | mask == Thirteen = addr { octet2 = (apply_mask oct2 Five bit),
82 octet3 = (apply_mask oct3 Zero bit),
83 octet4 = (apply_mask oct4 Zero bit)}
84 | mask == Twelve = addr { octet2 = (apply_mask oct2 Four bit),
85 octet3 = (apply_mask oct3 Zero bit),
86 octet4 = (apply_mask oct4 Zero bit)}
87 | mask == Eleven = addr { octet2 = (apply_mask oct2 Three bit),
88 octet3 = (apply_mask oct3 Zero bit),
89 octet4 = (apply_mask oct4 Zero bit)}
90 | mask == Ten = addr { octet2 = (apply_mask oct2 Two bit),
91 octet3 = (apply_mask oct3 Zero bit),
92 octet4 = (apply_mask oct4 Zero bit)}
93 | mask == Nine = addr { octet2 = (apply_mask oct2 One bit),
94 octet3 = (apply_mask oct3 Zero bit),
95 octet4 = (apply_mask oct4 Zero bit)}
96 | mask == Eight = addr { octet2 = (apply_mask oct2 Zero bit),
97 octet3 = (apply_mask oct3 Zero bit),
98 octet4 = (apply_mask oct4 Zero bit)}
99 | mask == Seven = addr { octet1 = (apply_mask oct1 Seven bit),
100 octet2 = (apply_mask oct2 Zero bit),
101 octet3 = (apply_mask oct3 Zero bit),
102 octet4 = (apply_mask oct4 Zero bit)}
103 | mask == Six = addr { octet1 = (apply_mask oct1 Six bit),
104 octet2 = (apply_mask oct2 Zero bit),
105 octet3 = (apply_mask oct3 Zero bit),
106 octet4 = (apply_mask oct4 Zero bit)}
107 | mask == Five = addr { octet1 = (apply_mask oct1 Five bit),
108 octet2 = (apply_mask oct2 Zero bit),
109 octet3 = (apply_mask oct3 Zero bit),
110 octet4 = (apply_mask oct4 Zero bit)}
111 | mask == Four = addr { octet1 = (apply_mask oct1 Four bit),
112 octet2 = (apply_mask oct2 Zero bit),
113 octet3 = (apply_mask oct3 Zero bit),
114 octet4 = (apply_mask oct4 Zero bit)}
115 | mask == Three = addr { octet1 = (apply_mask oct1 Three bit),
116 octet2 = (apply_mask oct2 Zero bit),
117 octet3 = (apply_mask oct3 Zero bit),
118 octet4 = (apply_mask oct4 Zero bit)}
119 | mask == Two = addr { octet1 = (apply_mask oct1 Two bit),
120 octet2 = (apply_mask oct2 Zero bit),
121 octet3 = (apply_mask oct3 Zero bit),
122 octet4 = (apply_mask oct4 Zero bit)}
123 | mask == One = addr { octet1 = (apply_mask oct1 One bit),
124 octet2 = (apply_mask oct2 Zero bit),
125 octet3 = (apply_mask oct3 Zero bit),
126 octet4 = (apply_mask oct4 Zero bit)}
127 | mask == Zero = addr { octet1 = (apply_mask oct1 Zero bit),
128 octet2 = (apply_mask oct2 Zero bit),
129 octet3 = (apply_mask oct3 Zero bit),
130 octet4 = (apply_mask oct4 Zero bit)}
138 -- | The minimum possible IPv4 address, 0.0.0.0.
139 min_address :: IPv4Address
141 IPv4Address min_octet min_octet min_octet min_octet
144 -- | The maximum possible IPv4 address, 255.255.255.255.
145 max_address :: IPv4Address
147 IPv4Address max_octet max_octet max_octet max_octet
150 -- | Given two addresses, find the number of the most significant bit
151 -- where they differ. If the addresses are the same, return
153 most_sig_bit_different :: IPv4Address -> IPv4Address -> Maskbits
154 most_sig_bit_different addr1 addr2
155 | addr1 == addr2 = Maskbits.Zero
156 | m1 /= n1 = Maskbits.One
166 | m11 /= n11 = Eleven
167 | m12 /= n12 = Twelve
168 | m13 /= n13 = Thirteen
169 | m14 /= n14 = Fourteen
170 | m15 /= n15 = Fifteen
171 | m16 /= n16 = Sixteen
172 | m17 /= n17 = Seventeen
173 | m18 /= n18 = Eighteen
174 | m19 /= n19 = Nineteen
175 | m20 /= n20 = Twenty
176 | m21 /= n21 = TwentyOne
177 | m22 /= n22 = TwentyTwo
178 | m23 /= n23 = TwentyThree
179 | m24 /= n24 = TwentyFour
180 | m25 /= n25 = TwentyFive
181 | m26 /= n26 = TwentySix
182 | m27 /= n27 = TwentySeven
183 | m28 /= n28 = TwentyEight
184 | m29 /= n29 = TwentyNine
185 | m30 /= n30 = Thirty
186 | m31 /= n31 = ThirtyOne
187 | m32 /= n32 = ThirtyTwo
188 | otherwise = Maskbits.Zero
222 oct1a = (octet1 addr1)
223 oct2a = (octet2 addr1)
224 oct3a = (octet3 addr1)
225 oct4a = (octet4 addr1)
258 oct1b = (octet1 addr2)
259 oct2b = (octet2 addr2)
260 oct3b = (octet3 addr2)
261 oct4b = (octet4 addr2)
266 mk_testaddr :: Int -> Int -> Int -> Int -> IPv4Address
267 mk_testaddr a b c d =
268 IPv4Address oct1 oct2 oct3 oct4
270 oct1 = fromJust $ octet_from_int a
271 oct2 = fromJust $ octet_from_int b
272 oct3 = fromJust $ octet_from_int c
273 oct4 = fromJust $ octet_from_int d
276 test_most_sig_bit_different1 :: Test
277 test_most_sig_bit_different1 =
278 TestCase $ assertEqual "10.1.1.0 and 10.1.0.0 differ in bit 24"
282 addr1 = mk_testaddr 10 1 1 0
283 addr2 = (mk_testaddr 10 1 0 0)
284 bit = most_sig_bit_different addr1 addr2
288 test_most_sig_bit_different2 :: Test
289 test_most_sig_bit_different2 =
290 TestCase $ assertEqual "10.1.2.0 and 10.1.1.0 differ in bit 23"
294 addr1 = mk_testaddr 10 1 2 0
295 addr2 = mk_testaddr 10 1 1 0
296 bit = most_sig_bit_different addr1 addr2
299 ipv4address_tests :: [Test]
301 [ test_most_sig_bit_different1,
302 test_most_sig_bit_different2 ]