xref: /dokuwiki/inc/Search/FulltextSearch.php (revision 6734bb8cef71e8b4af23e627d4db5430304d55a2)
1173bfbcaSSatoshi Sahara<?php
246b83514SSatoshi Sahara
3173bfbcaSSatoshi Saharanamespace dokuwiki\Search;
4173bfbcaSSatoshi Sahara
5173bfbcaSSatoshi Saharause dokuwiki\Extension\Event;
6*6734bb8cSAndreas Gohruse dokuwiki\Search\Collection\CollectionSearch;
70b1bbbbbSAndreas Gohruse dokuwiki\Search\Collection\PageFulltextCollection;
80b1bbbbbSAndreas Gohruse dokuwiki\Search\Exception\SearchException;
90b1bbbbbSAndreas Gohruse dokuwiki\Search\Query\QueryEvaluator;
100b1bbbbbSAndreas Gohruse dokuwiki\Search\Query\QueryParser;
11c31af4f3SSatoshi Saharause dokuwiki\Utf8;
12173bfbcaSSatoshi Sahara
130cba610bSSatoshi Sahara/**
140b1bbbbbSAndreas 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{
210b1bbbbbSAndreas Gohr    /** @var int Maximum number of results to generate snippets for */
220b1bbbbbSAndreas Gohr    protected int $maxSnippets = 15;
230b1bbbbbSAndreas Gohr
240b1bbbbbSAndreas Gohr    /**
250b1bbbbbSAndreas Gohr     * @return int
260b1bbbbbSAndreas Gohr     */
270b1bbbbbSAndreas Gohr    public function getMaxSnippets(): int
280b1bbbbbSAndreas Gohr    {
290b1bbbbbSAndreas Gohr        return $this->maxSnippets;
300b1bbbbbSAndreas Gohr    }
310b1bbbbbSAndreas Gohr
320b1bbbbbSAndreas Gohr    /**
330b1bbbbbSAndreas Gohr     * @param int $maxSnippets
340b1bbbbbSAndreas Gohr     */
350b1bbbbbSAndreas Gohr    public function setMaxSnippets(int $maxSnippets): void
360b1bbbbbSAndreas Gohr    {
370b1bbbbbSAndreas Gohr        $this->maxSnippets = $maxSnippets;
380b1bbbbbSAndreas Gohr    }
390b1bbbbbSAndreas Gohr
40173bfbcaSSatoshi Sahara    /**
41173bfbcaSSatoshi Sahara     * The fulltext search
42173bfbcaSSatoshi Sahara     *
43173bfbcaSSatoshi Sahara     * Returns a list of matching documents for the given query
44173bfbcaSSatoshi Sahara     *
450b1bbbbbSAndreas Gohr     * @triggers SEARCH_QUERY_FULLPAGE
46173bfbcaSSatoshi Sahara     *
470b1bbbbbSAndreas Gohr     * @param string     $query   the search query string
480b1bbbbbSAndreas Gohr     * @param array      $highlight  will be filled with terms to highlight
490b1bbbbbSAndreas Gohr     * @param string     $sort    sort mode: 'hits' (default) or 'mtime'
50173bfbcaSSatoshi Sahara     * @param int|string $after   only show results with mtime after this date,
510b1bbbbbSAndreas Gohr     *                            accepts timestamp or strtotime arguments
52173bfbcaSSatoshi Sahara     * @param int|string $before  only show results with mtime before this date,
530b1bbbbbSAndreas Gohr     *                            accepts timestamp or strtotime arguments
54173bfbcaSSatoshi Sahara     *
550b1bbbbbSAndreas 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
800b1bbbbbSAndreas 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
880b1bbbbbSAndreas Gohr        if (empty($q['parsed_ary'])) return [];
89173bfbcaSSatoshi Sahara
90*6734bb8cSAndreas Gohr        // look up all words via CollectionSearch
910b1bbbbbSAndreas Gohr        $collection = new PageFulltextCollection();
92*6734bb8cSAndreas Gohr        $search = new CollectionSearch($collection);
930b1bbbbbSAndreas Gohr        foreach ($q['words'] as $word) {
940b1bbbbbSAndreas Gohr            try {
950b1bbbbbSAndreas Gohr                $search->addTerm($word);
960b1bbbbbSAndreas Gohr            } catch (SearchException $e) {
970b1bbbbbSAndreas Gohr                // term too short or invalid, skip
980b1bbbbbSAndreas Gohr            }
990b1bbbbbSAndreas Gohr        }
1000b1bbbbbSAndreas Gohr        $terms = $search->execute();
101173bfbcaSSatoshi Sahara
1020b1bbbbbSAndreas Gohr        // evaluate the query
1030b1bbbbbSAndreas Gohr        $evaluator = new QueryEvaluator($q['parsed_ary'], $terms);
1040b1bbbbbSAndreas Gohr        $docs = $evaluator->evaluate();
105173bfbcaSSatoshi Sahara
1060b1bbbbbSAndreas Gohr        if (empty($docs)) return [];
107173bfbcaSSatoshi Sahara
108*6734bb8cSAndreas Gohr        // filter by visibility, acls, existence, and time range
109*6734bb8cSAndreas Gohr        $docs = MetadataSearch::filterPages($docs, false, $data['after'], $data['before']);
110173bfbcaSSatoshi Sahara
111173bfbcaSSatoshi Sahara        if ($data['sort'] === 'mtime') {
1120b1bbbbbSAndreas Gohr            uksort($docs, static function ($a, $b) {
1130b1bbbbbSAndreas Gohr                return filemtime(wikiFN($b)) - filemtime(wikiFN($a));
1140b1bbbbbSAndreas Gohr            });
115173bfbcaSSatoshi Sahara        } else {
116173bfbcaSSatoshi Sahara            arsort($docs);
117173bfbcaSSatoshi Sahara        }
118173bfbcaSSatoshi Sahara
119173bfbcaSSatoshi Sahara        return $docs;
120173bfbcaSSatoshi Sahara    }
121173bfbcaSSatoshi Sahara
122173bfbcaSSatoshi Sahara    /**
123173bfbcaSSatoshi Sahara     * Creates a snippet extract
124173bfbcaSSatoshi Sahara     *
125173bfbcaSSatoshi Sahara     * @author Andreas Gohr <andi@splitbrain.org>
126173bfbcaSSatoshi Sahara     * @triggers FULLTEXT_SNIPPET_CREATE
127173bfbcaSSatoshi Sahara     *
128173bfbcaSSatoshi Sahara     * @param string $id page id
129173bfbcaSSatoshi Sahara     * @param array $highlight
130173bfbcaSSatoshi Sahara     * @return mixed
131173bfbcaSSatoshi Sahara     */
1329329b002SSatoshi Sahara    public function snippet($id, $highlight)
133173bfbcaSSatoshi Sahara    {
134173bfbcaSSatoshi Sahara        $text = rawWiki($id);
135173bfbcaSSatoshi Sahara        $text = str_replace("\xC2\xAD",'',$text); // remove soft-hyphens
136173bfbcaSSatoshi Sahara        $evdata = array(
137173bfbcaSSatoshi Sahara            'id'        => $id,
138173bfbcaSSatoshi Sahara            'text'      => &$text,
139173bfbcaSSatoshi Sahara            'highlight' => &$highlight,
140173bfbcaSSatoshi Sahara            'snippet'   => '',
141173bfbcaSSatoshi Sahara        );
142173bfbcaSSatoshi Sahara
143173bfbcaSSatoshi Sahara        $evt = new Event('FULLTEXT_SNIPPET_CREATE', $evdata);
144173bfbcaSSatoshi Sahara        if ($evt->advise_before()) {
145173bfbcaSSatoshi Sahara            $match = array();
146173bfbcaSSatoshi Sahara            $snippets = array();
147173bfbcaSSatoshi Sahara            $utf8_offset = $offset = $end = 0;
1480a3e25f4SSatoshi Sahara            $len = Utf8\PhpString::strlen($text);
149173bfbcaSSatoshi Sahara
150173bfbcaSSatoshi Sahara            // build a regexp from the phrases to highlight
151173bfbcaSSatoshi Sahara            $re1 = '(' .
152173bfbcaSSatoshi Sahara                join(
153173bfbcaSSatoshi Sahara                    '|',
154173bfbcaSSatoshi Sahara                    array_map(
1559329b002SSatoshi Sahara                        [$this, 'snippetRePreprocess'],
156173bfbcaSSatoshi Sahara                        array_map(
157173bfbcaSSatoshi Sahara                            'preg_quote_cb',
158173bfbcaSSatoshi Sahara                            array_filter((array) $highlight)
159173bfbcaSSatoshi Sahara                        )
160173bfbcaSSatoshi Sahara                    )
161173bfbcaSSatoshi Sahara                ) .
162173bfbcaSSatoshi Sahara                ')';
163173bfbcaSSatoshi Sahara            $re2 = "$re1.{0,75}(?!\\1)$re1";
164173bfbcaSSatoshi Sahara            $re3 = "$re1.{0,45}(?!\\1)$re1.{0,45}(?!\\1)(?!\\2)$re1";
165173bfbcaSSatoshi Sahara
166173bfbcaSSatoshi Sahara            for ($cnt=4; $cnt--;) {
167173bfbcaSSatoshi Sahara                if (0) {
168173bfbcaSSatoshi Sahara                } elseif (preg_match('/'.$re3.'/iu', $text, $match, PREG_OFFSET_CAPTURE, $offset)) {
169173bfbcaSSatoshi Sahara                } elseif (preg_match('/'.$re2.'/iu', $text, $match, PREG_OFFSET_CAPTURE, $offset)) {
170173bfbcaSSatoshi Sahara                } elseif (preg_match('/'.$re1.'/iu', $text, $match, PREG_OFFSET_CAPTURE, $offset)) {
171173bfbcaSSatoshi Sahara                } else {
172173bfbcaSSatoshi Sahara                    break;
173173bfbcaSSatoshi Sahara                }
174173bfbcaSSatoshi Sahara
175173bfbcaSSatoshi Sahara                list($str, $idx) = $match[0];
176173bfbcaSSatoshi Sahara
177173bfbcaSSatoshi Sahara                // convert $idx (a byte offset) into a utf8 character offset
1780a3e25f4SSatoshi Sahara                $utf8_idx = Utf8\PhpString::strlen(substr($text, 0, $idx));
1790a3e25f4SSatoshi Sahara                $utf8_len = Utf8\PhpString::strlen($str);
180173bfbcaSSatoshi Sahara
181173bfbcaSSatoshi Sahara                // establish context, 100 bytes surrounding the match string
182173bfbcaSSatoshi Sahara                // first look to see if we can go 100 either side,
183173bfbcaSSatoshi Sahara                // then drop to 50 adding any excess if the other side can't go to 50,
184173bfbcaSSatoshi Sahara                $pre = min($utf8_idx - $utf8_offset, 100);
185173bfbcaSSatoshi Sahara                $post = min($len - $utf8_idx - $utf8_len, 100);
186173bfbcaSSatoshi Sahara
187173bfbcaSSatoshi Sahara                if ($pre > 50 && $post > 50) {
188173bfbcaSSatoshi Sahara                    $pre = $post = 50;
189173bfbcaSSatoshi Sahara                } elseif ($pre > 50) {
190173bfbcaSSatoshi Sahara                    $pre = min($pre, 100 - $post);
191173bfbcaSSatoshi Sahara                } elseif ($post > 50) {
192173bfbcaSSatoshi Sahara                    $post = min($post, 100 - $pre);
193173bfbcaSSatoshi Sahara                } elseif ($offset == 0) {
194173bfbcaSSatoshi Sahara                    // both are less than 50, means the context is the whole string
195173bfbcaSSatoshi Sahara                    // make it so and break out of this loop - there is no need for the
196173bfbcaSSatoshi Sahara                    // complex snippet calculations
197173bfbcaSSatoshi Sahara                    $snippets = array($text);
198173bfbcaSSatoshi Sahara                    break;
199173bfbcaSSatoshi Sahara                }
200173bfbcaSSatoshi Sahara
201173bfbcaSSatoshi Sahara                // establish context start and end points, try to append to previous
202173bfbcaSSatoshi Sahara                // context if possible
203173bfbcaSSatoshi Sahara                $start = $utf8_idx - $pre;
204173bfbcaSSatoshi Sahara                $append = ($start < $end) ? $end : false;  // still the end of the previous context snippet
205173bfbcaSSatoshi Sahara                $end = $utf8_idx + $utf8_len + $post;      // now set it to the end of this context
206173bfbcaSSatoshi Sahara
207173bfbcaSSatoshi Sahara                if ($append) {
2080a3e25f4SSatoshi Sahara                    $snippets[count($snippets)-1] .= Utf8\PhpString::substr($text, $append, $end-$append);
209173bfbcaSSatoshi Sahara                } else {
2100a3e25f4SSatoshi Sahara                    $snippets[] = Utf8\PhpString::substr($text, $start, $end-$start);
211173bfbcaSSatoshi Sahara                }
212173bfbcaSSatoshi Sahara
213173bfbcaSSatoshi Sahara                // set $offset for next match attempt
214173bfbcaSSatoshi Sahara                // continue matching after the current match
215173bfbcaSSatoshi Sahara                // if the current match is not the longest possible match starting at the current offset
216173bfbcaSSatoshi Sahara                // this prevents further matching of this snippet but for possible matches of length
217173bfbcaSSatoshi Sahara                // smaller than match length + context (at least 50 characters) this match is part of the context
218173bfbcaSSatoshi Sahara                $utf8_offset = $utf8_idx + $utf8_len;
2190a3e25f4SSatoshi Sahara                $offset = $idx + strlen(Utf8\PhpString::substr($text, $utf8_idx, $utf8_len));
2200a3e25f4SSatoshi Sahara                $offset = Utf8\Clean::correctIdx($text, $offset);
221173bfbcaSSatoshi Sahara            }
222173bfbcaSSatoshi Sahara
223173bfbcaSSatoshi Sahara            $m = "\1";
224173bfbcaSSatoshi Sahara            $snippets = preg_replace('/'.$re1.'/iu', $m.'$1'.$m, $snippets);
225173bfbcaSSatoshi Sahara            $snippet = preg_replace(
226173bfbcaSSatoshi Sahara                '/' . $m . '([^' . $m . ']*?)' . $m . '/iu',
227173bfbcaSSatoshi Sahara                '<strong class="search_hit">$1</strong>',
228173bfbcaSSatoshi Sahara                hsc(join('... ', $snippets))
229173bfbcaSSatoshi Sahara            );
230173bfbcaSSatoshi Sahara
231173bfbcaSSatoshi Sahara            $evdata['snippet'] = $snippet;
232173bfbcaSSatoshi Sahara        }
233173bfbcaSSatoshi Sahara        $evt->advise_after();
234173bfbcaSSatoshi Sahara        unset($evt);
235173bfbcaSSatoshi Sahara
236173bfbcaSSatoshi Sahara        return $evdata['snippet'];
237173bfbcaSSatoshi Sahara    }
238173bfbcaSSatoshi Sahara
239173bfbcaSSatoshi Sahara    /**
240173bfbcaSSatoshi Sahara     * Wraps a search term in regex boundary checks.
241173bfbcaSSatoshi Sahara     *
242173bfbcaSSatoshi Sahara     * @param string $term
243173bfbcaSSatoshi Sahara     * @return string
244173bfbcaSSatoshi Sahara     */
2459329b002SSatoshi Sahara    public function snippetRePreprocess($term)
246173bfbcaSSatoshi Sahara    {
247173bfbcaSSatoshi Sahara        // do not process asian terms where word boundaries are not explicit
2480a3e25f4SSatoshi Sahara        if (Utf8\Asian::isAsianWords($term)) return $term;
249173bfbcaSSatoshi Sahara
250173bfbcaSSatoshi Sahara        if (UTF8_PROPERTYSUPPORT) {
251173bfbcaSSatoshi Sahara            // unicode word boundaries
252173bfbcaSSatoshi Sahara            // see http://stackoverflow.com/a/2449017/172068
253173bfbcaSSatoshi Sahara            $BL = '(?<!\pL)';
254173bfbcaSSatoshi Sahara            $BR = '(?!\pL)';
255173bfbcaSSatoshi Sahara        } else {
256173bfbcaSSatoshi Sahara            // not as correct as above, but at least won't break
257173bfbcaSSatoshi Sahara            $BL = '\b';
258173bfbcaSSatoshi Sahara            $BR = '\b';
259173bfbcaSSatoshi Sahara        }
260173bfbcaSSatoshi Sahara
261173bfbcaSSatoshi Sahara        if (substr($term, 0, 2) == '\\*') {
262173bfbcaSSatoshi Sahara            $term = substr($term, 2);
263173bfbcaSSatoshi Sahara        } else {
264173bfbcaSSatoshi Sahara            $term = $BL.$term;
265173bfbcaSSatoshi Sahara        }
266173bfbcaSSatoshi Sahara
267173bfbcaSSatoshi Sahara        if (substr($term, -2, 2) == '\\*') {
268173bfbcaSSatoshi Sahara            $term = substr($term, 0, -2);
269173bfbcaSSatoshi Sahara        } else {
270173bfbcaSSatoshi Sahara            $term = $term.$BR;
271173bfbcaSSatoshi Sahara        }
272173bfbcaSSatoshi Sahara
273173bfbcaSSatoshi Sahara        if ($term == $BL || $term == $BR || $term == $BL.$BR) {
274173bfbcaSSatoshi Sahara            $term = '';
275173bfbcaSSatoshi Sahara        }
276173bfbcaSSatoshi Sahara        return $term;
277173bfbcaSSatoshi Sahara    }
278173bfbcaSSatoshi Sahara}
279