| 1 | /* kwset.c - search for any of a set of keywords.
|
|---|
| 2 | Copyright 1989, 1998, 2000 Free Software Foundation, Inc.
|
|---|
| 3 |
|
|---|
| 4 | This program is free software; you can redistribute it and/or modify
|
|---|
| 5 | it under the terms of the GNU General Public License as published by
|
|---|
| 6 | the Free Software Foundation; either version 2, or (at your option)
|
|---|
| 7 | any later version.
|
|---|
| 8 |
|
|---|
| 9 | This program is distributed in the hope that it will be useful,
|
|---|
| 10 | but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|---|
| 11 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|---|
| 12 | GNU General Public License for more details.
|
|---|
| 13 |
|
|---|
| 14 | You should have received a copy of the GNU General Public License
|
|---|
| 15 | along with this program; if not, write to the Free Software
|
|---|
| 16 | Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
|
|---|
| 17 | 02111-1307, USA. */
|
|---|
| 18 |
|
|---|
| 19 | /* Written August 1989 by Mike Haertel.
|
|---|
| 20 | The author may be reached (Email) at the address mike@ai.mit.edu,
|
|---|
| 21 | or (US mail) as Mike Haertel c/o Free Software Foundation. */
|
|---|
| 22 |
|
|---|
| 23 | /* The algorithm implemented by these routines bears a startling resemblence
|
|---|
| 24 | to one discovered by Beate Commentz-Walter, although it is not identical.
|
|---|
| 25 | See "A String Matching Algorithm Fast on the Average," Technical Report,
|
|---|
| 26 | IBM-Germany, Scientific Center Heidelberg, Tiergartenstrasse 15, D-6900
|
|---|
| 27 | Heidelberg, Germany. See also Aho, A.V., and M. Corasick, "Efficient
|
|---|
| 28 | String Matching: An Aid to Bibliographic Search," CACM June 1975,
|
|---|
| 29 | Vol. 18, No. 6, which describes the failure function used below. */
|
|---|
| 30 |
|
|---|
| 31 | #ifdef HAVE_CONFIG_H
|
|---|
| 32 | # include <config.h>
|
|---|
| 33 | #endif
|
|---|
| 34 | #include <sys/types.h>
|
|---|
| 35 | #include "system.h"
|
|---|
| 36 | #include "kwset.h"
|
|---|
| 37 | #include "obstack.h"
|
|---|
| 38 |
|
|---|
| 39 | #ifdef GREP
|
|---|
| 40 | extern char *xmalloc();
|
|---|
| 41 | # undef malloc
|
|---|
| 42 | # define malloc xmalloc
|
|---|
| 43 | #endif
|
|---|
| 44 |
|
|---|
| 45 | #define NCHAR (UCHAR_MAX + 1)
|
|---|
| 46 | #define obstack_chunk_alloc malloc
|
|---|
| 47 | #define obstack_chunk_free free
|
|---|
| 48 |
|
|---|
| 49 | /* Balanced tree of edges and labels leaving a given trie node. */
|
|---|
| 50 | struct tree
|
|---|
| 51 | {
|
|---|
| 52 | struct tree *llink; /* Left link; MUST be first field. */
|
|---|
| 53 | struct tree *rlink; /* Right link (to larger labels). */
|
|---|
| 54 | struct trie *trie; /* Trie node pointed to by this edge. */
|
|---|
| 55 | unsigned char label; /* Label on this edge. */
|
|---|
| 56 | char balance; /* Difference in depths of subtrees. */
|
|---|
| 57 | };
|
|---|
| 58 |
|
|---|
| 59 | /* Node of a trie representing a set of reversed keywords. */
|
|---|
| 60 | struct trie
|
|---|
| 61 | {
|
|---|
| 62 | unsigned int accepting; /* Word index of accepted word, or zero. */
|
|---|
| 63 | struct tree *links; /* Tree of edges leaving this node. */
|
|---|
| 64 | struct trie *parent; /* Parent of this node. */
|
|---|
| 65 | struct trie *next; /* List of all trie nodes in level order. */
|
|---|
| 66 | struct trie *fail; /* Aho-Corasick failure function. */
|
|---|
| 67 | int depth; /* Depth of this node from the root. */
|
|---|
| 68 | int shift; /* Shift function for search failures. */
|
|---|
| 69 | int maxshift; /* Max shift of self and descendents. */
|
|---|
| 70 | };
|
|---|
| 71 |
|
|---|
| 72 | /* Structure returned opaquely to the caller, containing everything. */
|
|---|
| 73 | struct kwset
|
|---|
| 74 | {
|
|---|
| 75 | struct obstack obstack; /* Obstack for node allocation. */
|
|---|
| 76 | int words; /* Number of words in the trie. */
|
|---|
| 77 | struct trie *trie; /* The trie itself. */
|
|---|
| 78 | int mind; /* Minimum depth of an accepting node. */
|
|---|
| 79 | int maxd; /* Maximum depth of any node. */
|
|---|
| 80 | unsigned char delta[NCHAR]; /* Delta table for rapid search. */
|
|---|
| 81 | struct trie *next[NCHAR]; /* Table of children of the root. */
|
|---|
| 82 | char *target; /* Target string if there's only one. */
|
|---|
| 83 | int mind2; /* Used in Boyer-Moore search for one string. */
|
|---|
| 84 | char const *trans; /* Character translation table. */
|
|---|
| 85 | };
|
|---|
| 86 |
|
|---|
| 87 | /* Allocate and initialize a keyword set object, returning an opaque
|
|---|
| 88 | pointer to it. Return NULL if memory is not available. */
|
|---|
| 89 | kwset_t
|
|---|
| 90 | kwsalloc (char const *trans)
|
|---|
| 91 | {
|
|---|
| 92 | struct kwset *kwset;
|
|---|
| 93 |
|
|---|
| 94 | kwset = (struct kwset *) malloc(sizeof (struct kwset));
|
|---|
| 95 | if (!kwset)
|
|---|
| 96 | return 0;
|
|---|
| 97 |
|
|---|
| 98 | obstack_init(&kwset->obstack);
|
|---|
| 99 | kwset->words = 0;
|
|---|
| 100 | kwset->trie
|
|---|
| 101 | = (struct trie *) obstack_alloc(&kwset->obstack, sizeof (struct trie));
|
|---|
| 102 | if (!kwset->trie)
|
|---|
| 103 | {
|
|---|
| 104 | kwsfree((kwset_t) kwset);
|
|---|
| 105 | return 0;
|
|---|
| 106 | }
|
|---|
| 107 | kwset->trie->accepting = 0;
|
|---|
| 108 | kwset->trie->links = 0;
|
|---|
| 109 | kwset->trie->parent = 0;
|
|---|
| 110 | kwset->trie->next = 0;
|
|---|
| 111 | kwset->trie->fail = 0;
|
|---|
| 112 | kwset->trie->depth = 0;
|
|---|
| 113 | kwset->trie->shift = 0;
|
|---|
| 114 | kwset->mind = INT_MAX;
|
|---|
| 115 | kwset->maxd = -1;
|
|---|
| 116 | kwset->target = 0;
|
|---|
| 117 | kwset->trans = trans;
|
|---|
| 118 |
|
|---|
| 119 | return (kwset_t) kwset;
|
|---|
| 120 | }
|
|---|
| 121 |
|
|---|
| 122 | /* Add the given string to the contents of the keyword set. Return NULL
|
|---|
| 123 | for success, an error message otherwise. */
|
|---|
| 124 | char *
|
|---|
| 125 | kwsincr (kwset_t kws, char const *text, size_t len)
|
|---|
| 126 | {
|
|---|
| 127 | struct kwset *kwset;
|
|---|
| 128 | register struct trie *trie;
|
|---|
| 129 | register unsigned char label;
|
|---|
| 130 | register struct tree *link;
|
|---|
| 131 | register int depth;
|
|---|
| 132 | struct tree *links[12];
|
|---|
| 133 | enum { L, R } dirs[12];
|
|---|
| 134 | struct tree *t, *r, *l, *rl, *lr;
|
|---|
| 135 |
|
|---|
| 136 | kwset = (struct kwset *) kws;
|
|---|
| 137 | trie = kwset->trie;
|
|---|
| 138 | text += len;
|
|---|
| 139 |
|
|---|
| 140 | /* Descend the trie (built of reversed keywords) character-by-character,
|
|---|
| 141 | installing new nodes when necessary. */
|
|---|
| 142 | while (len--)
|
|---|
| 143 | {
|
|---|
| 144 | label = kwset->trans ? kwset->trans[(unsigned char) *--text] : *--text;
|
|---|
| 145 |
|
|---|
| 146 | /* Descend the tree of outgoing links for this trie node,
|
|---|
| 147 | looking for the current character and keeping track
|
|---|
| 148 | of the path followed. */
|
|---|
| 149 | link = trie->links;
|
|---|
| 150 | links[0] = (struct tree *) &trie->links;
|
|---|
| 151 | dirs[0] = L;
|
|---|
| 152 | depth = 1;
|
|---|
| 153 |
|
|---|
| 154 | while (link && label != link->label)
|
|---|
| 155 | {
|
|---|
| 156 | links[depth] = link;
|
|---|
| 157 | if (label < link->label)
|
|---|
| 158 | dirs[depth++] = L, link = link->llink;
|
|---|
| 159 | else
|
|---|
| 160 | dirs[depth++] = R, link = link->rlink;
|
|---|
| 161 | }
|
|---|
| 162 |
|
|---|
| 163 | /* The current character doesn't have an outgoing link at
|
|---|
| 164 | this trie node, so build a new trie node and install
|
|---|
| 165 | a link in the current trie node's tree. */
|
|---|
| 166 | if (!link)
|
|---|
| 167 | {
|
|---|
| 168 | link = (struct tree *) obstack_alloc(&kwset->obstack,
|
|---|
| 169 | sizeof (struct tree));
|
|---|
| 170 | if (!link)
|
|---|
| 171 | return _("memory exhausted");
|
|---|
| 172 | link->llink = 0;
|
|---|
| 173 | link->rlink = 0;
|
|---|
| 174 | link->trie = (struct trie *) obstack_alloc(&kwset->obstack,
|
|---|
| 175 | sizeof (struct trie));
|
|---|
| 176 | if (!link->trie)
|
|---|
| 177 | return _("memory exhausted");
|
|---|
| 178 | link->trie->accepting = 0;
|
|---|
| 179 | link->trie->links = 0;
|
|---|
| 180 | link->trie->parent = trie;
|
|---|
| 181 | link->trie->next = 0;
|
|---|
| 182 | link->trie->fail = 0;
|
|---|
| 183 | link->trie->depth = trie->depth + 1;
|
|---|
| 184 | link->trie->shift = 0;
|
|---|
| 185 | link->label = label;
|
|---|
| 186 | link->balance = 0;
|
|---|
| 187 |
|
|---|
| 188 | /* Install the new tree node in its parent. */
|
|---|
| 189 | if (dirs[--depth] == L)
|
|---|
| 190 | links[depth]->llink = link;
|
|---|
| 191 | else
|
|---|
| 192 | links[depth]->rlink = link;
|
|---|
| 193 |
|
|---|
| 194 | /* Back up the tree fixing the balance flags. */
|
|---|
| 195 | while (depth && !links[depth]->balance)
|
|---|
| 196 | {
|
|---|
| 197 | if (dirs[depth] == L)
|
|---|
| 198 | --links[depth]->balance;
|
|---|
| 199 | else
|
|---|
| 200 | ++links[depth]->balance;
|
|---|
| 201 | --depth;
|
|---|
| 202 | }
|
|---|
| 203 |
|
|---|
| 204 | /* Rebalance the tree by pointer rotations if necessary. */
|
|---|
| 205 | if (depth && ((dirs[depth] == L && --links[depth]->balance)
|
|---|
| 206 | || (dirs[depth] == R && ++links[depth]->balance)))
|
|---|
| 207 | {
|
|---|
| 208 | switch (links[depth]->balance)
|
|---|
| 209 | {
|
|---|
| 210 | case (char) -2:
|
|---|
| 211 | switch (dirs[depth + 1])
|
|---|
| 212 | {
|
|---|
| 213 | case L:
|
|---|
| 214 | r = links[depth], t = r->llink, rl = t->rlink;
|
|---|
| 215 | t->rlink = r, r->llink = rl;
|
|---|
| 216 | t->balance = r->balance = 0;
|
|---|
| 217 | break;
|
|---|
| 218 | case R:
|
|---|
| 219 | r = links[depth], l = r->llink, t = l->rlink;
|
|---|
| 220 | rl = t->rlink, lr = t->llink;
|
|---|
| 221 | t->llink = l, l->rlink = lr, t->rlink = r, r->llink = rl;
|
|---|
| 222 | l->balance = t->balance != 1 ? 0 : -1;
|
|---|
| 223 | r->balance = t->balance != (char) -1 ? 0 : 1;
|
|---|
| 224 | t->balance = 0;
|
|---|
| 225 | break;
|
|---|
| 226 | default:
|
|---|
| 227 | abort ();
|
|---|
| 228 | }
|
|---|
| 229 | break;
|
|---|
| 230 | case 2:
|
|---|
| 231 | switch (dirs[depth + 1])
|
|---|
| 232 | {
|
|---|
| 233 | case R:
|
|---|
| 234 | l = links[depth], t = l->rlink, lr = t->llink;
|
|---|
| 235 | t->llink = l, l->rlink = lr;
|
|---|
| 236 | t->balance = l->balance = 0;
|
|---|
| 237 | break;
|
|---|
| 238 | case L:
|
|---|
| 239 | l = links[depth], r = l->rlink, t = r->llink;
|
|---|
| 240 | lr = t->llink, rl = t->rlink;
|
|---|
| 241 | t->llink = l, l->rlink = lr, t->rlink = r, r->llink = rl;
|
|---|
| 242 | l->balance = t->balance != 1 ? 0 : -1;
|
|---|
| 243 | r->balance = t->balance != (char) -1 ? 0 : 1;
|
|---|
| 244 | t->balance = 0;
|
|---|
| 245 | break;
|
|---|
| 246 | default:
|
|---|
| 247 | abort ();
|
|---|
| 248 | }
|
|---|
| 249 | break;
|
|---|
| 250 | default:
|
|---|
| 251 | abort ();
|
|---|
| 252 | }
|
|---|
| 253 |
|
|---|
| 254 | if (dirs[depth - 1] == L)
|
|---|
| 255 | links[depth - 1]->llink = t;
|
|---|
| 256 | else
|
|---|
| 257 | links[depth - 1]->rlink = t;
|
|---|
| 258 | }
|
|---|
| 259 | }
|
|---|
| 260 |
|
|---|
| 261 | trie = link->trie;
|
|---|
| 262 | }
|
|---|
| 263 |
|
|---|
| 264 | /* Mark the node we finally reached as accepting, encoding the
|
|---|
| 265 | index number of this word in the keyword set so far. */
|
|---|
| 266 | if (!trie->accepting)
|
|---|
| 267 | trie->accepting = 1 + 2 * kwset->words;
|
|---|
| 268 | ++kwset->words;
|
|---|
| 269 |
|
|---|
| 270 | /* Keep track of the longest and shortest string of the keyword set. */
|
|---|
| 271 | if (trie->depth < kwset->mind)
|
|---|
| 272 | kwset->mind = trie->depth;
|
|---|
| 273 | if (trie->depth > kwset->maxd)
|
|---|
| 274 | kwset->maxd = trie->depth;
|
|---|
| 275 |
|
|---|
| 276 | return 0;
|
|---|
| 277 | }
|
|---|
| 278 |
|
|---|
| 279 | /* Enqueue the trie nodes referenced from the given tree in the
|
|---|
| 280 | given queue. */
|
|---|
| 281 | static void
|
|---|
| 282 | enqueue (struct tree *tree, struct trie **last)
|
|---|
| 283 | {
|
|---|
| 284 | if (!tree)
|
|---|
| 285 | return;
|
|---|
| 286 | enqueue(tree->llink, last);
|
|---|
| 287 | enqueue(tree->rlink, last);
|
|---|
| 288 | (*last) = (*last)->next = tree->trie;
|
|---|
| 289 | }
|
|---|
| 290 |
|
|---|
| 291 | /* Compute the Aho-Corasick failure function for the trie nodes referenced
|
|---|
| 292 | from the given tree, given the failure function for their parent as
|
|---|
| 293 | well as a last resort failure node. */
|
|---|
| 294 | static void
|
|---|
| 295 | treefails (register struct tree const *tree, struct trie const *fail,
|
|---|
| 296 | struct trie *recourse)
|
|---|
| 297 | {
|
|---|
| 298 | register struct tree *link;
|
|---|
| 299 |
|
|---|
| 300 | if (!tree)
|
|---|
| 301 | return;
|
|---|
| 302 |
|
|---|
| 303 | treefails(tree->llink, fail, recourse);
|
|---|
| 304 | treefails(tree->rlink, fail, recourse);
|
|---|
| 305 |
|
|---|
| 306 | /* Find, in the chain of fails going back to the root, the first
|
|---|
| 307 | node that has a descendent on the current label. */
|
|---|
| 308 | while (fail)
|
|---|
| 309 | {
|
|---|
| 310 | link = fail->links;
|
|---|
| 311 | while (link && tree->label != link->label)
|
|---|
| 312 | if (tree->label < link->label)
|
|---|
| 313 | link = link->llink;
|
|---|
| 314 | else
|
|---|
| 315 | link = link->rlink;
|
|---|
| 316 | if (link)
|
|---|
| 317 | {
|
|---|
| 318 | tree->trie->fail = link->trie;
|
|---|
| 319 | return;
|
|---|
| 320 | }
|
|---|
| 321 | fail = fail->fail;
|
|---|
| 322 | }
|
|---|
| 323 |
|
|---|
| 324 | tree->trie->fail = recourse;
|
|---|
| 325 | }
|
|---|
| 326 |
|
|---|
| 327 | /* Set delta entries for the links of the given tree such that
|
|---|
| 328 | the preexisting delta value is larger than the current depth. */
|
|---|
| 329 | static void
|
|---|
| 330 | treedelta (register struct tree const *tree,
|
|---|
| 331 | register unsigned int depth,
|
|---|
| 332 | unsigned char delta[])
|
|---|
| 333 | {
|
|---|
| 334 | if (!tree)
|
|---|
| 335 | return;
|
|---|
| 336 | treedelta(tree->llink, depth, delta);
|
|---|
| 337 | treedelta(tree->rlink, depth, delta);
|
|---|
| 338 | if (depth < delta[tree->label])
|
|---|
| 339 | delta[tree->label] = depth;
|
|---|
| 340 | }
|
|---|
| 341 |
|
|---|
| 342 | /* Return true if A has every label in B. */
|
|---|
| 343 | static int
|
|---|
| 344 | hasevery (register struct tree const *a, register struct tree const *b)
|
|---|
| 345 | {
|
|---|
| 346 | if (!b)
|
|---|
| 347 | return 1;
|
|---|
| 348 | if (!hasevery(a, b->llink))
|
|---|
| 349 | return 0;
|
|---|
| 350 | if (!hasevery(a, b->rlink))
|
|---|
| 351 | return 0;
|
|---|
| 352 | while (a && b->label != a->label)
|
|---|
| 353 | if (b->label < a->label)
|
|---|
| 354 | a = a->llink;
|
|---|
| 355 | else
|
|---|
| 356 | a = a->rlink;
|
|---|
| 357 | return !!a;
|
|---|
| 358 | }
|
|---|
| 359 |
|
|---|
| 360 | /* Compute a vector, indexed by character code, of the trie nodes
|
|---|
| 361 | referenced from the given tree. */
|
|---|
| 362 | static void
|
|---|
| 363 | treenext (struct tree const *tree, struct trie *next[])
|
|---|
| 364 | {
|
|---|
| 365 | if (!tree)
|
|---|
| 366 | return;
|
|---|
| 367 | treenext(tree->llink, next);
|
|---|
| 368 | treenext(tree->rlink, next);
|
|---|
| 369 | next[tree->label] = tree->trie;
|
|---|
| 370 | }
|
|---|
| 371 |
|
|---|
| 372 | /* Compute the shift for each trie node, as well as the delta
|
|---|
| 373 | table and next cache for the given keyword set. */
|
|---|
| 374 | char *
|
|---|
| 375 | kwsprep (kwset_t kws)
|
|---|
| 376 | {
|
|---|
| 377 | register struct kwset *kwset;
|
|---|
| 378 | register int i;
|
|---|
| 379 | register struct trie *curr, *fail;
|
|---|
| 380 | register char const *trans;
|
|---|
| 381 | unsigned char delta[NCHAR];
|
|---|
| 382 | struct trie *last, *next[NCHAR];
|
|---|
| 383 |
|
|---|
| 384 | kwset = (struct kwset *) kws;
|
|---|
| 385 |
|
|---|
| 386 | /* Initial values for the delta table; will be changed later. The
|
|---|
| 387 | delta entry for a given character is the smallest depth of any
|
|---|
| 388 | node at which an outgoing edge is labeled by that character. */
|
|---|
| 389 | if (kwset->mind < 256)
|
|---|
| 390 | for (i = 0; i < NCHAR; ++i)
|
|---|
| 391 | delta[i] = kwset->mind;
|
|---|
| 392 | else
|
|---|
| 393 | for (i = 0; i < NCHAR; ++i)
|
|---|
| 394 | delta[i] = 255;
|
|---|
| 395 |
|
|---|
| 396 | /* Check if we can use the simple boyer-moore algorithm, instead
|
|---|
| 397 | of the hairy commentz-walter algorithm. */
|
|---|
| 398 | if (kwset->words == 1 && kwset->trans == 0)
|
|---|
| 399 | {
|
|---|
| 400 | /* Looking for just one string. Extract it from the trie. */
|
|---|
| 401 | kwset->target = obstack_alloc(&kwset->obstack, kwset->mind);
|
|---|
| 402 | for (i = kwset->mind - 1, curr = kwset->trie; i >= 0; --i)
|
|---|
| 403 | {
|
|---|
| 404 | kwset->target[i] = curr->links->label;
|
|---|
| 405 | curr = curr->links->trie;
|
|---|
| 406 | }
|
|---|
| 407 | /* Build the Boyer Moore delta. Boy that's easy compared to CW. */
|
|---|
| 408 | for (i = 0; i < kwset->mind; ++i)
|
|---|
| 409 | delta[(unsigned char) kwset->target[i]] = kwset->mind - (i + 1);
|
|---|
| 410 | kwset->mind2 = kwset->mind;
|
|---|
| 411 | /* Find the minimal delta2 shift that we might make after
|
|---|
| 412 | a backwards match has failed. */
|
|---|
| 413 | for (i = 0; i < kwset->mind - 1; ++i)
|
|---|
| 414 | if (kwset->target[i] == kwset->target[kwset->mind - 1])
|
|---|
| 415 | kwset->mind2 = kwset->mind - (i + 1);
|
|---|
| 416 | }
|
|---|
| 417 | else
|
|---|
| 418 | {
|
|---|
| 419 | /* Traverse the nodes of the trie in level order, simultaneously
|
|---|
| 420 | computing the delta table, failure function, and shift function. */
|
|---|
| 421 | for (curr = last = kwset->trie; curr; curr = curr->next)
|
|---|
| 422 | {
|
|---|
| 423 | /* Enqueue the immediate descendents in the level order queue. */
|
|---|
| 424 | enqueue(curr->links, &last);
|
|---|
| 425 |
|
|---|
| 426 | curr->shift = kwset->mind;
|
|---|
| 427 | curr->maxshift = kwset->mind;
|
|---|
| 428 |
|
|---|
| 429 | /* Update the delta table for the descendents of this node. */
|
|---|
| 430 | treedelta(curr->links, curr->depth, delta);
|
|---|
| 431 |
|
|---|
| 432 | /* Compute the failure function for the decendents of this node. */
|
|---|
| 433 | treefails(curr->links, curr->fail, kwset->trie);
|
|---|
| 434 |
|
|---|
| 435 | /* Update the shifts at each node in the current node's chain
|
|---|
| 436 | of fails back to the root. */
|
|---|
| 437 | for (fail = curr->fail; fail; fail = fail->fail)
|
|---|
| 438 | {
|
|---|
| 439 | /* If the current node has some outgoing edge that the fail
|
|---|
| 440 | doesn't, then the shift at the fail should be no larger
|
|---|
| 441 | than the difference of their depths. */
|
|---|
| 442 | if (!hasevery(fail->links, curr->links))
|
|---|
| 443 | if (curr->depth - fail->depth < fail->shift)
|
|---|
| 444 | fail->shift = curr->depth - fail->depth;
|
|---|
| 445 |
|
|---|
| 446 | /* If the current node is accepting then the shift at the
|
|---|
| 447 | fail and its descendents should be no larger than the
|
|---|
| 448 | difference of their depths. */
|
|---|
| 449 | if (curr->accepting && fail->maxshift > curr->depth - fail->depth)
|
|---|
| 450 | fail->maxshift = curr->depth - fail->depth;
|
|---|
| 451 | }
|
|---|
| 452 | }
|
|---|
| 453 |
|
|---|
| 454 | /* Traverse the trie in level order again, fixing up all nodes whose
|
|---|
| 455 | shift exceeds their inherited maxshift. */
|
|---|
| 456 | for (curr = kwset->trie->next; curr; curr = curr->next)
|
|---|
| 457 | {
|
|---|
| 458 | if (curr->maxshift > curr->parent->maxshift)
|
|---|
| 459 | curr->maxshift = curr->parent->maxshift;
|
|---|
| 460 | if (curr->shift > curr->maxshift)
|
|---|
| 461 | curr->shift = curr->maxshift;
|
|---|
| 462 | }
|
|---|
| 463 |
|
|---|
| 464 | /* Create a vector, indexed by character code, of the outgoing links
|
|---|
| 465 | from the root node. */
|
|---|
| 466 | for (i = 0; i < NCHAR; ++i)
|
|---|
| 467 | next[i] = 0;
|
|---|
| 468 | treenext(kwset->trie->links, next);
|
|---|
| 469 |
|
|---|
| 470 | if ((trans = kwset->trans) != 0)
|
|---|
| 471 | for (i = 0; i < NCHAR; ++i)
|
|---|
| 472 | kwset->next[i] = next[(unsigned char) trans[i]];
|
|---|
| 473 | else
|
|---|
| 474 | for (i = 0; i < NCHAR; ++i)
|
|---|
| 475 | kwset->next[i] = next[i];
|
|---|
| 476 | }
|
|---|
| 477 |
|
|---|
| 478 | /* Fix things up for any translation table. */
|
|---|
| 479 | if ((trans = kwset->trans) != 0)
|
|---|
| 480 | for (i = 0; i < NCHAR; ++i)
|
|---|
| 481 | kwset->delta[i] = delta[(unsigned char) trans[i]];
|
|---|
| 482 | else
|
|---|
| 483 | for (i = 0; i < NCHAR; ++i)
|
|---|
| 484 | kwset->delta[i] = delta[i];
|
|---|
| 485 |
|
|---|
| 486 | return 0;
|
|---|
| 487 | }
|
|---|
| 488 |
|
|---|
| 489 | #define U(C) ((unsigned char) (C))
|
|---|
| 490 |
|
|---|
| 491 | /* Fast boyer-moore search. */
|
|---|
| 492 | static size_t
|
|---|
| 493 | bmexec (kwset_t kws, char const *text, size_t size)
|
|---|
| 494 | {
|
|---|
| 495 | struct kwset const *kwset;
|
|---|
| 496 | register unsigned char const *d1;
|
|---|
| 497 | register char const *ep, *sp, *tp;
|
|---|
| 498 | register int d, gc, i, len, md2;
|
|---|
| 499 |
|
|---|
| 500 | kwset = (struct kwset const *) kws;
|
|---|
| 501 | len = kwset->mind;
|
|---|
| 502 |
|
|---|
| 503 | if (len == 0)
|
|---|
| 504 | return 0;
|
|---|
| 505 | if (len > size)
|
|---|
| 506 | return -1;
|
|---|
| 507 | if (len == 1)
|
|---|
| 508 | {
|
|---|
| 509 | tp = memchr (text, kwset->target[0], size);
|
|---|
| 510 | return tp ? tp - text : -1;
|
|---|
| 511 | }
|
|---|
| 512 |
|
|---|
| 513 | d1 = kwset->delta;
|
|---|
| 514 | sp = kwset->target + len;
|
|---|
| 515 | gc = U(sp[-2]);
|
|---|
| 516 | md2 = kwset->mind2;
|
|---|
| 517 | tp = text + len;
|
|---|
| 518 |
|
|---|
| 519 | /* Significance of 12: 1 (initial offset) + 10 (skip loop) + 1 (md2). */
|
|---|
| 520 | if (size > 12 * len)
|
|---|
| 521 | /* 11 is not a bug, the initial offset happens only once. */
|
|---|
| 522 | for (ep = text + size - 11 * len;;)
|
|---|
| 523 | {
|
|---|
| 524 | while (tp <= ep)
|
|---|
| 525 | {
|
|---|
| 526 | d = d1[U(tp[-1])], tp += d;
|
|---|
| 527 | d = d1[U(tp[-1])], tp += d;
|
|---|
| 528 | if (d == 0)
|
|---|
| 529 | goto found;
|
|---|
| 530 | d = d1[U(tp[-1])], tp += d;
|
|---|
| 531 | d = d1[U(tp[-1])], tp += d;
|
|---|
| 532 | d = d1[U(tp[-1])], tp += d;
|
|---|
| 533 | if (d == 0)
|
|---|
| 534 | goto found;
|
|---|
| 535 | d = d1[U(tp[-1])], tp += d;
|
|---|
| 536 | d = d1[U(tp[-1])], tp += d;
|
|---|
| 537 | d = d1[U(tp[-1])], tp += d;
|
|---|
| 538 | if (d == 0)
|
|---|
| 539 | goto found;
|
|---|
| 540 | d = d1[U(tp[-1])], tp += d;
|
|---|
| 541 | d = d1[U(tp[-1])], tp += d;
|
|---|
| 542 | }
|
|---|
| 543 | break;
|
|---|
| 544 | found:
|
|---|
| 545 | if (U(tp[-2]) == gc)
|
|---|
| 546 | {
|
|---|
| 547 | for (i = 3; i <= len && U(tp[-i]) == U(sp[-i]); ++i)
|
|---|
| 548 | ;
|
|---|
| 549 | if (i > len)
|
|---|
| 550 | return tp - len - text;
|
|---|
| 551 | }
|
|---|
| 552 | tp += md2;
|
|---|
| 553 | }
|
|---|
| 554 |
|
|---|
| 555 | /* Now we have only a few characters left to search. We
|
|---|
| 556 | carefully avoid ever producing an out-of-bounds pointer. */
|
|---|
| 557 | ep = text + size;
|
|---|
| 558 | d = d1[U(tp[-1])];
|
|---|
| 559 | while (d <= ep - tp)
|
|---|
| 560 | {
|
|---|
| 561 | d = d1[U((tp += d)[-1])];
|
|---|
| 562 | if (d != 0)
|
|---|
| 563 | continue;
|
|---|
| 564 | if (U(tp[-2]) == gc)
|
|---|
| 565 | {
|
|---|
| 566 | for (i = 3; i <= len && U(tp[-i]) == U(sp[-i]); ++i)
|
|---|
| 567 | ;
|
|---|
| 568 | if (i > len)
|
|---|
| 569 | return tp - len - text;
|
|---|
| 570 | }
|
|---|
| 571 | d = md2;
|
|---|
| 572 | }
|
|---|
| 573 |
|
|---|
| 574 | return -1;
|
|---|
| 575 | }
|
|---|
| 576 |
|
|---|
| 577 | /* Hairy multiple string search. */
|
|---|
| 578 | static size_t
|
|---|
| 579 | cwexec (kwset_t kws, char const *text, size_t len, struct kwsmatch *kwsmatch)
|
|---|
| 580 | {
|
|---|
| 581 | struct kwset const *kwset;
|
|---|
| 582 | struct trie * const *next;
|
|---|
| 583 | struct trie const *trie;
|
|---|
| 584 | struct trie const *accept;
|
|---|
| 585 | char const *beg, *lim, *mch, *lmch;
|
|---|
| 586 | register unsigned char c;
|
|---|
| 587 | register unsigned char const *delta;
|
|---|
| 588 | register int d;
|
|---|
| 589 | register char const *end, *qlim;
|
|---|
| 590 | register struct tree const *tree;
|
|---|
| 591 | register char const *trans;
|
|---|
| 592 |
|
|---|
| 593 | #ifdef lint
|
|---|
| 594 | accept = NULL;
|
|---|
| 595 | #endif
|
|---|
| 596 |
|
|---|
| 597 | /* Initialize register copies and look for easy ways out. */
|
|---|
| 598 | kwset = (struct kwset *) kws;
|
|---|
| 599 | if (len < kwset->mind)
|
|---|
| 600 | return -1;
|
|---|
| 601 | next = kwset->next;
|
|---|
| 602 | delta = kwset->delta;
|
|---|
| 603 | trans = kwset->trans;
|
|---|
| 604 | lim = text + len;
|
|---|
| 605 | end = text;
|
|---|
| 606 | if ((d = kwset->mind) != 0)
|
|---|
| 607 | mch = 0;
|
|---|
| 608 | else
|
|---|
| 609 | {
|
|---|
| 610 | mch = text, accept = kwset->trie;
|
|---|
| 611 | goto match;
|
|---|
| 612 | }
|
|---|
| 613 |
|
|---|
| 614 | if (len >= 4 * kwset->mind)
|
|---|
| 615 | qlim = lim - 4 * kwset->mind;
|
|---|
| 616 | else
|
|---|
| 617 | qlim = 0;
|
|---|
| 618 |
|
|---|
| 619 | while (lim - end >= d)
|
|---|
| 620 | {
|
|---|
| 621 | if (qlim && end <= qlim)
|
|---|
| 622 | {
|
|---|
| 623 | end += d - 1;
|
|---|
| 624 | while ((d = delta[c = *end]) && end < qlim)
|
|---|
| 625 | {
|
|---|
| 626 | end += d;
|
|---|
| 627 | end += delta[(unsigned char) *end];
|
|---|
| 628 | end += delta[(unsigned char) *end];
|
|---|
| 629 | }
|
|---|
| 630 | ++end;
|
|---|
| 631 | }
|
|---|
| 632 | else
|
|---|
| 633 | d = delta[c = (end += d)[-1]];
|
|---|
| 634 | if (d)
|
|---|
| 635 | continue;
|
|---|
| 636 | beg = end - 1;
|
|---|
| 637 | trie = next[c];
|
|---|
| 638 | if (trie->accepting)
|
|---|
| 639 | {
|
|---|
| 640 | mch = beg;
|
|---|
| 641 | accept = trie;
|
|---|
| 642 | }
|
|---|
| 643 | d = trie->shift;
|
|---|
| 644 | while (beg > text)
|
|---|
| 645 | {
|
|---|
| 646 | c = trans ? trans[(unsigned char) *--beg] : *--beg;
|
|---|
| 647 | tree = trie->links;
|
|---|
| 648 | while (tree && c != tree->label)
|
|---|
| 649 | if (c < tree->label)
|
|---|
| 650 | tree = tree->llink;
|
|---|
| 651 | else
|
|---|
| 652 | tree = tree->rlink;
|
|---|
| 653 | if (tree)
|
|---|
| 654 | {
|
|---|
| 655 | trie = tree->trie;
|
|---|
| 656 | if (trie->accepting)
|
|---|
| 657 | {
|
|---|
| 658 | mch = beg;
|
|---|
| 659 | accept = trie;
|
|---|
| 660 | }
|
|---|
| 661 | }
|
|---|
| 662 | else
|
|---|
| 663 | break;
|
|---|
| 664 | d = trie->shift;
|
|---|
| 665 | }
|
|---|
| 666 | if (mch)
|
|---|
| 667 | goto match;
|
|---|
| 668 | }
|
|---|
| 669 | return -1;
|
|---|
| 670 |
|
|---|
| 671 | match:
|
|---|
| 672 | /* Given a known match, find the longest possible match anchored
|
|---|
| 673 | at or before its starting point. This is nearly a verbatim
|
|---|
| 674 | copy of the preceding main search loops. */
|
|---|
| 675 | if (lim - mch > kwset->maxd)
|
|---|
| 676 | lim = mch + kwset->maxd;
|
|---|
| 677 | lmch = 0;
|
|---|
| 678 | d = 1;
|
|---|
| 679 | while (lim - end >= d)
|
|---|
| 680 | {
|
|---|
| 681 | if ((d = delta[c = (end += d)[-1]]) != 0)
|
|---|
| 682 | continue;
|
|---|
| 683 | beg = end - 1;
|
|---|
| 684 | if (!(trie = next[c]))
|
|---|
| 685 | {
|
|---|
| 686 | d = 1;
|
|---|
| 687 | continue;
|
|---|
| 688 | }
|
|---|
| 689 | if (trie->accepting && beg <= mch)
|
|---|
| 690 | {
|
|---|
| 691 | lmch = beg;
|
|---|
| 692 | accept = trie;
|
|---|
| 693 | }
|
|---|
| 694 | d = trie->shift;
|
|---|
| 695 | while (beg > text)
|
|---|
| 696 | {
|
|---|
| 697 | c = trans ? trans[(unsigned char) *--beg] : *--beg;
|
|---|
| 698 | tree = trie->links;
|
|---|
| 699 | while (tree && c != tree->label)
|
|---|
| 700 | if (c < tree->label)
|
|---|
| 701 | tree = tree->llink;
|
|---|
| 702 | else
|
|---|
| 703 | tree = tree->rlink;
|
|---|
| 704 | if (tree)
|
|---|
| 705 | {
|
|---|
| 706 | trie = tree->trie;
|
|---|
| 707 | if (trie->accepting && beg <= mch)
|
|---|
| 708 | {
|
|---|
| 709 | lmch = beg;
|
|---|
| 710 | accept = trie;
|
|---|
| 711 | }
|
|---|
| 712 | }
|
|---|
| 713 | else
|
|---|
| 714 | break;
|
|---|
| 715 | d = trie->shift;
|
|---|
| 716 | }
|
|---|
| 717 | if (lmch)
|
|---|
| 718 | {
|
|---|
| 719 | mch = lmch;
|
|---|
| 720 | goto match;
|
|---|
| 721 | }
|
|---|
| 722 | if (!d)
|
|---|
| 723 | d = 1;
|
|---|
| 724 | }
|
|---|
| 725 |
|
|---|
| 726 | if (kwsmatch)
|
|---|
| 727 | {
|
|---|
| 728 | kwsmatch->index = accept->accepting / 2;
|
|---|
| 729 | kwsmatch->offset[0] = mch - text;
|
|---|
| 730 | kwsmatch->size[0] = accept->depth;
|
|---|
| 731 | }
|
|---|
| 732 | return mch - text;
|
|---|
| 733 | }
|
|---|
| 734 |
|
|---|
| 735 | /* Search through the given text for a match of any member of the
|
|---|
| 736 | given keyword set. Return a pointer to the first character of
|
|---|
| 737 | the matching substring, or NULL if no match is found. If FOUNDLEN
|
|---|
| 738 | is non-NULL store in the referenced location the length of the
|
|---|
| 739 | matching substring. Similarly, if FOUNDIDX is non-NULL, store
|
|---|
| 740 | in the referenced location the index number of the particular
|
|---|
| 741 | keyword matched. */
|
|---|
| 742 | size_t
|
|---|
| 743 | kwsexec (kwset_t kws, char const *text, size_t size,
|
|---|
| 744 | struct kwsmatch *kwsmatch)
|
|---|
| 745 | {
|
|---|
| 746 | struct kwset const *kwset = (struct kwset *) kws;
|
|---|
| 747 | if (kwset->words == 1 && kwset->trans == 0)
|
|---|
| 748 | {
|
|---|
| 749 | size_t ret = bmexec (kws, text, size);
|
|---|
| 750 | if (kwsmatch != 0 && ret != (size_t) -1)
|
|---|
| 751 | {
|
|---|
| 752 | kwsmatch->index = 0;
|
|---|
| 753 | kwsmatch->offset[0] = ret;
|
|---|
| 754 | kwsmatch->size[0] = kwset->mind;
|
|---|
| 755 | }
|
|---|
| 756 | return ret;
|
|---|
| 757 | }
|
|---|
| 758 | else
|
|---|
| 759 | return cwexec(kws, text, size, kwsmatch);
|
|---|
| 760 | }
|
|---|
| 761 |
|
|---|
| 762 | /* Free the components of the given keyword set. */
|
|---|
| 763 | void
|
|---|
| 764 | kwsfree (kwset_t kws)
|
|---|
| 765 | {
|
|---|
| 766 | struct kwset *kwset;
|
|---|
| 767 |
|
|---|
| 768 | kwset = (struct kwset *) kws;
|
|---|
| 769 | obstack_free(&kwset->obstack, 0);
|
|---|
| 770 | free(kws);
|
|---|
| 771 | }
|
|---|