From: David Bremner <david@tethera.net>
To: notmuch@notmuchmail.org
Cc: David Bremner <david@tethera.net>
Subject: [PATCH 10/11] lib/parse-sexp: add keyword arguments for fields
Date: Tue, 13 Jul 2021 21:02:38 -0300 [thread overview]
Message-ID: <20210714000239.804384-11-david@tethera.net> (raw)
In-Reply-To: <20210714000239.804384-1-david@tethera.net>
Nothing is done with the flags here, only parsing and validation.
---
lib/parse-sexp.cc | 114 +++++++++++++++++++++++++++++++-------
test/T081-sexpr-search.sh | 32 +++++++++++
2 files changed, 126 insertions(+), 20 deletions(-)
diff --git a/lib/parse-sexp.cc b/lib/parse-sexp.cc
index 4a9e1aeb..bfa566b1 100644
--- a/lib/parse-sexp.cc
+++ b/lib/parse-sexp.cc
@@ -8,6 +8,34 @@ typedef struct {
Xapian::Query initial;
} _sexp_op_t;
+typedef enum {
+ SEXP_FLAG_NONE = 0,
+ SEXP_FLAG_WILDCARD = 1 << 0,
+} _sexp_flag_t;
+
+/*
+ * define bitwise operators to hide casts */
+
+inline _sexp_flag_t
+operator| (_sexp_flag_t a, _sexp_flag_t b)
+{
+ return static_cast<_sexp_flag_t>(
+ static_cast<unsigned>(a) | static_cast<unsigned>(b));
+}
+
+inline _sexp_flag_t
+operator& (_sexp_flag_t a, _sexp_flag_t b)
+{
+ return static_cast<_sexp_flag_t>(
+ static_cast<unsigned>(a) & static_cast<unsigned>(b));
+}
+
+typedef struct {
+ const char *name;
+ Xapian::Query::op xapian_op;
+ _sexp_flag_t flags_allowed;
+} _sexp_field_t;
+
static _sexp_op_t operations[] =
{
{ "and", Xapian::Query::OP_AND, Xapian::Query::MatchAll },
@@ -16,27 +44,34 @@ static _sexp_op_t operations[] =
{ }
};
-typedef struct {
+static _sexp_field_t fields[] =
+{
+ { "attachment", Xapian::Query::OP_PHRASE, SEXP_FLAG_WILDCARD },
+ { "body", Xapian::Query::OP_PHRASE, SEXP_FLAG_WILDCARD },
+ { "from", Xapian::Query::OP_PHRASE, SEXP_FLAG_NONE },
+ { "folder", Xapian::Query::OP_OR, SEXP_FLAG_NONE },
+ { "id", Xapian::Query::OP_OR, SEXP_FLAG_NONE },
+ { "is", Xapian::Query::OP_AND, SEXP_FLAG_WILDCARD },
+ { "mid", Xapian::Query::OP_OR, SEXP_FLAG_NONE },
+ { "mimetype", Xapian::Query::OP_PHRASE, SEXP_FLAG_NONE },
+ { "path", Xapian::Query::OP_OR, SEXP_FLAG_NONE },
+ { "property", Xapian::Query::OP_AND, SEXP_FLAG_WILDCARD },
+ { "subject", Xapian::Query::OP_PHRASE, SEXP_FLAG_NONE },
+ { "tag", Xapian::Query::OP_AND, SEXP_FLAG_WILDCARD },
+ { "thread", Xapian::Query::OP_OR, SEXP_FLAG_NONE },
+ { "to", Xapian::Query::OP_PHRASE, SEXP_FLAG_NONE },
+ { }
+};
+
+typedef struct {
const char *name;
- Xapian::Query::op xapian_op;
-} _sexp_field_t;
+ _sexp_flag_t flag;
+} _sexp_keyword_t;
-static _sexp_field_t fields[] =
+static _sexp_keyword_t keywords[] =
{
- { "attachment", Xapian::Query::OP_PHRASE },
- { "body", Xapian::Query::OP_PHRASE },
- { "from", Xapian::Query::OP_PHRASE },
- { "folder", Xapian::Query::OP_OR },
- { "id", Xapian::Query::OP_OR },
- { "is", Xapian::Query::OP_AND },
- { "mid", Xapian::Query::OP_OR },
- { "mimetype", Xapian::Query::OP_PHRASE },
- { "path", Xapian::Query::OP_OR },
- { "property", Xapian::Query::OP_AND },
- { "subject", Xapian::Query::OP_PHRASE },
- { "tag", Xapian::Query::OP_AND },
- { "thread", Xapian::Query::OP_OR },
- { "to", Xapian::Query::OP_PHRASE },
+ { "any", SEXP_FLAG_WILDCARD },
+ { "*", SEXP_FLAG_WILDCARD },
{ }
};
@@ -126,6 +161,37 @@ _sexp_combine_field (const char *prefix,
return NOTMUCH_STATUS_SUCCESS;
}
+
+static notmuch_status_t
+_sexp_parse_keywords (notmuch_database_t *notmuch, const char *prefix, sexp_t *sx, _sexp_flag_t mask,
+ _sexp_flag_t &flags, sexp_t *&rest)
+{
+ flags = SEXP_FLAG_NONE;
+
+ for (; sx && sx->ty == SEXP_VALUE && sx->aty == SEXP_BASIC && sx->val[0] == ':'; sx = sx->next) {
+ _sexp_keyword_t *keyword;
+ for (keyword = keywords; keyword && keyword->name; keyword++) {
+ if (strcasecmp (keyword->name, sx->val+1) == 0) {
+ if ((mask & keyword->flag) == 0) {
+ _notmuch_database_log_append (notmuch, "unsupported keyword '%s' for prefix '%s'\n",
+ sx->val, prefix);
+ return NOTMUCH_STATUS_ILLEGAL_ARGUMENT;
+ } else {
+ flags = flags | keyword->flag;
+ break;
+ }
+ }
+ }
+ if (! keyword || ! keyword->name) {
+ _notmuch_database_log (notmuch, "unknown keyword %s\n", sx->val);
+ return NOTMUCH_STATUS_ILLEGAL_ARGUMENT;
+ }
+ }
+
+ rest = sx;
+ return NOTMUCH_STATUS_SUCCESS;
+}
+
/* Here we expect the s-expression to be a proper list, with first
* element defining and operation, or as a special case the empty
* list */
@@ -149,12 +215,20 @@ _sexp_to_xapian_query (notmuch_database_t *notmuch, sexp_t *sx, Xapian::Query &o
if (strcasecmp (op->name, hd_sexp (sx)->val) == 0) {
return _sexp_combine_query (notmuch, op->xapian_op, op->initial, sx->list->next, output);
}
-
}
for (const _sexp_field_t *field = fields; field && field->name; field++) {
if (strcasecmp (field->name, hd_sexp (sx)->val) == 0) {
- return _sexp_combine_field (_find_prefix (field->name), field->xapian_op, sx->list->next,
+ _sexp_flag_t flags;
+ sexp_t *rest;
+
+ notmuch_status_t status = _sexp_parse_keywords (notmuch, sx->list->val,
+ sx->list->next, field->flags_allowed,
+ flags, rest);
+ if (status)
+ return status;
+
+ return _sexp_combine_field (_find_prefix (field->name), field->xapian_op, rest,
output);
}
}
diff --git a/test/T081-sexpr-search.sh b/test/T081-sexpr-search.sh
index b8229ebe..6e8687da 100755
--- a/test/T081-sexpr-search.sh
+++ b/test/T081-sexpr-search.sh
@@ -189,4 +189,36 @@ notmuch search: Illegal argument for function
unimplemented prefix foo
EOF
test_expect_equal_file EXPECTED OUTPUT
+
+test_begin_subtest "unknown keyword"
+notmuch search --query-syntax=sexp '(subject :foo)' >OUTPUT 2>&1
+cat <<EOF > EXPECTED
+notmuch search: Illegal argument for function
+unknown keyword :foo
+EOF
+test_expect_equal_file EXPECTED OUTPUT
+
+test_begin_subtest "unsupported keyword for prefix"
+notmuch search --query-syntax=sexp '(subject :any)' >OUTPUT 2>&1
+cat <<EOF > EXPECTED
+notmuch search: Illegal argument for function
+unsupported keyword ':any' for prefix 'subject'
+EOF
+test_expect_equal_file EXPECTED OUTPUT
+
+test_begin_subtest "known keyword :any"
+test_expect_success 'notmuch search --query-syntax=sexp "(tag :any)"'
+
+test_begin_subtest "known keyword :*"
+test_expect_success 'notmuch search --query-syntax=sexp "(tag :*)"'
+
+test_begin_subtest "multiple known keywords"
+test_expect_success 'notmuch search --query-syntax=sexp "(tag :any :*)"'
+
+test_begin_subtest "quoted unknown keyword"
+test_expect_success 'notmuch search --query-syntax=sexp "(subject \":foo\")"'
+
+test_begin_subtest "unknown keyword after non-keyword"
+test_expect_success 'notmuch search --query-syntax=sexp "(subject foo :foo)"'
+
test_done
--
2.30.2
next prev parent reply other threads:[~2021-07-14 0:03 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-07-14 0:02 Early preview of s-expression based query parser David Bremner
2021-07-14 0:02 ` [PATCH 01/11] configure: optional library sfsexp David Bremner
2021-07-14 0:02 ` [PATCH 02/11] lib: split notmuch_query_create David Bremner
2021-07-14 0:02 ` [PATCH 03/11] lib: define notmuch_query_create_sexpr David Bremner
2021-07-14 0:02 ` [PATCH 04/11] CLI/search+address: support sexpr queries David Bremner
2021-07-14 0:02 ` [PATCH 05/11] lib/parse-sexp: parse 'and', 'not', 'or' David Bremner
2021-07-14 0:02 ` [PATCH 06/11] lib/parse-sexp: parse 'subject' David Bremner
2021-07-14 0:02 ` [PATCH 07/11] lib/parse-sexp: split terms in phrase mode David Bremner
2021-07-14 0:02 ` [PATCH 08/11] lib/parse-sexp: handle most fields David Bremner
2021-07-14 0:02 ` [PATCH 09/11] lib/parse-sexp: add error handling to internal API David Bremner
2021-07-14 0:02 ` David Bremner [this message]
2021-07-14 0:02 ` [PATCH 11/11] lib/parse-sexp: initial support for wildcard queries David Bremner
2021-07-16 14:00 ` Early preview of s-expression based query parser Hannu Hartikainen
2021-07-18 19:43 ` David Bremner
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://notmuchmail.org/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20210714000239.804384-11-david@tethera.net \
--to=david@tethera.net \
--cc=notmuch@notmuchmail.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://yhetil.org/notmuch.git/
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).