2017-02-27 03:34:20 +01:00
|
|
|
/* regexp-fields.cc - field processor glue for regex supporting fields
|
|
|
|
*
|
|
|
|
* This file is part of notmuch.
|
|
|
|
*
|
|
|
|
* Copyright © 2015 Austin Clements
|
|
|
|
* Copyright © 2016 David Bremner
|
|
|
|
*
|
|
|
|
* This program is free software: you can redistribute it and/or modify
|
|
|
|
* it under the terms of the GNU General Public License as published by
|
|
|
|
* the Free Software Foundation, either version 3 of the License, or
|
|
|
|
* (at your option) any later version.
|
|
|
|
*
|
|
|
|
* This program is distributed in the hope that it will be useful,
|
|
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
* GNU General Public License for more details.
|
|
|
|
*
|
|
|
|
* You should have received a copy of the GNU General Public License
|
|
|
|
* along with this program. If not, see https://www.gnu.org/licenses/ .
|
|
|
|
*
|
|
|
|
* Author: Austin Clements <aclements@csail.mit.edu>
|
|
|
|
* David Bremner <david@tethera.net>
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include "regexp-fields.h"
|
|
|
|
#include "notmuch-private.h"
|
|
|
|
#include "database-private.h"
|
|
|
|
|
|
|
|
#if HAVE_XAPIAN_FIELD_PROCESSOR
|
|
|
|
static void
|
|
|
|
compile_regex (regex_t ®exp, const char *str)
|
|
|
|
{
|
|
|
|
int err = regcomp (®exp, str, REG_EXTENDED | REG_NOSUB);
|
|
|
|
|
|
|
|
if (err != 0) {
|
|
|
|
size_t len = regerror (err, ®exp, NULL, 0);
|
|
|
|
char *buffer = new char[len];
|
2019-03-11 18:14:49 +01:00
|
|
|
std::string msg = "Regexp error: ";
|
2017-02-27 03:34:20 +01:00
|
|
|
(void) regerror (err, ®exp, buffer, len);
|
2019-03-11 18:14:49 +01:00
|
|
|
msg.append (buffer, len);
|
2017-03-04 18:38:41 +01:00
|
|
|
delete[] buffer;
|
2017-02-27 03:34:20 +01:00
|
|
|
|
|
|
|
throw Xapian::QueryParserError (msg);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
RegexpPostingSource::RegexpPostingSource (Xapian::valueno slot, const std::string ®exp)
|
|
|
|
: slot_ (slot)
|
|
|
|
{
|
|
|
|
compile_regex (regexp_, regexp.c_str ());
|
|
|
|
}
|
|
|
|
|
|
|
|
RegexpPostingSource::~RegexpPostingSource ()
|
|
|
|
{
|
|
|
|
regfree (®exp_);
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
RegexpPostingSource::init (const Xapian::Database &db)
|
|
|
|
{
|
|
|
|
db_ = db;
|
|
|
|
it_ = db_.valuestream_begin (slot_);
|
|
|
|
end_ = db.valuestream_end (slot_);
|
|
|
|
started_ = false;
|
|
|
|
}
|
|
|
|
|
|
|
|
Xapian::doccount
|
|
|
|
RegexpPostingSource::get_termfreq_min () const
|
|
|
|
{
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
Xapian::doccount
|
|
|
|
RegexpPostingSource::get_termfreq_est () const
|
|
|
|
{
|
|
|
|
return get_termfreq_max () / 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
Xapian::doccount
|
|
|
|
RegexpPostingSource::get_termfreq_max () const
|
|
|
|
{
|
|
|
|
return db_.get_value_freq (slot_);
|
|
|
|
}
|
|
|
|
|
|
|
|
Xapian::docid
|
|
|
|
RegexpPostingSource::get_docid () const
|
|
|
|
{
|
|
|
|
return it_.get_docid ();
|
|
|
|
}
|
|
|
|
|
|
|
|
bool
|
|
|
|
RegexpPostingSource::at_end () const
|
|
|
|
{
|
|
|
|
return it_ == end_;
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
RegexpPostingSource::next (unused (double min_wt))
|
|
|
|
{
|
|
|
|
if (started_ && ! at_end ())
|
|
|
|
++it_;
|
|
|
|
started_ = true;
|
|
|
|
|
|
|
|
for (; ! at_end (); ++it_) {
|
|
|
|
std::string value = *it_;
|
|
|
|
if (regexec (®exp_, value.c_str (), 0, NULL, 0) == 0)
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-03-07 13:52:39 +01:00
|
|
|
void
|
|
|
|
RegexpPostingSource::skip_to (Xapian::docid did, unused (double min_wt))
|
|
|
|
{
|
|
|
|
started_ = true;
|
|
|
|
it_.skip_to (did);
|
|
|
|
for (; ! at_end (); ++it_) {
|
|
|
|
std::string value = *it_;
|
|
|
|
if (regexec (®exp_, value.c_str (), 0, NULL, 0) == 0)
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
bool
|
|
|
|
RegexpPostingSource::check (Xapian::docid did, unused (double min_wt))
|
|
|
|
{
|
|
|
|
started_ = true;
|
|
|
|
if (!it_.check (did) || at_end ())
|
|
|
|
return false;
|
|
|
|
return (regexec (®exp_, (*it_).c_str (), 0, NULL, 0) == 0);
|
|
|
|
}
|
|
|
|
|
2017-02-27 03:34:20 +01:00
|
|
|
static inline Xapian::valueno _find_slot (std::string prefix)
|
|
|
|
{
|
|
|
|
if (prefix == "from")
|
|
|
|
return NOTMUCH_VALUE_FROM;
|
|
|
|
else if (prefix == "subject")
|
|
|
|
return NOTMUCH_VALUE_SUBJECT;
|
2017-02-15 13:58:28 +01:00
|
|
|
else if (prefix == "mid")
|
|
|
|
return NOTMUCH_VALUE_MESSAGE_ID;
|
2017-02-27 03:34:20 +01:00
|
|
|
else
|
2017-03-08 03:32:26 +01:00
|
|
|
return Xapian::BAD_VALUENO;
|
2017-02-27 03:34:20 +01:00
|
|
|
}
|
|
|
|
|
2017-02-15 13:58:28 +01:00
|
|
|
RegexpFieldProcessor::RegexpFieldProcessor (std::string prefix,
|
|
|
|
notmuch_field_flag_t options_,
|
|
|
|
Xapian::QueryParser &parser_,
|
|
|
|
notmuch_database_t *notmuch_)
|
|
|
|
: slot (_find_slot (prefix)),
|
|
|
|
term_prefix (_find_prefix (prefix.c_str ())),
|
|
|
|
options (options_),
|
|
|
|
parser (parser_),
|
|
|
|
notmuch (notmuch_)
|
2017-02-27 03:34:20 +01:00
|
|
|
{
|
|
|
|
};
|
|
|
|
|
|
|
|
Xapian::Query
|
|
|
|
RegexpFieldProcessor::operator() (const std::string & str)
|
|
|
|
{
|
2017-03-08 03:32:26 +01:00
|
|
|
if (str.empty ()) {
|
|
|
|
if (options & NOTMUCH_FIELD_PROBABILISTIC) {
|
|
|
|
return Xapian::Query(Xapian::Query::OP_AND_NOT,
|
2017-03-24 23:52:51 +01:00
|
|
|
Xapian::Query::MatchAll,
|
|
|
|
Xapian::Query (Xapian::Query::OP_WILDCARD, term_prefix));
|
2017-03-08 03:32:26 +01:00
|
|
|
} else {
|
|
|
|
return Xapian::Query (term_prefix);
|
|
|
|
}
|
|
|
|
}
|
2017-03-24 23:52:51 +01:00
|
|
|
|
2017-02-27 03:34:20 +01:00
|
|
|
if (str.at (0) == '/') {
|
2017-03-08 03:32:26 +01:00
|
|
|
if (str.length() > 1 && str.at (str.size () - 1) == '/'){
|
|
|
|
std::string regexp_str = str.substr(1,str.size () - 2);
|
|
|
|
if (slot != Xapian::BAD_VALUENO) {
|
|
|
|
RegexpPostingSource *postings = new RegexpPostingSource (slot, regexp_str);
|
|
|
|
return Xapian::Query (postings->release ());
|
|
|
|
} else {
|
|
|
|
std::vector<std::string> terms;
|
|
|
|
regex_t regexp;
|
|
|
|
|
|
|
|
compile_regex(regexp, regexp_str.c_str ());
|
|
|
|
for (Xapian::TermIterator it = notmuch->xapian_db->allterms_begin (term_prefix);
|
|
|
|
it != notmuch->xapian_db->allterms_end (); ++it) {
|
|
|
|
if (regexec (®exp, (*it).c_str () + term_prefix.size(),
|
|
|
|
0, NULL, 0) == 0)
|
|
|
|
terms.push_back(*it);
|
|
|
|
}
|
|
|
|
return Xapian::Query (Xapian::Query::OP_OR, terms.begin(), terms.end());
|
|
|
|
}
|
2017-02-27 03:34:20 +01:00
|
|
|
} else {
|
|
|
|
throw Xapian::QueryParserError ("unmatched regex delimiter in '" + str + "'");
|
|
|
|
}
|
|
|
|
} else {
|
2017-02-15 13:58:28 +01:00
|
|
|
if (options & NOTMUCH_FIELD_PROBABILISTIC) {
|
|
|
|
/* TODO replace this with a nicer API level triggering of
|
|
|
|
* phrase parsing, when possible */
|
|
|
|
std::string query_str;
|
2017-03-18 03:23:51 +01:00
|
|
|
|
2018-09-30 18:27:55 +02:00
|
|
|
if (*str.rbegin () != '*' || str.find (' ') != std::string::npos)
|
2017-02-15 13:58:28 +01:00
|
|
|
query_str = '"' + str + '"';
|
|
|
|
else
|
|
|
|
query_str = str;
|
2017-03-18 03:23:51 +01:00
|
|
|
|
2017-02-15 13:58:28 +01:00
|
|
|
return parser.parse_query (query_str, NOTMUCH_QUERY_PARSER_FLAGS, term_prefix);
|
|
|
|
} else {
|
|
|
|
/* Boolean prefix */
|
|
|
|
std::string term = term_prefix + str;
|
|
|
|
return Xapian::Query (term);
|
|
|
|
}
|
2017-02-27 03:34:20 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
#endif
|