Home | History | Annotate | Line # | Download | only in rpcgen
rpc_parse.c revision 1.2
      1  1.1    glass /* @(#)rpc_parse.c	2.1 88/08/01 4.0 RPCSRC */
      2  1.1    glass /*
      3  1.1    glass  * Sun RPC is a product of Sun Microsystems, Inc. and is provided for
      4  1.1    glass  * unrestricted use provided that this legend is included on all tape
      5  1.1    glass  * media and as a part of the software program in whole or part.  Users
      6  1.1    glass  * may copy or modify Sun RPC without charge, but are not authorized
      7  1.1    glass  * to license or distribute it to anyone else except as part of a product or
      8  1.1    glass  * program developed by the user.
      9  1.1    glass  *
     10  1.1    glass  * SUN RPC IS PROVIDED AS IS WITH NO WARRANTIES OF ANY KIND INCLUDING THE
     11  1.1    glass  * WARRANTIES OF DESIGN, MERCHANTIBILITY AND FITNESS FOR A PARTICULAR
     12  1.1    glass  * PURPOSE, OR ARISING FROM A COURSE OF DEALING, USAGE OR TRADE PRACTICE.
     13  1.1    glass  *
     14  1.1    glass  * Sun RPC is provided with no support and without any obligation on the
     15  1.1    glass  * part of Sun Microsystems, Inc. to assist in its use, correction,
     16  1.1    glass  * modification or enhancement.
     17  1.1    glass  *
     18  1.1    glass  * SUN MICROSYSTEMS, INC. SHALL HAVE NO LIABILITY WITH RESPECT TO THE
     19  1.1    glass  * INFRINGEMENT OF COPYRIGHTS, TRADE SECRETS OR ANY PATENTS BY SUN RPC
     20  1.1    glass  * OR ANY PART THEREOF.
     21  1.1    glass  *
     22  1.1    glass  * In no event will Sun Microsystems, Inc. be liable for any lost revenue
     23  1.1    glass  * or profits or other special, indirect and consequential damages, even if
     24  1.1    glass  * Sun has been advised of the possibility of such damages.
     25  1.1    glass  *
     26  1.1    glass  * Sun Microsystems, Inc.
     27  1.1    glass  * 2550 Garcia Avenue
     28  1.1    glass  * Mountain View, California  94043
     29  1.1    glass  */
     30  1.1    glass #ifndef lint
     31  1.1    glass static char sccsid[] = "@(#)rpc_parse.c 1.4 87/04/28 (C) 1987 SMI";
     32  1.1    glass #endif
     33  1.1    glass 
     34  1.1    glass /*
     35  1.1    glass  * rpc_parse.c, Parser for the RPC protocol compiler
     36  1.1    glass  * Copyright (C) 1987 Sun Microsystems, Inc.
     37  1.1    glass  */
     38  1.1    glass #include <stdio.h>
     39  1.1    glass #include "rpc_util.h"
     40  1.1    glass #include "rpc_scan.h"
     41  1.1    glass #include "rpc_parse.h"
     42  1.1    glass 
     43  1.2  mycroft static int isdefined(), def_struct(), def_program(), def_enum(), def_const(),
     44  1.2  mycroft 	   def_union(), def_typedef(), get_declaration(), get_type(),
     45  1.2  mycroft 	   unsigned_dec();
     46  1.1    glass /*
     47  1.1    glass  * return the next definition you see
     48  1.1    glass  */
     49  1.1    glass definition *
     50  1.1    glass get_definition()
     51  1.1    glass {
     52  1.1    glass 	definition *defp;
     53  1.1    glass 	token tok;
     54  1.1    glass 
     55  1.1    glass 	defp = ALLOC(definition);
     56  1.1    glass 	get_token(&tok);
     57  1.1    glass 	switch (tok.kind) {
     58  1.1    glass 	case TOK_STRUCT:
     59  1.1    glass 		def_struct(defp);
     60  1.1    glass 		break;
     61  1.1    glass 	case TOK_UNION:
     62  1.1    glass 		def_union(defp);
     63  1.1    glass 		break;
     64  1.1    glass 	case TOK_TYPEDEF:
     65  1.1    glass 		def_typedef(defp);
     66  1.1    glass 		break;
     67  1.1    glass 	case TOK_ENUM:
     68  1.1    glass 		def_enum(defp);
     69  1.1    glass 		break;
     70  1.1    glass 	case TOK_PROGRAM:
     71  1.1    glass 		def_program(defp);
     72  1.1    glass 		break;
     73  1.1    glass 	case TOK_CONST:
     74  1.1    glass 		def_const(defp);
     75  1.1    glass 		break;
     76  1.1    glass 	case TOK_EOF:
     77  1.1    glass 		return (NULL);
     78  1.1    glass 		break;
     79  1.1    glass 	default:
     80  1.1    glass 		error("definition keyword expected");
     81  1.1    glass 	}
     82  1.1    glass 	scan(TOK_SEMICOLON, &tok);
     83  1.1    glass 	isdefined(defp);
     84  1.1    glass 	return (defp);
     85  1.1    glass }
     86  1.1    glass 
     87  1.1    glass static
     88  1.1    glass isdefined(defp)
     89  1.1    glass 	definition *defp;
     90  1.1    glass {
     91  1.1    glass 	STOREVAL(&defined, defp);
     92  1.1    glass }
     93  1.1    glass 
     94  1.1    glass 
     95  1.1    glass static
     96  1.1    glass def_struct(defp)
     97  1.1    glass 	definition *defp;
     98  1.1    glass {
     99  1.1    glass 	token tok;
    100  1.1    glass 	declaration dec;
    101  1.1    glass 	decl_list *decls;
    102  1.1    glass 	decl_list **tailp;
    103  1.1    glass 
    104  1.1    glass 	defp->def_kind = DEF_STRUCT;
    105  1.1    glass 
    106  1.1    glass 	scan(TOK_IDENT, &tok);
    107  1.1    glass 	defp->def_name = tok.str;
    108  1.1    glass 	scan(TOK_LBRACE, &tok);
    109  1.1    glass 	tailp = &defp->def.st.decls;
    110  1.1    glass 	do {
    111  1.1    glass 		get_declaration(&dec, DEF_STRUCT);
    112  1.1    glass 		decls = ALLOC(decl_list);
    113  1.1    glass 		decls->decl = dec;
    114  1.1    glass 		*tailp = decls;
    115  1.1    glass 		tailp = &decls->next;
    116  1.1    glass 		scan(TOK_SEMICOLON, &tok);
    117  1.1    glass 		peek(&tok);
    118  1.1    glass 	} while (tok.kind != TOK_RBRACE);
    119  1.1    glass 	get_token(&tok);
    120  1.1    glass 	*tailp = NULL;
    121  1.1    glass }
    122  1.1    glass 
    123  1.1    glass static
    124  1.1    glass def_program(defp)
    125  1.1    glass 	definition *defp;
    126  1.1    glass {
    127  1.1    glass 	token tok;
    128  1.1    glass 	version_list *vlist;
    129  1.1    glass 	version_list **vtailp;
    130  1.1    glass 	proc_list *plist;
    131  1.1    glass 	proc_list **ptailp;
    132  1.1    glass 
    133  1.1    glass 	defp->def_kind = DEF_PROGRAM;
    134  1.1    glass 	scan(TOK_IDENT, &tok);
    135  1.1    glass 	defp->def_name = tok.str;
    136  1.1    glass 	scan(TOK_LBRACE, &tok);
    137  1.1    glass 	vtailp = &defp->def.pr.versions;
    138  1.1    glass 	scan(TOK_VERSION, &tok);
    139  1.1    glass 	do {
    140  1.1    glass 		scan(TOK_IDENT, &tok);
    141  1.1    glass 		vlist = ALLOC(version_list);
    142  1.1    glass 		vlist->vers_name = tok.str;
    143  1.1    glass 		scan(TOK_LBRACE, &tok);
    144  1.1    glass 		ptailp = &vlist->procs;
    145  1.1    glass 		do {
    146  1.1    glass 			plist = ALLOC(proc_list);
    147  1.1    glass 			get_type(&plist->res_prefix, &plist->res_type, DEF_PROGRAM);
    148  1.1    glass 			if (streq(plist->res_type, "opaque")) {
    149  1.1    glass 				error("illegal result type");
    150  1.1    glass 			}
    151  1.1    glass 			scan(TOK_IDENT, &tok);
    152  1.1    glass 			plist->proc_name = tok.str;
    153  1.1    glass 			scan(TOK_LPAREN, &tok);
    154  1.1    glass 			get_type(&plist->arg_prefix, &plist->arg_type, DEF_PROGRAM);
    155  1.1    glass 			if (streq(plist->arg_type, "opaque")) {
    156  1.1    glass 				error("illegal argument type");
    157  1.1    glass 			}
    158  1.1    glass 			scan(TOK_RPAREN, &tok);
    159  1.1    glass 			scan(TOK_EQUAL, &tok);
    160  1.1    glass 			scan_num(&tok);
    161  1.1    glass 			scan(TOK_SEMICOLON, &tok);
    162  1.1    glass 			plist->proc_num = tok.str;
    163  1.1    glass 			*ptailp = plist;
    164  1.1    glass 			ptailp = &plist->next;
    165  1.1    glass 			peek(&tok);
    166  1.1    glass 		} while (tok.kind != TOK_RBRACE);
    167  1.1    glass 		*vtailp = vlist;
    168  1.1    glass 		vtailp = &vlist->next;
    169  1.1    glass 		scan(TOK_RBRACE, &tok);
    170  1.1    glass 		scan(TOK_EQUAL, &tok);
    171  1.1    glass 		scan_num(&tok);
    172  1.1    glass 		vlist->vers_num = tok.str;
    173  1.1    glass 		scan(TOK_SEMICOLON, &tok);
    174  1.1    glass 		scan2(TOK_VERSION, TOK_RBRACE, &tok);
    175  1.1    glass 	} while (tok.kind == TOK_VERSION);
    176  1.1    glass 	scan(TOK_EQUAL, &tok);
    177  1.1    glass 	scan_num(&tok);
    178  1.1    glass 	defp->def.pr.prog_num = tok.str;
    179  1.1    glass 	*vtailp = NULL;
    180  1.1    glass }
    181  1.1    glass 
    182  1.1    glass static
    183  1.1    glass def_enum(defp)
    184  1.1    glass 	definition *defp;
    185  1.1    glass {
    186  1.1    glass 	token tok;
    187  1.1    glass 	enumval_list *elist;
    188  1.1    glass 	enumval_list **tailp;
    189  1.1    glass 
    190  1.1    glass 	defp->def_kind = DEF_ENUM;
    191  1.1    glass 	scan(TOK_IDENT, &tok);
    192  1.1    glass 	defp->def_name = tok.str;
    193  1.1    glass 	scan(TOK_LBRACE, &tok);
    194  1.1    glass 	tailp = &defp->def.en.vals;
    195  1.1    glass 	do {
    196  1.1    glass 		scan(TOK_IDENT, &tok);
    197  1.1    glass 		elist = ALLOC(enumval_list);
    198  1.1    glass 		elist->name = tok.str;
    199  1.1    glass 		elist->assignment = NULL;
    200  1.1    glass 		scan3(TOK_COMMA, TOK_RBRACE, TOK_EQUAL, &tok);
    201  1.1    glass 		if (tok.kind == TOK_EQUAL) {
    202  1.1    glass 			scan_num(&tok);
    203  1.1    glass 			elist->assignment = tok.str;
    204  1.1    glass 			scan2(TOK_COMMA, TOK_RBRACE, &tok);
    205  1.1    glass 		}
    206  1.1    glass 		*tailp = elist;
    207  1.1    glass 		tailp = &elist->next;
    208  1.1    glass 	} while (tok.kind != TOK_RBRACE);
    209  1.1    glass 	*tailp = NULL;
    210  1.1    glass }
    211  1.1    glass 
    212  1.1    glass static
    213  1.1    glass def_const(defp)
    214  1.1    glass 	definition *defp;
    215  1.1    glass {
    216  1.1    glass 	token tok;
    217  1.1    glass 
    218  1.1    glass 	defp->def_kind = DEF_CONST;
    219  1.1    glass 	scan(TOK_IDENT, &tok);
    220  1.1    glass 	defp->def_name = tok.str;
    221  1.1    glass 	scan(TOK_EQUAL, &tok);
    222  1.1    glass 	scan2(TOK_IDENT, TOK_STRCONST, &tok);
    223  1.1    glass 	defp->def.co = tok.str;
    224  1.1    glass }
    225  1.1    glass 
    226  1.1    glass static
    227  1.1    glass def_union(defp)
    228  1.1    glass 	definition *defp;
    229  1.1    glass {
    230  1.1    glass 	token tok;
    231  1.1    glass 	declaration dec;
    232  1.1    glass 	case_list *cases;
    233  1.1    glass 	case_list **tailp;
    234  1.1    glass 
    235  1.1    glass 	defp->def_kind = DEF_UNION;
    236  1.1    glass 	scan(TOK_IDENT, &tok);
    237  1.1    glass 	defp->def_name = tok.str;
    238  1.1    glass 	scan(TOK_SWITCH, &tok);
    239  1.1    glass 	scan(TOK_LPAREN, &tok);
    240  1.1    glass 	get_declaration(&dec, DEF_UNION);
    241  1.1    glass 	defp->def.un.enum_decl = dec;
    242  1.1    glass 	tailp = &defp->def.un.cases;
    243  1.1    glass 	scan(TOK_RPAREN, &tok);
    244  1.1    glass 	scan(TOK_LBRACE, &tok);
    245  1.1    glass 	scan(TOK_CASE, &tok);
    246  1.1    glass 	while (tok.kind == TOK_CASE) {
    247  1.1    glass 		scan(TOK_IDENT, &tok);
    248  1.1    glass 		cases = ALLOC(case_list);
    249  1.1    glass 		cases->case_name = tok.str;
    250  1.1    glass 		scan(TOK_COLON, &tok);
    251  1.1    glass 		get_declaration(&dec, DEF_UNION);
    252  1.1    glass 		cases->case_decl = dec;
    253  1.1    glass 		*tailp = cases;
    254  1.1    glass 		tailp = &cases->next;
    255  1.1    glass 		scan(TOK_SEMICOLON, &tok);
    256  1.1    glass 		scan3(TOK_CASE, TOK_DEFAULT, TOK_RBRACE, &tok);
    257  1.1    glass 	}
    258  1.1    glass 	*tailp = NULL;
    259  1.1    glass 	if (tok.kind == TOK_DEFAULT) {
    260  1.1    glass 		scan(TOK_COLON, &tok);
    261  1.1    glass 		get_declaration(&dec, DEF_UNION);
    262  1.1    glass 		defp->def.un.default_decl = ALLOC(declaration);
    263  1.1    glass 		*defp->def.un.default_decl = dec;
    264  1.1    glass 		scan(TOK_SEMICOLON, &tok);
    265  1.1    glass 		scan(TOK_RBRACE, &tok);
    266  1.1    glass 	} else {
    267  1.1    glass 		defp->def.un.default_decl = NULL;
    268  1.1    glass 	}
    269  1.1    glass }
    270  1.1    glass 
    271  1.1    glass 
    272  1.1    glass static
    273  1.1    glass def_typedef(defp)
    274  1.1    glass 	definition *defp;
    275  1.1    glass {
    276  1.1    glass 	declaration dec;
    277  1.1    glass 
    278  1.1    glass 	defp->def_kind = DEF_TYPEDEF;
    279  1.1    glass 	get_declaration(&dec, DEF_TYPEDEF);
    280  1.1    glass 	defp->def_name = dec.name;
    281  1.1    glass 	defp->def.ty.old_prefix = dec.prefix;
    282  1.1    glass 	defp->def.ty.old_type = dec.type;
    283  1.1    glass 	defp->def.ty.rel = dec.rel;
    284  1.1    glass 	defp->def.ty.array_max = dec.array_max;
    285  1.1    glass }
    286  1.1    glass 
    287  1.1    glass 
    288  1.1    glass static
    289  1.1    glass get_declaration(dec, dkind)
    290  1.1    glass 	declaration *dec;
    291  1.1    glass 	defkind dkind;
    292  1.1    glass {
    293  1.1    glass 	token tok;
    294  1.1    glass 
    295  1.1    glass 	get_type(&dec->prefix, &dec->type, dkind);
    296  1.1    glass 	dec->rel = REL_ALIAS;
    297  1.1    glass 	if (streq(dec->type, "void")) {
    298  1.1    glass 		return;
    299  1.1    glass 	}
    300  1.1    glass 	scan2(TOK_STAR, TOK_IDENT, &tok);
    301  1.1    glass 	if (tok.kind == TOK_STAR) {
    302  1.1    glass 		dec->rel = REL_POINTER;
    303  1.1    glass 		scan(TOK_IDENT, &tok);
    304  1.1    glass 	}
    305  1.1    glass 	dec->name = tok.str;
    306  1.1    glass 	if (peekscan(TOK_LBRACKET, &tok)) {
    307  1.1    glass 		if (dec->rel == REL_POINTER) {
    308  1.1    glass 			error("no array-of-pointer declarations -- use typedef");
    309  1.1    glass 		}
    310  1.1    glass 		dec->rel = REL_VECTOR;
    311  1.1    glass 		scan_num(&tok);
    312  1.1    glass 		dec->array_max = tok.str;
    313  1.1    glass 		scan(TOK_RBRACKET, &tok);
    314  1.1    glass 	} else if (peekscan(TOK_LANGLE, &tok)) {
    315  1.1    glass 		if (dec->rel == REL_POINTER) {
    316  1.1    glass 			error("no array-of-pointer declarations -- use typedef");
    317  1.1    glass 		}
    318  1.1    glass 		dec->rel = REL_ARRAY;
    319  1.1    glass 		if (peekscan(TOK_RANGLE, &tok)) {
    320  1.1    glass 			dec->array_max = "~0";	/* unspecified size, use max */
    321  1.1    glass 		} else {
    322  1.1    glass 			scan_num(&tok);
    323  1.1    glass 			dec->array_max = tok.str;
    324  1.1    glass 			scan(TOK_RANGLE, &tok);
    325  1.1    glass 		}
    326  1.1    glass 	}
    327  1.1    glass 	if (streq(dec->type, "opaque")) {
    328  1.1    glass 		if (dec->rel != REL_ARRAY && dec->rel != REL_VECTOR) {
    329  1.1    glass 			error("array declaration expected");
    330  1.1    glass 		}
    331  1.1    glass 	} else if (streq(dec->type, "string")) {
    332  1.1    glass 		if (dec->rel != REL_ARRAY) {
    333  1.1    glass 			error("variable-length array declaration expected");
    334  1.1    glass 		}
    335  1.1    glass 	}
    336  1.1    glass }
    337  1.1    glass 
    338  1.1    glass 
    339  1.1    glass static
    340  1.1    glass get_type(prefixp, typep, dkind)
    341  1.1    glass 	char **prefixp;
    342  1.1    glass 	char **typep;
    343  1.1    glass 	defkind dkind;
    344  1.1    glass {
    345  1.1    glass 	token tok;
    346  1.1    glass 
    347  1.1    glass 	*prefixp = NULL;
    348  1.1    glass 	get_token(&tok);
    349  1.1    glass 	switch (tok.kind) {
    350  1.1    glass 	case TOK_IDENT:
    351  1.1    glass 		*typep = tok.str;
    352  1.1    glass 		break;
    353  1.1    glass 	case TOK_STRUCT:
    354  1.1    glass 	case TOK_ENUM:
    355  1.1    glass 	case TOK_UNION:
    356  1.1    glass 		*prefixp = tok.str;
    357  1.1    glass 		scan(TOK_IDENT, &tok);
    358  1.1    glass 		*typep = tok.str;
    359  1.1    glass 		break;
    360  1.1    glass 	case TOK_UNSIGNED:
    361  1.1    glass 		unsigned_dec(typep);
    362  1.1    glass 		break;
    363  1.1    glass 	case TOK_SHORT:
    364  1.1    glass 		*typep = "short";
    365  1.1    glass 		(void) peekscan(TOK_INT, &tok);
    366  1.1    glass 		break;
    367  1.1    glass 	case TOK_LONG:
    368  1.1    glass 		*typep = "long";
    369  1.1    glass 		(void) peekscan(TOK_INT, &tok);
    370  1.1    glass 		break;
    371  1.1    glass 	case TOK_VOID:
    372  1.1    glass 		if (dkind != DEF_UNION && dkind != DEF_PROGRAM) {
    373  1.1    glass 			error("voids allowed only inside union and program definitions");
    374  1.1    glass 		}
    375  1.1    glass 		*typep = tok.str;
    376  1.1    glass 		break;
    377  1.1    glass 	case TOK_STRING:
    378  1.1    glass 	case TOK_OPAQUE:
    379  1.1    glass 	case TOK_CHAR:
    380  1.1    glass 	case TOK_INT:
    381  1.1    glass 	case TOK_FLOAT:
    382  1.1    glass 	case TOK_DOUBLE:
    383  1.1    glass 	case TOK_BOOL:
    384  1.1    glass 		*typep = tok.str;
    385  1.1    glass 		break;
    386  1.1    glass 	default:
    387  1.1    glass 		error("expected type specifier");
    388  1.1    glass 	}
    389  1.1    glass }
    390  1.1    glass 
    391  1.1    glass 
    392  1.1    glass static
    393  1.1    glass unsigned_dec(typep)
    394  1.1    glass 	char **typep;
    395  1.1    glass {
    396  1.1    glass 	token tok;
    397  1.1    glass 
    398  1.1    glass 	peek(&tok);
    399  1.1    glass 	switch (tok.kind) {
    400  1.1    glass 	case TOK_CHAR:
    401  1.1    glass 		get_token(&tok);
    402  1.1    glass 		*typep = "u_char";
    403  1.1    glass 		break;
    404  1.1    glass 	case TOK_SHORT:
    405  1.1    glass 		get_token(&tok);
    406  1.1    glass 		*typep = "u_short";
    407  1.1    glass 		(void) peekscan(TOK_INT, &tok);
    408  1.1    glass 		break;
    409  1.1    glass 	case TOK_LONG:
    410  1.1    glass 		get_token(&tok);
    411  1.1    glass 		*typep = "u_long";
    412  1.1    glass 		(void) peekscan(TOK_INT, &tok);
    413  1.1    glass 		break;
    414  1.1    glass 	case TOK_INT:
    415  1.1    glass 		get_token(&tok);
    416  1.1    glass 		*typep = "u_int";
    417  1.1    glass 		break;
    418  1.1    glass 	default:
    419  1.1    glass 		*typep = "u_int";
    420  1.1    glass 		break;
    421  1.1    glass 	}
    422  1.1    glass }
    423