1 | /* |
2 | * From: @(#)rpc_parse.c 1.8 89/02/22 |
3 | * |
4 | * Copyright (c) 2010, Oracle America, Inc. |
5 | * Redistribution and use in source and binary forms, with or without |
6 | * modification, are permitted provided that the following conditions are |
7 | * met: |
8 | * |
9 | * * Redistributions of source code must retain the above copyright |
10 | * notice, this list of conditions and the following disclaimer. |
11 | * * Redistributions in binary form must reproduce the above |
12 | * copyright notice, this list of conditions and the following |
13 | * disclaimer in the documentation and/or other materials |
14 | * provided with the distribution. |
15 | * * Neither the name of the "Oracle America, Inc." nor the names of its |
16 | * contributors may be used to endorse or promote products derived |
17 | * from this software without specific prior written permission. |
18 | * |
19 | * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS |
20 | * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT |
21 | * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS |
22 | * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE |
23 | * COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, |
24 | * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL |
25 | * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE |
26 | * GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS |
27 | * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, |
28 | * WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING |
29 | * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE |
30 | * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
31 | */ |
32 | |
33 | /* |
34 | * rpc_parse.c, Parser for the RPC protocol compiler |
35 | * Copyright (C) 1987 Sun Microsystems, Inc. |
36 | */ |
37 | #include <stdio.h> |
38 | #include <string.h> |
39 | #include "rpc/types.h" |
40 | #include "rpc_scan.h" |
41 | #include "rpc_parse.h" |
42 | #include "rpc_util.h" |
43 | #include "proto.h" |
44 | |
45 | #define ARGNAME "arg" |
46 | |
47 | static void isdefined (definition * defp); |
48 | static void def_struct (definition * defp); |
49 | static void def_program (definition * defp); |
50 | static void def_enum (definition * defp); |
51 | static void def_const (definition * defp); |
52 | static void def_union (definition * defp); |
53 | static void check_type_name (const char *name, int new_type); |
54 | static void def_typedef (definition * defp); |
55 | static void get_declaration (declaration * dec, defkind dkind); |
56 | static void get_prog_declaration (declaration * dec, defkind dkind, int num); |
57 | static void get_type (const char **prefixp, const char **typep, defkind dkind); |
58 | static void unsigned_dec (const char **typep); |
59 | |
60 | /* |
61 | * return the next definition you see |
62 | */ |
63 | definition * |
64 | get_definition (void) |
65 | { |
66 | definition *defp; |
67 | token tok; |
68 | |
69 | defp = ALLOC (definition); |
70 | get_token (&tok); |
71 | switch (tok.kind) |
72 | { |
73 | case TOK_STRUCT: |
74 | def_struct (defp); |
75 | break; |
76 | case TOK_UNION: |
77 | def_union (defp); |
78 | break; |
79 | case TOK_TYPEDEF: |
80 | def_typedef (defp); |
81 | break; |
82 | case TOK_ENUM: |
83 | def_enum (defp); |
84 | break; |
85 | case TOK_PROGRAM: |
86 | def_program (defp); |
87 | break; |
88 | case TOK_CONST: |
89 | def_const (defp); |
90 | break; |
91 | case TOK_EOF: |
92 | free (defp); |
93 | return (NULL); |
94 | default: |
95 | error ("definition keyword expected" ); |
96 | } |
97 | scan (TOK_SEMICOLON, &tok); |
98 | isdefined (defp); |
99 | return (defp); |
100 | } |
101 | |
102 | static void |
103 | isdefined (definition * defp) |
104 | { |
105 | STOREVAL (&defined, defp); |
106 | } |
107 | |
108 | static void |
109 | def_struct (definition * defp) |
110 | { |
111 | token tok; |
112 | declaration dec; |
113 | decl_list *decls; |
114 | decl_list **tailp; |
115 | |
116 | defp->def_kind = DEF_STRUCT; |
117 | |
118 | scan (TOK_IDENT, &tok); |
119 | defp->def_name = tok.str; |
120 | scan (TOK_LBRACE, &tok); |
121 | tailp = &defp->def.st.decls; |
122 | do |
123 | { |
124 | get_declaration (&dec, DEF_STRUCT); |
125 | decls = ALLOC (decl_list); |
126 | decls->decl = dec; |
127 | *tailp = decls; |
128 | tailp = &decls->next; |
129 | scan (TOK_SEMICOLON, &tok); |
130 | peek (&tok); |
131 | } |
132 | while (tok.kind != TOK_RBRACE); |
133 | get_token (&tok); |
134 | *tailp = NULL; |
135 | } |
136 | |
137 | static void |
138 | def_program (definition * defp) |
139 | { |
140 | token tok; |
141 | declaration dec; |
142 | decl_list *decls; |
143 | decl_list **tailp; |
144 | version_list *vlist; |
145 | version_list **vtailp; |
146 | proc_list *plist; |
147 | proc_list **ptailp; |
148 | int num_args; |
149 | bool_t isvoid = FALSE; /* whether first argument is void */ |
150 | defp->def_kind = DEF_PROGRAM; |
151 | scan (TOK_IDENT, &tok); |
152 | defp->def_name = tok.str; |
153 | scan (TOK_LBRACE, &tok); |
154 | vtailp = &defp->def.pr.versions; |
155 | tailp = &defp->def.st.decls; |
156 | scan (TOK_VERSION, &tok); |
157 | do |
158 | { |
159 | scan (TOK_IDENT, &tok); |
160 | vlist = ALLOC (version_list); |
161 | vlist->vers_name = tok.str; |
162 | scan (TOK_LBRACE, &tok); |
163 | ptailp = &vlist->procs; |
164 | do |
165 | { |
166 | /* get result type */ |
167 | plist = ALLOC (proc_list); |
168 | get_type (&plist->res_prefix, &plist->res_type, |
169 | DEF_PROGRAM); |
170 | if (streq (plist->res_type, "opaque" )) |
171 | { |
172 | error ("illegal result type" ); |
173 | } |
174 | scan (TOK_IDENT, &tok); |
175 | plist->proc_name = tok.str; |
176 | scan (TOK_LPAREN, &tok); |
177 | /* get args - first one */ |
178 | num_args = 1; |
179 | isvoid = FALSE; |
180 | /* type of DEF_PROGRAM in the first |
181 | * get_prog_declaration and DEF_STURCT in the next |
182 | * allows void as argument if it is the only argument |
183 | */ |
184 | get_prog_declaration (&dec, DEF_PROGRAM, num_args); |
185 | if (streq (dec.type, "void" )) |
186 | isvoid = TRUE; |
187 | decls = ALLOC (decl_list); |
188 | plist->args.decls = decls; |
189 | decls->decl = dec; |
190 | tailp = &decls->next; |
191 | /* get args */ |
192 | while (peekscan (TOK_COMMA, &tok)) |
193 | { |
194 | num_args++; |
195 | get_prog_declaration (&dec, DEF_STRUCT, |
196 | num_args); |
197 | decls = ALLOC (decl_list); |
198 | decls->decl = dec; |
199 | *tailp = decls; |
200 | if (streq (dec.type, "void" )) |
201 | isvoid = TRUE; |
202 | tailp = &decls->next; |
203 | } |
204 | /* multiple arguments are only allowed in newstyle */ |
205 | if (!newstyle && num_args > 1) |
206 | { |
207 | error ("only one argument is allowed" ); |
208 | } |
209 | if (isvoid && num_args > 1) |
210 | { |
211 | error ("illegal use of void in program definition" ); |
212 | } |
213 | *tailp = NULL; |
214 | scan (TOK_RPAREN, &tok); |
215 | scan (TOK_EQUAL, &tok); |
216 | scan_num (&tok); |
217 | scan (TOK_SEMICOLON, &tok); |
218 | plist->proc_num = tok.str; |
219 | plist->arg_num = num_args; |
220 | *ptailp = plist; |
221 | ptailp = &plist->next; |
222 | peek (&tok); |
223 | } |
224 | while (tok.kind != TOK_RBRACE); |
225 | *ptailp = NULL; |
226 | *vtailp = vlist; |
227 | vtailp = &vlist->next; |
228 | scan (TOK_RBRACE, &tok); |
229 | scan (TOK_EQUAL, &tok); |
230 | scan_num (&tok); |
231 | vlist->vers_num = tok.str; |
232 | /* make the argument structure name for each arg */ |
233 | for (plist = vlist->procs; plist != NULL; |
234 | plist = plist->next) |
235 | { |
236 | plist->args.argname = make_argname (plist->proc_name, |
237 | vlist->vers_num); |
238 | /* free the memory ?? */ |
239 | } |
240 | scan (TOK_SEMICOLON, &tok); |
241 | scan2 (TOK_VERSION, TOK_RBRACE, &tok); |
242 | } |
243 | while (tok.kind == TOK_VERSION); |
244 | scan (TOK_EQUAL, &tok); |
245 | scan_num (&tok); |
246 | defp->def.pr.prog_num = tok.str; |
247 | *vtailp = NULL; |
248 | } |
249 | |
250 | |
251 | static void |
252 | def_enum (definition * defp) |
253 | { |
254 | token tok; |
255 | enumval_list *elist; |
256 | enumval_list **tailp; |
257 | |
258 | defp->def_kind = DEF_ENUM; |
259 | scan (TOK_IDENT, &tok); |
260 | defp->def_name = tok.str; |
261 | scan (TOK_LBRACE, &tok); |
262 | tailp = &defp->def.en.vals; |
263 | do |
264 | { |
265 | scan (TOK_IDENT, &tok); |
266 | elist = ALLOC (enumval_list); |
267 | elist->name = tok.str; |
268 | elist->assignment = NULL; |
269 | scan3 (TOK_COMMA, TOK_RBRACE, TOK_EQUAL, &tok); |
270 | if (tok.kind == TOK_EQUAL) |
271 | { |
272 | scan_num (&tok); |
273 | elist->assignment = tok.str; |
274 | scan2 (TOK_COMMA, TOK_RBRACE, &tok); |
275 | } |
276 | *tailp = elist; |
277 | tailp = &elist->next; |
278 | } |
279 | while (tok.kind != TOK_RBRACE); |
280 | *tailp = NULL; |
281 | } |
282 | |
283 | static void |
284 | def_const (definition * defp) |
285 | { |
286 | token tok; |
287 | |
288 | defp->def_kind = DEF_CONST; |
289 | scan (TOK_IDENT, &tok); |
290 | defp->def_name = tok.str; |
291 | scan (TOK_EQUAL, &tok); |
292 | scan2 (TOK_IDENT, TOK_STRCONST, &tok); |
293 | defp->def.co = tok.str; |
294 | } |
295 | |
296 | static void |
297 | def_union (definition *defp) |
298 | { |
299 | token tok; |
300 | declaration dec; |
301 | case_list *cases; |
302 | /* case_list *tcase; */ |
303 | case_list **tailp; |
304 | #if 0 |
305 | int flag; |
306 | #endif |
307 | |
308 | defp->def_kind = DEF_UNION; |
309 | scan (TOK_IDENT, &tok); |
310 | defp->def_name = tok.str; |
311 | scan (TOK_SWITCH, &tok); |
312 | scan (TOK_LPAREN, &tok); |
313 | get_declaration (&dec, DEF_UNION); |
314 | defp->def.un.enum_decl = dec; |
315 | tailp = &defp->def.un.cases; |
316 | scan (TOK_RPAREN, &tok); |
317 | scan (TOK_LBRACE, &tok); |
318 | scan (TOK_CASE, &tok); |
319 | while (tok.kind == TOK_CASE) |
320 | { |
321 | scan2 (TOK_IDENT, TOK_CHARCONST, &tok); |
322 | cases = ALLOC (case_list); |
323 | cases->case_name = tok.str; |
324 | scan (TOK_COLON, &tok); |
325 | /* now peek at next token */ |
326 | #if 0 |
327 | flag = 0; |
328 | #endif |
329 | if (peekscan (TOK_CASE, &tok)) |
330 | { |
331 | |
332 | do |
333 | { |
334 | scan2 (TOK_IDENT, TOK_CHARCONST, &tok); |
335 | cases->contflag = 1; /* continued case statement */ |
336 | *tailp = cases; |
337 | tailp = &cases->next; |
338 | cases = ALLOC (case_list); |
339 | cases->case_name = tok.str; |
340 | scan (TOK_COLON, &tok); |
341 | |
342 | } |
343 | while (peekscan (TOK_CASE, &tok)); |
344 | } |
345 | #if 0 |
346 | else if (flag) |
347 | { |
348 | |
349 | *tailp = cases; |
350 | tailp = &cases->next; |
351 | cases = ALLOC (case_list); |
352 | }; |
353 | #endif |
354 | |
355 | get_declaration (&dec, DEF_UNION); |
356 | cases->case_decl = dec; |
357 | cases->contflag = 0; /* no continued case statement */ |
358 | *tailp = cases; |
359 | tailp = &cases->next; |
360 | scan (TOK_SEMICOLON, &tok); |
361 | |
362 | scan3 (TOK_CASE, TOK_DEFAULT, TOK_RBRACE, &tok); |
363 | } |
364 | *tailp = NULL; |
365 | if (tok.kind == TOK_DEFAULT) |
366 | { |
367 | scan (TOK_COLON, &tok); |
368 | get_declaration (&dec, DEF_UNION); |
369 | defp->def.un.default_decl = ALLOC (declaration); |
370 | *defp->def.un.default_decl = dec; |
371 | scan (TOK_SEMICOLON, &tok); |
372 | scan (TOK_RBRACE, &tok); |
373 | } |
374 | else |
375 | { |
376 | defp->def.un.default_decl = NULL; |
377 | } |
378 | } |
379 | |
380 | static const char *reserved_words[] = |
381 | { |
382 | "array" , |
383 | "bytes" , |
384 | "destroy" , |
385 | "free" , |
386 | "getpos" , |
387 | "inline" , |
388 | "pointer" , |
389 | "reference" , |
390 | "setpos" , |
391 | "sizeof" , |
392 | "union" , |
393 | "vector" , |
394 | NULL |
395 | }; |
396 | |
397 | static const char *reserved_types[] = |
398 | { |
399 | "opaque" , |
400 | "string" , |
401 | NULL |
402 | }; |
403 | |
404 | /* |
405 | * check that the given name is not one that would eventually result in |
406 | * xdr routines that would conflict with internal XDR routines. |
407 | */ |
408 | static void |
409 | check_type_name (const char *name, int new_type) |
410 | { |
411 | int i; |
412 | char tmp[100]; |
413 | |
414 | for (i = 0; reserved_words[i] != NULL; i++) |
415 | { |
416 | if (strcmp (name, reserved_words[i]) == 0) |
417 | { |
418 | sprintf (tmp, |
419 | "illegal (reserved) name :\'%s\' in type definition" , name); |
420 | error (tmp); |
421 | } |
422 | } |
423 | if (new_type) |
424 | { |
425 | for (i = 0; reserved_types[i] != NULL; i++) |
426 | { |
427 | if (strcmp (name, reserved_types[i]) == 0) |
428 | { |
429 | sprintf (tmp, |
430 | "illegal (reserved) name :\'%s\' in type definition" , name); |
431 | error (tmp); |
432 | } |
433 | } |
434 | } |
435 | } |
436 | |
437 | |
438 | |
439 | static void |
440 | def_typedef (definition * defp) |
441 | { |
442 | declaration dec; |
443 | |
444 | defp->def_kind = DEF_TYPEDEF; |
445 | get_declaration (&dec, DEF_TYPEDEF); |
446 | defp->def_name = dec.name; |
447 | check_type_name (dec.name, 1); |
448 | defp->def.ty.old_prefix = dec.prefix; |
449 | defp->def.ty.old_type = dec.type; |
450 | defp->def.ty.rel = dec.rel; |
451 | defp->def.ty.array_max = dec.array_max; |
452 | } |
453 | |
454 | static void |
455 | get_declaration (declaration * dec, defkind dkind) |
456 | { |
457 | token tok; |
458 | |
459 | get_type (&dec->prefix, &dec->type, dkind); |
460 | dec->rel = REL_ALIAS; |
461 | if (streq (dec->type, "void" )) |
462 | { |
463 | return; |
464 | } |
465 | |
466 | check_type_name (dec->type, 0); |
467 | |
468 | scan2 (TOK_STAR, TOK_IDENT, &tok); |
469 | if (tok.kind == TOK_STAR) |
470 | { |
471 | dec->rel = REL_POINTER; |
472 | scan (TOK_IDENT, &tok); |
473 | } |
474 | dec->name = tok.str; |
475 | if (peekscan (TOK_LBRACKET, &tok)) |
476 | { |
477 | if (dec->rel == REL_POINTER) |
478 | { |
479 | error ("no array-of-pointer declarations -- use typedef" ); |
480 | } |
481 | dec->rel = REL_VECTOR; |
482 | scan_num (&tok); |
483 | dec->array_max = tok.str; |
484 | scan (TOK_RBRACKET, &tok); |
485 | } |
486 | else if (peekscan (TOK_LANGLE, &tok)) |
487 | { |
488 | if (dec->rel == REL_POINTER) |
489 | { |
490 | error ("no array-of-pointer declarations -- use typedef" ); |
491 | } |
492 | dec->rel = REL_ARRAY; |
493 | if (peekscan (TOK_RANGLE, &tok)) |
494 | { |
495 | dec->array_max = "~0" ; /* unspecified size, use max */ |
496 | } |
497 | else |
498 | { |
499 | scan_num (&tok); |
500 | dec->array_max = tok.str; |
501 | scan (TOK_RANGLE, &tok); |
502 | } |
503 | } |
504 | if (streq (dec->type, "opaque" )) |
505 | { |
506 | if (dec->rel != REL_ARRAY && dec->rel != REL_VECTOR) |
507 | { |
508 | error ("array declaration expected" ); |
509 | } |
510 | } |
511 | else if (streq (dec->type, "string" )) |
512 | { |
513 | if (dec->rel != REL_ARRAY) |
514 | { |
515 | error ("variable-length array declaration expected" ); |
516 | } |
517 | } |
518 | } |
519 | |
520 | static void |
521 | get_prog_declaration (declaration * dec, defkind dkind, int num /* arg number */ ) |
522 | { |
523 | token tok; |
524 | char name[MAXLINESIZE]; /* argument name */ |
525 | |
526 | if (dkind == DEF_PROGRAM) |
527 | { |
528 | peek (&tok); |
529 | if (tok.kind == TOK_RPAREN) |
530 | { /* no arguments */ |
531 | dec->rel = REL_ALIAS; |
532 | dec->type = "void" ; |
533 | dec->prefix = NULL; |
534 | dec->name = NULL; |
535 | return; |
536 | } |
537 | } |
538 | get_type (&dec->prefix, &dec->type, dkind); |
539 | dec->rel = REL_ALIAS; |
540 | if (peekscan (TOK_IDENT, &tok)) /* optional name of argument */ |
541 | strcpy (name, tok.str); |
542 | else |
543 | sprintf (name, "%s%d" , ARGNAME, num); /* default name of argument */ |
544 | |
545 | dec->name = (char *) strdup (name); |
546 | |
547 | if (streq (dec->type, "void" )) |
548 | { |
549 | return; |
550 | } |
551 | |
552 | if (streq (dec->type, "opaque" )) |
553 | { |
554 | error ("opaque -- illegal argument type" ); |
555 | } |
556 | if (peekscan (TOK_STAR, &tok)) |
557 | { |
558 | if (streq (dec->type, "string" )) |
559 | { |
560 | error ("pointer to string not allowed in program arguments\n" ); |
561 | } |
562 | dec->rel = REL_POINTER; |
563 | if (peekscan (TOK_IDENT, &tok)) /* optional name of argument */ |
564 | dec->name = strdup (tok.str); |
565 | } |
566 | if (peekscan (TOK_LANGLE, &tok)) |
567 | { |
568 | if (!streq (dec->type, "string" )) |
569 | { |
570 | error ("arrays cannot be declared as arguments to procedures -- use typedef" ); |
571 | } |
572 | dec->rel = REL_ARRAY; |
573 | if (peekscan (TOK_RANGLE, &tok)) |
574 | { |
575 | dec->array_max = "~0" ; /* unspecified size, use max */ |
576 | } |
577 | else |
578 | { |
579 | scan_num (&tok); |
580 | dec->array_max = tok.str; |
581 | scan (TOK_RANGLE, &tok); |
582 | } |
583 | } |
584 | if (streq (dec->type, "string" )) |
585 | { |
586 | if (dec->rel != REL_ARRAY) |
587 | { /* .x specifies just string as |
588 | * type of argument |
589 | * - make it string<> |
590 | */ |
591 | dec->rel = REL_ARRAY; |
592 | dec->array_max = "~0" ; /* unspecified size, use max */ |
593 | } |
594 | } |
595 | } |
596 | |
597 | static void |
598 | get_type (const char **prefixp, const char **typep, defkind dkind) |
599 | { |
600 | token tok; |
601 | |
602 | *prefixp = NULL; |
603 | get_token (&tok); |
604 | switch (tok.kind) |
605 | { |
606 | case TOK_IDENT: |
607 | *typep = tok.str; |
608 | break; |
609 | case TOK_STRUCT: |
610 | case TOK_ENUM: |
611 | case TOK_UNION: |
612 | *prefixp = tok.str; |
613 | scan (TOK_IDENT, &tok); |
614 | *typep = tok.str; |
615 | break; |
616 | case TOK_UNSIGNED: |
617 | unsigned_dec (typep); |
618 | break; |
619 | case TOK_SHORT: |
620 | *typep = "short" ; |
621 | (void) peekscan (TOK_INT, &tok); |
622 | break; |
623 | case TOK_LONG: |
624 | *typep = "long" ; |
625 | (void) peekscan (TOK_INT, &tok); |
626 | break; |
627 | case TOK_HYPER: |
628 | *typep = "quad_t" ; |
629 | (void) peekscan(TOK_INT, &tok); |
630 | break; |
631 | case TOK_VOID: |
632 | if (dkind != DEF_UNION && dkind != DEF_PROGRAM) |
633 | { |
634 | error ("voids allowed only inside union and program definitions with one argument" ); |
635 | } |
636 | *typep = tok.str; |
637 | break; |
638 | case TOK_STRING: |
639 | case TOK_OPAQUE: |
640 | case TOK_CHAR: |
641 | case TOK_INT: |
642 | case TOK_FLOAT: |
643 | case TOK_DOUBLE: |
644 | case TOK_BOOL: |
645 | *typep = tok.str; |
646 | break; |
647 | default: |
648 | error ("expected type specifier" ); |
649 | } |
650 | } |
651 | |
652 | static void |
653 | unsigned_dec (const char **typep) |
654 | { |
655 | token tok; |
656 | |
657 | peek (&tok); |
658 | switch (tok.kind) |
659 | { |
660 | case TOK_CHAR: |
661 | get_token (&tok); |
662 | *typep = "u_char" ; |
663 | break; |
664 | case TOK_SHORT: |
665 | get_token (&tok); |
666 | *typep = "u_short" ; |
667 | (void) peekscan (TOK_INT, &tok); |
668 | break; |
669 | case TOK_LONG: |
670 | get_token (&tok); |
671 | *typep = "u_long" ; |
672 | (void) peekscan (TOK_INT, &tok); |
673 | break; |
674 | case TOK_HYPER: |
675 | get_token (&tok); |
676 | *typep = "u_quad_t" ; |
677 | (void) peekscan(TOK_INT, &tok); |
678 | break; |
679 | case TOK_INT: |
680 | get_token (&tok); |
681 | *typep = "u_int" ; |
682 | break; |
683 | default: |
684 | *typep = "u_int" ; |
685 | break; |
686 | } |
687 | } |
688 | |