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