xref: /dokuwiki/inc/Search/FulltextSearch.php (revision 1148921de6af6909f19cb5b30b698d0f27d7751e)
1173bfbcaSSatoshi Sahara<?php
246b83514SSatoshi Sahara
3173bfbcaSSatoshi Saharanamespace dokuwiki\Search;
4173bfbcaSSatoshi Sahara
5173bfbcaSSatoshi Saharause dokuwiki\Extension\Event;
66734bb8cSAndreas Gohruse dokuwiki\Search\Collection\CollectionSearch;
70b1bbbbbSAndreas Gohruse dokuwiki\Search\Collection\PageFulltextCollection;
80b1bbbbbSAndreas Gohruse dokuwiki\Search\Query\QueryEvaluator;
90b1bbbbbSAndreas Gohruse dokuwiki\Search\Query\QueryParser;
10c31af4f3SSatoshi Saharause dokuwiki\Utf8;
11173bfbcaSSatoshi Sahara
120cba610bSSatoshi Sahara/**
130b1bbbbbSAndreas Gohr * DokuWiki Fulltext Search
14173bfbcaSSatoshi Sahara *
15173bfbcaSSatoshi Sahara * @license    GPL 2 (http://www.gnu.org/licenses/gpl.html)
16173bfbcaSSatoshi Sahara * @author     Andreas Gohr <andi@splitbrain.org>
17173bfbcaSSatoshi Sahara */
18173bfbcaSSatoshi Saharaclass FulltextSearch
19173bfbcaSSatoshi Sahara{
200b1bbbbbSAndreas Gohr    /** @var int Maximum number of results to generate snippets for */
210b1bbbbbSAndreas Gohr    protected int $maxSnippets = 15;
220b1bbbbbSAndreas Gohr
230b1bbbbbSAndreas Gohr    /**
240b1bbbbbSAndreas Gohr     * @return int
250b1bbbbbSAndreas Gohr     */
260b1bbbbbSAndreas Gohr    public function getMaxSnippets(): int
270b1bbbbbSAndreas Gohr    {
280b1bbbbbSAndreas Gohr        return $this->maxSnippets;
290b1bbbbbSAndreas Gohr    }
300b1bbbbbSAndreas Gohr
310b1bbbbbSAndreas Gohr    /**
320b1bbbbbSAndreas Gohr     * @param int $maxSnippets
330b1bbbbbSAndreas Gohr     */
340b1bbbbbSAndreas Gohr    public function setMaxSnippets(int $maxSnippets): void
350b1bbbbbSAndreas Gohr    {
360b1bbbbbSAndreas Gohr        $this->maxSnippets = $maxSnippets;
370b1bbbbbSAndreas Gohr    }
380b1bbbbbSAndreas Gohr
39173bfbcaSSatoshi Sahara    /**
40173bfbcaSSatoshi Sahara     * The fulltext search
41173bfbcaSSatoshi Sahara     *
42173bfbcaSSatoshi Sahara     * Returns a list of matching documents for the given query
43173bfbcaSSatoshi Sahara     *
440b1bbbbbSAndreas Gohr     * @triggers SEARCH_QUERY_FULLPAGE
45173bfbcaSSatoshi Sahara     *
460b1bbbbbSAndreas Gohr     * @param string     $query   the search query string
470b1bbbbbSAndreas Gohr     * @param array      $highlight  will be filled with terms to highlight
480b1bbbbbSAndreas Gohr     * @param string     $sort    sort mode: 'hits' (default) or 'mtime'
49173bfbcaSSatoshi Sahara     * @param int|string $after   only show results with mtime after this date,
500b1bbbbbSAndreas Gohr     *                            accepts timestamp or strtotime arguments
51173bfbcaSSatoshi Sahara     * @param int|string $before  only show results with mtime before this date,
520b1bbbbbSAndreas Gohr     *                            accepts timestamp or strtotime arguments
53173bfbcaSSatoshi Sahara     *
540b1bbbbbSAndreas Gohr     * @return array matching documents as pageid => score
55173bfbcaSSatoshi Sahara     */
569329b002SSatoshi Sahara    public function pageSearch($query, &$highlight, $sort = null, $after = null, $before = null)
57173bfbcaSSatoshi Sahara    {
58173bfbcaSSatoshi Sahara        if ($sort === null) {
59173bfbcaSSatoshi Sahara            $sort = 'hits';
60173bfbcaSSatoshi Sahara        }
61173bfbcaSSatoshi Sahara        $data = [
62173bfbcaSSatoshi Sahara            'query' => $query,
63173bfbcaSSatoshi Sahara            'sort' => $sort,
64173bfbcaSSatoshi Sahara            'after' => $after,
65173bfbcaSSatoshi Sahara            'before' => $before
66173bfbcaSSatoshi Sahara        ];
67173bfbcaSSatoshi Sahara        $data['highlight'] =& $highlight;
689329b002SSatoshi Sahara        $action = [$this, 'pageSearchCallBack'];
69173bfbcaSSatoshi Sahara        return Event::createAndTrigger('SEARCH_QUERY_FULLPAGE', $data, $action);
70173bfbcaSSatoshi Sahara    }
71173bfbcaSSatoshi Sahara
72173bfbcaSSatoshi Sahara    /**
73173bfbcaSSatoshi Sahara     * Returns a list of matching documents for the given query
74173bfbcaSSatoshi Sahara     *
75173bfbcaSSatoshi Sahara     * @author Andreas Gohr <andi@splitbrain.org>
76173bfbcaSSatoshi Sahara     * @author Kazutaka Miyasaka <kazmiya@gmail.com>
77173bfbcaSSatoshi Sahara     *
78173bfbcaSSatoshi Sahara     * @param array $data  event data
790b1bbbbbSAndreas Gohr     * @return array       matching documents as pageid => score
80173bfbcaSSatoshi Sahara     */
819329b002SSatoshi Sahara    public function pageSearchCallBack(&$data)
82173bfbcaSSatoshi Sahara    {
83173bfbcaSSatoshi Sahara        // parse the given query
849329b002SSatoshi Sahara        $q = (new QueryParser)->convert($data['query']);
85173bfbcaSSatoshi Sahara        $data['highlight'] = $q['highlight'];
86173bfbcaSSatoshi Sahara
870b1bbbbbSAndreas Gohr        if (empty($q['parsed_ary'])) return [];
88173bfbcaSSatoshi Sahara
896734bb8cSAndreas Gohr        // look up all words via CollectionSearch
900b1bbbbbSAndreas Gohr        $collection = new PageFulltextCollection();
916734bb8cSAndreas Gohr        $search = new CollectionSearch($collection);
920b1bbbbbSAndreas Gohr        foreach ($q['words'] as $word) {
93*1148921dSAndreas Gohr            if (!Tokenizer::isValidSearchTerm($word)) continue;
940b1bbbbbSAndreas Gohr            $search->addTerm($word);
950b1bbbbbSAndreas Gohr        }
960b1bbbbbSAndreas Gohr        $terms = $search->execute();
97173bfbcaSSatoshi Sahara
980b1bbbbbSAndreas Gohr        // evaluate the query
990b1bbbbbSAndreas Gohr        $evaluator = new QueryEvaluator($q['parsed_ary'], $terms);
1000b1bbbbbSAndreas Gohr        $docs = $evaluator->evaluate();
101173bfbcaSSatoshi Sahara
1020b1bbbbbSAndreas Gohr        if (empty($docs)) return [];
103173bfbcaSSatoshi Sahara
1046734bb8cSAndreas Gohr        // filter by visibility, acls, existence, and time range
1056734bb8cSAndreas Gohr        $docs = MetadataSearch::filterPages($docs, false, $data['after'], $data['before']);
106173bfbcaSSatoshi Sahara
107173bfbcaSSatoshi Sahara        if ($data['sort'] === 'mtime') {
1080b1bbbbbSAndreas Gohr            uksort($docs, static function ($a, $b) {
1090b1bbbbbSAndreas Gohr                return filemtime(wikiFN($b)) - filemtime(wikiFN($a));
1100b1bbbbbSAndreas Gohr            });
111173bfbcaSSatoshi Sahara        } else {
112173bfbcaSSatoshi Sahara            arsort($docs);
113173bfbcaSSatoshi Sahara        }
114173bfbcaSSatoshi Sahara
115173bfbcaSSatoshi Sahara        return $docs;
116173bfbcaSSatoshi Sahara    }
117173bfbcaSSatoshi Sahara
118173bfbcaSSatoshi Sahara    /**
119173bfbcaSSatoshi Sahara     * Creates a snippet extract
120173bfbcaSSatoshi Sahara     *
121173bfbcaSSatoshi Sahara     * @author Andreas Gohr <andi@splitbrain.org>
122173bfbcaSSatoshi Sahara     * @triggers FULLTEXT_SNIPPET_CREATE
123173bfbcaSSatoshi Sahara     *
124173bfbcaSSatoshi Sahara     * @param string $id page id
125173bfbcaSSatoshi Sahara     * @param array $highlight
126173bfbcaSSatoshi Sahara     * @return mixed
127173bfbcaSSatoshi Sahara     */
1289329b002SSatoshi Sahara    public function snippet($id, $highlight)
129173bfbcaSSatoshi Sahara    {
130173bfbcaSSatoshi Sahara        $text = rawWiki($id);
131173bfbcaSSatoshi Sahara        $text = str_replace("\xC2\xAD",'',$text); // remove soft-hyphens
132173bfbcaSSatoshi Sahara        $evdata = array(
133173bfbcaSSatoshi Sahara            'id'        => $id,
134173bfbcaSSatoshi Sahara            'text'      => &$text,
135173bfbcaSSatoshi Sahara            'highlight' => &$highlight,
136173bfbcaSSatoshi Sahara            'snippet'   => '',
137173bfbcaSSatoshi Sahara        );
138173bfbcaSSatoshi Sahara
139173bfbcaSSatoshi Sahara        $evt = new Event('FULLTEXT_SNIPPET_CREATE', $evdata);
140173bfbcaSSatoshi Sahara        if ($evt->advise_before()) {
141173bfbcaSSatoshi Sahara            $match = array();
142173bfbcaSSatoshi Sahara            $snippets = array();
143173bfbcaSSatoshi Sahara            $utf8_offset = $offset = $end = 0;
1440a3e25f4SSatoshi Sahara            $len = Utf8\PhpString::strlen($text);
145173bfbcaSSatoshi Sahara
146173bfbcaSSatoshi Sahara            // build a regexp from the phrases to highlight
147173bfbcaSSatoshi Sahara            $re1 = '(' .
148173bfbcaSSatoshi Sahara                join(
149173bfbcaSSatoshi Sahara                    '|',
150173bfbcaSSatoshi Sahara                    array_map(
1519329b002SSatoshi Sahara                        [$this, 'snippetRePreprocess'],
152173bfbcaSSatoshi Sahara                        array_map(
153173bfbcaSSatoshi Sahara                            'preg_quote_cb',
154173bfbcaSSatoshi Sahara                            array_filter((array) $highlight)
155173bfbcaSSatoshi Sahara                        )
156173bfbcaSSatoshi Sahara                    )
157173bfbcaSSatoshi Sahara                ) .
158173bfbcaSSatoshi Sahara                ')';
159173bfbcaSSatoshi Sahara            $re2 = "$re1.{0,75}(?!\\1)$re1";
160173bfbcaSSatoshi Sahara            $re3 = "$re1.{0,45}(?!\\1)$re1.{0,45}(?!\\1)(?!\\2)$re1";
161173bfbcaSSatoshi Sahara
162173bfbcaSSatoshi Sahara            for ($cnt=4; $cnt--;) {
163173bfbcaSSatoshi Sahara                if (0) {
164173bfbcaSSatoshi Sahara                } elseif (preg_match('/'.$re3.'/iu', $text, $match, PREG_OFFSET_CAPTURE, $offset)) {
165173bfbcaSSatoshi Sahara                } elseif (preg_match('/'.$re2.'/iu', $text, $match, PREG_OFFSET_CAPTURE, $offset)) {
166173bfbcaSSatoshi Sahara                } elseif (preg_match('/'.$re1.'/iu', $text, $match, PREG_OFFSET_CAPTURE, $offset)) {
167173bfbcaSSatoshi Sahara                } else {
168173bfbcaSSatoshi Sahara                    break;
169173bfbcaSSatoshi Sahara                }
170173bfbcaSSatoshi Sahara
171173bfbcaSSatoshi Sahara                list($str, $idx) = $match[0];
172173bfbcaSSatoshi Sahara
173173bfbcaSSatoshi Sahara                // convert $idx (a byte offset) into a utf8 character offset
1740a3e25f4SSatoshi Sahara                $utf8_idx = Utf8\PhpString::strlen(substr($text, 0, $idx));
1750a3e25f4SSatoshi Sahara                $utf8_len = Utf8\PhpString::strlen($str);
176173bfbcaSSatoshi Sahara
177173bfbcaSSatoshi Sahara                // establish context, 100 bytes surrounding the match string
178173bfbcaSSatoshi Sahara                // first look to see if we can go 100 either side,
179173bfbcaSSatoshi Sahara                // then drop to 50 adding any excess if the other side can't go to 50,
180173bfbcaSSatoshi Sahara                $pre = min($utf8_idx - $utf8_offset, 100);
181173bfbcaSSatoshi Sahara                $post = min($len - $utf8_idx - $utf8_len, 100);
182173bfbcaSSatoshi Sahara
183173bfbcaSSatoshi Sahara                if ($pre > 50 && $post > 50) {
184173bfbcaSSatoshi Sahara                    $pre = $post = 50;
185173bfbcaSSatoshi Sahara                } elseif ($pre > 50) {
186173bfbcaSSatoshi Sahara                    $pre = min($pre, 100 - $post);
187173bfbcaSSatoshi Sahara                } elseif ($post > 50) {
188173bfbcaSSatoshi Sahara                    $post = min($post, 100 - $pre);
189173bfbcaSSatoshi Sahara                } elseif ($offset == 0) {
190173bfbcaSSatoshi Sahara                    // both are less than 50, means the context is the whole string
191173bfbcaSSatoshi Sahara                    // make it so and break out of this loop - there is no need for the
192173bfbcaSSatoshi Sahara                    // complex snippet calculations
193173bfbcaSSatoshi Sahara                    $snippets = array($text);
194173bfbcaSSatoshi Sahara                    break;
195173bfbcaSSatoshi Sahara                }
196173bfbcaSSatoshi Sahara
197173bfbcaSSatoshi Sahara                // establish context start and end points, try to append to previous
198173bfbcaSSatoshi Sahara                // context if possible
199173bfbcaSSatoshi Sahara                $start = $utf8_idx - $pre;
200173bfbcaSSatoshi Sahara                $append = ($start < $end) ? $end : false;  // still the end of the previous context snippet
201173bfbcaSSatoshi Sahara                $end = $utf8_idx + $utf8_len + $post;      // now set it to the end of this context
202173bfbcaSSatoshi Sahara
203173bfbcaSSatoshi Sahara                if ($append) {
2040a3e25f4SSatoshi Sahara                    $snippets[count($snippets)-1] .= Utf8\PhpString::substr($text, $append, $end-$append);
205173bfbcaSSatoshi Sahara                } else {
2060a3e25f4SSatoshi Sahara                    $snippets[] = Utf8\PhpString::substr($text, $start, $end-$start);
207173bfbcaSSatoshi Sahara                }
208173bfbcaSSatoshi Sahara
209173bfbcaSSatoshi Sahara                // set $offset for next match attempt
210173bfbcaSSatoshi Sahara                // continue matching after the current match
211173bfbcaSSatoshi Sahara                // if the current match is not the longest possible match starting at the current offset
212173bfbcaSSatoshi Sahara                // this prevents further matching of this snippet but for possible matches of length
213173bfbcaSSatoshi Sahara                // smaller than match length + context (at least 50 characters) this match is part of the context
214173bfbcaSSatoshi Sahara                $utf8_offset = $utf8_idx + $utf8_len;
2150a3e25f4SSatoshi Sahara                $offset = $idx + strlen(Utf8\PhpString::substr($text, $utf8_idx, $utf8_len));
2160a3e25f4SSatoshi Sahara                $offset = Utf8\Clean::correctIdx($text, $offset);
217173bfbcaSSatoshi Sahara            }
218173bfbcaSSatoshi Sahara
219173bfbcaSSatoshi Sahara            $m = "\1";
220173bfbcaSSatoshi Sahara            $snippets = preg_replace('/'.$re1.'/iu', $m.'$1'.$m, $snippets);
221173bfbcaSSatoshi Sahara            $snippet = preg_replace(
222173bfbcaSSatoshi Sahara                '/' . $m . '([^' . $m . ']*?)' . $m . '/iu',
223173bfbcaSSatoshi Sahara                '<strong class="search_hit">$1</strong>',
224173bfbcaSSatoshi Sahara                hsc(join('... ', $snippets))
225173bfbcaSSatoshi Sahara            );
226173bfbcaSSatoshi Sahara
227173bfbcaSSatoshi Sahara            $evdata['snippet'] = $snippet;
228173bfbcaSSatoshi Sahara        }
229173bfbcaSSatoshi Sahara        $evt->advise_after();
230173bfbcaSSatoshi Sahara        unset($evt);
231173bfbcaSSatoshi Sahara
232173bfbcaSSatoshi Sahara        return $evdata['snippet'];
233173bfbcaSSatoshi Sahara    }
234173bfbcaSSatoshi Sahara
235173bfbcaSSatoshi Sahara    /**
236173bfbcaSSatoshi Sahara     * Wraps a search term in regex boundary checks.
237173bfbcaSSatoshi Sahara     *
238173bfbcaSSatoshi Sahara     * @param string $term
239173bfbcaSSatoshi Sahara     * @return string
240173bfbcaSSatoshi Sahara     */
2419329b002SSatoshi Sahara    public function snippetRePreprocess($term)
242173bfbcaSSatoshi Sahara    {
243173bfbcaSSatoshi Sahara        // do not process asian terms where word boundaries are not explicit
2440a3e25f4SSatoshi Sahara        if (Utf8\Asian::isAsianWords($term)) return $term;
245173bfbcaSSatoshi Sahara
246173bfbcaSSatoshi Sahara        if (UTF8_PROPERTYSUPPORT) {
247173bfbcaSSatoshi Sahara            // unicode word boundaries
248173bfbcaSSatoshi Sahara            // see http://stackoverflow.com/a/2449017/172068
249173bfbcaSSatoshi Sahara            $BL = '(?<!\pL)';
250173bfbcaSSatoshi Sahara            $BR = '(?!\pL)';
251173bfbcaSSatoshi Sahara        } else {
252173bfbcaSSatoshi Sahara            // not as correct as above, but at least won't break
253173bfbcaSSatoshi Sahara            $BL = '\b';
254173bfbcaSSatoshi Sahara            $BR = '\b';
255173bfbcaSSatoshi Sahara        }
256173bfbcaSSatoshi Sahara
257173bfbcaSSatoshi Sahara        if (substr($term, 0, 2) == '\\*') {
258173bfbcaSSatoshi Sahara            $term = substr($term, 2);
259173bfbcaSSatoshi Sahara        } else {
260173bfbcaSSatoshi Sahara            $term = $BL.$term;
261173bfbcaSSatoshi Sahara        }
262173bfbcaSSatoshi Sahara
263173bfbcaSSatoshi Sahara        if (substr($term, -2, 2) == '\\*') {
264173bfbcaSSatoshi Sahara            $term = substr($term, 0, -2);
265173bfbcaSSatoshi Sahara        } else {
266173bfbcaSSatoshi Sahara            $term = $term.$BR;
267173bfbcaSSatoshi Sahara        }
268173bfbcaSSatoshi Sahara
269173bfbcaSSatoshi Sahara        if ($term == $BL || $term == $BR || $term == $BL.$BR) {
270173bfbcaSSatoshi Sahara            $term = '';
271173bfbcaSSatoshi Sahara        }
272173bfbcaSSatoshi Sahara        return $term;
273173bfbcaSSatoshi Sahara    }
274173bfbcaSSatoshi Sahara}
275