update the facet filter grammar

This commit is contained in:
Irevoire 2021-08-26 15:51:54 +02:00 committed by Tamo
parent 216a8aa3b2
commit 6d70978edc
No known key found for this signature in database
GPG Key ID: 20CD8020AFA88D69

View File

@ -16,10 +16,11 @@ neq = {key ~ "!=" ~ value}
eq = {key ~ "=" ~ value} eq = {key ~ "=" ~ value}
greater = {key ~ ">" ~ value} greater = {key ~ ">" ~ value}
less = {key ~ "<" ~ value} less = {key ~ "<" ~ value}
geo_radius = {"_geoRadius(" ~ value ~ "," ~ value ~ "," ~ value ~ ")"}
prgm = {SOI ~ expr ~ EOI} prgm = {SOI ~ expr ~ EOI}
expr = _{ ( term ~ (operation ~ term)* ) } expr = _{ ( term ~ (operation ~ term)* ) }
term = { ("(" ~ expr ~ ")") | condition | not } term = { ("(" ~ expr ~ ")") | condition | not | geo_radius }
operation = _{ and | or } operation = _{ and | or }
and = {"AND"} and = {"AND"}
or = {"OR"} or = {"OR"}