rpc_parse.c revision 1.1 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.1 glass int isdefined(), def_struct(), def_program(), def_enum(), def_const(),
44 1.1 glass def_union(), def_typedef(), get_declaration(), get_type(),
45 1.1 glass 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