aip-160 0.1.1

A Rust implementation of Google AIP-160 filtering standard.
Documentation 
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

// Google AIP-160 Filter Grammar
// Supports filtering expressions like:
// - name = "foo"
// - age > 18 AND active = true
// - (status = "active" OR status = "pending") AND created > "2024-01-01"

WHITESPACE = _{ " " | "\t" | "\r" | "\n" }

// Main entry point
filter = { SOI ~ expression ~ EOI }

// Expressions with precedence
expression = { term ~ (or_op ~ term)* }
term = { factor ~ (and_op ~ factor)* }
factor = { not_op? ~ (restriction | "(" ~ expression ~ ")") }

// Logical operators
and_op = { "AND" }
or_op = { "OR" }
not_op = { "NOT" | "-" }

// Restrictions (comparisons)
restriction = { comparable ~ comparator ~ arg }

// Sequence for member/function access (for future nested field support)
sequence = { member ~ (sequence_op)+ }
sequence_op = _{ "." ~ member }

// Comparators
comparator = {
    ">=" | "<=" | "!=" | "=" | ":" | ">" | "<"
}

// Comparable (left side of comparison)
comparable = { member }

// Member (field name)
member = @{ (ASCII_ALPHA | "_") ~ (ASCII_ALPHANUMERIC | "_")* }

// Argument (right side of comparison)
arg = { string | number | boolean | null_val }

// Value types
string = ${ "\"" ~ string_inner ~ "\"" | "'" ~ string_inner ~ "'" }
string_inner = @{ (!("\"" | "'") ~ ANY)* }

number = @{
    "-"? ~ ASCII_DIGIT+ ~ ("." ~ ASCII_DIGIT+)? ~ (^"e" ~ ("+" | "-")? ~ ASCII_DIGIT+)?
}

boolean = { "true" | "TRUE" | "false" | "FALSE" }

null_val = { "null" | "NULL" }