xref: /dokuwiki/inc/fulltext.php (revision 865c268791a99fa57aa818528c6f2473b26d954f)
1f5eb7cf0SAndreas Gohr<?php
2f5eb7cf0SAndreas Gohr/**
3f5eb7cf0SAndreas Gohr * DokuWiki fulltextsearch functions using the index
4f5eb7cf0SAndreas Gohr *
5f5eb7cf0SAndreas Gohr * @license    GPL 2 (http://www.gnu.org/licenses/gpl.html)
6f5eb7cf0SAndreas Gohr * @author     Andreas Gohr <andi@splitbrain.org>
7f5eb7cf0SAndreas Gohr */
8f5eb7cf0SAndreas Gohr
9fa8adffeSAndreas Gohrif(!defined('DOKU_INC')) die('meh.');
10f5eb7cf0SAndreas Gohrrequire_once(DOKU_INC.'inc/indexer.php');
11f5eb7cf0SAndreas Gohr
12f5eb7cf0SAndreas Gohr
13f5eb7cf0SAndreas Gohr/**
14f5eb7cf0SAndreas Gohr * The fulltext search
15f5eb7cf0SAndreas Gohr *
16f5eb7cf0SAndreas Gohr * Returns a list of matching documents for the given query
17506fa893SAndreas Gohr *
186840140fSChris Smith * refactored into ft_pageSearch(), _ft_pageSearch() and trigger_event()
196840140fSChris Smith *
20f5eb7cf0SAndreas Gohr */
21546d3a99SAndreas Gohrfunction ft_pageSearch($query,&$highlight){
226840140fSChris Smith
236840140fSChris Smith  $data['query'] = $query;
246840140fSChris Smith  $data['highlight'] =& $highlight;
256840140fSChris Smith
266840140fSChris Smith  return trigger_event('SEARCH_QUERY_FULLPAGE', $data, '_ft_pageSearch');
276840140fSChris Smith}
28*865c2687SKazutaka Miyasaka
29*865c2687SKazutaka Miyasaka/**
30*865c2687SKazutaka Miyasaka * Returns a list of matching documents for the given query
31*865c2687SKazutaka Miyasaka *
32*865c2687SKazutaka Miyasaka * @author Andreas Gohr <andi@splitbrain.org>
33*865c2687SKazutaka Miyasaka * @author Kazutaka Miyasaka <kazmiya@gmail.com>
34*865c2687SKazutaka Miyasaka */
356840140fSChris Smithfunction _ft_pageSearch(&$data) {
36*865c2687SKazutaka Miyasaka    // parse the given query
37*865c2687SKazutaka Miyasaka    $q = ft_queryParser($data['query']);
38*865c2687SKazutaka Miyasaka    $data['highlight'] = $q['highlight'];
396840140fSChris Smith
40*865c2687SKazutaka Miyasaka    if (empty($q['parsed_ary'])) return array();
41506fa893SAndreas Gohr
42f5eb7cf0SAndreas Gohr    // lookup all words found in the query
43*865c2687SKazutaka Miyasaka    $lookup = idx_lookup($q['words']);
44f5eb7cf0SAndreas Gohr
45*865c2687SKazutaka Miyasaka    // get all pages in this dokuwiki site (!: includes nonexistent pages)
46*865c2687SKazutaka Miyasaka    $pages_all = array();
47*865c2687SKazutaka Miyasaka    foreach (idx_getIndex('page', '') as $id) {
48*865c2687SKazutaka Miyasaka        $pages_all[trim($id)] = 0; // base: 0 hit
49f5eb7cf0SAndreas Gohr    }
50f5eb7cf0SAndreas Gohr
51*865c2687SKazutaka Miyasaka    // process the query
52*865c2687SKazutaka Miyasaka    $stack = array();
53*865c2687SKazutaka Miyasaka    foreach ($q['parsed_ary'] as $token) {
54*865c2687SKazutaka Miyasaka        switch (substr($token, 0, 3)) {
55*865c2687SKazutaka Miyasaka            case 'W+:':
56*865c2687SKazutaka Miyasaka            case 'W-:': // word
57*865c2687SKazutaka Miyasaka                $word    = substr($token, 3);
58*865c2687SKazutaka Miyasaka                $stack[] = (array) $lookup[$word];
59*865c2687SKazutaka Miyasaka                break;
60*865c2687SKazutaka Miyasaka            case 'P_:': // phrase
61*865c2687SKazutaka Miyasaka                $phrase = substr($token, 3);
62*865c2687SKazutaka Miyasaka                // since phrases are always parsed as ((W1)(W2)...(P)),
63*865c2687SKazutaka Miyasaka                // the end($stack) always points the pages that contain
64*865c2687SKazutaka Miyasaka                // all words in this phrase
65*865c2687SKazutaka Miyasaka                $pages  = end($stack);
66*865c2687SKazutaka Miyasaka                $pages_matched = array();
67*865c2687SKazutaka Miyasaka                foreach(array_keys($pages) as $id){
68f5eb7cf0SAndreas Gohr                    $text = utf8_strtolower(rawWiki($id));
69*865c2687SKazutaka Miyasaka                    if (strpos($text, $phrase) !== false) {
70*865c2687SKazutaka Miyasaka                        $pages_matched[$id] = 0; // phrase: always 0 hit
71*865c2687SKazutaka Miyasaka                    }
72*865c2687SKazutaka Miyasaka                }
73*865c2687SKazutaka Miyasaka                $stack[] = $pages_matched;
74*865c2687SKazutaka Miyasaka                break;
75*865c2687SKazutaka Miyasaka            case 'N_:': // namespace
76*865c2687SKazutaka Miyasaka                $ns = substr($token, 3);
77*865c2687SKazutaka Miyasaka                $pages_matched = array();
78*865c2687SKazutaka Miyasaka                foreach (array_keys($pages_all) as $id) {
79*865c2687SKazutaka Miyasaka                    if (strpos($id, $ns) === 0) {
80*865c2687SKazutaka Miyasaka                        $pages_matched[$id] = 0; // namespace: always 0 hit
81*865c2687SKazutaka Miyasaka                    }
82*865c2687SKazutaka Miyasaka                }
83*865c2687SKazutaka Miyasaka                $stack[] = $pages_matched;
84*865c2687SKazutaka Miyasaka                break;
85*865c2687SKazutaka Miyasaka            case 'AND': // and operation
86*865c2687SKazutaka Miyasaka                list($pages1, $pages2) = array_splice($stack, -2);
87*865c2687SKazutaka Miyasaka                $stack[] = ft_resultCombine(array($pages1, $pages2));
88*865c2687SKazutaka Miyasaka                break;
89*865c2687SKazutaka Miyasaka            case 'OR':  // or operation
90*865c2687SKazutaka Miyasaka                list($pages1, $pages2) = array_splice($stack, -2);
91*865c2687SKazutaka Miyasaka                $stack[] = ft_resultUnite(array($pages1, $pages2));
92*865c2687SKazutaka Miyasaka                break;
93*865c2687SKazutaka Miyasaka            case 'NOT': // not operation (unary)
94*865c2687SKazutaka Miyasaka                $pages   = array_pop($stack);
95*865c2687SKazutaka Miyasaka                $stack[] = ft_resultComplement(array($pages_all, $pages));
96a21136cdSAndreas Gohr                break;
97a21136cdSAndreas Gohr        }
98f5eb7cf0SAndreas Gohr    }
99*865c2687SKazutaka Miyasaka    $docs = array_pop($stack);
100*865c2687SKazutaka Miyasaka
101*865c2687SKazutaka Miyasaka    if (empty($docs)) return array();
102*865c2687SKazutaka Miyasaka
103*865c2687SKazutaka Miyasaka    // check: settings, acls, existence
104*865c2687SKazutaka Miyasaka    foreach (array_keys($docs) as $id) {
105*865c2687SKazutaka Miyasaka        if (isHiddenPage($id) || auth_quickaclcheck($id) < AUTH_READ || !page_exists($id, '', false)) {
106*865c2687SKazutaka Miyasaka            unset($docs[$id]);
107f5eb7cf0SAndreas Gohr        }
108f5eb7cf0SAndreas Gohr    }
109f5eb7cf0SAndreas Gohr
110*865c2687SKazutaka Miyasaka    // sort docs by count
111f5eb7cf0SAndreas Gohr    arsort($docs);
112f5eb7cf0SAndreas Gohr
113f5eb7cf0SAndreas Gohr    return $docs;
114f5eb7cf0SAndreas Gohr}
115f5eb7cf0SAndreas Gohr
116f5eb7cf0SAndreas Gohr/**
11754f4c056SAndreas Gohr * Returns the backlinks for a given page
11854f4c056SAndreas Gohr *
11954f4c056SAndreas Gohr * Does a quick lookup with the fulltext index, then
12054f4c056SAndreas Gohr * evaluates the instructions of the found pages
12154f4c056SAndreas Gohr */
12254f4c056SAndreas Gohrfunction ft_backlinks($id){
12354f4c056SAndreas Gohr    global $conf;
1246b06b652Schris    $swfile   = DOKU_INC.'inc/lang/'.$conf['lang'].'/stopwords.txt';
1256b06b652Schris    $stopwords = @file_exists($swfile) ? file($swfile) : array();
1266b06b652Schris
12754f4c056SAndreas Gohr    $result = array();
12854f4c056SAndreas Gohr
12954f4c056SAndreas Gohr    // quick lookup of the pagename
13054f4c056SAndreas Gohr    $page    = noNS($id);
1316b06b652Schris    $matches = idx_lookup(idx_tokenizer($page,$stopwords));  // pagename may contain specials (_ or .)
1320dc92c6fSAndreas Gohr    $docs    = array_keys(ft_resultCombine(array_values($matches)));
1330dc92c6fSAndreas Gohr    $docs    = array_filter($docs,'isVisiblePage'); // discard hidden pages
1343cbaa9a4SAndreas Gohr    if(!count($docs)) return $result;
13554f4c056SAndreas Gohr    require_once(DOKU_INC.'inc/parserutils.php');
13654f4c056SAndreas Gohr
13710ffc9ddSAndreas Gohr    // check metadata for matching links
1380dc92c6fSAndreas Gohr    foreach($docs as $match){
13910ffc9ddSAndreas Gohr        // metadata relation reference links are already resolved
1406b06b652Schris        $links = p_get_metadata($match,'relation references');
1413be6e394Schris        if (isset($links[$id])) $result[] = $match;
14254f4c056SAndreas Gohr    }
14354f4c056SAndreas Gohr
14463773904SAndreas Gohr    if(!count($result)) return $result;
14563773904SAndreas Gohr
14663773904SAndreas Gohr    // check ACL permissions
14763773904SAndreas Gohr    foreach(array_keys($result) as $idx){
14863773904SAndreas Gohr        if(auth_quickaclcheck($result[$idx]) < AUTH_READ){
14963773904SAndreas Gohr            unset($result[$idx]);
15063773904SAndreas Gohr        }
15163773904SAndreas Gohr    }
15263773904SAndreas Gohr
15354f4c056SAndreas Gohr    sort($result);
15454f4c056SAndreas Gohr    return $result;
15554f4c056SAndreas Gohr}
15654f4c056SAndreas Gohr
15754f4c056SAndreas Gohr/**
158a05e297aSAndreas Gohr * Returns the pages that use a given media file
159a05e297aSAndreas Gohr *
160a05e297aSAndreas Gohr * Does a quick lookup with the fulltext index, then
161a05e297aSAndreas Gohr * evaluates the instructions of the found pages
162a05e297aSAndreas Gohr *
163a05e297aSAndreas Gohr * Aborts after $max found results
164a05e297aSAndreas Gohr */
165a05e297aSAndreas Gohrfunction ft_mediause($id,$max){
166a05e297aSAndreas Gohr    global $conf;
167a05e297aSAndreas Gohr    $swfile   = DOKU_INC.'inc/lang/'.$conf['lang'].'/stopwords.txt';
168a05e297aSAndreas Gohr    $stopwords = @file_exists($swfile) ? file($swfile) : array();
169a05e297aSAndreas Gohr
170a05e297aSAndreas Gohr    if(!$max) $max = 1; // need to find at least one
171a05e297aSAndreas Gohr
172a05e297aSAndreas Gohr    $result = array();
173a05e297aSAndreas Gohr
174a05e297aSAndreas Gohr    // quick lookup of the mediafile
175a05e297aSAndreas Gohr    $media   = noNS($id);
176a05e297aSAndreas Gohr    $matches = idx_lookup(idx_tokenizer($media,$stopwords));
177a05e297aSAndreas Gohr    $docs    = array_keys(ft_resultCombine(array_values($matches)));
178a05e297aSAndreas Gohr    if(!count($docs)) return $result;
179a05e297aSAndreas Gohr
180a05e297aSAndreas Gohr    // go through all found pages
181a05e297aSAndreas Gohr    $found = 0;
182a05e297aSAndreas Gohr    $pcre  = preg_quote($media,'/');
183a05e297aSAndreas Gohr    foreach($docs as $doc){
184a05e297aSAndreas Gohr        $ns = getNS($doc);
185a05e297aSAndreas Gohr        preg_match_all('/\{\{([^|}]*'.$pcre.'[^|}]*)(|[^}]+)?\}\}/i',rawWiki($doc),$matches);
186a05e297aSAndreas Gohr        foreach($matches[1] as $img){
187a05e297aSAndreas Gohr            $img = trim($img);
188a05e297aSAndreas Gohr            if(preg_match('/^https?:\/\//i',$img)) continue; // skip external images
189a05e297aSAndreas Gohr            list($img) = explode('?',$img);                  // remove any parameters
190a05e297aSAndreas Gohr            resolve_mediaid($ns,$img,$exists);               // resolve the possibly relative img
191a05e297aSAndreas Gohr
192a05e297aSAndreas Gohr            if($img == $id){                                 // we have a match
193a05e297aSAndreas Gohr                $result[] = $doc;
194a05e297aSAndreas Gohr                $found++;
195a05e297aSAndreas Gohr                break;
196a05e297aSAndreas Gohr            }
197a05e297aSAndreas Gohr        }
198a05e297aSAndreas Gohr        if($found >= $max) break;
199a05e297aSAndreas Gohr    }
200a05e297aSAndreas Gohr
201a05e297aSAndreas Gohr    sort($result);
202a05e297aSAndreas Gohr    return $result;
203a05e297aSAndreas Gohr}
204a05e297aSAndreas Gohr
205a05e297aSAndreas Gohr
206a05e297aSAndreas Gohr
207a05e297aSAndreas Gohr/**
208506fa893SAndreas Gohr * Quicksearch for pagenames
209506fa893SAndreas Gohr *
210506fa893SAndreas Gohr * By default it only matches the pagename and ignores the
211506fa893SAndreas Gohr * namespace. This can be changed with the second parameter
212506fa893SAndreas Gohr *
2136840140fSChris Smith * refactored into ft_pageLookup(), _ft_pageLookup() and trigger_event()
2146840140fSChris Smith *
215506fa893SAndreas Gohr * @author Andreas Gohr <andi@splitbrain.org>
216506fa893SAndreas Gohr */
217506fa893SAndreas Gohrfunction ft_pageLookup($id,$pageonly=true){
2186840140fSChris Smith    $data = array('id' => $id, 'pageonly' => $pageonly);
2196840140fSChris Smith    return trigger_event('SEARCH_QUERY_PAGELOOKUP',$data,'_ft_pageLookup');
2206840140fSChris Smith}
2216840140fSChris Smith
2226840140fSChris Smithfunction _ft_pageLookup(&$data){
2236840140fSChris Smith    // split out original parameterrs
2246840140fSChris Smith    $id = $data['id'];
2256840140fSChris Smith    $pageonly = $data['pageonly'];
2266840140fSChris Smith
227506fa893SAndreas Gohr    global $conf;
228506fa893SAndreas Gohr    $id    = preg_quote($id,'/');
229579b0f7eSTNHarris    $pages = file($conf['indexdir'].'/page.idx');
2306798a86aSAndreas Gohr    if($id) $pages = array_values(preg_grep('/'.$id.'/',$pages));
231506fa893SAndreas Gohr
232506fa893SAndreas Gohr    $cnt = count($pages);
233506fa893SAndreas Gohr    for($i=0; $i<$cnt; $i++){
234506fa893SAndreas Gohr        if($pageonly){
235506fa893SAndreas Gohr            if(!preg_match('/'.$id.'/',noNS($pages[$i]))){
236506fa893SAndreas Gohr                unset($pages[$i]);
237506fa893SAndreas Gohr                continue;
238506fa893SAndreas Gohr            }
239506fa893SAndreas Gohr        }
240103c256aSChris Smith        if(!page_exists($pages[$i])){
241506fa893SAndreas Gohr            unset($pages[$i]);
242506fa893SAndreas Gohr            continue;
243506fa893SAndreas Gohr        }
244506fa893SAndreas Gohr    }
24563773904SAndreas Gohr
2460dc92c6fSAndreas Gohr    $pages = array_filter($pages,'isVisiblePage'); // discard hidden pages
24763773904SAndreas Gohr    if(!count($pages)) return array();
24863773904SAndreas Gohr
24963773904SAndreas Gohr    // check ACL permissions
25063773904SAndreas Gohr    foreach(array_keys($pages) as $idx){
25132ee5830SChris Smith        if(auth_quickaclcheck(trim($pages[$idx])) < AUTH_READ){
25263773904SAndreas Gohr            unset($pages[$idx]);
25363773904SAndreas Gohr        }
25463773904SAndreas Gohr    }
25563773904SAndreas Gohr
2566798a86aSAndreas Gohr    $pages = array_map('trim',$pages);
257f31eb72bSAndreas Gohr    usort($pages,'ft_pagesorter');
258506fa893SAndreas Gohr    return $pages;
259506fa893SAndreas Gohr}
260506fa893SAndreas Gohr
261506fa893SAndreas Gohr/**
262f31eb72bSAndreas Gohr * Sort pages based on their namespace level first, then on their string
263f31eb72bSAndreas Gohr * values. This makes higher hierarchy pages rank higher than lower hierarchy
264f31eb72bSAndreas Gohr * pages.
265f31eb72bSAndreas Gohr */
266f31eb72bSAndreas Gohrfunction ft_pagesorter($a, $b){
267f31eb72bSAndreas Gohr    $ac = count(explode(':',$a));
268f31eb72bSAndreas Gohr    $bc = count(explode(':',$b));
269f31eb72bSAndreas Gohr    if($ac < $bc){
270f31eb72bSAndreas Gohr        return -1;
271f31eb72bSAndreas Gohr    }elseif($ac > $bc){
272f31eb72bSAndreas Gohr        return 1;
273f31eb72bSAndreas Gohr    }
274f31eb72bSAndreas Gohr    return strcmp ($a,$b);
275f31eb72bSAndreas Gohr}
276f31eb72bSAndreas Gohr
277f31eb72bSAndreas Gohr/**
278506fa893SAndreas Gohr * Creates a snippet extract
279506fa893SAndreas Gohr *
280506fa893SAndreas Gohr * @author Andreas Gohr <andi@splitbrain.org>
281506fa893SAndreas Gohr */
282546d3a99SAndreas Gohrfunction ft_snippet($id,$highlight){
283506fa893SAndreas Gohr    $text     = rawWiki($id);
284ced0762eSchris    $match = array();
285ced0762eSchris    $snippets = array();
2869ee93076Schris    $utf8_offset = $offset = $end = 0;
287ced0762eSchris    $len = utf8_strlen($text);
2889ee93076Schris
289546d3a99SAndreas Gohr    // build a regexp from the phrases to highlight
290b571ff2dSChuck Kollars    $re1 = '('.join('|',array_map('preg_quote_cb',array_filter((array) $highlight))).')';
291b571ff2dSChuck Kollars    $re2 = "$re1.{0,75}(?!\\1)$re1";
292b571ff2dSChuck Kollars    $re3 = "$re1.{0,45}(?!\\1)$re1.{0,45}(?!\\1)(?!\\2)$re1";
293546d3a99SAndreas Gohr
294b571ff2dSChuck Kollars    for ($cnt=4; $cnt--;) {
295b571ff2dSChuck Kollars      if (0) {
296b571ff2dSChuck Kollars      } else if (preg_match('/'.$re3.'/iu',$text,$match,PREG_OFFSET_CAPTURE,$offset)) {
297b571ff2dSChuck Kollars      } else if (preg_match('/'.$re2.'/iu',$text,$match,PREG_OFFSET_CAPTURE,$offset)) {
298b571ff2dSChuck Kollars      } else if (preg_match('/'.$re1.'/iu',$text,$match,PREG_OFFSET_CAPTURE,$offset)) {
299b571ff2dSChuck Kollars      } else {
300b571ff2dSChuck Kollars        break;
301b571ff2dSChuck Kollars      }
302ced0762eSchris
303ced0762eSchris      list($str,$idx) = $match[0];
304ced0762eSchris
305ced0762eSchris      // convert $idx (a byte offset) into a utf8 character offset
306ced0762eSchris      $utf8_idx = utf8_strlen(substr($text,0,$idx));
307ced0762eSchris      $utf8_len = utf8_strlen($str);
308ced0762eSchris
309ced0762eSchris      // establish context, 100 bytes surrounding the match string
310ced0762eSchris      // first look to see if we can go 100 either side,
311ced0762eSchris      // then drop to 50 adding any excess if the other side can't go to 50,
312ced0762eSchris      $pre = min($utf8_idx-$utf8_offset,100);
313ced0762eSchris      $post = min($len-$utf8_idx-$utf8_len,100);
314ced0762eSchris
315ced0762eSchris      if ($pre>50 && $post>50) {
316ced0762eSchris        $pre = $post = 50;
317ced0762eSchris      } else if ($pre>50) {
318ced0762eSchris        $pre = min($pre,100-$post);
319ced0762eSchris      } else if ($post>50) {
320ced0762eSchris        $post = min($post, 100-$pre);
321ced0762eSchris      } else {
322ced0762eSchris        // both are less than 50, means the context is the whole string
32310ffc9ddSAndreas Gohr        // make it so and break out of this loop - there is no need for the
32410ffc9ddSAndreas Gohr        // complex snippet calculations
325ced0762eSchris        $snippets = array($text);
326ced0762eSchris        break;
327ced0762eSchris      }
328ced0762eSchris
32910ffc9ddSAndreas Gohr      // establish context start and end points, try to append to previous
33010ffc9ddSAndreas Gohr      // context if possible
3319ee93076Schris      $start = $utf8_idx - $pre;
332ced0762eSchris      $append = ($start < $end) ? $end : false;  // still the end of the previous context snippet
3339ee93076Schris      $end = $utf8_idx + $utf8_len + $post;      // now set it to the end of this context
334ced0762eSchris
335ced0762eSchris      if ($append) {
336ced0762eSchris        $snippets[count($snippets)-1] .= utf8_substr($text,$append,$end-$append);
337ced0762eSchris      } else {
338ced0762eSchris        $snippets[] = utf8_substr($text,$start,$end-$start);
339ced0762eSchris      }
340ced0762eSchris
341ced0762eSchris      // set $offset for next match attempt
34210ffc9ddSAndreas Gohr      //   substract strlen to avoid splitting a potential search success,
34310ffc9ddSAndreas Gohr      //   this is an approximation as the search pattern may match strings
34410ffc9ddSAndreas Gohr      //   of varying length and it will fail if the context snippet
345ced0762eSchris      //   boundary breaks a matching string longer than the current match
3469ee93076Schris      $utf8_offset = $utf8_idx + $post;
3479ee93076Schris      $offset = $idx + strlen(utf8_substr($text,$utf8_idx,$post));
3489ee93076Schris      $offset = utf8_correctIdx($text,$offset);
3499ee93076Schris    }
3509ee93076Schris
351ced0762eSchris    $m = "\1";
352b571ff2dSChuck Kollars    $snippets = preg_replace('/'.$re1.'/iu',$m.'$1'.$m,$snippets);
353b571ff2dSChuck Kollars    $snippet = preg_replace('/'.$m.'([^'.$m.']*?)'.$m.'/iu','<strong class="search_hit">$1</strong>',hsc(join('... ',$snippets)));
354bd2cb6fcSchris
3555953e889Schris    return $snippet;
356506fa893SAndreas Gohr}
357506fa893SAndreas Gohr
358506fa893SAndreas Gohr/**
359f5eb7cf0SAndreas Gohr * Combine found documents and sum up their scores
360f5eb7cf0SAndreas Gohr *
361f5eb7cf0SAndreas Gohr * This function is used to combine searched words with a logical
362f5eb7cf0SAndreas Gohr * AND. Only documents available in all arrays are returned.
363f5eb7cf0SAndreas Gohr *
364f5eb7cf0SAndreas Gohr * based upon PEAR's PHP_Compat function for array_intersect_key()
365f5eb7cf0SAndreas Gohr *
366f5eb7cf0SAndreas Gohr * @param array $args An array of page arrays
367f5eb7cf0SAndreas Gohr */
368f5eb7cf0SAndreas Gohrfunction ft_resultCombine($args){
369f5eb7cf0SAndreas Gohr    $array_count = count($args);
370134f4ab2SAndreas Gohr    if($array_count == 1){
371134f4ab2SAndreas Gohr        return $args[0];
372134f4ab2SAndreas Gohr    }
373134f4ab2SAndreas Gohr
374f5eb7cf0SAndreas Gohr    $result = array();
37509c27a6dSGuy Brand    if ($array_count > 1) {
376a21136cdSAndreas Gohr      foreach ($args[0] as $key => $value) {
377a21136cdSAndreas Gohr        $result[$key] = $value;
378f5eb7cf0SAndreas Gohr        for ($i = 1; $i !== $array_count; $i++) {
379a21136cdSAndreas Gohr            if (!isset($args[$i][$key])) {
380a21136cdSAndreas Gohr                unset($result[$key]);
381a21136cdSAndreas Gohr                break;
382f5eb7cf0SAndreas Gohr            }
383a21136cdSAndreas Gohr            $result[$key] += $args[$i][$key];
384f5eb7cf0SAndreas Gohr        }
385f5eb7cf0SAndreas Gohr      }
38609c27a6dSGuy Brand    }
387f5eb7cf0SAndreas Gohr    return $result;
388f5eb7cf0SAndreas Gohr}
389f5eb7cf0SAndreas Gohr
390f5eb7cf0SAndreas Gohr/**
391*865c2687SKazutaka Miyasaka * Unites found documents and sum up their scores
392f5eb7cf0SAndreas Gohr *
393*865c2687SKazutaka Miyasaka * based upon ft_resultCombine() function
394*865c2687SKazutaka Miyasaka *
395*865c2687SKazutaka Miyasaka * @param array $args An array of page arrays
396*865c2687SKazutaka Miyasaka * @author Kazutaka Miyasaka <kazmiya@gmail.com>
397*865c2687SKazutaka Miyasaka */
398*865c2687SKazutaka Miyasakafunction ft_resultUnite($args) {
399*865c2687SKazutaka Miyasaka    $array_count = count($args);
400*865c2687SKazutaka Miyasaka    if ($array_count === 1) {
401*865c2687SKazutaka Miyasaka        return $args[0];
402*865c2687SKazutaka Miyasaka    }
403*865c2687SKazutaka Miyasaka
404*865c2687SKazutaka Miyasaka    $result = $args[0];
405*865c2687SKazutaka Miyasaka    for ($i = 1; $i !== $array_count; $i++) {
406*865c2687SKazutaka Miyasaka        foreach (array_keys($args[$i]) as $id) {
407*865c2687SKazutaka Miyasaka            $result[$id] += $args[$i][$id];
408*865c2687SKazutaka Miyasaka        }
409*865c2687SKazutaka Miyasaka    }
410*865c2687SKazutaka Miyasaka    return $result;
411*865c2687SKazutaka Miyasaka}
412*865c2687SKazutaka Miyasaka
413*865c2687SKazutaka Miyasaka/**
414*865c2687SKazutaka Miyasaka * Computes the difference of documents using page id for comparison
415*865c2687SKazutaka Miyasaka *
416*865c2687SKazutaka Miyasaka * nearly identical to PHP5's array_diff_key()
417*865c2687SKazutaka Miyasaka *
418*865c2687SKazutaka Miyasaka * @param array $args An array of page arrays
419*865c2687SKazutaka Miyasaka * @author Kazutaka Miyasaka <kazmiya@gmail.com>
420*865c2687SKazutaka Miyasaka */
421*865c2687SKazutaka Miyasakafunction ft_resultComplement($args) {
422*865c2687SKazutaka Miyasaka    $array_count = count($args);
423*865c2687SKazutaka Miyasaka    if ($array_count === 1) {
424*865c2687SKazutaka Miyasaka        return $args[0];
425*865c2687SKazutaka Miyasaka    }
426*865c2687SKazutaka Miyasaka
427*865c2687SKazutaka Miyasaka    $result = $args[0];
428*865c2687SKazutaka Miyasaka    foreach (array_keys($result) as $id) {
429*865c2687SKazutaka Miyasaka        for ($i = 1; $i !== $array_count; $i++) {
430*865c2687SKazutaka Miyasaka            if (isset($args[$i][$id])) unset($result[$id]);
431*865c2687SKazutaka Miyasaka        }
432*865c2687SKazutaka Miyasaka    }
433*865c2687SKazutaka Miyasaka    return $result;
434*865c2687SKazutaka Miyasaka}
435*865c2687SKazutaka Miyasaka
436*865c2687SKazutaka Miyasaka/**
437*865c2687SKazutaka Miyasaka * Parses a search query and builds an array of search formulas
438*865c2687SKazutaka Miyasaka *
439*865c2687SKazutaka Miyasaka * @author Andreas Gohr <andi@splitbrain.org>
440*865c2687SKazutaka Miyasaka * @author Kazutaka Miyasaka <kazmiya@gmail.com>
441f5eb7cf0SAndreas Gohr */
442f5eb7cf0SAndreas Gohrfunction ft_queryParser($query){
443f5eb7cf0SAndreas Gohr    global $conf;
444f5eb7cf0SAndreas Gohr    $swfile    = DOKU_INC.'inc/lang/'.$conf['lang'].'/stopwords.txt';
445*865c2687SKazutaka Miyasaka    $stopwords = @file_exists($swfile) ? file($swfile) : array();
446*865c2687SKazutaka Miyasaka
447*865c2687SKazutaka Miyasaka    /**
448*865c2687SKazutaka Miyasaka     * parse a search query and transform it into intermediate representation
449*865c2687SKazutaka Miyasaka     *
450*865c2687SKazutaka Miyasaka     * in a search query, you can use the following expressions:
451*865c2687SKazutaka Miyasaka     *
452*865c2687SKazutaka Miyasaka     *   words:
453*865c2687SKazutaka Miyasaka     *     include
454*865c2687SKazutaka Miyasaka     *     -exclude
455*865c2687SKazutaka Miyasaka     *   phrases:
456*865c2687SKazutaka Miyasaka     *     "phrase to be included"
457*865c2687SKazutaka Miyasaka     *     -"phrase you want to exclude"
458*865c2687SKazutaka Miyasaka     *   namespaces:
459*865c2687SKazutaka Miyasaka     *     @include:namespace (or ns:include:namespace)
460*865c2687SKazutaka Miyasaka     *     ^exclude:namespace (or -ns:exclude:namespace)
461*865c2687SKazutaka Miyasaka     *   groups:
462*865c2687SKazutaka Miyasaka     *     ()
463*865c2687SKazutaka Miyasaka     *     -()
464*865c2687SKazutaka Miyasaka     *   operators:
465*865c2687SKazutaka Miyasaka     *     and ('and' is the default operator: you can always omit this)
466*865c2687SKazutaka Miyasaka     *     or  (lower precedence than 'and')
467*865c2687SKazutaka Miyasaka     *
468*865c2687SKazutaka Miyasaka     * e.g. a query [ aa "bb cc" @dd:ee ] means "search pages which contain
469*865c2687SKazutaka Miyasaka     *      a word 'aa', a phrase 'bb cc' and are within a namespace 'dd:ee'".
470*865c2687SKazutaka Miyasaka     *      this query is equivalent to [ -(-aa or -"bb cc" or -ns:dd:ee) ]
471*865c2687SKazutaka Miyasaka     *      as long as you don't mind hit counts.
472*865c2687SKazutaka Miyasaka     *
473*865c2687SKazutaka Miyasaka     * intermediate representation consists of the following parts:
474*865c2687SKazutaka Miyasaka     *
475*865c2687SKazutaka Miyasaka     *   ( ) - group
476*865c2687SKazutaka Miyasaka     *   AND - logical and
477*865c2687SKazutaka Miyasaka     *   OR  - logical or
478*865c2687SKazutaka Miyasaka     *   NOT - logical not
479*865c2687SKazutaka Miyasaka     *   W+: - word (needs to be highlighted)
480*865c2687SKazutaka Miyasaka     *   W-: - word (no need to highlight)
481*865c2687SKazutaka Miyasaka     *   P_: - phrase
482*865c2687SKazutaka Miyasaka     *   N_: - namespace
483*865c2687SKazutaka Miyasaka     */
484*865c2687SKazutaka Miyasaka    $parsed_query = '';
485*865c2687SKazutaka Miyasaka    $parens_level = 0;
486*865c2687SKazutaka Miyasaka    $terms = preg_split('/(-?".*?")/u', utf8_strtolower($query), -1, PREG_SPLIT_DELIM_CAPTURE | PREG_SPLIT_NO_EMPTY);
487*865c2687SKazutaka Miyasaka
488*865c2687SKazutaka Miyasaka    foreach ($terms as $term) {
489*865c2687SKazutaka Miyasaka        $parsed = '';
490*865c2687SKazutaka Miyasaka        if (preg_match('/^(-?)"(.+)"$/u', $term, $matches)) {
491*865c2687SKazutaka Miyasaka            // phrase-include and phrase-exclude
492*865c2687SKazutaka Miyasaka            $not = $matches[1] ? 'NOT' : '';
493*865c2687SKazutaka Miyasaka            $parsed = $not.ft_termParser($matches[2], $stopwords, false, true);
494f5eb7cf0SAndreas Gohr        } else {
495*865c2687SKazutaka Miyasaka            // fix incomplete phrase
496*865c2687SKazutaka Miyasaka            $term = str_replace('"', ' ', $term);
497*865c2687SKazutaka Miyasaka
498*865c2687SKazutaka Miyasaka            // fix parentheses
499*865c2687SKazutaka Miyasaka            $term = str_replace(')'  , ' ) ', $term);
500*865c2687SKazutaka Miyasaka            $term = str_replace('('  , ' ( ', $term);
501*865c2687SKazutaka Miyasaka            $term = str_replace('- (', ' -(', $term);
502*865c2687SKazutaka Miyasaka
503*865c2687SKazutaka Miyasaka            // treat ideographic spaces (U+3000) as search term separators
504*865c2687SKazutaka Miyasaka            // FIXME: some more separators?
505*865c2687SKazutaka Miyasaka            $term = preg_replace('/[ \x{3000}]+/u', ' ',  $term);
506*865c2687SKazutaka Miyasaka            $term = trim($term);
507*865c2687SKazutaka Miyasaka            if ($term === '') continue;
508*865c2687SKazutaka Miyasaka
509*865c2687SKazutaka Miyasaka            $tokens = explode(' ', $term);
510*865c2687SKazutaka Miyasaka            foreach ($tokens as $token) {
511*865c2687SKazutaka Miyasaka                if ($token === '(') {
512*865c2687SKazutaka Miyasaka                    // parenthesis-include-open
513*865c2687SKazutaka Miyasaka                    $parsed .= '(';
514*865c2687SKazutaka Miyasaka                    ++$parens_level;
515*865c2687SKazutaka Miyasaka                } elseif ($token === '-(') {
516*865c2687SKazutaka Miyasaka                    // parenthesis-exclude-open
517*865c2687SKazutaka Miyasaka                    $parsed .= 'NOT(';
518*865c2687SKazutaka Miyasaka                    ++$parens_level;
519*865c2687SKazutaka Miyasaka                } elseif ($token === ')') {
520*865c2687SKazutaka Miyasaka                    // parenthesis-any-close
521*865c2687SKazutaka Miyasaka                    if ($parens_level === 0) continue;
522*865c2687SKazutaka Miyasaka                    $parsed .= ')';
523*865c2687SKazutaka Miyasaka                    $parens_level--;
524*865c2687SKazutaka Miyasaka                } elseif ($token === 'and') {
525*865c2687SKazutaka Miyasaka                    // logical-and (do nothing)
526*865c2687SKazutaka Miyasaka                } elseif ($token === 'or') {
527*865c2687SKazutaka Miyasaka                    // logical-or
528*865c2687SKazutaka Miyasaka                    $parsed .= 'OR';
529*865c2687SKazutaka Miyasaka                } elseif (preg_match('/^(?:\^|-ns:)(.+)$/u', $token, $matches)) {
530*865c2687SKazutaka Miyasaka                    // namespace-exclude
531*865c2687SKazutaka Miyasaka                    $parsed .= 'NOT(N_:'.$matches[1].')';
532*865c2687SKazutaka Miyasaka                } elseif (preg_match('/^(?:@|ns:)(.+)$/u', $token, $matches)) {
533*865c2687SKazutaka Miyasaka                    // namespace-include
534*865c2687SKazutaka Miyasaka                    $parsed .= '(N_:'.$matches[1].')';
535*865c2687SKazutaka Miyasaka                } elseif (preg_match('/^-(.+)$/', $token, $matches)) {
536*865c2687SKazutaka Miyasaka                    // word-exclude
537*865c2687SKazutaka Miyasaka                    $parsed .= 'NOT('.ft_termParser($matches[1], $stopwords).')';
538*865c2687SKazutaka Miyasaka                } else {
539*865c2687SKazutaka Miyasaka                    // word-include
540*865c2687SKazutaka Miyasaka                    $parsed .= ft_termParser($token, $stopwords);
541*865c2687SKazutaka Miyasaka                }
542*865c2687SKazutaka Miyasaka            }
543*865c2687SKazutaka Miyasaka        }
544*865c2687SKazutaka Miyasaka        $parsed_query .= $parsed;
545f5eb7cf0SAndreas Gohr    }
546f5eb7cf0SAndreas Gohr
547*865c2687SKazutaka Miyasaka    // cleanup (very sensitive)
548*865c2687SKazutaka Miyasaka    $parsed_query .= str_repeat(')', $parens_level);
549*865c2687SKazutaka Miyasaka    do {
550*865c2687SKazutaka Miyasaka        $parsed_query_old = $parsed_query;
551*865c2687SKazutaka Miyasaka        $parsed_query = preg_replace('/(NOT)?\(\)/u', '', $parsed_query);
552*865c2687SKazutaka Miyasaka    } while ($parsed_query !== $parsed_query_old);
553*865c2687SKazutaka Miyasaka    $parsed_query = preg_replace('/(NOT|OR)+\)/u', ')'      , $parsed_query);
554*865c2687SKazutaka Miyasaka    $parsed_query = preg_replace('/(OR)+/u'      , 'OR'     , $parsed_query);
555*865c2687SKazutaka Miyasaka    $parsed_query = preg_replace('/\(OR/u'       , '('      , $parsed_query);
556*865c2687SKazutaka Miyasaka    $parsed_query = preg_replace('/^OR|OR$/u'    , ''       , $parsed_query);
557*865c2687SKazutaka Miyasaka    $parsed_query = preg_replace('/\)(NOT)?\(/u' , ')AND$1(', $parsed_query);
558*865c2687SKazutaka Miyasaka
559*865c2687SKazutaka Miyasaka    /**
560*865c2687SKazutaka Miyasaka     * convert infix notation string into postfix (Reverse Polish notation) array
561*865c2687SKazutaka Miyasaka     * by Shunting-yard algorithm
562*865c2687SKazutaka Miyasaka     *
563*865c2687SKazutaka Miyasaka     * see: http://en.wikipedia.org/wiki/Reverse_Polish_notation
564*865c2687SKazutaka Miyasaka     * see: http://en.wikipedia.org/wiki/Shunting-yard_algorithm
565*865c2687SKazutaka Miyasaka     */
566*865c2687SKazutaka Miyasaka    $parsed_ary     = array();
567*865c2687SKazutaka Miyasaka    $ope_stack      = array();
568*865c2687SKazutaka Miyasaka    $ope_precedence = array(')' => 1, 'OR' => 2, 'AND' => 3, 'NOT' => 4, '(' => 5);
569*865c2687SKazutaka Miyasaka    $ope_regex      = '/([()]|OR|AND|NOT)/u';
570*865c2687SKazutaka Miyasaka
571*865c2687SKazutaka Miyasaka    $tokens = preg_split($ope_regex, $parsed_query, -1, PREG_SPLIT_DELIM_CAPTURE | PREG_SPLIT_NO_EMPTY);
572*865c2687SKazutaka Miyasaka    foreach ($tokens as $token) {
573*865c2687SKazutaka Miyasaka        if (preg_match($ope_regex, $token)) {
574*865c2687SKazutaka Miyasaka            // operator
575*865c2687SKazutaka Miyasaka            $last_ope = end($ope_stack);
576*865c2687SKazutaka Miyasaka            while ($ope_precedence[$token] <= $ope_precedence[$last_ope] && $last_ope != '(') {
577*865c2687SKazutaka Miyasaka                $parsed_ary[] = array_pop($ope_stack);
578*865c2687SKazutaka Miyasaka                $last_ope = end($ope_stack);
579*865c2687SKazutaka Miyasaka            }
580*865c2687SKazutaka Miyasaka            if ($token == ')') {
581*865c2687SKazutaka Miyasaka                array_pop($ope_stack); // this array_pop always deletes '('
582*865c2687SKazutaka Miyasaka            } else {
583*865c2687SKazutaka Miyasaka                $ope_stack[] = $token;
584*865c2687SKazutaka Miyasaka            }
585*865c2687SKazutaka Miyasaka        } else {
586*865c2687SKazutaka Miyasaka            // operand
587*865c2687SKazutaka Miyasaka            $token_decoded = str_replace(array('OP', 'CP'), array('(', ')'), $token);
588*865c2687SKazutaka Miyasaka            $parsed_ary[] = $token_decoded;
589*865c2687SKazutaka Miyasaka        }
590*865c2687SKazutaka Miyasaka    }
591*865c2687SKazutaka Miyasaka    $parsed_ary = array_values(array_merge($parsed_ary, array_reverse($ope_stack)));
592*865c2687SKazutaka Miyasaka
593*865c2687SKazutaka Miyasaka    // cleanup: each double "NOT" in RPN array actually does nothing
594*865c2687SKazutaka Miyasaka    $parsed_ary_count = count($parsed_ary);
595*865c2687SKazutaka Miyasaka    for ($i = 1; $i < $parsed_ary_count; ++$i) {
596*865c2687SKazutaka Miyasaka        if ($parsed_ary[$i] === 'NOT' && $parsed_ary[$i - 1] === 'NOT') {
597*865c2687SKazutaka Miyasaka            unset($parsed_ary[$i], $parsed_ary[$i - 1]);
598*865c2687SKazutaka Miyasaka        }
599*865c2687SKazutaka Miyasaka    }
600*865c2687SKazutaka Miyasaka    $parsed_ary = array_values($parsed_ary);
601*865c2687SKazutaka Miyasaka
602*865c2687SKazutaka Miyasaka    // build return value
603f5eb7cf0SAndreas Gohr    $q = array();
604f5eb7cf0SAndreas Gohr    $q['query']      = $query;
605*865c2687SKazutaka Miyasaka    $q['parsed_str'] = $parsed_query;
606*865c2687SKazutaka Miyasaka    $q['parsed_ary'] = $parsed_ary;
607f5eb7cf0SAndreas Gohr
608*865c2687SKazutaka Miyasaka    foreach ($q['parsed_ary'] as $token) {
609*865c2687SKazutaka Miyasaka        if ($token[2] !== ':') continue;
610*865c2687SKazutaka Miyasaka        $body = substr($token, 3);
611*865c2687SKazutaka Miyasaka
612*865c2687SKazutaka Miyasaka        switch (substr($token, 0, 3)) {
613*865c2687SKazutaka Miyasaka            case 'N_:':
614*865c2687SKazutaka Miyasaka                $q['ns'][]        = $body; // for backward compatibility
615*865c2687SKazutaka Miyasaka                break;
616*865c2687SKazutaka Miyasaka            case 'W-:':
617*865c2687SKazutaka Miyasaka                $q['words'][]     = $body;
618*865c2687SKazutaka Miyasaka                break;
619*865c2687SKazutaka Miyasaka            case 'W+:':
620*865c2687SKazutaka Miyasaka                $q['words'][]     = $body;
621*865c2687SKazutaka Miyasaka                $q['highlight'][] = str_replace('*', '', $body);
622*865c2687SKazutaka Miyasaka                break;
623*865c2687SKazutaka Miyasaka            case 'P_:':
624*865c2687SKazutaka Miyasaka                $q['phrases'][]   = $body;
625*865c2687SKazutaka Miyasaka                $q['highlight'][] = str_replace('*', '', $body);
626*865c2687SKazutaka Miyasaka                break;
627*865c2687SKazutaka Miyasaka        }
628*865c2687SKazutaka Miyasaka    }
629*865c2687SKazutaka Miyasaka    foreach (array('words', 'phrases', 'highlight', 'ns') as $key) {
630*865c2687SKazutaka Miyasaka        $q[$key] = empty($q[$key]) ? array() : array_values(array_unique($q[$key]));
631f5eb7cf0SAndreas Gohr    }
632f5eb7cf0SAndreas Gohr
633*865c2687SKazutaka Miyasaka    // keep backward compatibility (to some extent)
634*865c2687SKazutaka Miyasaka    // this part can be deleted if no plugins use ft_queryParser() directly
635*865c2687SKazutaka Miyasaka    $q['and']   = $q['words'];
636*865c2687SKazutaka Miyasaka    $q['not']   = array(); // difficult to set: imagine [ aaa -(bbb -ccc) ]
637*865c2687SKazutaka Miyasaka    $q['notns'] = array(); // same as above
638f5eb7cf0SAndreas Gohr
639f5eb7cf0SAndreas Gohr    return $q;
640f5eb7cf0SAndreas Gohr}
641f5eb7cf0SAndreas Gohr
642*865c2687SKazutaka Miyasaka/**
643*865c2687SKazutaka Miyasaka * Transforms given search term into intermediate representation
644*865c2687SKazutaka Miyasaka *
645*865c2687SKazutaka Miyasaka * This function is used in ft_queryParser() and not for general purpose use.
646*865c2687SKazutaka Miyasaka *
647*865c2687SKazutaka Miyasaka * @author Kazutaka Miyasaka <kazmiya@gmail.com>
648*865c2687SKazutaka Miyasaka */
649*865c2687SKazutaka Miyasakafunction ft_termParser($term, &$stopwords, $consider_asian = true, $phrase_mode = false) {
650*865c2687SKazutaka Miyasaka    $parsed = '';
651*865c2687SKazutaka Miyasaka    if ($consider_asian) {
652*865c2687SKazutaka Miyasaka        // successive asian characters need to be searched as a phrase
653*865c2687SKazutaka Miyasaka        $words = preg_split('/('.IDX_ASIAN.'+)/u', $term, -1, PREG_SPLIT_DELIM_CAPTURE | PREG_SPLIT_NO_EMPTY);
654*865c2687SKazutaka Miyasaka        foreach ($words as $word) {
655*865c2687SKazutaka Miyasaka            if (preg_match('/'.IDX_ASIAN.'/u', $word)) $phrase_mode = true;
656*865c2687SKazutaka Miyasaka            $parsed .= ft_termParser($word, $stopwords, false, $phrase_mode);
657*865c2687SKazutaka Miyasaka        }
658*865c2687SKazutaka Miyasaka    } else {
659*865c2687SKazutaka Miyasaka        $term_noparen = str_replace(array('(', ')'), ' ', $term);
660*865c2687SKazutaka Miyasaka        $words = idx_tokenizer($term_noparen, $stopwords, true);
661*865c2687SKazutaka Miyasaka
662*865c2687SKazutaka Miyasaka        // W+: needs to be highlighted, W-: no need to highlight
663*865c2687SKazutaka Miyasaka        if (empty($words)) {
664*865c2687SKazutaka Miyasaka            $parsed = '()'; // important: do not remove
665*865c2687SKazutaka Miyasaka        } elseif ($words[0] === $term) {
666*865c2687SKazutaka Miyasaka            $parsed = '(W+:'.$words[0].')';
667*865c2687SKazutaka Miyasaka        } elseif ($phrase_mode) {
668*865c2687SKazutaka Miyasaka            $term_encoded = str_replace(array('(', ')'), array('OP', 'CP'), $term);
669*865c2687SKazutaka Miyasaka            $parsed = '((W-:'.implode(')(W-:', $words).')(P_:'.$term_encoded.'))';
670*865c2687SKazutaka Miyasaka        } else {
671*865c2687SKazutaka Miyasaka            $parsed = '((W+:'.implode(')(W+:', $words).'))';
672*865c2687SKazutaka Miyasaka        }
673*865c2687SKazutaka Miyasaka    }
674*865c2687SKazutaka Miyasaka    return $parsed;
675*865c2687SKazutaka Miyasaka}
676*865c2687SKazutaka Miyasaka
677506fa893SAndreas Gohr//Setup VIM: ex: et ts=4 enc=utf-8 :
678