paul@0 | 1 | #!/usr/bin/env python |
paul@0 | 2 | |
paul@44 | 3 | from iixr.files import * |
paul@44 | 4 | from iixr.fields import * |
paul@44 | 5 | from iixr.terms import * |
paul@44 | 6 | from iixr.positions import * |
paul@44 | 7 | from iixr.index import * |
paul@18 | 8 | import os |
paul@18 | 9 | |
paul@18 | 10 | # Remove old test files. |
paul@18 | 11 | |
paul@18 | 12 | for filename in ("test", "testF", "testFI", "testI", "testP"): |
paul@18 | 13 | try: |
paul@18 | 14 | os.remove(filename) |
paul@18 | 15 | except OSError: |
paul@18 | 16 | pass |
paul@18 | 17 | |
paul@18 | 18 | try: |
paul@20 | 19 | for filename in os.listdir("test_index"): |
paul@20 | 20 | os.remove(os.path.join("test_index", filename)) |
paul@20 | 21 | os.rmdir("test_index") |
paul@18 | 22 | except OSError: |
paul@18 | 23 | pass |
paul@0 | 24 | |
paul@9 | 25 | # Test basic data types. |
paul@9 | 26 | |
paul@5 | 27 | numbers = [12345678, 0, 1, 127, 128, 255, 256] |
paul@0 | 28 | |
paul@0 | 29 | f = open("test", "wb") |
paul@44 | 30 | w = FileWriter(f) |
paul@0 | 31 | for number in numbers: |
paul@0 | 32 | w.write_number(number) |
paul@0 | 33 | w.close() |
paul@0 | 34 | |
paul@3 | 35 | f = open("test", "rb") |
paul@44 | 36 | r = FileReader(f) |
paul@0 | 37 | for number in numbers: |
paul@0 | 38 | n = r.read_number() |
paul@0 | 39 | print number == n, number, n |
paul@0 | 40 | r.close() |
paul@0 | 41 | |
paul@9 | 42 | # Test positions. |
paul@9 | 43 | |
paul@0 | 44 | all_doc_positions = [ |
paul@0 | 45 | [ |
paul@0 | 46 | (123, [1, 3, 5, 15, 25]), |
paul@19 | 47 | (124, [0, 100]), |
paul@19 | 48 | (125, [11, 99, 199]), |
paul@19 | 49 | (130, [77, 78, 80, 82, 89]) |
paul@0 | 50 | ], |
paul@0 | 51 | [ |
paul@0 | 52 | (78, [9]), |
paul@19 | 53 | (196, [10, 11]), |
paul@19 | 54 | (197, [17, 21, 30]) |
paul@0 | 55 | ] |
paul@0 | 56 | ] |
paul@0 | 57 | |
paul@19 | 58 | f = open("testP", "wb") |
paul@44 | 59 | w = PositionWriter(f) |
paul@0 | 60 | for doc_positions in all_doc_positions: |
paul@0 | 61 | for docnum, positions in doc_positions: |
paul@0 | 62 | w.write_positions(docnum, positions) |
paul@0 | 63 | w.reset() |
paul@0 | 64 | w.close() |
paul@0 | 65 | |
paul@19 | 66 | f = open("testP", "rb") |
paul@44 | 67 | r = PositionIterator(f, 0, None) |
paul@0 | 68 | for doc_positions in all_doc_positions: |
paul@0 | 69 | for docnum, positions in doc_positions: |
paul@0 | 70 | d, p = r.read_positions() |
paul@0 | 71 | print docnum == d, docnum, d |
paul@0 | 72 | print positions == p, positions, p |
paul@0 | 73 | r.reset() |
paul@0 | 74 | r.close() |
paul@0 | 75 | |
paul@19 | 76 | # Test position index files. |
paul@19 | 77 | |
paul@19 | 78 | indexed_positions = [ |
paul@19 | 79 | [ |
paul@19 | 80 | (1234, 0, 100), |
paul@19 | 81 | (2345, 700, 100), |
paul@19 | 82 | (3456, 1900, 50) |
paul@19 | 83 | ], |
paul@19 | 84 | [ |
paul@19 | 85 | (4567, 2800, 20) |
paul@19 | 86 | ] |
paul@19 | 87 | ] |
paul@19 | 88 | |
paul@19 | 89 | offsets = [] |
paul@19 | 90 | f = open("testPI", "wb") |
paul@44 | 91 | w = PositionIndexWriter(f) |
paul@19 | 92 | for term_positions in indexed_positions: |
paul@19 | 93 | offset = None |
paul@19 | 94 | doc_frequency = 0 |
paul@19 | 95 | w.reset() |
paul@19 | 96 | for docnum, pos_offset, count in term_positions: |
paul@19 | 97 | io = w.write_positions(docnum, pos_offset, count) |
paul@19 | 98 | if offset is None: |
paul@19 | 99 | offset = io |
paul@19 | 100 | doc_frequency += count |
paul@19 | 101 | offsets.append((offset, doc_frequency)) |
paul@19 | 102 | w.close() |
paul@19 | 103 | |
paul@44 | 104 | r = PositionIndexOpener("testPI") |
paul@19 | 105 | offsets.reverse() |
paul@19 | 106 | indexed_positions.reverse() |
paul@19 | 107 | for (offset, doc_frequency), term_positions in zip(offsets, indexed_positions): |
paul@19 | 108 | found_positions = r.read_term_positions(offset, doc_frequency) |
paul@19 | 109 | for (docnum, pos_offset, count), (dn, po, c) in zip(term_positions, found_positions): |
paul@19 | 110 | print docnum == dn, docnum, dn |
paul@19 | 111 | print pos_offset == po, pos_offset, po |
paul@19 | 112 | print count == c, count, c |
paul@19 | 113 | r.close() |
paul@19 | 114 | |
paul@19 | 115 | # Test position dictionaries. |
paul@19 | 116 | |
paul@19 | 117 | f = open("testP", "wb") |
paul@44 | 118 | w = PositionWriter(f) |
paul@19 | 119 | f2 = open("testPI", "wb") |
paul@44 | 120 | w2 = PositionIndexWriter(f2) |
paul@44 | 121 | wd = PositionDictionaryWriter(w, w2, 2) |
paul@0 | 122 | offsets = [] |
paul@0 | 123 | for doc_positions in all_doc_positions: |
paul@19 | 124 | offset, frequency, doc_frequency = wd.write_term_positions(doc_positions) |
paul@19 | 125 | offsets.append((offset, doc_frequency)) |
paul@20 | 126 | wd.close() |
paul@0 | 127 | |
paul@44 | 128 | r = PositionOpener("testP") |
paul@44 | 129 | r2 = PositionIndexOpener("testPI") |
paul@44 | 130 | rd = PositionDictionaryReader(r, r2) |
paul@0 | 131 | offsets.reverse() |
paul@0 | 132 | all_doc_positions.reverse() |
paul@19 | 133 | for (offset, doc_frequency), doc_positions in zip(offsets, all_doc_positions): |
paul@19 | 134 | dp = list(rd.read_term_positions(offset, doc_frequency)) |
paul@0 | 135 | print doc_positions == dp, doc_positions, dp |
paul@20 | 136 | rd.close() |
paul@0 | 137 | |
paul@9 | 138 | # Test fields. |
paul@9 | 139 | |
paul@8 | 140 | doc_fields = [ |
paul@9 | 141 | (123, ["testing", "fields", "stored", "compressed"]), |
paul@9 | 142 | (456, ["fields", "for a second", "document"]), |
paul@9 | 143 | (789, ["field value"]), |
paul@9 | 144 | (1234, []), |
paul@9 | 145 | (2345, ["abc", "def"]), |
paul@9 | 146 | (3456, ["apple", "banana", "cherry"]), |
paul@9 | 147 | (4567, ["drue", "eple"]) |
paul@8 | 148 | ] |
paul@8 | 149 | |
paul@8 | 150 | f = open("testF", "wb") |
paul@44 | 151 | w = FieldWriter(f) |
paul@9 | 152 | for docnum, fields in doc_fields: |
paul@13 | 153 | w.write_fields(docnum, list(enumerate(fields))) |
paul@8 | 154 | w.close() |
paul@8 | 155 | |
paul@8 | 156 | f = open("testF", "rb") |
paul@44 | 157 | r = FieldReader(f) |
paul@9 | 158 | for docnum, fields in doc_fields: |
paul@9 | 159 | dn, df = r.read_fields() |
paul@9 | 160 | print docnum == dn, docnum, dn |
paul@13 | 161 | print list(enumerate(fields)) == df, list(enumerate(fields)), df |
paul@8 | 162 | r.close() |
paul@8 | 163 | |
paul@9 | 164 | # Test field index files. |
paul@9 | 165 | |
paul@9 | 166 | indexed_docs = [ |
paul@9 | 167 | (123, 100000987), |
paul@9 | 168 | (456, 100004321), |
paul@9 | 169 | (789, 100008765) |
paul@9 | 170 | ] |
paul@9 | 171 | |
paul@9 | 172 | f = open("testFI", "wb") |
paul@44 | 173 | w = FieldIndexWriter(f) |
paul@9 | 174 | for docnum, offset in indexed_docs: |
paul@9 | 175 | w.write_document(docnum, offset) |
paul@9 | 176 | w.close() |
paul@9 | 177 | |
paul@9 | 178 | f = open("testFI", "rb") |
paul@44 | 179 | r = FieldIndexReader(f) |
paul@9 | 180 | for docnum, offset in indexed_docs: |
paul@9 | 181 | dn, o = r.read_document() |
paul@9 | 182 | print docnum == dn, docnum, dn |
paul@9 | 183 | print offset == o, offset, o |
paul@9 | 184 | r.close() |
paul@9 | 185 | |
paul@9 | 186 | # Test field dictionaries. |
paul@9 | 187 | |
paul@9 | 188 | f = open("testF", "wb") |
paul@44 | 189 | w = FieldWriter(f) |
paul@9 | 190 | f2 = open("testFI", "wb") |
paul@44 | 191 | w2 = FieldIndexWriter(f2) |
paul@44 | 192 | wd = FieldDictionaryWriter(w, w2, 3) |
paul@9 | 193 | for docnum, fields in doc_fields: |
paul@13 | 194 | wd.write_fields(docnum, list(enumerate(fields))) |
paul@9 | 195 | wd.close() |
paul@9 | 196 | |
paul@9 | 197 | f = open("testF", "rb") |
paul@44 | 198 | r = FieldReader(f) |
paul@9 | 199 | f2 = open("testFI", "rb") |
paul@44 | 200 | r2 = FieldIndexReader(f2) |
paul@44 | 201 | rd = FieldDictionaryReader(r, r2) |
paul@9 | 202 | doc_fields_reversed = doc_fields[:] |
paul@9 | 203 | doc_fields_reversed.reverse() |
paul@9 | 204 | for docnum, fields in doc_fields_reversed: |
paul@25 | 205 | df = dict(rd.get_fields(docnum)) |
paul@25 | 206 | print dict(enumerate(fields)) == df, dict(enumerate(fields)), df |
paul@9 | 207 | for docnum in (13579, 246810): |
paul@13 | 208 | df = rd.get_fields(docnum) |
paul@9 | 209 | print df is None, df |
paul@13 | 210 | |
paul@13 | 211 | # (Test sequential access.) |
paul@13 | 212 | |
paul@13 | 213 | rd.rewind() |
paul@13 | 214 | for docnum, fields in doc_fields: |
paul@13 | 215 | dn, df = rd.read_fields() |
paul@13 | 216 | print docnum == dn, docnum, dn |
paul@13 | 217 | print list(enumerate(fields)) == df, list(enumerate(fields)), df |
paul@9 | 218 | rd.close() |
paul@9 | 219 | |
paul@9 | 220 | # Test terms. |
paul@9 | 221 | |
paul@2 | 222 | terms = [ |
paul@19 | 223 | # term offset frequency doc_frequency |
paul@19 | 224 | ("aardvark", 100000123, 1, 1), |
paul@19 | 225 | ("anteater", 100000456, 2, 1), |
paul@19 | 226 | ("badger", 100000789, 13, 7), |
paul@19 | 227 | ("bull", 1000001234, 59, 17), |
paul@19 | 228 | ("bulldog", 1000002345, 99, 80), |
paul@19 | 229 | ("cat", 1000003456, 89, 28) |
paul@2 | 230 | ] |
paul@2 | 231 | |
paul@2 | 232 | f = open("test", "wb") |
paul@44 | 233 | w = TermWriter(f) |
paul@19 | 234 | for term, offset, frequency, doc_frequency in terms: |
paul@19 | 235 | w.write_term(term, offset, frequency, doc_frequency) |
paul@2 | 236 | w.close() |
paul@2 | 237 | |
paul@3 | 238 | f = open("test", "rb") |
paul@44 | 239 | r = TermReader(f) |
paul@19 | 240 | for term, offset, frequency, doc_frequency in terms: |
paul@19 | 241 | t, o, fr, df = r.read_term() |
paul@2 | 242 | print term == t, term, t |
paul@2 | 243 | print offset == o, offset, o |
paul@11 | 244 | print frequency == fr, frequency, fr |
paul@19 | 245 | print doc_frequency == df, doc_frequency, df |
paul@2 | 246 | r.close() |
paul@2 | 247 | |
paul@9 | 248 | # Test terms in index files. |
paul@9 | 249 | |
paul@3 | 250 | indexed_terms = [ |
paul@19 | 251 | # term offset frequency doc_frequency info_offset |
paul@19 | 252 | ("aardvark", 100000123, 1, 1, 200000321), |
paul@19 | 253 | ("anteater", 100000456, 2, 1, 200000654), |
paul@19 | 254 | ("badger", 100000789, 13, 7, 200000987), |
paul@19 | 255 | ("bull", 1000001234, 59, 17, 200004321), |
paul@19 | 256 | ("bulldog", 1000002345, 99, 80, 200005432), |
paul@19 | 257 | ("cat", 1000003456, 89, 28, 200006543) |
paul@3 | 258 | ] |
paul@3 | 259 | |
paul@3 | 260 | f = open("test", "wb") |
paul@44 | 261 | w = TermIndexWriter(f) |
paul@19 | 262 | for term, offset, frequency, doc_frequency, info_offset in indexed_terms: |
paul@19 | 263 | w.write_term(term, offset, frequency, doc_frequency, info_offset) |
paul@3 | 264 | w.close() |
paul@3 | 265 | |
paul@3 | 266 | f = open("test", "rb") |
paul@44 | 267 | r = TermIndexReader(f) |
paul@19 | 268 | for term, offset, frequency, doc_frequency, info_offset in indexed_terms: |
paul@19 | 269 | t, o, fr, df, i = r.read_term() |
paul@3 | 270 | print term == t, term, t |
paul@3 | 271 | print offset == o, offset, o |
paul@11 | 272 | print frequency == fr, frequency, fr |
paul@19 | 273 | print doc_frequency == df, doc_frequency, df |
paul@3 | 274 | print info_offset == i, info_offset, i |
paul@3 | 275 | r.close() |
paul@3 | 276 | |
paul@9 | 277 | # Test dictionaries with only term data. |
paul@9 | 278 | |
paul@3 | 279 | f = open("test", "wb") |
paul@44 | 280 | w = TermWriter(f) |
paul@3 | 281 | f2 = open("testI", "wb") |
paul@44 | 282 | w2 = TermIndexWriter(f2) |
paul@20 | 283 | f3 = open("testP", "wb") |
paul@44 | 284 | w3 = PositionWriter(f3) |
paul@20 | 285 | f4 = open("testPI", "wb") |
paul@44 | 286 | w4 = PositionIndexWriter(f4) |
paul@44 | 287 | wp = PositionDictionaryWriter(w3, w4, 2) |
paul@44 | 288 | wd = TermDictionaryWriter(w, w2, wp, 3) |
paul@19 | 289 | for term, offset, frequency, doc_frequency in terms: |
paul@19 | 290 | wd._write_term(term, offset, frequency, doc_frequency) |
paul@5 | 291 | wd.close() |
paul@3 | 292 | |
paul@3 | 293 | f = open("test", "rb") |
paul@44 | 294 | r = TermReader(f) |
paul@3 | 295 | f2 = open("testI", "rb") |
paul@44 | 296 | r2 = TermIndexReader(f2) |
paul@44 | 297 | r3 = PositionOpener("testP") |
paul@44 | 298 | r4 = PositionIndexOpener("testPI") |
paul@44 | 299 | rp = PositionDictionaryReader(r3, r4) |
paul@44 | 300 | rd = TermDictionaryReader(r, r2, rp) |
paul@3 | 301 | terms_reversed = terms[:] |
paul@3 | 302 | terms_reversed.reverse() |
paul@19 | 303 | for term, offset, frequency, doc_frequency in terms_reversed: |
paul@19 | 304 | o, fr, df = rd._find_term(term) |
paul@3 | 305 | print offset == o, offset, o |
paul@11 | 306 | print frequency == fr, frequency, fr |
paul@19 | 307 | print doc_frequency == df, doc_frequency, df |
paul@3 | 308 | for term in ("dog", "dingo"): |
paul@11 | 309 | t = rd._find_term(term) |
paul@11 | 310 | print t is None, t |
paul@25 | 311 | |
paul@25 | 312 | # (Test term prefix searching.) |
paul@25 | 313 | |
paul@25 | 314 | print rd.find_terms("a") == ["aardvark", "anteater"], rd.find_terms("a"), ["aardvark", "anteater"] |
paul@25 | 315 | print rd.find_terms("bu") == ["bull", "bulldog"], rd.find_terms("bu"), ["bull", "bulldog"] |
paul@25 | 316 | print rd.find_terms("c") == ["cat"], rd.find_terms("c"), ["cat"] |
paul@25 | 317 | print rd.find_terms("d") == [], rd.find_terms("d"), [] |
paul@5 | 318 | rd.close() |
paul@5 | 319 | |
paul@9 | 320 | # Test dictionaries with term and position data. |
paul@9 | 321 | |
paul@5 | 322 | terms_with_positions = [ |
paul@5 | 323 | ("aardvark", [(1, [2, 45, 96]), (20, [13])]), |
paul@5 | 324 | ("anteater", [(1, [43, 44])]), |
paul@5 | 325 | ("badger", [(7, [2, 22, 196]), (19, [55, 1333]), (21, [0])]), |
paul@19 | 326 | ("bull", [(6, [128]), (16, [12]), (26, [1, 3, 5, 7, 9]), (36, [2, 4, 6, 8, 10])]), |
paul@5 | 327 | ("bulldog", [(43, [17, 19, 256, 512])]), |
paul@5 | 328 | ("cat", [(123, [12, 145, 196]), (1200, [113])]) |
paul@5 | 329 | ] |
paul@5 | 330 | |
paul@22 | 331 | position_dict_tests = [ |
paul@22 | 332 | ("badger", 19, [55, 1333]), |
paul@22 | 333 | ("badger", 20, None), |
paul@22 | 334 | ("bull", 6, [128]), |
paul@22 | 335 | ("bull", 26, [1, 3, 5, 7, 9]), |
paul@22 | 336 | ("cat", 111, None), |
paul@22 | 337 | ("cat", 123, [12, 145, 196]), |
paul@22 | 338 | ("cat", 1234, None) |
paul@22 | 339 | ] |
paul@22 | 340 | |
paul@5 | 341 | f = open("test", "wb") |
paul@44 | 342 | w = TermWriter(f) |
paul@5 | 343 | f2 = open("testI", "wb") |
paul@44 | 344 | w2 = TermIndexWriter(f2) |
paul@5 | 345 | f3 = open("testP", "wb") |
paul@44 | 346 | w3 = PositionWriter(f3) |
paul@19 | 347 | f4 = open("testPI", "wb") |
paul@44 | 348 | w4 = PositionIndexWriter(f4) |
paul@44 | 349 | wp = PositionDictionaryWriter(w3, w4, 2) |
paul@44 | 350 | wd = TermDictionaryWriter(w, w2, wp, 3) |
paul@5 | 351 | for term, doc_positions in terms_with_positions: |
paul@5 | 352 | wd.write_term_positions(term, doc_positions) |
paul@5 | 353 | wd.close() |
paul@5 | 354 | |
paul@5 | 355 | f = open("test", "rb") |
paul@44 | 356 | r = TermReader(f) |
paul@5 | 357 | f2 = open("testI", "rb") |
paul@44 | 358 | r2 = TermIndexReader(f2) |
paul@44 | 359 | r3 = PositionOpener("testP") |
paul@44 | 360 | r4 = PositionIndexOpener("testPI") |
paul@44 | 361 | rp = PositionDictionaryReader(r3, r4) |
paul@44 | 362 | rd = TermDictionaryReader(r, r2, rp) |
paul@5 | 363 | terms_reversed = terms_with_positions[:] |
paul@5 | 364 | terms_reversed.reverse() |
paul@5 | 365 | for term, doc_positions in terms_reversed: |
paul@18 | 366 | dp = list(rd.find_positions(term)) |
paul@5 | 367 | print doc_positions == dp, doc_positions, dp |
paul@25 | 368 | for term in ("aaa", "dog", "dingo"): |
paul@5 | 369 | dp = rd.find_positions(term) |
paul@5 | 370 | print dp is None, dp |
paul@12 | 371 | |
paul@22 | 372 | # (Test iterators.) |
paul@22 | 373 | |
paul@22 | 374 | for term, docnum, positions in position_dict_tests: |
paul@22 | 375 | dp = rd.find_positions(term) |
paul@22 | 376 | pos = dp.from_document(docnum) |
paul@22 | 377 | print positions is None and pos is None or pos is not None and positions == list(pos), positions, pos |
paul@22 | 378 | |
paul@12 | 379 | # (Test sequential access.) |
paul@12 | 380 | |
paul@12 | 381 | rd.rewind() |
paul@12 | 382 | for term, doc_positions in terms_with_positions: |
paul@19 | 383 | t, fr, df, dp = rd.read_term() |
paul@18 | 384 | dp = list(dp) |
paul@12 | 385 | print term == t, term, t |
paul@12 | 386 | print doc_positions == dp, doc_positions, dp |
paul@5 | 387 | rd.close() |
paul@3 | 388 | |
paul@14 | 389 | # Test high-level index operations (including merging). |
paul@9 | 390 | |
paul@6 | 391 | docs = [ |
paul@6 | 392 | (1, "The cat sat on the mat"), |
paul@6 | 393 | (2, "Every good boy deserves football"), |
paul@6 | 394 | (13, "One good turn deserves another"), |
paul@6 | 395 | (14, "Every man for himself"), |
paul@6 | 396 | (25, "Red sky at night shepherd's delight"), |
paul@6 | 397 | (36, "She sells sea shells on the sea shore") |
paul@6 | 398 | ] |
paul@6 | 399 | |
paul@6 | 400 | doc_tests = [ |
paul@11 | 401 | ("Every", 2, [(2, [0]), (14, [0])]), |
paul@11 | 402 | ("good", 2, [(2, [1]), (13, [1])]), |
paul@11 | 403 | ("deserves", 2, [(2, [3]), (13, [3])]), |
paul@11 | 404 | ("sea", 2, [(36, [2, 6])]) |
paul@6 | 405 | ] |
paul@6 | 406 | |
paul@21 | 407 | position_tests = [ |
paul@21 | 408 | ("Every", 14, [0]), |
paul@21 | 409 | ("sea", 36, [2, 6]), |
paul@22 | 410 | ("shells", 1, None), |
paul@22 | 411 | ("shells", 37, None) |
paul@21 | 412 | ] |
paul@21 | 413 | |
paul@44 | 414 | index = Index("test_index") |
paul@20 | 415 | wi = index.get_writer(3, 2, 6) |
paul@6 | 416 | for docnum, text in docs: |
paul@44 | 417 | doc = Document(docnum) |
paul@6 | 418 | for position, term in enumerate(text.split()): |
paul@28 | 419 | doc.add_position(term, position) |
paul@28 | 420 | doc.add_field(123, text) |
paul@28 | 421 | wi.add_document(doc) |
paul@6 | 422 | wi.close() |
paul@6 | 423 | |
paul@7 | 424 | rd = index.get_reader() |
paul@11 | 425 | for term, frequency, doc_positions in doc_tests: |
paul@18 | 426 | dp = list(rd.find_positions(term)) |
paul@6 | 427 | print doc_positions == dp, doc_positions, dp |
paul@11 | 428 | fr = rd.get_frequency(term) |
paul@11 | 429 | print frequency == fr, frequency, fr |
paul@10 | 430 | for docnum, text in docs: |
paul@25 | 431 | df = dict(rd.get_fields(docnum)) |
paul@25 | 432 | print df[123] == text, text, df[123] |
paul@21 | 433 | for term, docnum, positions in position_tests: |
paul@21 | 434 | dp = rd.find_positions(term) |
paul@22 | 435 | pos = dp.from_document(docnum) |
paul@22 | 436 | print positions is None and pos is None or pos is not None and positions == list(pos), positions, pos |
paul@7 | 437 | index.close() |
paul@6 | 438 | |
paul@0 | 439 | # vim: tabstop=4 expandtab shiftwidth=4 |