]>
Commit | Line | Data |
---|---|---|
abbffdf9 UD |
1 | %{ |
2 | /* Expression parsing for plural form selection. | |
b168057a | 3 | Copyright (C) 2000-2015 Free Software Foundation, Inc. |
abbffdf9 UD |
4 | Written by Ulrich Drepper <drepper@cygnus.com>, 2000. |
5 | ||
6d248857 WN |
6 | This program is free software: you can redistribute it and/or modify |
7 | it under the terms of the GNU Lesser General Public License as published by | |
8 | the Free Software Foundation; either version 2.1 of the License, or | |
9 | (at your option) any later version. | |
abbffdf9 | 10 | |
6d248857 | 11 | This program is distributed in the hope that it will be useful, |
abbffdf9 | 12 | but WITHOUT ANY WARRANTY; without even the implied warranty of |
6d248857 WN |
13 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
14 | GNU Lesser General Public License for more details. | |
abbffdf9 | 15 | |
6d248857 WN |
16 | You should have received a copy of the GNU Lesser General Public License |
17 | along with this program. If not, see <http://www.gnu.org/licenses/>. */ | |
abbffdf9 | 18 | |
6d248857 WN |
19 | /* For bison < 2.0, the bison generated parser uses alloca. AIX 3 forces us |
20 | to put this declaration at the beginning of the file. The declaration in | |
21 | bison's skeleton file comes too late. This must come before <config.h> | |
22 | because <config.h> may include arbitrary system headers. | |
23 | This can go away once the AM_INTL_SUBDIR macro requires bison >= 2.0. */ | |
0555fcce UD |
24 | #if defined _AIX && !defined __GNUC__ |
25 | #pragma alloca | |
26 | #endif | |
6d248857 | 27 | |
61402fd6 UD |
28 | #ifdef HAVE_CONFIG_H |
29 | # include <config.h> | |
30 | #endif | |
31 | ||
0555fcce | 32 | #include <stddef.h> |
abbffdf9 | 33 | #include <stdlib.h> |
85dd1003 | 34 | #include <string.h> |
0555fcce UD |
35 | #include "plural-exp.h" |
36 | ||
37 | /* The main function generated by the parser is called __gettextparse, | |
38 | but we want it to be called PLURAL_PARSE. */ | |
39 | #ifndef _LIBC | |
40 | # define __gettextparse PLURAL_PARSE | |
4a4d50f3 UD |
41 | #endif |
42 | ||
abbffdf9 | 43 | %} |
6d248857 WN |
44 | %parse-param {struct parse_args *arg} |
45 | %lex-param {struct parse_args *arg} | |
46 | %define api.pure full | |
8e57fc70 | 47 | %expect 7 |
abbffdf9 UD |
48 | |
49 | %union { | |
50 | unsigned long int num; | |
6d248857 | 51 | enum expression_operator op; |
abbffdf9 UD |
52 | struct expression *exp; |
53 | } | |
54 | ||
55 | %{ | |
56 | /* Prototypes for local functions. */ | |
6d248857 WN |
57 | static int yylex (YYSTYPE *lval, struct parse_args *arg); |
58 | static void yyerror (struct parse_args *arg, const char *str); | |
4a4d50f3 UD |
59 | |
60 | /* Allocation of expressions. */ | |
61 | ||
62 | static struct expression * | |
6d248857 WN |
63 | new_exp (int nargs, enum expression_operator op, |
64 | struct expression * const *args) | |
4a4d50f3 UD |
65 | { |
66 | int i; | |
67 | struct expression *newp; | |
68 | ||
69 | /* If any of the argument could not be malloc'ed, just return NULL. */ | |
70 | for (i = nargs - 1; i >= 0; i--) | |
71 | if (args[i] == NULL) | |
72 | goto fail; | |
73 | ||
74 | /* Allocate a new expression. */ | |
75 | newp = (struct expression *) malloc (sizeof (*newp)); | |
76 | if (newp != NULL) | |
77 | { | |
78 | newp->nargs = nargs; | |
79 | newp->operation = op; | |
80 | for (i = nargs - 1; i >= 0; i--) | |
81 | newp->val.args[i] = args[i]; | |
82 | return newp; | |
83 | } | |
84 | ||
85 | fail: | |
86 | for (i = nargs - 1; i >= 0; i--) | |
87 | FREE_EXPRESSION (args[i]); | |
88 | ||
89 | return NULL; | |
90 | } | |
91 | ||
92 | static inline struct expression * | |
6d248857 | 93 | new_exp_0 (enum expression_operator op) |
4a4d50f3 UD |
94 | { |
95 | return new_exp (0, op, NULL); | |
96 | } | |
97 | ||
98 | static inline struct expression * | |
6d248857 | 99 | new_exp_1 (enum expression_operator op, struct expression *right) |
4a4d50f3 UD |
100 | { |
101 | struct expression *args[1]; | |
102 | ||
103 | args[0] = right; | |
104 | return new_exp (1, op, args); | |
105 | } | |
106 | ||
107 | static struct expression * | |
6d248857 WN |
108 | new_exp_2 (enum expression_operator op, struct expression *left, |
109 | struct expression *right) | |
4a4d50f3 UD |
110 | { |
111 | struct expression *args[2]; | |
112 | ||
113 | args[0] = left; | |
114 | args[1] = right; | |
115 | return new_exp (2, op, args); | |
116 | } | |
117 | ||
118 | static inline struct expression * | |
6d248857 WN |
119 | new_exp_3 (enum expression_operator op, struct expression *bexp, |
120 | struct expression *tbranch, struct expression *fbranch) | |
4a4d50f3 UD |
121 | { |
122 | struct expression *args[3]; | |
123 | ||
124 | args[0] = bexp; | |
125 | args[1] = tbranch; | |
126 | args[2] = fbranch; | |
127 | return new_exp (3, op, args); | |
128 | } | |
129 | ||
abbffdf9 UD |
130 | %} |
131 | ||
4a4d50f3 UD |
132 | /* This declares that all operators have the same associativity and the |
133 | precedence order as in C. See [Harbison, Steele: C, A Reference Manual]. | |
134 | There is no unary minus and no bitwise operators. | |
135 | Operators with the same syntactic behaviour have been merged into a single | |
136 | token, to save space in the array generated by bison. */ | |
137 | %right '?' /* ? */ | |
138 | %left '|' /* || */ | |
139 | %left '&' /* && */ | |
140 | %left EQUOP2 /* == != */ | |
141 | %left CMPOP2 /* < > <= >= */ | |
142 | %left ADDOP2 /* + - */ | |
143 | %left MULOP2 /* * / % */ | |
144 | %right '!' /* ! */ | |
145 | ||
146 | %token <op> EQUOP2 CMPOP2 ADDOP2 MULOP2 | |
abbffdf9 UD |
147 | %token <num> NUMBER |
148 | %type <exp> exp | |
149 | ||
150 | %% | |
151 | ||
152 | start: exp | |
153 | { | |
4a4d50f3 UD |
154 | if ($1 == NULL) |
155 | YYABORT; | |
6d248857 | 156 | arg->res = $1; |
abbffdf9 UD |
157 | } |
158 | ; | |
159 | ||
160 | exp: exp '?' exp ':' exp | |
161 | { | |
4a4d50f3 | 162 | $$ = new_exp_3 (qmop, $1, $3, $5); |
abbffdf9 UD |
163 | } |
164 | | exp '|' exp | |
165 | { | |
4a4d50f3 | 166 | $$ = new_exp_2 (lor, $1, $3); |
abbffdf9 UD |
167 | } |
168 | | exp '&' exp | |
169 | { | |
4a4d50f3 | 170 | $$ = new_exp_2 (land, $1, $3); |
abbffdf9 | 171 | } |
4a4d50f3 | 172 | | exp EQUOP2 exp |
abbffdf9 | 173 | { |
4a4d50f3 | 174 | $$ = new_exp_2 ($2, $1, $3); |
abbffdf9 | 175 | } |
4a4d50f3 | 176 | | exp CMPOP2 exp |
abbffdf9 | 177 | { |
4a4d50f3 | 178 | $$ = new_exp_2 ($2, $1, $3); |
abbffdf9 | 179 | } |
4a4d50f3 | 180 | | exp ADDOP2 exp |
abbffdf9 | 181 | { |
4a4d50f3 | 182 | $$ = new_exp_2 ($2, $1, $3); |
abbffdf9 | 183 | } |
4a4d50f3 | 184 | | exp MULOP2 exp |
abbffdf9 | 185 | { |
4a4d50f3 | 186 | $$ = new_exp_2 ($2, $1, $3); |
abbffdf9 | 187 | } |
4a4d50f3 | 188 | | '!' exp |
abbffdf9 | 189 | { |
4a4d50f3 | 190 | $$ = new_exp_1 (lnot, $2); |
abbffdf9 UD |
191 | } |
192 | | 'n' | |
193 | { | |
4a4d50f3 | 194 | $$ = new_exp_0 (var); |
abbffdf9 UD |
195 | } |
196 | | NUMBER | |
197 | { | |
4a4d50f3 UD |
198 | if (($$ = new_exp_0 (num)) != NULL) |
199 | $$->val.num = $1; | |
abbffdf9 UD |
200 | } |
201 | | '(' exp ')' | |
202 | { | |
4a4d50f3 | 203 | $$ = $2; |
abbffdf9 UD |
204 | } |
205 | ; | |
206 | ||
207 | %% | |
208 | ||
abbffdf9 UD |
209 | void |
210 | internal_function | |
6d248857 | 211 | FREE_EXPRESSION (struct expression *exp) |
abbffdf9 UD |
212 | { |
213 | if (exp == NULL) | |
214 | return; | |
215 | ||
216 | /* Handle the recursive case. */ | |
4a4d50f3 | 217 | switch (exp->nargs) |
abbffdf9 | 218 | { |
4a4d50f3 UD |
219 | case 3: |
220 | FREE_EXPRESSION (exp->val.args[2]); | |
221 | /* FALLTHROUGH */ | |
222 | case 2: | |
223 | FREE_EXPRESSION (exp->val.args[1]); | |
224 | /* FALLTHROUGH */ | |
225 | case 1: | |
226 | FREE_EXPRESSION (exp->val.args[0]); | |
abbffdf9 | 227 | /* FALLTHROUGH */ |
abbffdf9 UD |
228 | default: |
229 | break; | |
230 | } | |
231 | ||
232 | free (exp); | |
233 | } | |
234 | ||
235 | ||
236 | static int | |
6d248857 | 237 | yylex (YYSTYPE *lval, struct parse_args *arg) |
abbffdf9 | 238 | { |
6d248857 | 239 | const char *exp = arg->cp; |
abbffdf9 UD |
240 | int result; |
241 | ||
242 | while (1) | |
243 | { | |
2f599545 UD |
244 | if (exp[0] == '\0') |
245 | { | |
6d248857 | 246 | arg->cp = exp; |
2f599545 UD |
247 | return YYEOF; |
248 | } | |
249 | ||
250 | if (exp[0] != ' ' && exp[0] != '\t') | |
abbffdf9 UD |
251 | break; |
252 | ||
253 | ++exp; | |
254 | } | |
255 | ||
256 | result = *exp++; | |
257 | switch (result) | |
258 | { | |
61402fd6 UD |
259 | case '0': case '1': case '2': case '3': case '4': |
260 | case '5': case '6': case '7': case '8': case '9': | |
abbffdf9 | 261 | { |
eda6c725 | 262 | unsigned long int n = result - '0'; |
abbffdf9 UD |
263 | while (exp[0] >= '0' && exp[0] <= '9') |
264 | { | |
265 | n *= 10; | |
266 | n += exp[0] - '0'; | |
267 | ++exp; | |
268 | } | |
269 | lval->num = n; | |
270 | result = NUMBER; | |
271 | } | |
272 | break; | |
273 | ||
274 | case '=': | |
abbffdf9 | 275 | if (exp[0] == '=') |
4a4d50f3 UD |
276 | { |
277 | ++exp; | |
278 | lval->op = equal; | |
279 | result = EQUOP2; | |
280 | } | |
abbffdf9 UD |
281 | else |
282 | result = YYERRCODE; | |
283 | break; | |
284 | ||
4a4d50f3 UD |
285 | case '!': |
286 | if (exp[0] == '=') | |
287 | { | |
288 | ++exp; | |
289 | lval->op = not_equal; | |
290 | result = EQUOP2; | |
291 | } | |
292 | break; | |
293 | ||
abbffdf9 UD |
294 | case '&': |
295 | case '|': | |
296 | if (exp[0] == result) | |
297 | ++exp; | |
298 | else | |
299 | result = YYERRCODE; | |
300 | break; | |
301 | ||
4a4d50f3 UD |
302 | case '<': |
303 | if (exp[0] == '=') | |
304 | { | |
305 | ++exp; | |
306 | lval->op = less_or_equal; | |
307 | } | |
308 | else | |
309 | lval->op = less_than; | |
310 | result = CMPOP2; | |
311 | break; | |
312 | ||
313 | case '>': | |
314 | if (exp[0] == '=') | |
315 | { | |
316 | ++exp; | |
317 | lval->op = greater_or_equal; | |
318 | } | |
319 | else | |
320 | lval->op = greater_than; | |
321 | result = CMPOP2; | |
322 | break; | |
323 | ||
abbffdf9 | 324 | case '*': |
4a4d50f3 UD |
325 | lval->op = mult; |
326 | result = MULOP2; | |
327 | break; | |
328 | ||
abbffdf9 | 329 | case '/': |
4a4d50f3 UD |
330 | lval->op = divide; |
331 | result = MULOP2; | |
332 | break; | |
333 | ||
abbffdf9 | 334 | case '%': |
4a4d50f3 UD |
335 | lval->op = module; |
336 | result = MULOP2; | |
337 | break; | |
338 | ||
abbffdf9 | 339 | case '+': |
4a4d50f3 UD |
340 | lval->op = plus; |
341 | result = ADDOP2; | |
342 | break; | |
343 | ||
abbffdf9 | 344 | case '-': |
4a4d50f3 UD |
345 | lval->op = minus; |
346 | result = ADDOP2; | |
347 | break; | |
348 | ||
349 | case 'n': | |
abbffdf9 UD |
350 | case '?': |
351 | case ':': | |
352 | case '(': | |
353 | case ')': | |
354 | /* Nothing, just return the character. */ | |
355 | break; | |
356 | ||
2f599545 | 357 | case ';': |
abbffdf9 UD |
358 | case '\n': |
359 | case '\0': | |
360 | /* Be safe and let the user call this function again. */ | |
361 | --exp; | |
362 | result = YYEOF; | |
363 | break; | |
364 | ||
365 | default: | |
366 | result = YYERRCODE; | |
367 | #if YYDEBUG != 0 | |
368 | --exp; | |
369 | #endif | |
370 | break; | |
371 | } | |
372 | ||
6d248857 | 373 | arg->cp = exp; |
abbffdf9 UD |
374 | |
375 | return result; | |
376 | } | |
377 | ||
378 | ||
379 | static void | |
6d248857 | 380 | yyerror (struct parse_args *arg, const char *str) |
abbffdf9 UD |
381 | { |
382 | /* Do nothing. We don't print error messages here. */ | |
383 | } |