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
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
|
%pure-parser
%{
#define YYPARSE_PARAM resultptr
#include "evaltype.h"
#include "eval.h"
void yyerror (eval_scalar *resultptr,char *s)
{
set_eval_error(s);
}
%}
%parse-param {eval_scalar *resultptr}
%union {
eval_scalar scalar;
char *ident;
eval_scalarlist scalars;
};
%token <scalar> EVAL_INT
%token <scalar> EVAL_STR
%token <scalar> EVAL_FLOAT
%token <ident> EVAL_IDENT
%type <scalar> scalar
%type <scalars> scalarlist
%type <scalars> scalarlist_or_null
%type <ident> identifier
%left ','
%right '?' ':'
%left '.'
%left EVAL_LAND
%left EVAL_LXOR
%left EVAL_LOR
%left '|'
%left '^'
%left '&'
%nonassoc EVAL_EQ
%nonassoc EVAL_NE
%nonassoc EVAL_STR_EQ
%nonassoc EVAL_STR_NE
%nonassoc EVAL_LT
%nonassoc EVAL_LE
%nonassoc EVAL_GT
%nonassoc EVAL_GE
%nonassoc EVAL_STR_LT
%nonassoc EVAL_STR_LE
%nonassoc EVAL_STR_GT
%nonassoc EVAL_STR_GE
%nonassoc EVAL_SHL
%nonassoc EVAL_SHR
%left '-' '+'
%left '*' '/' '%'
%left NEG '~' '!'
%left EVAL_POW
%%
input: scalar { *(eval_scalar*)resultptr=$1; }
;
scalar: EVAL_INT { $$ = $1; }
| EVAL_STR { $$ = $1; }
| EVAL_FLOAT { $$ = $1; }
| scalar '*' scalar { if (!scalar_op(&$$, &$1, &$3, '*')) YYERROR; }
| scalar '/' scalar { if (!scalar_op(&$$, &$1, &$3, '/')) YYERROR; }
| scalar '%' scalar { if (!scalar_op(&$$, &$1, &$3, '%')) YYERROR; }
| scalar '+' scalar { if (!scalar_op(&$$, &$1, &$3, '+')) YYERROR; }
| scalar '-' scalar { if (!scalar_op(&$$, &$1, &$3, '-')) YYERROR; }
| scalar '&' scalar { if (!scalar_op(&$$, &$1, &$3, '&')) YYERROR; }
| scalar '|' scalar { if (!scalar_op(&$$, &$1, &$3, '|')) YYERROR; }
| scalar '^' scalar { if (!scalar_op(&$$, &$1, &$3, '^')) YYERROR; }
| scalar EVAL_POW scalar { if (!scalar_op(&$$, &$1, &$3, EVAL_POW)) YYERROR; }
| scalar EVAL_SHL scalar { if (!scalar_op(&$$, &$1, &$3, EVAL_SHL)) YYERROR; }
| scalar EVAL_SHR scalar { if (!scalar_op(&$$, &$1, &$3, EVAL_SHR)) YYERROR; }
| scalar EVAL_EQ scalar { if (!scalar_op(&$$, &$1, &$3, EVAL_EQ)) YYERROR; }
| scalar EVAL_NE scalar { if (!scalar_op(&$$, &$1, &$3, EVAL_NE)) YYERROR; }
| scalar EVAL_GT scalar { if (!scalar_op(&$$, &$1, &$3, EVAL_GT)) YYERROR; }
| scalar EVAL_GE scalar { if (!scalar_op(&$$, &$1, &$3, EVAL_GE)) YYERROR; }
| scalar EVAL_LT scalar { if (!scalar_op(&$$, &$1, &$3, EVAL_LT)) YYERROR; }
| scalar EVAL_LE scalar { if (!scalar_op(&$$, &$1, &$3, EVAL_LE)) YYERROR; }
| scalar EVAL_LAND scalar { if (!scalar_op(&$$, &$1, &$3, EVAL_LAND)) YYERROR; }
| scalar EVAL_LXOR scalar { if (!scalar_op(&$$, &$1, &$3, EVAL_LXOR)) YYERROR; }
| scalar EVAL_LOR scalar { if (!scalar_op(&$$, &$1, &$3, EVAL_LOR)) YYERROR; }
| scalar EVAL_STR_EQ scalar { scalar_strop(&$$, &$1, &$3, EVAL_STR_EQ); }
| scalar EVAL_STR_NE scalar { scalar_strop(&$$, &$1, &$3, EVAL_STR_NE); }
| scalar EVAL_STR_GT scalar { scalar_strop(&$$, &$1, &$3, EVAL_STR_GT); }
| scalar EVAL_STR_GE scalar { scalar_strop(&$$, &$1, &$3, EVAL_STR_GE); }
| scalar EVAL_STR_LT scalar { scalar_strop(&$$, &$1, &$3, EVAL_STR_LT); }
| scalar EVAL_STR_LE scalar { scalar_strop(&$$, &$1, &$3, EVAL_STR_LE); }
| '-' scalar %prec NEG { scalar_negset(&$$, &$2); }
| '~' scalar { scalar_notset(&$$, &$2); }
| '!' scalar { scalar_lnotset(&$$, &$2); }
| '(' scalar ')' { $$ = $2; }
| scalar '?' scalar ':' scalar { scalar_miniif(&$$, &$1, &$3, &$5); }
| scalar '.' scalar
{
scalar_concat(&$$, &$1, &$3);
scalar_destroy(&$1);
scalar_destroy(&$3);
}
| identifier '(' scalarlist_or_null ')'
{
int r=evalfunc(&$$, $1, &$3);
scalarlist_destroy(&$3);
free($1);
if (!r) YYERROR;
}
| identifier
{
int r=evalsymbol(&$$, $1);
free($1);
if (!r) YYERROR;
}
;
scalarlist_or_null: /* empty */
{
eval_scalarlist s;
s.count=0;
s.scalars=NULL;
$$ = s;
}
| scalarlist { $$ = $1; }
;
scalarlist: scalar { scalarlist_set(&$$, &$1); }
| scalarlist ',' scalarlist
{
scalarlist_concat(&$$, &$1, &$3);
scalarlist_destroy_gentle(&$1);
scalarlist_destroy_gentle(&$3);
}
;
identifier: EVAL_IDENT { $$ = $1; }
;
%%
|
