xref: /dokuwiki/inc/Search/FulltextSearch.php (revision 8788dbbd585b42284320d64cc932f3c875eab6b2)
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;
109369b4a9SAndreas Gohruse dokuwiki\Utf8\Asian;
119369b4a9SAndreas Gohruse dokuwiki\Utf8\Clean;
129369b4a9SAndreas Gohruse dokuwiki\Utf8\PhpString;
13173bfbcaSSatoshi Sahara
140cba610bSSatoshi Sahara/**
150b1bbbbbSAndreas Gohr * DokuWiki Fulltext Search
16173bfbcaSSatoshi Sahara *
17173bfbcaSSatoshi Sahara * @license    GPL 2 (http://www.gnu.org/licenses/gpl.html)
18173bfbcaSSatoshi Sahara * @author     Andreas Gohr <andi@splitbrain.org>
19173bfbcaSSatoshi Sahara */
20173bfbcaSSatoshi Saharaclass FulltextSearch
21173bfbcaSSatoshi Sahara{
220b1bbbbbSAndreas Gohr    /** @var int Maximum number of results to generate snippets for */
230b1bbbbbSAndreas Gohr    protected int $maxSnippets = 15;
240b1bbbbbSAndreas Gohr
250b1bbbbbSAndreas Gohr    /**
260b1bbbbbSAndreas Gohr     * @return int
270b1bbbbbSAndreas Gohr     */
280b1bbbbbSAndreas Gohr    public function getMaxSnippets(): int
290b1bbbbbSAndreas Gohr    {
300b1bbbbbSAndreas Gohr        return $this->maxSnippets;
310b1bbbbbSAndreas Gohr    }
320b1bbbbbSAndreas Gohr
330b1bbbbbSAndreas Gohr    /**
340b1bbbbbSAndreas Gohr     * @param int $maxSnippets
350b1bbbbbSAndreas Gohr     */
360b1bbbbbSAndreas Gohr    public function setMaxSnippets(int $maxSnippets): void
370b1bbbbbSAndreas Gohr    {
380b1bbbbbSAndreas Gohr        $this->maxSnippets = $maxSnippets;
390b1bbbbbSAndreas Gohr    }
400b1bbbbbSAndreas Gohr
41173bfbcaSSatoshi Sahara    /**
42173bfbcaSSatoshi Sahara     * The fulltext search
43173bfbcaSSatoshi Sahara     *
44173bfbcaSSatoshi Sahara     * Returns a list of matching documents for the given query
45173bfbcaSSatoshi Sahara     *
460b1bbbbbSAndreas Gohr     * @triggers SEARCH_QUERY_FULLPAGE
47173bfbcaSSatoshi Sahara     *
480b1bbbbbSAndreas Gohr     * @param string $query the search query string
490b1bbbbbSAndreas Gohr     * @param array $highlight will be filled with terms to highlight
509369b4a9SAndreas Gohr     * @param string|null $sort sort mode: 'hits' (default) or 'mtime'
519369b4a9SAndreas Gohr     * @param int|string|null $after only show results with mtime after this date,
520b1bbbbbSAndreas Gohr     *                            accepts timestamp or strtotime arguments
539369b4a9SAndreas Gohr     * @param int|string|null $before only show results with mtime before this date,
540b1bbbbbSAndreas Gohr     *                            accepts timestamp or strtotime arguments
55173bfbcaSSatoshi Sahara     *
560b1bbbbbSAndreas Gohr     * @return array matching documents as pageid => score
57173bfbcaSSatoshi Sahara     */
589369b4a9SAndreas Gohr    public function pageSearch(
599369b4a9SAndreas Gohr        string $query,
609369b4a9SAndreas Gohr        array &$highlight,
619369b4a9SAndreas Gohr        ?string $sort = null,
629369b4a9SAndreas Gohr        int|string|null $after = null,
639369b4a9SAndreas Gohr        int|string|null $before = null
649369b4a9SAndreas Gohr    ): array {
65173bfbcaSSatoshi Sahara        if ($sort === null) {
66173bfbcaSSatoshi Sahara            $sort = 'hits';
67173bfbcaSSatoshi Sahara        }
68173bfbcaSSatoshi Sahara        $data = [
69173bfbcaSSatoshi Sahara            'query' => $query,
70173bfbcaSSatoshi Sahara            'sort' => $sort,
71173bfbcaSSatoshi Sahara            'after' => $after,
72173bfbcaSSatoshi Sahara            'before' => $before
73173bfbcaSSatoshi Sahara        ];
74173bfbcaSSatoshi Sahara        $data['highlight'] =& $highlight;
759369b4a9SAndreas Gohr        $action = $this->pageSearchCallBack(...);
76173bfbcaSSatoshi Sahara        return Event::createAndTrigger('SEARCH_QUERY_FULLPAGE', $data, $action);
77173bfbcaSSatoshi Sahara    }
78173bfbcaSSatoshi Sahara
79173bfbcaSSatoshi Sahara    /**
80173bfbcaSSatoshi Sahara     * Returns a list of matching documents for the given query
81173bfbcaSSatoshi Sahara     *
829369b4a9SAndreas Gohr     * @param array $data event data
839369b4a9SAndreas Gohr     * @return array       matching documents as pageid => score
84173bfbcaSSatoshi Sahara     * @author Andreas Gohr <andi@splitbrain.org>
85173bfbcaSSatoshi Sahara     * @author Kazutaka Miyasaka <kazmiya@gmail.com>
86173bfbcaSSatoshi Sahara     *
87173bfbcaSSatoshi Sahara     */
889369b4a9SAndreas Gohr    public function pageSearchCallBack(array &$data): array
89173bfbcaSSatoshi Sahara    {
90173bfbcaSSatoshi Sahara        // parse the given query
919369b4a9SAndreas Gohr        $q = (new QueryParser())->convert($data['query']);
92173bfbcaSSatoshi Sahara        $data['highlight'] = $q['highlight'];
93173bfbcaSSatoshi Sahara
940b1bbbbbSAndreas Gohr        if (empty($q['parsed_ary'])) return [];
95173bfbcaSSatoshi Sahara
966734bb8cSAndreas Gohr        // look up all words via CollectionSearch
970b1bbbbbSAndreas Gohr        $collection = new PageFulltextCollection();
986734bb8cSAndreas Gohr        $search = new CollectionSearch($collection);
990b1bbbbbSAndreas Gohr        foreach ($q['words'] as $word) {
1001148921dSAndreas Gohr            if (!Tokenizer::isValidSearchTerm($word)) continue;
1010b1bbbbbSAndreas Gohr            $search->addTerm($word);
1020b1bbbbbSAndreas Gohr        }
1030b1bbbbbSAndreas Gohr        $terms = $search->execute();
104173bfbcaSSatoshi Sahara
1050b1bbbbbSAndreas Gohr        // evaluate the query
1060b1bbbbbSAndreas Gohr        $evaluator = new QueryEvaluator($q['parsed_ary'], $terms);
1070b1bbbbbSAndreas Gohr        $docs = $evaluator->evaluate();
108173bfbcaSSatoshi Sahara
1099369b4a9SAndreas Gohr        if ($docs === []) return [];
110173bfbcaSSatoshi Sahara
1116734bb8cSAndreas Gohr        // filter by visibility, acls, existence, and time range
1126734bb8cSAndreas Gohr        $docs = MetadataSearch::filterPages($docs, false, $data['after'], $data['before']);
113173bfbcaSSatoshi Sahara
114173bfbcaSSatoshi Sahara        if ($data['sort'] === 'mtime') {
1159369b4a9SAndreas Gohr            uksort($docs, static fn($a, $b) => filemtime(wikiFN($b)) - filemtime(wikiFN($a)));
116173bfbcaSSatoshi Sahara        } else {
117173bfbcaSSatoshi Sahara            arsort($docs);
118173bfbcaSSatoshi Sahara        }
119173bfbcaSSatoshi Sahara
120173bfbcaSSatoshi Sahara        return $docs;
121173bfbcaSSatoshi Sahara    }
122173bfbcaSSatoshi Sahara
123173bfbcaSSatoshi Sahara    /**
124173bfbcaSSatoshi Sahara     * Creates a snippet extract
125173bfbcaSSatoshi Sahara     *
126173bfbcaSSatoshi Sahara     * @param string $id page id
127173bfbcaSSatoshi Sahara     * @param array $highlight
128173bfbcaSSatoshi Sahara     * @return mixed
1299369b4a9SAndreas Gohr     * @author Andreas Gohr <andi@splitbrain.org>
1309369b4a9SAndreas Gohr     * @triggers FULLTEXT_SNIPPET_CREATE
1319369b4a9SAndreas Gohr     *
132173bfbcaSSatoshi Sahara     */
1339369b4a9SAndreas Gohr    public function snippet(string $id, array $highlight): mixed
134173bfbcaSSatoshi Sahara    {
135173bfbcaSSatoshi Sahara        $text = rawWiki($id);
136*8788dbbdSsplitbrain        $text = str_replace("\xC2\xAD", '', $text);
137*8788dbbdSsplitbrain         // remove soft-hyphens
1389369b4a9SAndreas Gohr        $evdata = [
139173bfbcaSSatoshi Sahara            'id' => $id,
140173bfbcaSSatoshi Sahara            'text' => &$text,
141173bfbcaSSatoshi Sahara            'highlight' => &$highlight,
142173bfbcaSSatoshi Sahara            'snippet' => '',
1439369b4a9SAndreas Gohr        ];
144173bfbcaSSatoshi Sahara
145173bfbcaSSatoshi Sahara        $evt = new Event('FULLTEXT_SNIPPET_CREATE', $evdata);
146173bfbcaSSatoshi Sahara        if ($evt->advise_before()) {
1479369b4a9SAndreas Gohr            $match = [];
1489369b4a9SAndreas Gohr            $snippets = [];
1499369b4a9SAndreas Gohr            $utf8_offset = 0;
1509369b4a9SAndreas Gohr            $offset = 0;
1519369b4a9SAndreas Gohr            $end = 0;
1529369b4a9SAndreas Gohr            $len = PhpString::strlen($text);
153173bfbcaSSatoshi Sahara
154173bfbcaSSatoshi Sahara            // build a regexp from the phrases to highlight
155173bfbcaSSatoshi Sahara            $re1 = '(' .
1569369b4a9SAndreas Gohr                implode(
157173bfbcaSSatoshi Sahara                    '|',
158173bfbcaSSatoshi Sahara                    array_map(
1599369b4a9SAndreas Gohr                        $this->snippetRePreprocess(...),
160173bfbcaSSatoshi Sahara                        array_map(
1619369b4a9SAndreas Gohr                            preg_quote_cb(...),
1629369b4a9SAndreas Gohr                            array_filter($highlight)
163173bfbcaSSatoshi Sahara                        )
164173bfbcaSSatoshi Sahara                    )
165173bfbcaSSatoshi Sahara                ) .
166173bfbcaSSatoshi Sahara                ')';
1679369b4a9SAndreas Gohr            $re2 = "$re1.{0,75}(?!\\\\1)$re1";
1689369b4a9SAndreas Gohr            $re3 = "$re1.{0,45}(?!\\\\1)$re1.{0,45}(?!\\\\1)(?!\\\\2)$re1";
169173bfbcaSSatoshi Sahara
170173bfbcaSSatoshi Sahara            for ($cnt = 4; $cnt--;) {
171173bfbcaSSatoshi Sahara                if (0) {
172173bfbcaSSatoshi Sahara                } elseif (preg_match('/' . $re3 . '/iu', $text, $match, PREG_OFFSET_CAPTURE, $offset)) {
173173bfbcaSSatoshi Sahara                } elseif (preg_match('/' . $re2 . '/iu', $text, $match, PREG_OFFSET_CAPTURE, $offset)) {
174173bfbcaSSatoshi Sahara                } elseif (preg_match('/' . $re1 . '/iu', $text, $match, PREG_OFFSET_CAPTURE, $offset)) {
175173bfbcaSSatoshi Sahara                } else {
176173bfbcaSSatoshi Sahara                    break;
177173bfbcaSSatoshi Sahara                }
178173bfbcaSSatoshi Sahara
1799369b4a9SAndreas Gohr                [$str, $idx] = $match[0];
180173bfbcaSSatoshi Sahara
181173bfbcaSSatoshi Sahara                // convert $idx (a byte offset) into a utf8 character offset
1829369b4a9SAndreas Gohr                $utf8_idx = PhpString::strlen(substr($text, 0, $idx));
1839369b4a9SAndreas Gohr                $utf8_len = PhpString::strlen($str);
184173bfbcaSSatoshi Sahara
185173bfbcaSSatoshi Sahara                // establish context, 100 bytes surrounding the match string
186173bfbcaSSatoshi Sahara                // first look to see if we can go 100 either side,
187173bfbcaSSatoshi Sahara                // then drop to 50 adding any excess if the other side can't go to 50,
188173bfbcaSSatoshi Sahara                $pre = min($utf8_idx - $utf8_offset, 100);
189173bfbcaSSatoshi Sahara                $post = min($len - $utf8_idx - $utf8_len, 100);
190173bfbcaSSatoshi Sahara
191173bfbcaSSatoshi Sahara                if ($pre > 50 && $post > 50) {
1929369b4a9SAndreas Gohr                    $pre = 50;
1939369b4a9SAndreas Gohr                    $post = 50;
194173bfbcaSSatoshi Sahara                } elseif ($pre > 50) {
195173bfbcaSSatoshi Sahara                    $pre = min($pre, 100 - $post);
196173bfbcaSSatoshi Sahara                } elseif ($post > 50) {
197173bfbcaSSatoshi Sahara                    $post = min($post, 100 - $pre);
198173bfbcaSSatoshi Sahara                } elseif ($offset == 0) {
199173bfbcaSSatoshi Sahara                    // both are less than 50, means the context is the whole string
200173bfbcaSSatoshi Sahara                    // make it so and break out of this loop - there is no need for the
201173bfbcaSSatoshi Sahara                    // complex snippet calculations
2029369b4a9SAndreas Gohr                    $snippets = [$text];
203173bfbcaSSatoshi Sahara                    break;
204173bfbcaSSatoshi Sahara                }
205173bfbcaSSatoshi Sahara
206173bfbcaSSatoshi Sahara                // establish context start and end points, try to append to previous
207173bfbcaSSatoshi Sahara                // context if possible
208173bfbcaSSatoshi Sahara                $start = $utf8_idx - $pre;
209173bfbcaSSatoshi Sahara                $append = ($start < $end) ? $end : false;  // still the end of the previous context snippet
210173bfbcaSSatoshi Sahara                $end = $utf8_idx + $utf8_len + $post;      // now set it to the end of this context
211173bfbcaSSatoshi Sahara
212173bfbcaSSatoshi Sahara                if ($append) {
2139369b4a9SAndreas Gohr                    $snippets[count($snippets) - 1] .= PhpString::substr($text, $append, $end - $append);
214173bfbcaSSatoshi Sahara                } else {
2159369b4a9SAndreas Gohr                    $snippets[] = PhpString::substr($text, $start, $end - $start);
216173bfbcaSSatoshi Sahara                }
217173bfbcaSSatoshi Sahara
218173bfbcaSSatoshi Sahara                // set $offset for next match attempt
219173bfbcaSSatoshi Sahara                // continue matching after the current match
220173bfbcaSSatoshi Sahara                // if the current match is not the longest possible match starting at the current offset
221173bfbcaSSatoshi Sahara                // this prevents further matching of this snippet but for possible matches of length
222173bfbcaSSatoshi Sahara                // smaller than match length + context (at least 50 characters) this match is part of the context
223173bfbcaSSatoshi Sahara                $utf8_offset = $utf8_idx + $utf8_len;
2249369b4a9SAndreas Gohr                $offset = $idx + strlen(PhpString::substr($text, $utf8_idx, $utf8_len));
2259369b4a9SAndreas Gohr                $offset = Clean::correctIdx($text, $offset);
226173bfbcaSSatoshi Sahara            }
227173bfbcaSSatoshi Sahara
228173bfbcaSSatoshi Sahara            $m = "\1";
229173bfbcaSSatoshi Sahara            $snippets = preg_replace('/' . $re1 . '/iu', $m . '$1' . $m, $snippets);
230173bfbcaSSatoshi Sahara            $snippet = preg_replace(
231173bfbcaSSatoshi Sahara                '/' . $m . '([^' . $m . ']*?)' . $m . '/iu',
232173bfbcaSSatoshi Sahara                '<strong class="search_hit">$1</strong>',
2339369b4a9SAndreas Gohr                hsc(implode('... ', $snippets))
234173bfbcaSSatoshi Sahara            );
235173bfbcaSSatoshi Sahara
236173bfbcaSSatoshi Sahara            $evdata['snippet'] = $snippet;
237173bfbcaSSatoshi Sahara        }
238173bfbcaSSatoshi Sahara        $evt->advise_after();
239173bfbcaSSatoshi Sahara        unset($evt);
240173bfbcaSSatoshi Sahara
241173bfbcaSSatoshi Sahara        return $evdata['snippet'];
242173bfbcaSSatoshi Sahara    }
243173bfbcaSSatoshi Sahara
244173bfbcaSSatoshi Sahara    /**
245173bfbcaSSatoshi Sahara     * Wraps a search term in regex boundary checks.
246173bfbcaSSatoshi Sahara     *
247173bfbcaSSatoshi Sahara     * @param string $term
248173bfbcaSSatoshi Sahara     * @return string
249173bfbcaSSatoshi Sahara     */
2509369b4a9SAndreas Gohr    public function snippetRePreprocess(string $term): string
251173bfbcaSSatoshi Sahara    {
252173bfbcaSSatoshi Sahara        // do not process asian terms where word boundaries are not explicit
2539369b4a9SAndreas Gohr        if (Asian::isAsianWords($term)) return $term;
254173bfbcaSSatoshi Sahara
255173bfbcaSSatoshi Sahara        if (UTF8_PROPERTYSUPPORT) {
256173bfbcaSSatoshi Sahara            // unicode word boundaries
257173bfbcaSSatoshi Sahara            // see http://stackoverflow.com/a/2449017/172068
258173bfbcaSSatoshi Sahara            $BL = '(?<!\pL)';
259173bfbcaSSatoshi Sahara            $BR = '(?!\pL)';
260173bfbcaSSatoshi Sahara        } else {
261173bfbcaSSatoshi Sahara            // not as correct as above, but at least won't break
262173bfbcaSSatoshi Sahara            $BL = '\b';
263173bfbcaSSatoshi Sahara            $BR = '\b';
264173bfbcaSSatoshi Sahara        }
265173bfbcaSSatoshi Sahara
2669369b4a9SAndreas Gohr        if (str_starts_with($term, '\\*')) {
267173bfbcaSSatoshi Sahara            $term = substr($term, 2);
268173bfbcaSSatoshi Sahara        } else {
269173bfbcaSSatoshi Sahara            $term = $BL . $term;
270173bfbcaSSatoshi Sahara        }
271173bfbcaSSatoshi Sahara
2729369b4a9SAndreas Gohr        if (str_ends_with($term, '\\*')) {
273173bfbcaSSatoshi Sahara            $term = substr($term, 0, -2);
274173bfbcaSSatoshi Sahara        } else {
2759369b4a9SAndreas Gohr            $term .= $BR;
276173bfbcaSSatoshi Sahara        }
277173bfbcaSSatoshi Sahara
278*8788dbbdSsplitbrain        if (in_array($term, [$BL, $BR, $BL . $BR], true)) {
279173bfbcaSSatoshi Sahara            $term = '';
280173bfbcaSSatoshi Sahara        }
281173bfbcaSSatoshi Sahara        return $term;
282173bfbcaSSatoshi Sahara    }
283173bfbcaSSatoshi Sahara}
284