Update.
[glibc.git] / sunrpc / rpc_parse.c
blobb036aa456d285f7ba8613cbca88088776fcbecf5
1 /*
2 * Sun RPC is a product of Sun Microsystems, Inc. and is provided for
3 * unrestricted use provided that this legend is included on all tape
4 * media and as a part of the software program in whole or part. Users
5 * may copy or modify Sun RPC without charge, but are not authorized
6 * to license or distribute it to anyone else except as part of a product or
7 * program developed by the user or with the express written consent of
8 * Sun Microsystems, Inc.
10 * SUN RPC IS PROVIDED AS IS WITH NO WARRANTIES OF ANY KIND INCLUDING THE
11 * WARRANTIES OF DESIGN, MERCHANTIBILITY AND FITNESS FOR A PARTICULAR
12 * PURPOSE, OR ARISING FROM A COURSE OF DEALING, USAGE OR TRADE PRACTICE.
14 * Sun RPC is provided with no support and without any obligation on the
15 * part of Sun Microsystems, Inc. to assist in its use, correction,
16 * modification or enhancement.
18 * SUN MICROSYSTEMS, INC. SHALL HAVE NO LIABILITY WITH RESPECT TO THE
19 * INFRINGEMENT OF COPYRIGHTS, TRADE SECRETS OR ANY PATENTS BY SUN RPC
20 * OR ANY PART THEREOF.
22 * In no event will Sun Microsystems, Inc. be liable for any lost revenue
23 * or profits or other special, indirect and consequential damages, even if
24 * Sun has been advised of the possibility of such damages.
26 * Sun Microsystems, Inc.
27 * 2550 Garcia Avenue
28 * Mountain View, California 94043
32 * From: @(#)rpc_parse.c 1.8 89/02/22 (C) 1987 SMI
34 const char parse_rcsid[] =
35 "$Id$";
38 * rpc_parse.c, Parser for the RPC protocol compiler
39 * Copyright (C) 1987 Sun Microsystems, Inc.
41 #include <stdio.h>
42 #include <string.h>
43 #include "rpc/types.h"
44 #include "rpc_scan.h"
45 #include "rpc_parse.h"
46 #include "rpc_util.h"
47 #include "proto.h"
49 #define ARGNAME "arg"
51 static void isdefined (definition * defp);
52 static void def_struct (definition * defp);
53 static void def_program (definition * defp);
54 static void def_enum (definition * defp);
55 static void def_const (definition * defp);
56 static void def_union (definition * defp);
57 static void check_type_name (const char *name, int new_type);
58 static void def_typedef (definition * defp);
59 static void get_declaration (declaration * dec, defkind dkind);
60 static void get_prog_declaration (declaration * dec, defkind dkind, int num);
61 static void get_type (const char **prefixp, const char **typep, defkind dkind);
62 static void unsigned_dec (const char **typep);
65 * return the next definition you see
67 definition *
68 get_definition (void)
70 definition *defp;
71 token tok;
73 defp = ALLOC (definition);
74 get_token (&tok);
75 switch (tok.kind)
77 case TOK_STRUCT:
78 def_struct (defp);
79 break;
80 case TOK_UNION:
81 def_union (defp);
82 break;
83 case TOK_TYPEDEF:
84 def_typedef (defp);
85 break;
86 case TOK_ENUM:
87 def_enum (defp);
88 break;
89 case TOK_PROGRAM:
90 def_program (defp);
91 break;
92 case TOK_CONST:
93 def_const (defp);
94 break;
95 case TOK_EOF:
96 return (NULL);
97 default:
98 error ("definition keyword expected");
100 scan (TOK_SEMICOLON, &tok);
101 isdefined (defp);
102 return (defp);
105 static void
106 isdefined (definition * defp)
108 STOREVAL (&defined, defp);
111 static void
112 def_struct (definition * defp)
114 token tok;
115 declaration dec;
116 decl_list *decls;
117 decl_list **tailp;
119 defp->def_kind = DEF_STRUCT;
121 scan (TOK_IDENT, &tok);
122 defp->def_name = tok.str;
123 scan (TOK_LBRACE, &tok);
124 tailp = &defp->def.st.decls;
127 get_declaration (&dec, DEF_STRUCT);
128 decls = ALLOC (decl_list);
129 decls->decl = dec;
130 *tailp = decls;
131 tailp = &decls->next;
132 scan (TOK_SEMICOLON, &tok);
133 peek (&tok);
135 while (tok.kind != TOK_RBRACE);
136 get_token (&tok);
137 *tailp = NULL;
140 static void
141 def_program (definition * defp)
143 token tok;
144 declaration dec;
145 decl_list *decls;
146 decl_list **tailp;
147 version_list *vlist;
148 version_list **vtailp;
149 proc_list *plist;
150 proc_list **ptailp;
151 int num_args;
152 bool_t isvoid = FALSE; /* whether first argument is void */
153 defp->def_kind = DEF_PROGRAM;
154 scan (TOK_IDENT, &tok);
155 defp->def_name = tok.str;
156 scan (TOK_LBRACE, &tok);
157 vtailp = &defp->def.pr.versions;
158 tailp = &defp->def.st.decls;
159 scan (TOK_VERSION, &tok);
162 scan (TOK_IDENT, &tok);
163 vlist = ALLOC (version_list);
164 vlist->vers_name = tok.str;
165 scan (TOK_LBRACE, &tok);
166 ptailp = &vlist->procs;
169 /* get result type */
170 plist = ALLOC (proc_list);
171 get_type (&plist->res_prefix, &plist->res_type,
172 DEF_PROGRAM);
173 if (streq (plist->res_type, "opaque"))
175 error ("illegal result type");
177 scan (TOK_IDENT, &tok);
178 plist->proc_name = tok.str;
179 scan (TOK_LPAREN, &tok);
180 /* get args - first one */
181 num_args = 1;
182 isvoid = FALSE;
183 /* type of DEF_PROGRAM in the first
184 * get_prog_declaration and DEF_STURCT in the next
185 * allows void as argument if it is the only argument
187 get_prog_declaration (&dec, DEF_PROGRAM, num_args);
188 if (streq (dec.type, "void"))
189 isvoid = TRUE;
190 decls = ALLOC (decl_list);
191 plist->args.decls = decls;
192 decls->decl = dec;
193 tailp = &decls->next;
194 /* get args */
195 while (peekscan (TOK_COMMA, &tok))
197 num_args++;
198 get_prog_declaration (&dec, DEF_STRUCT,
199 num_args);
200 decls = ALLOC (decl_list);
201 decls->decl = dec;
202 *tailp = decls;
203 if (streq (dec.type, "void"))
204 isvoid = TRUE;
205 tailp = &decls->next;
207 /* multiple arguments are only allowed in newstyle */
208 if (!newstyle && num_args > 1)
210 error ("only one argument is allowed");
212 if (isvoid && num_args > 1)
214 error ("illegal use of void in program definition");
216 *tailp = NULL;
217 scan (TOK_RPAREN, &tok);
218 scan (TOK_EQUAL, &tok);
219 scan_num (&tok);
220 scan (TOK_SEMICOLON, &tok);
221 plist->proc_num = tok.str;
222 plist->arg_num = num_args;
223 *ptailp = plist;
224 ptailp = &plist->next;
225 peek (&tok);
227 while (tok.kind != TOK_RBRACE);
228 *ptailp = NULL;
229 *vtailp = vlist;
230 vtailp = &vlist->next;
231 scan (TOK_RBRACE, &tok);
232 scan (TOK_EQUAL, &tok);
233 scan_num (&tok);
234 vlist->vers_num = tok.str;
235 /* make the argument structure name for each arg */
236 for (plist = vlist->procs; plist != NULL;
237 plist = plist->next)
239 plist->args.argname = make_argname (plist->proc_name,
240 vlist->vers_num);
241 /* free the memory ?? */
243 scan (TOK_SEMICOLON, &tok);
244 scan2 (TOK_VERSION, TOK_RBRACE, &tok);
246 while (tok.kind == TOK_VERSION);
247 scan (TOK_EQUAL, &tok);
248 scan_num (&tok);
249 defp->def.pr.prog_num = tok.str;
250 *vtailp = NULL;
254 static void
255 def_enum (definition * defp)
257 token tok;
258 enumval_list *elist;
259 enumval_list **tailp;
261 defp->def_kind = DEF_ENUM;
262 scan (TOK_IDENT, &tok);
263 defp->def_name = tok.str;
264 scan (TOK_LBRACE, &tok);
265 tailp = &defp->def.en.vals;
268 scan (TOK_IDENT, &tok);
269 elist = ALLOC (enumval_list);
270 elist->name = tok.str;
271 elist->assignment = NULL;
272 scan3 (TOK_COMMA, TOK_RBRACE, TOK_EQUAL, &tok);
273 if (tok.kind == TOK_EQUAL)
275 scan_num (&tok);
276 elist->assignment = tok.str;
277 scan2 (TOK_COMMA, TOK_RBRACE, &tok);
279 *tailp = elist;
280 tailp = &elist->next;
282 while (tok.kind != TOK_RBRACE);
283 *tailp = NULL;
286 static void
287 def_const (definition * defp)
289 token tok;
291 defp->def_kind = DEF_CONST;
292 scan (TOK_IDENT, &tok);
293 defp->def_name = tok.str;
294 scan (TOK_EQUAL, &tok);
295 scan2 (TOK_IDENT, TOK_STRCONST, &tok);
296 defp->def.co = tok.str;
299 static void
300 def_union (definition *defp)
302 token tok;
303 declaration dec;
304 case_list *cases;
305 /* case_list *tcase; */
306 case_list **tailp;
307 int flag;
309 defp->def_kind = DEF_UNION;
310 scan (TOK_IDENT, &tok);
311 defp->def_name = tok.str;
312 scan (TOK_SWITCH, &tok);
313 scan (TOK_LPAREN, &tok);
314 get_declaration (&dec, DEF_UNION);
315 defp->def.un.enum_decl = dec;
316 tailp = &defp->def.un.cases;
317 scan (TOK_RPAREN, &tok);
318 scan (TOK_LBRACE, &tok);
319 scan (TOK_CASE, &tok);
320 while (tok.kind == TOK_CASE)
322 scan2 (TOK_IDENT, TOK_CHARCONST, &tok);
323 cases = ALLOC (case_list);
324 cases->case_name = tok.str;
325 scan (TOK_COLON, &tok);
326 /* now peek at next token */
327 flag = 0;
328 if (peekscan (TOK_CASE, &tok))
333 scan2 (TOK_IDENT, TOK_CHARCONST, &tok);
334 cases->contflag = 1; /* continued case statement */
335 *tailp = cases;
336 tailp = &cases->next;
337 cases = ALLOC (case_list);
338 cases->case_name = tok.str;
339 scan (TOK_COLON, &tok);
342 while (peekscan (TOK_CASE, &tok));
344 else if (flag)
347 *tailp = cases;
348 tailp = &cases->next;
349 cases = ALLOC (case_list);
352 get_declaration (&dec, DEF_UNION);
353 cases->case_decl = dec;
354 cases->contflag = 0; /* no continued case statement */
355 *tailp = cases;
356 tailp = &cases->next;
357 scan (TOK_SEMICOLON, &tok);
359 scan3 (TOK_CASE, TOK_DEFAULT, TOK_RBRACE, &tok);
361 *tailp = NULL;
362 if (tok.kind == TOK_DEFAULT)
364 scan (TOK_COLON, &tok);
365 get_declaration (&dec, DEF_UNION);
366 defp->def.un.default_decl = ALLOC (declaration);
367 *defp->def.un.default_decl = dec;
368 scan (TOK_SEMICOLON, &tok);
369 scan (TOK_RBRACE, &tok);
371 else
373 defp->def.un.default_decl = NULL;
377 static const char *reserved_words[] =
379 "array",
380 "bytes",
381 "destroy",
382 "free",
383 "getpos",
384 "inline",
385 "pointer",
386 "reference",
387 "setpos",
388 "sizeof",
389 "union",
390 "vector",
391 NULL
394 static const char *reserved_types[] =
396 "opaque",
397 "string",
398 NULL
402 * check that the given name is not one that would eventually result in
403 * xdr routines that would conflict with internal XDR routines.
405 static void
406 check_type_name (const char *name, int new_type)
408 int i;
409 char tmp[100];
411 for (i = 0; reserved_words[i] != NULL; i++)
413 if (strcmp (name, reserved_words[i]) == 0)
415 sprintf (tmp,
416 "illegal (reserved) name :\'%s\' in type definition", name);
417 error (tmp);
420 if (new_type)
422 for (i = 0; reserved_types[i] != NULL; i++)
424 if (strcmp (name, reserved_types[i]) == 0)
426 sprintf (tmp,
427 "illegal (reserved) name :\'%s\' in type definition", name);
428 error (tmp);
436 static void
437 def_typedef (definition * defp)
439 declaration dec;
441 defp->def_kind = DEF_TYPEDEF;
442 get_declaration (&dec, DEF_TYPEDEF);
443 defp->def_name = dec.name;
444 check_type_name (dec.name, 1);
445 defp->def.ty.old_prefix = dec.prefix;
446 defp->def.ty.old_type = dec.type;
447 defp->def.ty.rel = dec.rel;
448 defp->def.ty.array_max = dec.array_max;
451 static void
452 get_declaration (declaration * dec, defkind dkind)
454 token tok;
456 get_type (&dec->prefix, &dec->type, dkind);
457 dec->rel = REL_ALIAS;
458 if (streq (dec->type, "void"))
460 return;
463 check_type_name (dec->type, 0);
465 scan2 (TOK_STAR, TOK_IDENT, &tok);
466 if (tok.kind == TOK_STAR)
468 dec->rel = REL_POINTER;
469 scan (TOK_IDENT, &tok);
471 dec->name = tok.str;
472 if (peekscan (TOK_LBRACKET, &tok))
474 if (dec->rel == REL_POINTER)
476 error ("no array-of-pointer declarations -- use typedef");
478 dec->rel = REL_VECTOR;
479 scan_num (&tok);
480 dec->array_max = tok.str;
481 scan (TOK_RBRACKET, &tok);
483 else if (peekscan (TOK_LANGLE, &tok))
485 if (dec->rel == REL_POINTER)
487 error ("no array-of-pointer declarations -- use typedef");
489 dec->rel = REL_ARRAY;
490 if (peekscan (TOK_RANGLE, &tok))
492 dec->array_max = "~0"; /* unspecified size, use max */
494 else
496 scan_num (&tok);
497 dec->array_max = tok.str;
498 scan (TOK_RANGLE, &tok);
501 if (streq (dec->type, "opaque"))
503 if (dec->rel != REL_ARRAY && dec->rel != REL_VECTOR)
505 error ("array declaration expected");
508 else if (streq (dec->type, "string"))
510 if (dec->rel != REL_ARRAY)
512 error ("variable-length array declaration expected");
517 static void
518 get_prog_declaration (declaration * dec, defkind dkind, int num /* arg number */ )
520 token tok;
521 char name[10]; /* argument name */
523 if (dkind == DEF_PROGRAM)
525 peek (&tok);
526 if (tok.kind == TOK_RPAREN)
527 { /* no arguments */
528 dec->rel = REL_ALIAS;
529 dec->type = "void";
530 dec->prefix = NULL;
531 dec->name = NULL;
532 return;
535 get_type (&dec->prefix, &dec->type, dkind);
536 dec->rel = REL_ALIAS;
537 if (peekscan (TOK_IDENT, &tok)) /* optional name of argument */
538 strcpy (name, tok.str);
539 else
540 sprintf (name, "%s%d", ARGNAME, num); /* default name of argument */
542 dec->name = (char *) strdup (name);
544 if (streq (dec->type, "void"))
546 return;
549 if (streq (dec->type, "opaque"))
551 error ("opaque -- illegal argument type");
553 if (peekscan (TOK_STAR, &tok))
555 if (streq (dec->type, "string"))
557 error ("pointer to string not allowed in program arguments\n");
559 dec->rel = REL_POINTER;
560 if (peekscan (TOK_IDENT, &tok)) /* optional name of argument */
561 dec->name = strdup (tok.str);
563 if (peekscan (TOK_LANGLE, &tok))
565 if (!streq (dec->type, "string"))
567 error ("arrays cannot be declared as arguments to procedures -- use typedef");
569 dec->rel = REL_ARRAY;
570 if (peekscan (TOK_RANGLE, &tok))
572 dec->array_max = "~0"; /* unspecified size, use max */
574 else
576 scan_num (&tok);
577 dec->array_max = tok.str;
578 scan (TOK_RANGLE, &tok);
581 if (streq (dec->type, "string"))
583 if (dec->rel != REL_ARRAY)
584 { /* .x specifies just string as
585 * type of argument
586 * - make it string<>
588 dec->rel = REL_ARRAY;
589 dec->array_max = "~0"; /* unspecified size, use max */
594 static void
595 get_type (const char **prefixp, const char **typep, defkind dkind)
597 token tok;
599 *prefixp = NULL;
600 get_token (&tok);
601 switch (tok.kind)
603 case TOK_IDENT:
604 *typep = tok.str;
605 break;
606 case TOK_STRUCT:
607 case TOK_ENUM:
608 case TOK_UNION:
609 *prefixp = tok.str;
610 scan (TOK_IDENT, &tok);
611 *typep = tok.str;
612 break;
613 case TOK_UNSIGNED:
614 unsigned_dec (typep);
615 break;
616 case TOK_SHORT:
617 *typep = "short";
618 (void) peekscan (TOK_INT, &tok);
619 break;
620 case TOK_LONG:
621 *typep = "long";
622 (void) peekscan (TOK_INT, &tok);
623 break;
624 case TOK_HYPER:
625 *typep = "int64_t";
626 (void) peekscan(TOK_INT, &tok);
627 break;
628 case TOK_VOID:
629 if (dkind != DEF_UNION && dkind != DEF_PROGRAM)
631 error ("voids allowed only inside union and program definitions with one argument");
633 *typep = tok.str;
634 break;
635 case TOK_STRING:
636 case TOK_OPAQUE:
637 case TOK_CHAR:
638 case TOK_INT:
639 case TOK_FLOAT:
640 case TOK_DOUBLE:
641 case TOK_BOOL:
642 *typep = tok.str;
643 break;
644 default:
645 error ("expected type specifier");
649 static void
650 unsigned_dec (const char **typep)
652 token tok;
654 peek (&tok);
655 switch (tok.kind)
657 case TOK_CHAR:
658 get_token (&tok);
659 *typep = "u_char";
660 break;
661 case TOK_SHORT:
662 get_token (&tok);
663 *typep = "u_short";
664 (void) peekscan (TOK_INT, &tok);
665 break;
666 case TOK_LONG:
667 get_token (&tok);
668 *typep = "u_long";
669 (void) peekscan (TOK_INT, &tok);
670 break;
671 case TOK_HYPER:
672 get_token (&tok);
673 *typep = "uint64_t";
674 (void) peekscan(TOK_INT, &tok);
675 break;
676 case TOK_INT:
677 get_token (&tok);
678 *typep = "u_int";
679 break;
680 default:
681 *typep = "u_int";
682 break;