]> git.phdru.name Git - phdru.name/cgi-bin/blog-ru/search-tags.git/blobdiff - parser/parser.py
Version 0.2: allow spaces
[phdru.name/cgi-bin/blog-ru/search-tags.git] / parser / parser.py
index c74eb78d21a29a5d33ec85af523ed85266b41796..2fcf716a8a37492e4b3965f20f4466c0b03dab91 100644 (file)
@@ -6,7 +6,7 @@ literals = '()'
 
 tokens = ('NAME', 'AND_OP', 'OR_OP', 'NOT_OP')
 
-t_NAME = '[a-z][a-z0-9_]+'
+t_NAME = '[a-z][a-z0-9_]*'
 
 t_AND_OP = '&'
 
@@ -14,6 +14,8 @@ t_OR_OP = r'\|'
 
 t_NOT_OP = '!'
 
+t_ignore = '[ \t]+'
+
 def t_error(t):
     """Avoid warnings on stderr"""