-
Notifications
You must be signed in to change notification settings - Fork 2
/
parser.y
112 lines (100 loc) · 1.65 KB
/
parser.y
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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
%{
package policy
import (
"fmt"
)
func(y yySymType) String() string {
return fmt.Sprintf("{str:%s,...}", y.str)
}
%}
%union {
f rule
str string
num int
b bool
}
%type <f> check expr
%token '(' ')' '@' '!' ':'
%token and or not
%left or
%left and
%left not
%token variable, unquotedStr, constStr, number, boolean
%type <str> variable, unquotedStr, constStr
%type <b> boolean
%type <num> number
%%
rule:
{
var f rule = func(c Context ) bool { return true }
yylex.(*lexer).parseResult = f
}
|
expr
{
yylex.(*lexer).parseResult = $1
}
expr:
not expr
{
f := $2
$$ = func(c Context) bool { return !f(c) }
}
|
'(' expr ')'
{
f := $2
$$ = func(c Context) bool { return f(c) }
}
|
expr or expr
{
left, right := $1,$3
$$ = func(c Context) bool { return left(c) || right(c) }
}
|
expr and expr
{
left,right := $1, $3
$$ = func(c Context) bool { return left(c) && right(c) }
}
|
check
{
$$ = $1
}
check:
unquotedStr ':' unquotedStr
{
left,right := $1,$3
$$ = func(c Context) bool { return c.genericCheck(left, right, false) }
}
|
unquotedStr ':' constStr
{
left,right := $1,$3
$$ = func(c Context) bool { return c.genericCheck(left, right, false) }
}
|
unquotedStr ':' variable
{
left,right := $1,$3
$$ = func(c Context) bool { return c.genericCheck(left, right, true) }
}
|
constStr ':' variable
{
left,right := $1,$3
$$ = func(c Context) bool { return c.checkVariable( right, left ) }
}
|
'@'
{
$$ = func(_ Context) bool { return true }
}
|
'!'
{
$$ = func(_ Context) bool { return false }
}
%%