1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
|
/*
* qtmaildir - a Qt6 mail client for notmuch-indexed Maildirs
* Copyright (C) 2026 Danilo M. <danix@danix.xyz>
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License version 2 as
* published by the Free Software Foundation.
*
* 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, write to the Free Software
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
*/
#include "rulequery.h"
#include <QStringList>
namespace {
/// The notmuch prefix each field compiles to. Wire format, never translated.
QString prefixFor(RuleTerm::Field field)
{
switch (field) {
case RuleTerm::From: return QStringLiteral("from");
case RuleTerm::To: return QStringLiteral("to");
case RuleTerm::Cc: return QStringLiteral("cc");
case RuleTerm::Subject: return QStringLiteral("subject");
case RuleTerm::Tag: return QStringLiteral("tag");
case RuleTerm::Folder: return QStringLiteral("path");
case RuleTerm::Attachment: return QStringLiteral("attachment");
case RuleTerm::Date: return QStringLiteral("date");
}
return QString();
}
bool isNegated(RuleTerm::Op op)
{
return op == RuleTerm::ContainsNot || op == RuleTerm::IsNot
|| op == RuleTerm::HasNot;
}
/// Quoted when the operator asks for an exact phrase, and ALWAYS when the
/// value holds a space: unquoted, the space ends the term and the remainder
/// becomes a bare word, which widens the rule instead of breaking it.
bool needsQuotes(const RuleTerm &term)
{
if (term.field == RuleTerm::Folder)
return true;
if (term.value.contains(QLatin1Char(' ')))
return true;
// Is/IsNot means an exact phrase, and only the free-text fields need
// quotes to express one. A tag or an attachment name is a single bare
// token to notmuch, which reads `tag:inbox` and `tag:"inbox"` identically
// (both count 5322 against the live index). Quoting them would therefore
// change the stored string without changing what it matches, and this
// type's whole contract is that an unedited rule compiles back byte for
// byte.
if (term.op == RuleTerm::Is || term.op == RuleTerm::IsNot) {
return term.field == RuleTerm::From || term.field == RuleTerm::To
|| term.field == RuleTerm::Cc || term.field == RuleTerm::Subject;
}
return false;
}
QString compileTerm(const RuleTerm &term)
{
QString value = term.value;
if (term.field == RuleTerm::Folder)
value += QStringLiteral("/**");
QString body;
if (term.field == RuleTerm::Date) {
body = prefixFor(term.field) + QLatin1Char(':')
+ (term.op == RuleTerm::Before
? QStringLiteral("..") + value
: value + QStringLiteral(".."));
} else if (needsQuotes(term)) {
body = prefixFor(term.field) + QStringLiteral(":\"") + value
+ QLatin1Char('"');
} else {
body = prefixFor(term.field) + QLatin1Char(':') + value;
}
return isNegated(term.op) ? QStringLiteral("not ") + body : body;
}
} // namespace
bool operator==(const RuleTerm &a, const RuleTerm &b)
{
return a.field == b.field && a.op == b.op && a.value == b.value;
}
bool operator==(const RuleQuery &a, const RuleQuery &b)
{
return a.parsed == b.parsed && a.join == b.join
&& a.terms == b.terms && a.exclusions == b.exclusions;
}
QString RuleQuery::compile() const
{
if (terms.isEmpty())
return QString();
QStringList parts;
for (const RuleTerm &term : terms)
parts.append(compileTerm(term));
const QString glue = join == Any ? QStringLiteral(" or ")
: QStringLiteral(" and ");
QString out = parts.join(glue);
// An `or` group followed by `and not` must be parenthesised or the `and`
// binds tighter than the `or`: `a or b and not c` is `a or (b and not c)`,
// which matches every `a` whatever the exclusion says.
if (join == Any && !exclusions.isEmpty() && terms.size() > 1)
out = QLatin1Char('(') + out + QLatin1Char(')');
for (const RuleTerm &term : exclusions) {
// The block IS the negation, so its rows are stored un-negated and
// the `and not` is applied here. A row stored negated would compile
// to `and not not subject:x`.
out += QStringLiteral(" and not ") + compileTerm(term);
}
return out;
}
RuleQuery RuleQuery::parse(const QString &query)
{
Q_UNUSED(query);
return RuleQuery();
}
|
