diff options
author | dimitri <dimitri@afe2bf4a-e733-0410-8a33-86f594647bc7> | 2005-05-08 21:32:24 (GMT) |
---|---|---|
committer | dimitri <dimitri@afe2bf4a-e733-0410-8a33-86f594647bc7> | 2005-05-08 21:32:24 (GMT) |
commit | 23885c2f2db71f003578f0d1b44555c067bfd7a5 (patch) | |
tree | c4bbe961812e7008b9e85fd820596290c043c0f6 /src/search.php | |
parent | 5d31b7ab211586100301d6838be82f066f8f9af4 (diff) | |
download | Doxygen-23885c2f2db71f003578f0d1b44555c067bfd7a5.zip Doxygen-23885c2f2db71f003578f0d1b44555c067bfd7a5.tar.gz Doxygen-23885c2f2db71f003578f0d1b44555c067bfd7a5.tar.bz2 |
Release-1.4.2-20050508
Diffstat (limited to 'src/search.php')
-rw-r--r-- | src/search.php | 32 |
1 files changed, 17 insertions, 15 deletions
diff --git a/src/search.php b/src/search.php index ee8802a..b3ac0e6 100644 --- a/src/search.php +++ b/src/search.php @@ -21,24 +21,26 @@ function readHeader($file) function computeIndex($word) { - $lword = strtolower($word); - $l = strlen($lword); - for ($i=0;$i<$l;$i++) - { - $c = ord($lword{$i}); - $v = (($v & 0xfc00) ^ ($v << 6) ^ $c) & 0xffff; - } - return $v; + // Fast string hashing + //$lword = strtolower($word); + //$l = strlen($lword); + //for ($i=0;$i<$l;$i++) + //{ + // $c = ord($lword{$i}); + // $v = (($v & 0xfc00) ^ ($v << 6) ^ $c) & 0xffff; + //} + //return $v; - //if (strlen($word)<2) return -1; + // Simple hashing that allows for substring search + if (strlen($word)<2) return -1; // high char of the index - //$hi = ord($word{0}); - //if ($hi==0) return -1; + $hi = ord($word{0}); + if ($hi==0) return -1; // low char of the index - //$lo = ord($word{1}); - //if ($lo==0) return -1; + $lo = ord($word{1}); + if ($lo==0) return -1; // return index - //return $hi*256+$lo; + return $hi*256+$lo; } function search($file,$word,&$statsList) @@ -48,7 +50,7 @@ function search($file,$word,&$statsList) { fseek($file,$index*4+4); // 4 bytes per entry, skip header $index = readInt($file); - if ($index) // found words matching first two characters + if ($index) // found words matching the hash key { $start=sizeof($statsList); $count=$start; |