rpc_parse.c revision 1.3 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.3 mycroft /*static char sccsid[] = "from: @(#)rpc_parse.c 1.4 87/04/28 (C) 1987 SMI";*/
32 1.3 mycroft static char rcsid[] = "$Id: rpc_parse.c,v 1.3 1993/08/01 18:09:19 mycroft Exp $";
33 1.1 glass #endif
34 1.1 glass
35 1.1 glass /*
36 1.1 glass * rpc_parse.c, Parser for the RPC protocol compiler
37 1.1 glass * Copyright (C) 1987 Sun Microsystems, Inc.
38 1.1 glass */
39 1.1 glass #include <stdio.h>
40 1.1 glass #include "rpc_util.h"
41 1.1 glass #include "rpc_scan.h"
42 1.1 glass #include "rpc_parse.h"
43 1.1 glass
44 1.2 mycroft static int isdefined(), def_struct(), def_program(), def_enum(), def_const(),
45 1.2 mycroft def_union(), def_typedef(), get_declaration(), get_type(),
46 1.2 mycroft unsigned_dec();
47 1.1 glass /*
48 1.1 glass * return the next definition you see
49 1.1 glass */
50 1.1 glass definition *
51 1.1 glass get_definition()
52 1.1 glass {
53 1.1 glass definition *defp;
54 1.1 glass token tok;
55 1.1 glass
56 1.1 glass defp = ALLOC(definition);
57 1.1 glass get_token(&tok);
58 1.1 glass switch (tok.kind) {
59 1.1 glass case TOK_STRUCT:
60 1.1 glass def_struct(defp);
61 1.1 glass break;
62 1.1 glass case TOK_UNION:
63 1.1 glass def_union(defp);
64 1.1 glass break;
65 1.1 glass case TOK_TYPEDEF:
66 1.1 glass def_typedef(defp);
67 1.1 glass break;
68 1.1 glass case TOK_ENUM:
69 1.1 glass def_enum(defp);
70 1.1 glass break;
71 1.1 glass case TOK_PROGRAM:
72 1.1 glass def_program(defp);
73 1.1 glass break;
74 1.1 glass case TOK_CONST:
75 1.1 glass def_const(defp);
76 1.1 glass break;
77 1.1 glass case TOK_EOF:
78 1.1 glass return (NULL);
79 1.1 glass break;
80 1.1 glass default:
81 1.1 glass error("definition keyword expected");
82 1.1 glass }
83 1.1 glass scan(TOK_SEMICOLON, &tok);
84 1.1 glass isdefined(defp);
85 1.1 glass return (defp);
86 1.1 glass }
87 1.1 glass
88 1.1 glass static
89 1.1 glass isdefined(defp)
90 1.1 glass definition *defp;
91 1.1 glass {
92 1.1 glass STOREVAL(&defined, defp);
93 1.1 glass }
94 1.1 glass
95 1.1 glass
96 1.1 glass static
97 1.1 glass def_struct(defp)
98 1.1 glass definition *defp;
99 1.1 glass {
100 1.1 glass token tok;
101 1.1 glass declaration dec;
102 1.1 glass decl_list *decls;
103 1.1 glass decl_list **tailp;
104 1.1 glass
105 1.1 glass defp->def_kind = DEF_STRUCT;
106 1.1 glass
107 1.1 glass scan(TOK_IDENT, &tok);
108 1.1 glass defp->def_name = tok.str;
109 1.1 glass scan(TOK_LBRACE, &tok);
110 1.1 glass tailp = &defp->def.st.decls;
111 1.1 glass do {
112 1.1 glass get_declaration(&dec, DEF_STRUCT);
113 1.1 glass decls = ALLOC(decl_list);
114 1.1 glass decls->decl = dec;
115 1.1 glass *tailp = decls;
116 1.1 glass tailp = &decls->next;
117 1.1 glass scan(TOK_SEMICOLON, &tok);
118 1.1 glass peek(&tok);
119 1.1 glass } while (tok.kind != TOK_RBRACE);
120 1.1 glass get_token(&tok);
121 1.1 glass *tailp = NULL;
122 1.1 glass }
123 1.1 glass
124 1.1 glass static
125 1.1 glass def_program(defp)
126 1.1 glass definition *defp;
127 1.1 glass {
128 1.1 glass token tok;
129 1.1 glass version_list *vlist;
130 1.1 glass version_list **vtailp;
131 1.1 glass proc_list *plist;
132 1.1 glass proc_list **ptailp;
133 1.1 glass
134 1.1 glass defp->def_kind = DEF_PROGRAM;
135 1.1 glass scan(TOK_IDENT, &tok);
136 1.1 glass defp->def_name = tok.str;
137 1.1 glass scan(TOK_LBRACE, &tok);
138 1.1 glass vtailp = &defp->def.pr.versions;
139 1.1 glass scan(TOK_VERSION, &tok);
140 1.1 glass do {
141 1.1 glass scan(TOK_IDENT, &tok);
142 1.1 glass vlist = ALLOC(version_list);
143 1.1 glass vlist->vers_name = tok.str;
144 1.1 glass scan(TOK_LBRACE, &tok);
145 1.1 glass ptailp = &vlist->procs;
146 1.1 glass do {
147 1.1 glass plist = ALLOC(proc_list);
148 1.1 glass get_type(&plist->res_prefix, &plist->res_type, DEF_PROGRAM);
149 1.1 glass if (streq(plist->res_type, "opaque")) {
150 1.1 glass error("illegal result type");
151 1.1 glass }
152 1.1 glass scan(TOK_IDENT, &tok);
153 1.1 glass plist->proc_name = tok.str;
154 1.1 glass scan(TOK_LPAREN, &tok);
155 1.1 glass get_type(&plist->arg_prefix, &plist->arg_type, DEF_PROGRAM);
156 1.1 glass if (streq(plist->arg_type, "opaque")) {
157 1.1 glass error("illegal argument type");
158 1.1 glass }
159 1.1 glass scan(TOK_RPAREN, &tok);
160 1.1 glass scan(TOK_EQUAL, &tok);
161 1.1 glass scan_num(&tok);
162 1.1 glass scan(TOK_SEMICOLON, &tok);
163 1.1 glass plist->proc_num = tok.str;
164 1.1 glass *ptailp = plist;
165 1.1 glass ptailp = &plist->next;
166 1.1 glass peek(&tok);
167 1.1 glass } while (tok.kind != TOK_RBRACE);
168 1.1 glass *vtailp = vlist;
169 1.1 glass vtailp = &vlist->next;
170 1.1 glass scan(TOK_RBRACE, &tok);
171 1.1 glass scan(TOK_EQUAL, &tok);
172 1.1 glass scan_num(&tok);
173 1.1 glass vlist->vers_num = tok.str;
174 1.1 glass scan(TOK_SEMICOLON, &tok);
175 1.1 glass scan2(TOK_VERSION, TOK_RBRACE, &tok);
176 1.1 glass } while (tok.kind == TOK_VERSION);
177 1.1 glass scan(TOK_EQUAL, &tok);
178 1.1 glass scan_num(&tok);
179 1.1 glass defp->def.pr.prog_num = tok.str;
180 1.1 glass *vtailp = NULL;
181 1.1 glass }
182 1.1 glass
183 1.1 glass static
184 1.1 glass def_enum(defp)
185 1.1 glass definition *defp;
186 1.1 glass {
187 1.1 glass token tok;
188 1.1 glass enumval_list *elist;
189 1.1 glass enumval_list **tailp;
190 1.1 glass
191 1.1 glass defp->def_kind = DEF_ENUM;
192 1.1 glass scan(TOK_IDENT, &tok);
193 1.1 glass defp->def_name = tok.str;
194 1.1 glass scan(TOK_LBRACE, &tok);
195 1.1 glass tailp = &defp->def.en.vals;
196 1.1 glass do {
197 1.1 glass scan(TOK_IDENT, &tok);
198 1.1 glass elist = ALLOC(enumval_list);
199 1.1 glass elist->name = tok.str;
200 1.1 glass elist->assignment = NULL;
201 1.1 glass scan3(TOK_COMMA, TOK_RBRACE, TOK_EQUAL, &tok);
202 1.1 glass if (tok.kind == TOK_EQUAL) {
203 1.1 glass scan_num(&tok);
204 1.1 glass elist->assignment = tok.str;
205 1.1 glass scan2(TOK_COMMA, TOK_RBRACE, &tok);
206 1.1 glass }
207 1.1 glass *tailp = elist;
208 1.1 glass tailp = &elist->next;
209 1.1 glass } while (tok.kind != TOK_RBRACE);
210 1.1 glass *tailp = NULL;
211 1.1 glass }
212 1.1 glass
213 1.1 glass static
214 1.1 glass def_const(defp)
215 1.1 glass definition *defp;
216 1.1 glass {
217 1.1 glass token tok;
218 1.1 glass
219 1.1 glass defp->def_kind = DEF_CONST;
220 1.1 glass scan(TOK_IDENT, &tok);
221 1.1 glass defp->def_name = tok.str;
222 1.1 glass scan(TOK_EQUAL, &tok);
223 1.1 glass scan2(TOK_IDENT, TOK_STRCONST, &tok);
224 1.1 glass defp->def.co = tok.str;
225 1.1 glass }
226 1.1 glass
227 1.1 glass static
228 1.1 glass def_union(defp)
229 1.1 glass definition *defp;
230 1.1 glass {
231 1.1 glass token tok;
232 1.1 glass declaration dec;
233 1.1 glass case_list *cases;
234 1.1 glass case_list **tailp;
235 1.1 glass
236 1.1 glass defp->def_kind = DEF_UNION;
237 1.1 glass scan(TOK_IDENT, &tok);
238 1.1 glass defp->def_name = tok.str;
239 1.1 glass scan(TOK_SWITCH, &tok);
240 1.1 glass scan(TOK_LPAREN, &tok);
241 1.1 glass get_declaration(&dec, DEF_UNION);
242 1.1 glass defp->def.un.enum_decl = dec;
243 1.1 glass tailp = &defp->def.un.cases;
244 1.1 glass scan(TOK_RPAREN, &tok);
245 1.1 glass scan(TOK_LBRACE, &tok);
246 1.1 glass scan(TOK_CASE, &tok);
247 1.1 glass while (tok.kind == TOK_CASE) {
248 1.1 glass scan(TOK_IDENT, &tok);
249 1.1 glass cases = ALLOC(case_list);
250 1.1 glass cases->case_name = tok.str;
251 1.1 glass scan(TOK_COLON, &tok);
252 1.1 glass get_declaration(&dec, DEF_UNION);
253 1.1 glass cases->case_decl = dec;
254 1.1 glass *tailp = cases;
255 1.1 glass tailp = &cases->next;
256 1.1 glass scan(TOK_SEMICOLON, &tok);
257 1.1 glass scan3(TOK_CASE, TOK_DEFAULT, TOK_RBRACE, &tok);
258 1.1 glass }
259 1.1 glass *tailp = NULL;
260 1.1 glass if (tok.kind == TOK_DEFAULT) {
261 1.1 glass scan(TOK_COLON, &tok);
262 1.1 glass get_declaration(&dec, DEF_UNION);
263 1.1 glass defp->def.un.default_decl = ALLOC(declaration);
264 1.1 glass *defp->def.un.default_decl = dec;
265 1.1 glass scan(TOK_SEMICOLON, &tok);
266 1.1 glass scan(TOK_RBRACE, &tok);
267 1.1 glass } else {
268 1.1 glass defp->def.un.default_decl = NULL;
269 1.1 glass }
270 1.1 glass }
271 1.1 glass
272 1.1 glass
273 1.1 glass static
274 1.1 glass def_typedef(defp)
275 1.1 glass definition *defp;
276 1.1 glass {
277 1.1 glass declaration dec;
278 1.1 glass
279 1.1 glass defp->def_kind = DEF_TYPEDEF;
280 1.1 glass get_declaration(&dec, DEF_TYPEDEF);
281 1.1 glass defp->def_name = dec.name;
282 1.1 glass defp->def.ty.old_prefix = dec.prefix;
283 1.1 glass defp->def.ty.old_type = dec.type;
284 1.1 glass defp->def.ty.rel = dec.rel;
285 1.1 glass defp->def.ty.array_max = dec.array_max;
286 1.1 glass }
287 1.1 glass
288 1.1 glass
289 1.1 glass static
290 1.1 glass get_declaration(dec, dkind)
291 1.1 glass declaration *dec;
292 1.1 glass defkind dkind;
293 1.1 glass {
294 1.1 glass token tok;
295 1.1 glass
296 1.1 glass get_type(&dec->prefix, &dec->type, dkind);
297 1.1 glass dec->rel = REL_ALIAS;
298 1.1 glass if (streq(dec->type, "void")) {
299 1.1 glass return;
300 1.1 glass }
301 1.1 glass scan2(TOK_STAR, TOK_IDENT, &tok);
302 1.1 glass if (tok.kind == TOK_STAR) {
303 1.1 glass dec->rel = REL_POINTER;
304 1.1 glass scan(TOK_IDENT, &tok);
305 1.1 glass }
306 1.1 glass dec->name = tok.str;
307 1.1 glass if (peekscan(TOK_LBRACKET, &tok)) {
308 1.1 glass if (dec->rel == REL_POINTER) {
309 1.1 glass error("no array-of-pointer declarations -- use typedef");
310 1.1 glass }
311 1.1 glass dec->rel = REL_VECTOR;
312 1.1 glass scan_num(&tok);
313 1.1 glass dec->array_max = tok.str;
314 1.1 glass scan(TOK_RBRACKET, &tok);
315 1.1 glass } else if (peekscan(TOK_LANGLE, &tok)) {
316 1.1 glass if (dec->rel == REL_POINTER) {
317 1.1 glass error("no array-of-pointer declarations -- use typedef");
318 1.1 glass }
319 1.1 glass dec->rel = REL_ARRAY;
320 1.1 glass if (peekscan(TOK_RANGLE, &tok)) {
321 1.1 glass dec->array_max = "~0"; /* unspecified size, use max */
322 1.1 glass } else {
323 1.1 glass scan_num(&tok);
324 1.1 glass dec->array_max = tok.str;
325 1.1 glass scan(TOK_RANGLE, &tok);
326 1.1 glass }
327 1.1 glass }
328 1.1 glass if (streq(dec->type, "opaque")) {
329 1.1 glass if (dec->rel != REL_ARRAY && dec->rel != REL_VECTOR) {
330 1.1 glass error("array declaration expected");
331 1.1 glass }
332 1.1 glass } else if (streq(dec->type, "string")) {
333 1.1 glass if (dec->rel != REL_ARRAY) {
334 1.1 glass error("variable-length array declaration expected");
335 1.1 glass }
336 1.1 glass }
337 1.1 glass }
338 1.1 glass
339 1.1 glass
340 1.1 glass static
341 1.1 glass get_type(prefixp, typep, dkind)
342 1.1 glass char **prefixp;
343 1.1 glass char **typep;
344 1.1 glass defkind dkind;
345 1.1 glass {
346 1.1 glass token tok;
347 1.1 glass
348 1.1 glass *prefixp = NULL;
349 1.1 glass get_token(&tok);
350 1.1 glass switch (tok.kind) {
351 1.1 glass case TOK_IDENT:
352 1.1 glass *typep = tok.str;
353 1.1 glass break;
354 1.1 glass case TOK_STRUCT:
355 1.1 glass case TOK_ENUM:
356 1.1 glass case TOK_UNION:
357 1.1 glass *prefixp = tok.str;
358 1.1 glass scan(TOK_IDENT, &tok);
359 1.1 glass *typep = tok.str;
360 1.1 glass break;
361 1.1 glass case TOK_UNSIGNED:
362 1.1 glass unsigned_dec(typep);
363 1.1 glass break;
364 1.1 glass case TOK_SHORT:
365 1.1 glass *typep = "short";
366 1.1 glass (void) peekscan(TOK_INT, &tok);
367 1.1 glass break;
368 1.1 glass case TOK_LONG:
369 1.1 glass *typep = "long";
370 1.1 glass (void) peekscan(TOK_INT, &tok);
371 1.1 glass break;
372 1.1 glass case TOK_VOID:
373 1.1 glass if (dkind != DEF_UNION && dkind != DEF_PROGRAM) {
374 1.1 glass error("voids allowed only inside union and program definitions");
375 1.1 glass }
376 1.1 glass *typep = tok.str;
377 1.1 glass break;
378 1.1 glass case TOK_STRING:
379 1.1 glass case TOK_OPAQUE:
380 1.1 glass case TOK_CHAR:
381 1.1 glass case TOK_INT:
382 1.1 glass case TOK_FLOAT:
383 1.1 glass case TOK_DOUBLE:
384 1.1 glass case TOK_BOOL:
385 1.1 glass *typep = tok.str;
386 1.1 glass break;
387 1.1 glass default:
388 1.1 glass error("expected type specifier");
389 1.1 glass }
390 1.1 glass }
391 1.1 glass
392 1.1 glass
393 1.1 glass static
394 1.1 glass unsigned_dec(typep)
395 1.1 glass char **typep;
396 1.1 glass {
397 1.1 glass token tok;
398 1.1 glass
399 1.1 glass peek(&tok);
400 1.1 glass switch (tok.kind) {
401 1.1 glass case TOK_CHAR:
402 1.1 glass get_token(&tok);
403 1.1 glass *typep = "u_char";
404 1.1 glass break;
405 1.1 glass case TOK_SHORT:
406 1.1 glass get_token(&tok);
407 1.1 glass *typep = "u_short";
408 1.1 glass (void) peekscan(TOK_INT, &tok);
409 1.1 glass break;
410 1.1 glass case TOK_LONG:
411 1.1 glass get_token(&tok);
412 1.1 glass *typep = "u_long";
413 1.1 glass (void) peekscan(TOK_INT, &tok);
414 1.1 glass break;
415 1.1 glass case TOK_INT:
416 1.1 glass get_token(&tok);
417 1.1 glass *typep = "u_int";
418 1.1 glass break;
419 1.1 glass default:
420 1.1 glass *typep = "u_int";
421 1.1 glass break;
422 1.1 glass }
423 1.1 glass }
424