]> git.phdru.name Git - phdru.name/cgi-bin/blog-ru/search-tags.git/blob - parser/parser.py
Change handling of spaces
[phdru.name/cgi-bin/blog-ru/search-tags.git] / parser / parser.py
1 # Parse query
2
3 from ply import lex, yacc
4
5 literals = '()'
6
7 tokens = ('NAME', 'AND_OP', 'OR_OP', 'NOT_OP', 'SP1')
8
9 t_NAME = '[a-z][a-z0-9_]*'
10
11 t_AND_OP = '&'
12
13 t_OR_OP = r'\|'
14
15 t_NOT_OP = '!'
16
17 t_SP1 = '[ \t]+'
18
19 def t_error(t):
20     """Avoid warnings on stderr"""
21
22 lexer = lex.lex()
23
24 def p_expression_name(p):
25     """expression : NAME"""
26     p[0] = ('NAME', p[1])
27
28 def p_expression_and_and(p):
29     """expression : expression SP0 AND_OP AND_OP SP0 expression"""
30     p[0] = ('AND', p[1], p[6])
31
32 def p_expression_and(p):
33     """expression : expression SP0 AND_OP SP0 expression"""
34     p[0] = ('AND', p[1], p[5])
35
36 def p_expression_not(p):
37     """expression : NOT_OP SP0 expression"""
38     p[0] = ('NOT', p[3])
39
40 def p_expression_or_or(p):
41     """expression : expression SP0 OR_OP OR_OP SP0 expression"""
42     p[0] = ('OR', p[1], p[6])
43
44 def p_expression_or(p):
45     """expression : expression SP0 OR_OP SP0 expression"""
46     p[0] = ('OR', p[1], p[5])
47
48 def p_expression_parens(p):
49     """expression : '(' SP0 expression SP0 ')'"""
50     p[0] = ('PARENS', p[3])
51
52 def p_SP0(p):
53     """SP0 : SP1
54            | empty
55     """
56
57 def p_empty(p):
58     """empty : """
59
60 def p_error(p):
61     """Avoid warnings on stderr"""
62     yacc.restart()
63
64 precedence = (
65     ('left', 'OR_OP'),
66     ('left', 'AND_OP'),
67     ('right', 'NOT_OP'),
68 )
69
70 parser = yacc.yacc()