xref: /dokuwiki/inc/Search/FulltextSearch.php (revision 0b1bbbbb7d4e3c531cd255dbf878ce27d5967a0c)
1173bfbcaSSatoshi Sahara<?php
246b83514SSatoshi Sahara
3173bfbcaSSatoshi Saharanamespace dokuwiki\Search;
4173bfbcaSSatoshi Sahara
5173bfbcaSSatoshi Saharause dokuwiki\Extension\Event;
6*0b1bbbbbSAndreas Gohruse dokuwiki\Search\Collection\FrequencyCollectionSearch;
7*0b1bbbbbSAndreas Gohruse dokuwiki\Search\Collection\PageFulltextCollection;
8*0b1bbbbbSAndreas Gohruse dokuwiki\Search\Exception\SearchException;
9*0b1bbbbbSAndreas Gohruse dokuwiki\Search\Query\QueryEvaluator;
10*0b1bbbbbSAndreas Gohruse dokuwiki\Search\Query\QueryParser;
11c31af4f3SSatoshi Saharause dokuwiki\Utf8;
12173bfbcaSSatoshi Sahara
130cba610bSSatoshi Sahara/**
14*0b1bbbbbSAndreas Gohr * DokuWiki Fulltext Search
15173bfbcaSSatoshi Sahara *
16173bfbcaSSatoshi Sahara * @license    GPL 2 (http://www.gnu.org/licenses/gpl.html)
17173bfbcaSSatoshi Sahara * @author     Andreas Gohr <andi@splitbrain.org>
18173bfbcaSSatoshi Sahara */
19173bfbcaSSatoshi Saharaclass FulltextSearch
20173bfbcaSSatoshi Sahara{
21*0b1bbbbbSAndreas Gohr    /** @var int Maximum number of results to generate snippets for */
22*0b1bbbbbSAndreas Gohr    protected int $maxSnippets = 15;
23*0b1bbbbbSAndreas Gohr
24*0b1bbbbbSAndreas Gohr    /**
25*0b1bbbbbSAndreas Gohr     * @return int
26*0b1bbbbbSAndreas Gohr     */
27*0b1bbbbbSAndreas Gohr    public function getMaxSnippets(): int
28*0b1bbbbbSAndreas Gohr    {
29*0b1bbbbbSAndreas Gohr        return $this->maxSnippets;
30*0b1bbbbbSAndreas Gohr    }
31*0b1bbbbbSAndreas Gohr
32*0b1bbbbbSAndreas Gohr    /**
33*0b1bbbbbSAndreas Gohr     * @param int $maxSnippets
34*0b1bbbbbSAndreas Gohr     */
35*0b1bbbbbSAndreas Gohr    public function setMaxSnippets(int $maxSnippets): void
36*0b1bbbbbSAndreas Gohr    {
37*0b1bbbbbSAndreas Gohr        $this->maxSnippets = $maxSnippets;
38*0b1bbbbbSAndreas Gohr    }
39*0b1bbbbbSAndreas Gohr
40173bfbcaSSatoshi Sahara    /**
41173bfbcaSSatoshi Sahara     * The fulltext search
42173bfbcaSSatoshi Sahara     *
43173bfbcaSSatoshi Sahara     * Returns a list of matching documents for the given query
44173bfbcaSSatoshi Sahara     *
45*0b1bbbbbSAndreas Gohr     * @triggers SEARCH_QUERY_FULLPAGE
46173bfbcaSSatoshi Sahara     *
47*0b1bbbbbSAndreas Gohr     * @param string     $query   the search query string
48*0b1bbbbbSAndreas Gohr     * @param array      $highlight  will be filled with terms to highlight
49*0b1bbbbbSAndreas Gohr     * @param string     $sort    sort mode: 'hits' (default) or 'mtime'
50173bfbcaSSatoshi Sahara     * @param int|string $after   only show results with mtime after this date,
51*0b1bbbbbSAndreas Gohr     *                            accepts timestamp or strtotime arguments
52173bfbcaSSatoshi Sahara     * @param int|string $before  only show results with mtime before this date,
53*0b1bbbbbSAndreas Gohr     *                            accepts timestamp or strtotime arguments
54173bfbcaSSatoshi Sahara     *
55*0b1bbbbbSAndreas Gohr     * @return array matching documents as pageid => score
56173bfbcaSSatoshi Sahara     */
579329b002SSatoshi Sahara    public function pageSearch($query, &$highlight, $sort = null, $after = null, $before = null)
58173bfbcaSSatoshi Sahara    {
59173bfbcaSSatoshi Sahara        if ($sort === null) {
60173bfbcaSSatoshi Sahara            $sort = 'hits';
61173bfbcaSSatoshi Sahara        }
62173bfbcaSSatoshi Sahara        $data = [
63173bfbcaSSatoshi Sahara            'query' => $query,
64173bfbcaSSatoshi Sahara            'sort' => $sort,
65173bfbcaSSatoshi Sahara            'after' => $after,
66173bfbcaSSatoshi Sahara            'before' => $before
67173bfbcaSSatoshi Sahara        ];
68173bfbcaSSatoshi Sahara        $data['highlight'] =& $highlight;
699329b002SSatoshi Sahara        $action = [$this, 'pageSearchCallBack'];
70173bfbcaSSatoshi Sahara        return Event::createAndTrigger('SEARCH_QUERY_FULLPAGE', $data, $action);
71173bfbcaSSatoshi Sahara    }
72173bfbcaSSatoshi Sahara
73173bfbcaSSatoshi Sahara    /**
74173bfbcaSSatoshi Sahara     * Returns a list of matching documents for the given query
75173bfbcaSSatoshi Sahara     *
76173bfbcaSSatoshi Sahara     * @author Andreas Gohr <andi@splitbrain.org>
77173bfbcaSSatoshi Sahara     * @author Kazutaka Miyasaka <kazmiya@gmail.com>
78173bfbcaSSatoshi Sahara     *
79173bfbcaSSatoshi Sahara     * @param array $data  event data
80*0b1bbbbbSAndreas Gohr     * @return array       matching documents as pageid => score
81173bfbcaSSatoshi Sahara     */
829329b002SSatoshi Sahara    public function pageSearchCallBack(&$data)
83173bfbcaSSatoshi Sahara    {
84173bfbcaSSatoshi Sahara        // parse the given query
859329b002SSatoshi Sahara        $q = (new QueryParser)->convert($data['query']);
86173bfbcaSSatoshi Sahara        $data['highlight'] = $q['highlight'];
87173bfbcaSSatoshi Sahara
88*0b1bbbbbSAndreas Gohr        if (empty($q['parsed_ary'])) return [];
89173bfbcaSSatoshi Sahara
90*0b1bbbbbSAndreas Gohr        // look up all words via FrequencyCollectionSearch
91*0b1bbbbbSAndreas Gohr        $collection = new PageFulltextCollection();
92*0b1bbbbbSAndreas Gohr        $search = new FrequencyCollectionSearch($collection);
93*0b1bbbbbSAndreas Gohr        foreach ($q['words'] as $word) {
94*0b1bbbbbSAndreas Gohr            try {
95*0b1bbbbbSAndreas Gohr                $search->addTerm($word);
96*0b1bbbbbSAndreas Gohr            } catch (SearchException $e) {
97*0b1bbbbbSAndreas Gohr                // term too short or invalid, skip
98*0b1bbbbbSAndreas Gohr            }
99*0b1bbbbbSAndreas Gohr        }
100*0b1bbbbbSAndreas Gohr        $terms = $search->execute();
101173bfbcaSSatoshi Sahara
102*0b1bbbbbSAndreas Gohr        // evaluate the query
103*0b1bbbbbSAndreas Gohr        $evaluator = new QueryEvaluator($q['parsed_ary'], $terms);
104*0b1bbbbbSAndreas Gohr        $docs = $evaluator->evaluate();
105173bfbcaSSatoshi Sahara
106*0b1bbbbbSAndreas Gohr        if (empty($docs)) return [];
107173bfbcaSSatoshi Sahara
108*0b1bbbbbSAndreas Gohr        // prepare time filters
109*0b1bbbbbSAndreas Gohr        $after = $data['after'] ? (is_int($data['after']) ? $data['after'] : strtotime($data['after'])) : null;
110*0b1bbbbbSAndreas Gohr        $before = $data['before'] ? (is_int($data['before']) ? $data['before'] : strtotime($data['before'])) : null;
111173bfbcaSSatoshi Sahara
112*0b1bbbbbSAndreas Gohr        // filter by settings, acls, existence, and time range
113*0b1bbbbbSAndreas Gohr        $docs = array_filter($docs, static function ($score, $id) use ($after, $before) {
114*0b1bbbbbSAndreas Gohr            if (isHiddenPage($id) || auth_quickaclcheck($id) < AUTH_READ || !page_exists($id, '', false)) {
115*0b1bbbbbSAndreas Gohr                return false;
116173bfbcaSSatoshi Sahara            }
117*0b1bbbbbSAndreas Gohr            if ($after || $before) {
118*0b1bbbbbSAndreas Gohr                $mTime = filemtime(wikiFN($id));
119*0b1bbbbbSAndreas Gohr                if ($after && $after > $mTime) return false;
120*0b1bbbbbSAndreas Gohr                if ($before && $before < $mTime) return false;
121173bfbcaSSatoshi Sahara            }
122*0b1bbbbbSAndreas Gohr            return true;
123*0b1bbbbbSAndreas Gohr        }, ARRAY_FILTER_USE_BOTH);
124173bfbcaSSatoshi Sahara
125173bfbcaSSatoshi Sahara        if ($data['sort'] === 'mtime') {
126*0b1bbbbbSAndreas Gohr            uksort($docs, static function ($a, $b) {
127*0b1bbbbbSAndreas Gohr                return filemtime(wikiFN($b)) - filemtime(wikiFN($a));
128*0b1bbbbbSAndreas Gohr            });
129173bfbcaSSatoshi Sahara        } else {
130173bfbcaSSatoshi Sahara            arsort($docs);
131173bfbcaSSatoshi Sahara        }
132173bfbcaSSatoshi Sahara
133173bfbcaSSatoshi Sahara        return $docs;
134173bfbcaSSatoshi Sahara    }
135173bfbcaSSatoshi Sahara
136173bfbcaSSatoshi Sahara    /**
137173bfbcaSSatoshi Sahara     * Creates a snippet extract
138173bfbcaSSatoshi Sahara     *
139173bfbcaSSatoshi Sahara     * @author Andreas Gohr <andi@splitbrain.org>
140173bfbcaSSatoshi Sahara     * @triggers FULLTEXT_SNIPPET_CREATE
141173bfbcaSSatoshi Sahara     *
142173bfbcaSSatoshi Sahara     * @param string $id page id
143173bfbcaSSatoshi Sahara     * @param array $highlight
144173bfbcaSSatoshi Sahara     * @return mixed
145173bfbcaSSatoshi Sahara     */
1469329b002SSatoshi Sahara    public function snippet($id, $highlight)
147173bfbcaSSatoshi Sahara    {
148173bfbcaSSatoshi Sahara        $text = rawWiki($id);
149173bfbcaSSatoshi Sahara        $text = str_replace("\xC2\xAD",'',$text); // remove soft-hyphens
150173bfbcaSSatoshi Sahara        $evdata = array(
151173bfbcaSSatoshi Sahara            'id'        => $id,
152173bfbcaSSatoshi Sahara            'text'      => &$text,
153173bfbcaSSatoshi Sahara            'highlight' => &$highlight,
154173bfbcaSSatoshi Sahara            'snippet'   => '',
155173bfbcaSSatoshi Sahara        );
156173bfbcaSSatoshi Sahara
157173bfbcaSSatoshi Sahara        $evt = new Event('FULLTEXT_SNIPPET_CREATE', $evdata);
158173bfbcaSSatoshi Sahara        if ($evt->advise_before()) {
159173bfbcaSSatoshi Sahara            $match = array();
160173bfbcaSSatoshi Sahara            $snippets = array();
161173bfbcaSSatoshi Sahara            $utf8_offset = $offset = $end = 0;
1620a3e25f4SSatoshi Sahara            $len = Utf8\PhpString::strlen($text);
163173bfbcaSSatoshi Sahara
164173bfbcaSSatoshi Sahara            // build a regexp from the phrases to highlight
165173bfbcaSSatoshi Sahara            $re1 = '(' .
166173bfbcaSSatoshi Sahara                join(
167173bfbcaSSatoshi Sahara                    '|',
168173bfbcaSSatoshi Sahara                    array_map(
1699329b002SSatoshi Sahara                        [$this, 'snippetRePreprocess'],
170173bfbcaSSatoshi Sahara                        array_map(
171173bfbcaSSatoshi Sahara                            'preg_quote_cb',
172173bfbcaSSatoshi Sahara                            array_filter((array) $highlight)
173173bfbcaSSatoshi Sahara                        )
174173bfbcaSSatoshi Sahara                    )
175173bfbcaSSatoshi Sahara                ) .
176173bfbcaSSatoshi Sahara                ')';
177173bfbcaSSatoshi Sahara            $re2 = "$re1.{0,75}(?!\\1)$re1";
178173bfbcaSSatoshi Sahara            $re3 = "$re1.{0,45}(?!\\1)$re1.{0,45}(?!\\1)(?!\\2)$re1";
179173bfbcaSSatoshi Sahara
180173bfbcaSSatoshi Sahara            for ($cnt=4; $cnt--;) {
181173bfbcaSSatoshi Sahara                if (0) {
182173bfbcaSSatoshi Sahara                } elseif (preg_match('/'.$re3.'/iu', $text, $match, PREG_OFFSET_CAPTURE, $offset)) {
183173bfbcaSSatoshi Sahara                } elseif (preg_match('/'.$re2.'/iu', $text, $match, PREG_OFFSET_CAPTURE, $offset)) {
184173bfbcaSSatoshi Sahara                } elseif (preg_match('/'.$re1.'/iu', $text, $match, PREG_OFFSET_CAPTURE, $offset)) {
185173bfbcaSSatoshi Sahara                } else {
186173bfbcaSSatoshi Sahara                    break;
187173bfbcaSSatoshi Sahara                }
188173bfbcaSSatoshi Sahara
189173bfbcaSSatoshi Sahara                list($str, $idx) = $match[0];
190173bfbcaSSatoshi Sahara
191173bfbcaSSatoshi Sahara                // convert $idx (a byte offset) into a utf8 character offset
1920a3e25f4SSatoshi Sahara                $utf8_idx = Utf8\PhpString::strlen(substr($text, 0, $idx));
1930a3e25f4SSatoshi Sahara                $utf8_len = Utf8\PhpString::strlen($str);
194173bfbcaSSatoshi Sahara
195173bfbcaSSatoshi Sahara                // establish context, 100 bytes surrounding the match string
196173bfbcaSSatoshi Sahara                // first look to see if we can go 100 either side,
197173bfbcaSSatoshi Sahara                // then drop to 50 adding any excess if the other side can't go to 50,
198173bfbcaSSatoshi Sahara                $pre = min($utf8_idx - $utf8_offset, 100);
199173bfbcaSSatoshi Sahara                $post = min($len - $utf8_idx - $utf8_len, 100);
200173bfbcaSSatoshi Sahara
201173bfbcaSSatoshi Sahara                if ($pre > 50 && $post > 50) {
202173bfbcaSSatoshi Sahara                    $pre = $post = 50;
203173bfbcaSSatoshi Sahara                } elseif ($pre > 50) {
204173bfbcaSSatoshi Sahara                    $pre = min($pre, 100 - $post);
205173bfbcaSSatoshi Sahara                } elseif ($post > 50) {
206173bfbcaSSatoshi Sahara                    $post = min($post, 100 - $pre);
207173bfbcaSSatoshi Sahara                } elseif ($offset == 0) {
208173bfbcaSSatoshi Sahara                    // both are less than 50, means the context is the whole string
209173bfbcaSSatoshi Sahara                    // make it so and break out of this loop - there is no need for the
210173bfbcaSSatoshi Sahara                    // complex snippet calculations
211173bfbcaSSatoshi Sahara                    $snippets = array($text);
212173bfbcaSSatoshi Sahara                    break;
213173bfbcaSSatoshi Sahara                }
214173bfbcaSSatoshi Sahara
215173bfbcaSSatoshi Sahara                // establish context start and end points, try to append to previous
216173bfbcaSSatoshi Sahara                // context if possible
217173bfbcaSSatoshi Sahara                $start = $utf8_idx - $pre;
218173bfbcaSSatoshi Sahara                $append = ($start < $end) ? $end : false;  // still the end of the previous context snippet
219173bfbcaSSatoshi Sahara                $end = $utf8_idx + $utf8_len + $post;      // now set it to the end of this context
220173bfbcaSSatoshi Sahara
221173bfbcaSSatoshi Sahara                if ($append) {
2220a3e25f4SSatoshi Sahara                    $snippets[count($snippets)-1] .= Utf8\PhpString::substr($text, $append, $end-$append);
223173bfbcaSSatoshi Sahara                } else {
2240a3e25f4SSatoshi Sahara                    $snippets[] = Utf8\PhpString::substr($text, $start, $end-$start);
225173bfbcaSSatoshi Sahara                }
226173bfbcaSSatoshi Sahara
227173bfbcaSSatoshi Sahara                // set $offset for next match attempt
228173bfbcaSSatoshi Sahara                // continue matching after the current match
229173bfbcaSSatoshi Sahara                // if the current match is not the longest possible match starting at the current offset
230173bfbcaSSatoshi Sahara                // this prevents further matching of this snippet but for possible matches of length
231173bfbcaSSatoshi Sahara                // smaller than match length + context (at least 50 characters) this match is part of the context
232173bfbcaSSatoshi Sahara                $utf8_offset = $utf8_idx + $utf8_len;
2330a3e25f4SSatoshi Sahara                $offset = $idx + strlen(Utf8\PhpString::substr($text, $utf8_idx, $utf8_len));
2340a3e25f4SSatoshi Sahara                $offset = Utf8\Clean::correctIdx($text, $offset);
235173bfbcaSSatoshi Sahara            }
236173bfbcaSSatoshi Sahara
237173bfbcaSSatoshi Sahara            $m = "\1";
238173bfbcaSSatoshi Sahara            $snippets = preg_replace('/'.$re1.'/iu', $m.'$1'.$m, $snippets);
239173bfbcaSSatoshi Sahara            $snippet = preg_replace(
240173bfbcaSSatoshi Sahara                '/' . $m . '([^' . $m . ']*?)' . $m . '/iu',
241173bfbcaSSatoshi Sahara                '<strong class="search_hit">$1</strong>',
242173bfbcaSSatoshi Sahara                hsc(join('... ', $snippets))
243173bfbcaSSatoshi Sahara            );
244173bfbcaSSatoshi Sahara
245173bfbcaSSatoshi Sahara            $evdata['snippet'] = $snippet;
246173bfbcaSSatoshi Sahara        }
247173bfbcaSSatoshi Sahara        $evt->advise_after();
248173bfbcaSSatoshi Sahara        unset($evt);
249173bfbcaSSatoshi Sahara
250173bfbcaSSatoshi Sahara        return $evdata['snippet'];
251173bfbcaSSatoshi Sahara    }
252173bfbcaSSatoshi Sahara
253173bfbcaSSatoshi Sahara    /**
254173bfbcaSSatoshi Sahara     * Wraps a search term in regex boundary checks.
255173bfbcaSSatoshi Sahara     *
256173bfbcaSSatoshi Sahara     * @param string $term
257173bfbcaSSatoshi Sahara     * @return string
258173bfbcaSSatoshi Sahara     */
2599329b002SSatoshi Sahara    public function snippetRePreprocess($term)
260173bfbcaSSatoshi Sahara    {
261173bfbcaSSatoshi Sahara        // do not process asian terms where word boundaries are not explicit
2620a3e25f4SSatoshi Sahara        if (Utf8\Asian::isAsianWords($term)) return $term;
263173bfbcaSSatoshi Sahara
264173bfbcaSSatoshi Sahara        if (UTF8_PROPERTYSUPPORT) {
265173bfbcaSSatoshi Sahara            // unicode word boundaries
266173bfbcaSSatoshi Sahara            // see http://stackoverflow.com/a/2449017/172068
267173bfbcaSSatoshi Sahara            $BL = '(?<!\pL)';
268173bfbcaSSatoshi Sahara            $BR = '(?!\pL)';
269173bfbcaSSatoshi Sahara        } else {
270173bfbcaSSatoshi Sahara            // not as correct as above, but at least won't break
271173bfbcaSSatoshi Sahara            $BL = '\b';
272173bfbcaSSatoshi Sahara            $BR = '\b';
273173bfbcaSSatoshi Sahara        }
274173bfbcaSSatoshi Sahara
275173bfbcaSSatoshi Sahara        if (substr($term, 0, 2) == '\\*') {
276173bfbcaSSatoshi Sahara            $term = substr($term, 2);
277173bfbcaSSatoshi Sahara        } else {
278173bfbcaSSatoshi Sahara            $term = $BL.$term;
279173bfbcaSSatoshi Sahara        }
280173bfbcaSSatoshi Sahara
281173bfbcaSSatoshi Sahara        if (substr($term, -2, 2) == '\\*') {
282173bfbcaSSatoshi Sahara            $term = substr($term, 0, -2);
283173bfbcaSSatoshi Sahara        } else {
284173bfbcaSSatoshi Sahara            $term = $term.$BR;
285173bfbcaSSatoshi Sahara        }
286173bfbcaSSatoshi Sahara
287173bfbcaSSatoshi Sahara        if ($term == $BL || $term == $BR || $term == $BL.$BR) {
288173bfbcaSSatoshi Sahara            $term = '';
289173bfbcaSSatoshi Sahara        }
290173bfbcaSSatoshi Sahara        return $term;
291173bfbcaSSatoshi Sahara    }
292173bfbcaSSatoshi Sahara}
293