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