]> git.phdru.name Git - phdru.name/cgi-bin/blog-ru/search-tags.git/blobdiff - parser/grammar
Ignore spaces
[phdru.name/cgi-bin/blog-ru/search-tags.git] / parser / grammar
index 7ded1c25988c04c2b998a76ae45f04e789eb2ac1..ade8b129eceb5b65576ee8edca20a6308fe2a09f 100644 (file)
@@ -20,8 +20,13 @@ OR_OP : '|'
 
 NOT_OP : '!'
 
+SP0 : '[ \t]*'
+
+SP1 : '[ \t]+'
+
 expression : NAME
            | expression AND_OP expression
-           | NOT_OP expression
            | expression OR_OP expression
+           | NOT_OP expression
            | '(' expression ')'
+           | SP0 expression SP0