parser.c revision 1.100 1 1.100 christos /* $NetBSD: parser.c,v 1.100 2016/02/27 16:23:22 christos Exp $ */
2 1.24 cgd
3 1.1 cgd /*-
4 1.11 jtc * Copyright (c) 1991, 1993
5 1.11 jtc * The Regents of the University of California. All rights reserved.
6 1.1 cgd *
7 1.1 cgd * This code is derived from software contributed to Berkeley by
8 1.1 cgd * Kenneth Almquist.
9 1.1 cgd *
10 1.1 cgd * Redistribution and use in source and binary forms, with or without
11 1.1 cgd * modification, are permitted provided that the following conditions
12 1.1 cgd * are met:
13 1.1 cgd * 1. Redistributions of source code must retain the above copyright
14 1.1 cgd * notice, this list of conditions and the following disclaimer.
15 1.1 cgd * 2. Redistributions in binary form must reproduce the above copyright
16 1.1 cgd * notice, this list of conditions and the following disclaimer in the
17 1.1 cgd * documentation and/or other materials provided with the distribution.
18 1.55 agc * 3. Neither the name of the University nor the names of its contributors
19 1.1 cgd * may be used to endorse or promote products derived from this software
20 1.1 cgd * without specific prior written permission.
21 1.1 cgd *
22 1.1 cgd * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
23 1.1 cgd * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
24 1.1 cgd * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
25 1.1 cgd * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
26 1.1 cgd * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
27 1.1 cgd * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
28 1.1 cgd * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
29 1.1 cgd * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
30 1.1 cgd * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
31 1.1 cgd * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
32 1.1 cgd * SUCH DAMAGE.
33 1.1 cgd */
34 1.1 cgd
35 1.36 christos #include <sys/cdefs.h>
36 1.1 cgd #ifndef lint
37 1.24 cgd #if 0
38 1.26 christos static char sccsid[] = "@(#)parser.c 8.7 (Berkeley) 5/16/95";
39 1.24 cgd #else
40 1.100 christos __RCSID("$NetBSD: parser.c,v 1.100 2016/02/27 16:23:22 christos Exp $");
41 1.24 cgd #endif
42 1.1 cgd #endif /* not lint */
43 1.1 cgd
44 1.85 christos #include <stdio.h>
45 1.25 christos #include <stdlib.h>
46 1.82 christos #include <limits.h>
47 1.25 christos
48 1.1 cgd #include "shell.h"
49 1.1 cgd #include "parser.h"
50 1.1 cgd #include "nodes.h"
51 1.1 cgd #include "expand.h" /* defines rmescapes() */
52 1.46 christos #include "eval.h" /* defines commandname */
53 1.1 cgd #include "redir.h" /* defines copyfd() */
54 1.1 cgd #include "syntax.h"
55 1.1 cgd #include "options.h"
56 1.1 cgd #include "input.h"
57 1.1 cgd #include "output.h"
58 1.1 cgd #include "var.h"
59 1.1 cgd #include "error.h"
60 1.1 cgd #include "memalloc.h"
61 1.1 cgd #include "mystring.h"
62 1.11 jtc #include "alias.h"
63 1.25 christos #include "show.h"
64 1.35 christos #ifndef SMALL
65 1.11 jtc #include "myhistedit.h"
66 1.14 cgd #endif
67 1.1 cgd
68 1.1 cgd /*
69 1.1 cgd * Shell command parser.
70 1.1 cgd */
71 1.1 cgd
72 1.1 cgd #define EOFMARKLEN 79
73 1.1 cgd
74 1.1 cgd /* values returned by readtoken */
75 1.30 christos #include "token.h"
76 1.1 cgd
77 1.51 christos #define OPENBRACE '{'
78 1.51 christos #define CLOSEBRACE '}'
79 1.1 cgd
80 1.1 cgd
81 1.1 cgd struct heredoc {
82 1.1 cgd struct heredoc *next; /* next here document in list */
83 1.1 cgd union node *here; /* redirection node */
84 1.1 cgd char *eofmark; /* string indicating end of input */
85 1.1 cgd int striptabs; /* if set, strip leading tabs */
86 1.1 cgd };
87 1.1 cgd
88 1.1 cgd
89 1.1 cgd
90 1.48 christos static int noalias = 0; /* when set, don't handle aliases */
91 1.1 cgd struct heredoc *heredoclist; /* list of here documents to read */
92 1.1 cgd int parsebackquote; /* nonzero if we are inside backquotes */
93 1.1 cgd int doprompt; /* if set, prompt the user */
94 1.1 cgd int needprompt; /* true if interactive and at start of line */
95 1.1 cgd int lasttoken; /* last token read */
96 1.1 cgd MKINIT int tokpushback; /* last token pushed back */
97 1.1 cgd char *wordtext; /* text of last word returned by readtoken */
98 1.67 dsl MKINIT int checkkwd; /* 1 == check for kwds, 2 == also eat newlines */
99 1.1 cgd struct nodelist *backquotelist;
100 1.1 cgd union node *redirnode;
101 1.1 cgd struct heredoc *heredoc;
102 1.1 cgd int quoteflag; /* set if (part of) last token was quoted */
103 1.1 cgd int startlinno; /* line # where last token started */
104 1.84 christos int funclinno; /* line # where the current function started */
105 1.1 cgd
106 1.1 cgd
107 1.73 christos STATIC union node *list(int, int);
108 1.54 christos STATIC union node *andor(void);
109 1.54 christos STATIC union node *pipeline(void);
110 1.54 christos STATIC union node *command(void);
111 1.54 christos STATIC union node *simplecmd(union node **, union node *);
112 1.54 christos STATIC union node *makename(void);
113 1.54 christos STATIC void parsefname(void);
114 1.54 christos STATIC void parseheredoc(void);
115 1.54 christos STATIC int peektoken(void);
116 1.54 christos STATIC int readtoken(void);
117 1.54 christos STATIC int xxreadtoken(void);
118 1.54 christos STATIC int readtoken1(int, char const *, char *, int);
119 1.54 christos STATIC int noexpand(char *);
120 1.66 perry STATIC void synexpect(int) __dead;
121 1.66 perry STATIC void synerror(const char *) __dead;
122 1.54 christos STATIC void setprompt(int);
123 1.1 cgd
124 1.22 cgd
125 1.1 cgd /*
126 1.1 cgd * Read and parse a command. Returns NEOF on end of file. (NULL is a
127 1.1 cgd * valid parse tree indicating a blank line.)
128 1.1 cgd */
129 1.1 cgd
130 1.1 cgd union node *
131 1.45 cgd parsecmd(int interact)
132 1.22 cgd {
133 1.1 cgd int t;
134 1.1 cgd
135 1.47 christos tokpushback = 0;
136 1.1 cgd doprompt = interact;
137 1.1 cgd if (doprompt)
138 1.11 jtc setprompt(1);
139 1.11 jtc else
140 1.11 jtc setprompt(0);
141 1.1 cgd needprompt = 0;
142 1.11 jtc t = readtoken();
143 1.11 jtc if (t == TEOF)
144 1.1 cgd return NEOF;
145 1.1 cgd if (t == TNL)
146 1.1 cgd return NULL;
147 1.1 cgd tokpushback++;
148 1.73 christos return list(1, 0);
149 1.1 cgd }
150 1.1 cgd
151 1.1 cgd
152 1.1 cgd STATIC union node *
153 1.73 christos list(int nlflag, int erflag)
154 1.22 cgd {
155 1.1 cgd union node *n1, *n2, *n3;
156 1.12 jtc int tok;
157 1.65 dsl TRACE(("list: entered\n"));
158 1.1 cgd
159 1.1 cgd checkkwd = 2;
160 1.1 cgd if (nlflag == 0 && tokendlist[peektoken()])
161 1.1 cgd return NULL;
162 1.12 jtc n1 = NULL;
163 1.1 cgd for (;;) {
164 1.12 jtc n2 = andor();
165 1.12 jtc tok = readtoken();
166 1.12 jtc if (tok == TBACKGND) {
167 1.12 jtc if (n2->type == NCMD || n2->type == NPIPE) {
168 1.12 jtc n2->ncmd.backgnd = 1;
169 1.12 jtc } else if (n2->type == NREDIR) {
170 1.12 jtc n2->type = NBACKGND;
171 1.1 cgd } else {
172 1.1 cgd n3 = (union node *)stalloc(sizeof (struct nredir));
173 1.1 cgd n3->type = NBACKGND;
174 1.12 jtc n3->nredir.n = n2;
175 1.1 cgd n3->nredir.redirect = NULL;
176 1.12 jtc n2 = n3;
177 1.1 cgd }
178 1.12 jtc }
179 1.12 jtc if (n1 == NULL) {
180 1.12 jtc n1 = n2;
181 1.12 jtc }
182 1.12 jtc else {
183 1.12 jtc n3 = (union node *)stalloc(sizeof (struct nbinary));
184 1.12 jtc n3->type = NSEMI;
185 1.12 jtc n3->nbinary.ch1 = n1;
186 1.12 jtc n3->nbinary.ch2 = n2;
187 1.12 jtc n1 = n3;
188 1.12 jtc }
189 1.12 jtc switch (tok) {
190 1.12 jtc case TBACKGND:
191 1.12 jtc case TSEMI:
192 1.12 jtc tok = readtoken();
193 1.12 jtc /* fall through */
194 1.1 cgd case TNL:
195 1.12 jtc if (tok == TNL) {
196 1.1 cgd parseheredoc();
197 1.1 cgd if (nlflag)
198 1.1 cgd return n1;
199 1.1 cgd } else {
200 1.1 cgd tokpushback++;
201 1.1 cgd }
202 1.1 cgd checkkwd = 2;
203 1.1 cgd if (tokendlist[peektoken()])
204 1.1 cgd return n1;
205 1.1 cgd break;
206 1.1 cgd case TEOF:
207 1.1 cgd if (heredoclist)
208 1.1 cgd parseheredoc();
209 1.1 cgd else
210 1.1 cgd pungetc(); /* push back EOF on input */
211 1.1 cgd return n1;
212 1.1 cgd default:
213 1.73 christos if (nlflag || erflag)
214 1.1 cgd synexpect(-1);
215 1.1 cgd tokpushback++;
216 1.1 cgd return n1;
217 1.1 cgd }
218 1.1 cgd }
219 1.1 cgd }
220 1.1 cgd
221 1.1 cgd
222 1.1 cgd
223 1.1 cgd STATIC union node *
224 1.54 christos andor(void)
225 1.54 christos {
226 1.1 cgd union node *n1, *n2, *n3;
227 1.1 cgd int t;
228 1.1 cgd
229 1.65 dsl TRACE(("andor: entered\n"));
230 1.1 cgd n1 = pipeline();
231 1.1 cgd for (;;) {
232 1.1 cgd if ((t = readtoken()) == TAND) {
233 1.1 cgd t = NAND;
234 1.1 cgd } else if (t == TOR) {
235 1.1 cgd t = NOR;
236 1.1 cgd } else {
237 1.1 cgd tokpushback++;
238 1.1 cgd return n1;
239 1.1 cgd }
240 1.1 cgd n2 = pipeline();
241 1.1 cgd n3 = (union node *)stalloc(sizeof (struct nbinary));
242 1.1 cgd n3->type = t;
243 1.1 cgd n3->nbinary.ch1 = n1;
244 1.1 cgd n3->nbinary.ch2 = n2;
245 1.1 cgd n1 = n3;
246 1.1 cgd }
247 1.1 cgd }
248 1.1 cgd
249 1.1 cgd
250 1.1 cgd
251 1.1 cgd STATIC union node *
252 1.54 christos pipeline(void)
253 1.54 christos {
254 1.44 christos union node *n1, *n2, *pipenode;
255 1.1 cgd struct nodelist *lp, *prev;
256 1.44 christos int negate;
257 1.1 cgd
258 1.65 dsl TRACE(("pipeline: entered\n"));
259 1.65 dsl
260 1.44 christos negate = 0;
261 1.65 dsl checkkwd = 2;
262 1.65 dsl while (readtoken() == TNOT) {
263 1.65 dsl TRACE(("pipeline: TNOT recognized\n"));
264 1.44 christos negate = !negate;
265 1.65 dsl }
266 1.44 christos tokpushback++;
267 1.1 cgd n1 = command();
268 1.1 cgd if (readtoken() == TPIPE) {
269 1.1 cgd pipenode = (union node *)stalloc(sizeof (struct npipe));
270 1.1 cgd pipenode->type = NPIPE;
271 1.1 cgd pipenode->npipe.backgnd = 0;
272 1.1 cgd lp = (struct nodelist *)stalloc(sizeof (struct nodelist));
273 1.1 cgd pipenode->npipe.cmdlist = lp;
274 1.1 cgd lp->n = n1;
275 1.1 cgd do {
276 1.1 cgd prev = lp;
277 1.1 cgd lp = (struct nodelist *)stalloc(sizeof (struct nodelist));
278 1.1 cgd lp->n = command();
279 1.1 cgd prev->next = lp;
280 1.1 cgd } while (readtoken() == TPIPE);
281 1.1 cgd lp->next = NULL;
282 1.1 cgd n1 = pipenode;
283 1.1 cgd }
284 1.1 cgd tokpushback++;
285 1.44 christos if (negate) {
286 1.65 dsl TRACE(("negate pipeline\n"));
287 1.44 christos n2 = (union node *)stalloc(sizeof (struct nnot));
288 1.44 christos n2->type = NNOT;
289 1.44 christos n2->nnot.com = n1;
290 1.44 christos return n2;
291 1.44 christos } else
292 1.44 christos return n1;
293 1.1 cgd }
294 1.1 cgd
295 1.1 cgd
296 1.1 cgd
297 1.1 cgd STATIC union node *
298 1.54 christos command(void)
299 1.54 christos {
300 1.1 cgd union node *n1, *n2;
301 1.1 cgd union node *ap, **app;
302 1.1 cgd union node *cp, **cpp;
303 1.1 cgd union node *redir, **rpp;
304 1.31 christos int t, negate = 0;
305 1.1 cgd
306 1.65 dsl TRACE(("command: entered\n"));
307 1.65 dsl
308 1.1 cgd checkkwd = 2;
309 1.25 christos redir = NULL;
310 1.25 christos n1 = NULL;
311 1.5 sef rpp = &redir;
312 1.31 christos
313 1.5 sef /* Check for redirection which may precede command */
314 1.5 sef while (readtoken() == TREDIR) {
315 1.5 sef *rpp = n2 = redirnode;
316 1.5 sef rpp = &n2->nfile.next;
317 1.5 sef parsefname();
318 1.5 sef }
319 1.5 sef tokpushback++;
320 1.5 sef
321 1.31 christos while (readtoken() == TNOT) {
322 1.31 christos TRACE(("command: TNOT recognized\n"));
323 1.31 christos negate = !negate;
324 1.31 christos }
325 1.31 christos tokpushback++;
326 1.31 christos
327 1.1 cgd switch (readtoken()) {
328 1.1 cgd case TIF:
329 1.1 cgd n1 = (union node *)stalloc(sizeof (struct nif));
330 1.1 cgd n1->type = NIF;
331 1.73 christos n1->nif.test = list(0, 0);
332 1.1 cgd if (readtoken() != TTHEN)
333 1.1 cgd synexpect(TTHEN);
334 1.73 christos n1->nif.ifpart = list(0, 0);
335 1.1 cgd n2 = n1;
336 1.1 cgd while (readtoken() == TELIF) {
337 1.1 cgd n2->nif.elsepart = (union node *)stalloc(sizeof (struct nif));
338 1.1 cgd n2 = n2->nif.elsepart;
339 1.1 cgd n2->type = NIF;
340 1.73 christos n2->nif.test = list(0, 0);
341 1.1 cgd if (readtoken() != TTHEN)
342 1.1 cgd synexpect(TTHEN);
343 1.73 christos n2->nif.ifpart = list(0, 0);
344 1.1 cgd }
345 1.1 cgd if (lasttoken == TELSE)
346 1.73 christos n2->nif.elsepart = list(0, 0);
347 1.1 cgd else {
348 1.1 cgd n2->nif.elsepart = NULL;
349 1.1 cgd tokpushback++;
350 1.1 cgd }
351 1.1 cgd if (readtoken() != TFI)
352 1.1 cgd synexpect(TFI);
353 1.1 cgd checkkwd = 1;
354 1.1 cgd break;
355 1.1 cgd case TWHILE:
356 1.1 cgd case TUNTIL: {
357 1.1 cgd int got;
358 1.1 cgd n1 = (union node *)stalloc(sizeof (struct nbinary));
359 1.1 cgd n1->type = (lasttoken == TWHILE)? NWHILE : NUNTIL;
360 1.73 christos n1->nbinary.ch1 = list(0, 0);
361 1.1 cgd if ((got=readtoken()) != TDO) {
362 1.1 cgd TRACE(("expecting DO got %s %s\n", tokname[got], got == TWORD ? wordtext : ""));
363 1.1 cgd synexpect(TDO);
364 1.1 cgd }
365 1.73 christos n1->nbinary.ch2 = list(0, 0);
366 1.1 cgd if (readtoken() != TDONE)
367 1.1 cgd synexpect(TDONE);
368 1.1 cgd checkkwd = 1;
369 1.1 cgd break;
370 1.1 cgd }
371 1.1 cgd case TFOR:
372 1.1 cgd if (readtoken() != TWORD || quoteflag || ! goodname(wordtext))
373 1.1 cgd synerror("Bad for loop variable");
374 1.1 cgd n1 = (union node *)stalloc(sizeof (struct nfor));
375 1.1 cgd n1->type = NFOR;
376 1.1 cgd n1->nfor.var = wordtext;
377 1.1 cgd if (readtoken() == TWORD && ! quoteflag && equal(wordtext, "in")) {
378 1.1 cgd app = ≈
379 1.1 cgd while (readtoken() == TWORD) {
380 1.1 cgd n2 = (union node *)stalloc(sizeof (struct narg));
381 1.1 cgd n2->type = NARG;
382 1.1 cgd n2->narg.text = wordtext;
383 1.1 cgd n2->narg.backquote = backquotelist;
384 1.1 cgd *app = n2;
385 1.1 cgd app = &n2->narg.next;
386 1.1 cgd }
387 1.1 cgd *app = NULL;
388 1.1 cgd n1->nfor.args = ap;
389 1.5 sef if (lasttoken != TNL && lasttoken != TSEMI)
390 1.5 sef synexpect(-1);
391 1.1 cgd } else {
392 1.95 christos static char argvars[5] = {
393 1.95 christos CTLVAR, VSNORMAL|VSQUOTE, '@', '=', '\0'
394 1.95 christos };
395 1.1 cgd n2 = (union node *)stalloc(sizeof (struct narg));
396 1.1 cgd n2->type = NARG;
397 1.43 christos n2->narg.text = argvars;
398 1.1 cgd n2->narg.backquote = NULL;
399 1.1 cgd n2->narg.next = NULL;
400 1.1 cgd n1->nfor.args = n2;
401 1.11 jtc /*
402 1.11 jtc * Newline or semicolon here is optional (but note
403 1.11 jtc * that the original Bourne shell only allowed NL).
404 1.11 jtc */
405 1.11 jtc if (lasttoken != TNL && lasttoken != TSEMI)
406 1.11 jtc tokpushback++;
407 1.1 cgd }
408 1.1 cgd checkkwd = 2;
409 1.1 cgd if ((t = readtoken()) == TDO)
410 1.1 cgd t = TDONE;
411 1.1 cgd else if (t == TBEGIN)
412 1.1 cgd t = TEND;
413 1.1 cgd else
414 1.1 cgd synexpect(-1);
415 1.73 christos n1->nfor.body = list(0, 0);
416 1.1 cgd if (readtoken() != t)
417 1.1 cgd synexpect(t);
418 1.1 cgd checkkwd = 1;
419 1.1 cgd break;
420 1.1 cgd case TCASE:
421 1.1 cgd n1 = (union node *)stalloc(sizeof (struct ncase));
422 1.1 cgd n1->type = NCASE;
423 1.1 cgd if (readtoken() != TWORD)
424 1.1 cgd synexpect(TWORD);
425 1.1 cgd n1->ncase.expr = n2 = (union node *)stalloc(sizeof (struct narg));
426 1.1 cgd n2->type = NARG;
427 1.1 cgd n2->narg.text = wordtext;
428 1.1 cgd n2->narg.backquote = backquotelist;
429 1.1 cgd n2->narg.next = NULL;
430 1.1 cgd while (readtoken() == TNL);
431 1.1 cgd if (lasttoken != TWORD || ! equal(wordtext, "in"))
432 1.1 cgd synerror("expecting \"in\"");
433 1.1 cgd cpp = &n1->ncase.cases;
434 1.48 christos noalias = 1;
435 1.15 jtc checkkwd = 2, readtoken();
436 1.87 christos /*
437 1.88 christos * Both ksh and bash accept 'case x in esac'
438 1.87 christos * so configure scripts started taking advantage of this.
439 1.88 christos * The page: http://pubs.opengroup.org/onlinepubs/\
440 1.88 christos * 009695399/utilities/xcu_chap02.html contradicts itself,
441 1.88 christos * as to if this is legal; the "Case Conditional Format"
442 1.88 christos * paragraph shows one case is required, but the "Grammar"
443 1.88 christos * section shows a grammar that explicitly allows the no
444 1.88 christos * case option.
445 1.87 christos */
446 1.87 christos while (lasttoken != TESAC) {
447 1.1 cgd *cpp = cp = (union node *)stalloc(sizeof (struct nclist));
448 1.61 christos if (lasttoken == TLP)
449 1.61 christos readtoken();
450 1.1 cgd cp->type = NCLIST;
451 1.1 cgd app = &cp->nclist.pattern;
452 1.1 cgd for (;;) {
453 1.1 cgd *app = ap = (union node *)stalloc(sizeof (struct narg));
454 1.1 cgd ap->type = NARG;
455 1.1 cgd ap->narg.text = wordtext;
456 1.1 cgd ap->narg.backquote = backquotelist;
457 1.15 jtc if (checkkwd = 2, readtoken() != TPIPE)
458 1.1 cgd break;
459 1.1 cgd app = &ap->narg.next;
460 1.16 jtc readtoken();
461 1.1 cgd }
462 1.1 cgd ap->narg.next = NULL;
463 1.48 christos noalias = 0;
464 1.48 christos if (lasttoken != TRP) {
465 1.1 cgd synexpect(TRP);
466 1.48 christos }
467 1.73 christos cp->nclist.body = list(0, 0);
468 1.15 jtc
469 1.15 jtc checkkwd = 2;
470 1.15 jtc if ((t = readtoken()) != TESAC) {
471 1.48 christos if (t != TENDCASE) {
472 1.48 christos noalias = 0;
473 1.15 jtc synexpect(TENDCASE);
474 1.48 christos } else {
475 1.48 christos noalias = 1;
476 1.48 christos checkkwd = 2;
477 1.48 christos readtoken();
478 1.48 christos }
479 1.15 jtc }
480 1.1 cgd cpp = &cp->nclist.next;
481 1.86 christos }
482 1.48 christos noalias = 0;
483 1.1 cgd *cpp = NULL;
484 1.1 cgd checkkwd = 1;
485 1.1 cgd break;
486 1.1 cgd case TLP:
487 1.1 cgd n1 = (union node *)stalloc(sizeof (struct nredir));
488 1.1 cgd n1->type = NSUBSHELL;
489 1.73 christos n1->nredir.n = list(0, 0);
490 1.1 cgd n1->nredir.redirect = NULL;
491 1.1 cgd if (readtoken() != TRP)
492 1.1 cgd synexpect(TRP);
493 1.1 cgd checkkwd = 1;
494 1.1 cgd break;
495 1.1 cgd case TBEGIN:
496 1.73 christos n1 = list(0, 0);
497 1.1 cgd if (readtoken() != TEND)
498 1.1 cgd synexpect(TEND);
499 1.1 cgd checkkwd = 1;
500 1.1 cgd break;
501 1.5 sef /* Handle an empty command like other simple commands. */
502 1.19 mycroft case TSEMI:
503 1.19 mycroft /*
504 1.19 mycroft * An empty command before a ; doesn't make much sense, and
505 1.19 mycroft * should certainly be disallowed in the case of `if ;'.
506 1.19 mycroft */
507 1.19 mycroft if (!redir)
508 1.19 mycroft synexpect(-1);
509 1.30 christos case TAND:
510 1.30 christos case TOR:
511 1.5 sef case TNL:
512 1.20 mycroft case TEOF:
513 1.1 cgd case TWORD:
514 1.19 mycroft case TRP:
515 1.1 cgd tokpushback++;
516 1.31 christos n1 = simplecmd(rpp, redir);
517 1.31 christos goto checkneg;
518 1.97 christos case TENDCASE:
519 1.97 christos if (redir) {
520 1.97 christos tokpushback++;
521 1.97 christos goto checkneg;
522 1.97 christos }
523 1.97 christos /* FALLTHROUGH */
524 1.1 cgd default:
525 1.1 cgd synexpect(-1);
526 1.39 mycroft /* NOTREACHED */
527 1.1 cgd }
528 1.1 cgd
529 1.1 cgd /* Now check for redirection which may follow command */
530 1.1 cgd while (readtoken() == TREDIR) {
531 1.1 cgd *rpp = n2 = redirnode;
532 1.1 cgd rpp = &n2->nfile.next;
533 1.1 cgd parsefname();
534 1.1 cgd }
535 1.1 cgd tokpushback++;
536 1.1 cgd *rpp = NULL;
537 1.1 cgd if (redir) {
538 1.1 cgd if (n1->type != NSUBSHELL) {
539 1.1 cgd n2 = (union node *)stalloc(sizeof (struct nredir));
540 1.1 cgd n2->type = NREDIR;
541 1.1 cgd n2->nredir.n = n1;
542 1.1 cgd n1 = n2;
543 1.1 cgd }
544 1.1 cgd n1->nredir.redirect = redir;
545 1.1 cgd }
546 1.31 christos
547 1.31 christos checkneg:
548 1.31 christos if (negate) {
549 1.65 dsl TRACE(("negate command\n"));
550 1.31 christos n2 = (union node *)stalloc(sizeof (struct nnot));
551 1.31 christos n2->type = NNOT;
552 1.31 christos n2->nnot.com = n1;
553 1.31 christos return n2;
554 1.31 christos }
555 1.31 christos else
556 1.31 christos return n1;
557 1.1 cgd }
558 1.1 cgd
559 1.1 cgd
560 1.1 cgd STATIC union node *
561 1.54 christos simplecmd(union node **rpp, union node *redir)
562 1.54 christos {
563 1.1 cgd union node *args, **app;
564 1.5 sef union node **orig_rpp = rpp;
565 1.31 christos union node *n = NULL, *n2;
566 1.31 christos int negate = 0;
567 1.1 cgd
568 1.11 jtc /* If we don't have any redirections already, then we must reset */
569 1.11 jtc /* rpp to be the address of the local redir variable. */
570 1.5 sef if (redir == 0)
571 1.5 sef rpp = &redir;
572 1.5 sef
573 1.1 cgd args = NULL;
574 1.1 cgd app = &args;
575 1.30 christos /*
576 1.11 jtc * We save the incoming value, because we need this for shell
577 1.11 jtc * functions. There can not be a redirect or an argument between
578 1.30 christos * the function name and the open parenthesis.
579 1.11 jtc */
580 1.5 sef orig_rpp = rpp;
581 1.11 jtc
582 1.31 christos while (readtoken() == TNOT) {
583 1.65 dsl TRACE(("simplcmd: TNOT recognized\n"));
584 1.31 christos negate = !negate;
585 1.31 christos }
586 1.31 christos tokpushback++;
587 1.31 christos
588 1.1 cgd for (;;) {
589 1.1 cgd if (readtoken() == TWORD) {
590 1.1 cgd n = (union node *)stalloc(sizeof (struct narg));
591 1.1 cgd n->type = NARG;
592 1.1 cgd n->narg.text = wordtext;
593 1.1 cgd n->narg.backquote = backquotelist;
594 1.1 cgd *app = n;
595 1.1 cgd app = &n->narg.next;
596 1.1 cgd } else if (lasttoken == TREDIR) {
597 1.1 cgd *rpp = n = redirnode;
598 1.1 cgd rpp = &n->nfile.next;
599 1.1 cgd parsefname(); /* read name of redirection file */
600 1.1 cgd } else if (lasttoken == TLP && app == &args->narg.next
601 1.5 sef && rpp == orig_rpp) {
602 1.1 cgd /* We have a function */
603 1.1 cgd if (readtoken() != TRP)
604 1.1 cgd synexpect(TRP);
605 1.84 christos funclinno = plinno;
606 1.64 christos rmescapes(n->narg.text);
607 1.64 christos if (!goodname(n->narg.text))
608 1.1 cgd synerror("Bad function name");
609 1.1 cgd n->type = NDEFUN;
610 1.1 cgd n->narg.next = command();
611 1.84 christos funclinno = 0;
612 1.31 christos goto checkneg;
613 1.1 cgd } else {
614 1.1 cgd tokpushback++;
615 1.1 cgd break;
616 1.1 cgd }
617 1.1 cgd }
618 1.1 cgd *app = NULL;
619 1.1 cgd *rpp = NULL;
620 1.1 cgd n = (union node *)stalloc(sizeof (struct ncmd));
621 1.1 cgd n->type = NCMD;
622 1.1 cgd n->ncmd.backgnd = 0;
623 1.1 cgd n->ncmd.args = args;
624 1.1 cgd n->ncmd.redirect = redir;
625 1.31 christos
626 1.31 christos checkneg:
627 1.31 christos if (negate) {
628 1.65 dsl TRACE(("negate simplecmd\n"));
629 1.31 christos n2 = (union node *)stalloc(sizeof (struct nnot));
630 1.31 christos n2->type = NNOT;
631 1.31 christos n2->nnot.com = n;
632 1.31 christos return n2;
633 1.31 christos }
634 1.31 christos else
635 1.31 christos return n;
636 1.1 cgd }
637 1.1 cgd
638 1.18 jtc STATIC union node *
639 1.54 christos makename(void)
640 1.54 christos {
641 1.18 jtc union node *n;
642 1.18 jtc
643 1.18 jtc n = (union node *)stalloc(sizeof (struct narg));
644 1.18 jtc n->type = NARG;
645 1.18 jtc n->narg.next = NULL;
646 1.18 jtc n->narg.text = wordtext;
647 1.18 jtc n->narg.backquote = backquotelist;
648 1.18 jtc return n;
649 1.18 jtc }
650 1.18 jtc
651 1.95 christos void
652 1.95 christos fixredir(union node *n, const char *text, int err)
653 1.95 christos {
654 1.18 jtc TRACE(("Fix redir %s %d\n", text, err));
655 1.18 jtc if (!err)
656 1.18 jtc n->ndup.vname = NULL;
657 1.18 jtc
658 1.91 christos if (is_number(text))
659 1.91 christos n->ndup.dupfd = number(text);
660 1.18 jtc else if (text[0] == '-' && text[1] == '\0')
661 1.18 jtc n->ndup.dupfd = -1;
662 1.18 jtc else {
663 1.30 christos
664 1.18 jtc if (err)
665 1.18 jtc synerror("Bad fd number");
666 1.18 jtc else
667 1.18 jtc n->ndup.vname = makename();
668 1.18 jtc }
669 1.18 jtc }
670 1.18 jtc
671 1.1 cgd
672 1.1 cgd STATIC void
673 1.54 christos parsefname(void)
674 1.54 christos {
675 1.1 cgd union node *n = redirnode;
676 1.1 cgd
677 1.1 cgd if (readtoken() != TWORD)
678 1.1 cgd synexpect(-1);
679 1.1 cgd if (n->type == NHERE) {
680 1.1 cgd struct heredoc *here = heredoc;
681 1.1 cgd struct heredoc *p;
682 1.1 cgd int i;
683 1.1 cgd
684 1.1 cgd if (quoteflag == 0)
685 1.1 cgd n->type = NXHERE;
686 1.1 cgd TRACE(("Here document %d\n", n->type));
687 1.1 cgd if (here->striptabs) {
688 1.1 cgd while (*wordtext == '\t')
689 1.1 cgd wordtext++;
690 1.1 cgd }
691 1.1 cgd if (! noexpand(wordtext) || (i = strlen(wordtext)) == 0 || i > EOFMARKLEN)
692 1.1 cgd synerror("Illegal eof marker for << redirection");
693 1.1 cgd rmescapes(wordtext);
694 1.1 cgd here->eofmark = wordtext;
695 1.1 cgd here->next = NULL;
696 1.1 cgd if (heredoclist == NULL)
697 1.1 cgd heredoclist = here;
698 1.1 cgd else {
699 1.90 christos for (p = heredoclist ; p->next ; p = p->next)
700 1.90 christos continue;
701 1.1 cgd p->next = here;
702 1.1 cgd }
703 1.1 cgd } else if (n->type == NTOFD || n->type == NFROMFD) {
704 1.18 jtc fixredir(n, wordtext, 0);
705 1.1 cgd } else {
706 1.18 jtc n->nfile.fname = makename();
707 1.1 cgd }
708 1.1 cgd }
709 1.1 cgd
710 1.1 cgd
711 1.1 cgd /*
712 1.1 cgd * Input any here documents.
713 1.1 cgd */
714 1.1 cgd
715 1.1 cgd STATIC void
716 1.54 christos parseheredoc(void)
717 1.54 christos {
718 1.1 cgd struct heredoc *here;
719 1.1 cgd union node *n;
720 1.1 cgd
721 1.1 cgd while (heredoclist) {
722 1.100 christos int c;
723 1.1 cgd here = heredoclist;
724 1.1 cgd heredoclist = here->next;
725 1.1 cgd if (needprompt) {
726 1.11 jtc setprompt(2);
727 1.1 cgd needprompt = 0;
728 1.1 cgd }
729 1.100 christos if ((c = pgetc()) == PEOF)
730 1.100 christos continue;
731 1.100 christos readtoken1(c, here->here->type == NHERE? SQSYNTAX : DQSYNTAX,
732 1.100 christos here->eofmark, here->striptabs);
733 1.1 cgd n = (union node *)stalloc(sizeof (struct narg));
734 1.1 cgd n->narg.type = NARG;
735 1.1 cgd n->narg.next = NULL;
736 1.1 cgd n->narg.text = wordtext;
737 1.1 cgd n->narg.backquote = backquotelist;
738 1.1 cgd here->here->nhere.doc = n;
739 1.1 cgd }
740 1.1 cgd }
741 1.1 cgd
742 1.1 cgd STATIC int
743 1.54 christos peektoken(void)
744 1.54 christos {
745 1.1 cgd int t;
746 1.1 cgd
747 1.1 cgd t = readtoken();
748 1.1 cgd tokpushback++;
749 1.1 cgd return (t);
750 1.1 cgd }
751 1.1 cgd
752 1.1 cgd STATIC int
753 1.54 christos readtoken(void)
754 1.54 christos {
755 1.1 cgd int t;
756 1.11 jtc int savecheckkwd = checkkwd;
757 1.1 cgd #ifdef DEBUG
758 1.1 cgd int alreadyseen = tokpushback;
759 1.1 cgd #endif
760 1.48 christos struct alias *ap;
761 1.30 christos
762 1.11 jtc top:
763 1.1 cgd t = xxreadtoken();
764 1.1 cgd
765 1.1 cgd if (checkkwd) {
766 1.1 cgd /*
767 1.1 cgd * eat newlines
768 1.1 cgd */
769 1.1 cgd if (checkkwd == 2) {
770 1.1 cgd checkkwd = 0;
771 1.1 cgd while (t == TNL) {
772 1.1 cgd parseheredoc();
773 1.1 cgd t = xxreadtoken();
774 1.1 cgd }
775 1.1 cgd } else
776 1.1 cgd checkkwd = 0;
777 1.1 cgd /*
778 1.11 jtc * check for keywords and aliases
779 1.1 cgd */
780 1.95 christos if (t == TWORD && !quoteflag) {
781 1.43 christos const char *const *pp;
782 1.1 cgd
783 1.43 christos for (pp = parsekwd; *pp; pp++) {
784 1.95 christos if (**pp == *wordtext && equal(*pp, wordtext)) {
785 1.90 christos lasttoken = t = pp -
786 1.43 christos parsekwd + KWDOFFSET;
787 1.1 cgd TRACE(("keyword %s recognized\n", tokname[t]));
788 1.11 jtc goto out;
789 1.1 cgd }
790 1.1 cgd }
791 1.90 christos if (!noalias &&
792 1.48 christos (ap = lookupalias(wordtext, 1)) != NULL) {
793 1.11 jtc pushstring(ap->val, strlen(ap->val), ap);
794 1.11 jtc checkkwd = savecheckkwd;
795 1.11 jtc goto top;
796 1.11 jtc }
797 1.1 cgd }
798 1.11 jtc out:
799 1.31 christos checkkwd = (t == TNOT) ? savecheckkwd : 0;
800 1.1 cgd }
801 1.65 dsl TRACE(("%stoken %s %s\n", alreadyseen ? "reread " : "", tokname[t], t == TWORD ? wordtext : ""));
802 1.1 cgd return (t);
803 1.1 cgd }
804 1.1 cgd
805 1.1 cgd
806 1.1 cgd /*
807 1.1 cgd * Read the next input token.
808 1.1 cgd * If the token is a word, we set backquotelist to the list of cmds in
809 1.1 cgd * backquotes. We set quoteflag to true if any part of the word was
810 1.1 cgd * quoted.
811 1.1 cgd * If the token is TREDIR, then we set redirnode to a structure containing
812 1.1 cgd * the redirection.
813 1.1 cgd * In all cases, the variable startlinno is set to the number of the line
814 1.1 cgd * on which the token starts.
815 1.1 cgd *
816 1.1 cgd * [Change comment: here documents and internal procedures]
817 1.1 cgd * [Readtoken shouldn't have any arguments. Perhaps we should make the
818 1.1 cgd * word parsing code into a separate routine. In this case, readtoken
819 1.1 cgd * doesn't need to have any internal procedures, but parseword does.
820 1.1 cgd * We could also make parseoperator in essence the main routine, and
821 1.1 cgd * have parseword (readtoken1?) handle both words and redirection.]
822 1.1 cgd */
823 1.1 cgd
824 1.1 cgd #define RETURN(token) return lasttoken = token
825 1.1 cgd
826 1.1 cgd STATIC int
827 1.54 christos xxreadtoken(void)
828 1.54 christos {
829 1.32 tls int c;
830 1.1 cgd
831 1.1 cgd if (tokpushback) {
832 1.1 cgd tokpushback = 0;
833 1.1 cgd return lasttoken;
834 1.1 cgd }
835 1.1 cgd if (needprompt) {
836 1.11 jtc setprompt(2);
837 1.1 cgd needprompt = 0;
838 1.1 cgd }
839 1.1 cgd startlinno = plinno;
840 1.1 cgd for (;;) { /* until token or start of word found */
841 1.1 cgd c = pgetc_macro();
842 1.1 cgd switch (c) {
843 1.1 cgd case ' ': case '\t':
844 1.1 cgd continue;
845 1.1 cgd case '#':
846 1.90 christos while ((c = pgetc()) != '\n' && c != PEOF)
847 1.90 christos continue;
848 1.1 cgd pungetc();
849 1.1 cgd continue;
850 1.1 cgd case '\\':
851 1.93 christos switch (pgetc()) {
852 1.92 christos case '\n':
853 1.1 cgd startlinno = ++plinno;
854 1.1 cgd if (doprompt)
855 1.11 jtc setprompt(2);
856 1.11 jtc else
857 1.11 jtc setprompt(0);
858 1.1 cgd continue;
859 1.92 christos case PEOF:
860 1.92 christos RETURN(TEOF);
861 1.92 christos default:
862 1.92 christos pungetc();
863 1.92 christos break;
864 1.1 cgd }
865 1.1 cgd goto breakloop;
866 1.1 cgd case '\n':
867 1.1 cgd plinno++;
868 1.1 cgd needprompt = doprompt;
869 1.1 cgd RETURN(TNL);
870 1.1 cgd case PEOF:
871 1.1 cgd RETURN(TEOF);
872 1.1 cgd case '&':
873 1.1 cgd if (pgetc() == '&')
874 1.1 cgd RETURN(TAND);
875 1.1 cgd pungetc();
876 1.1 cgd RETURN(TBACKGND);
877 1.1 cgd case '|':
878 1.1 cgd if (pgetc() == '|')
879 1.1 cgd RETURN(TOR);
880 1.1 cgd pungetc();
881 1.1 cgd RETURN(TPIPE);
882 1.1 cgd case ';':
883 1.1 cgd if (pgetc() == ';')
884 1.1 cgd RETURN(TENDCASE);
885 1.1 cgd pungetc();
886 1.1 cgd RETURN(TSEMI);
887 1.1 cgd case '(':
888 1.1 cgd RETURN(TLP);
889 1.1 cgd case ')':
890 1.1 cgd RETURN(TRP);
891 1.1 cgd default:
892 1.1 cgd goto breakloop;
893 1.1 cgd }
894 1.1 cgd }
895 1.1 cgd breakloop:
896 1.80 plunky return readtoken1(c, BASESYNTAX, NULL, 0);
897 1.1 cgd #undef RETURN
898 1.1 cgd }
899 1.1 cgd
900 1.1 cgd
901 1.1 cgd
902 1.1 cgd /*
903 1.1 cgd * If eofmark is NULL, read a word or a redirection symbol. If eofmark
904 1.1 cgd * is not NULL, read a here document. In the latter case, eofmark is the
905 1.1 cgd * word which marks the end of the document and striptabs is true if
906 1.1 cgd * leading tabs should be stripped from the document. The argument firstc
907 1.1 cgd * is the first character of the input token or document.
908 1.1 cgd *
909 1.1 cgd * Because C does not have internal subroutines, I have simulated them
910 1.1 cgd * using goto's to implement the subroutine linkage. The following macros
911 1.1 cgd * will run code that appears at the end of readtoken1.
912 1.1 cgd */
913 1.1 cgd
914 1.96 christos /*
915 1.96 christos * We used to remember only the current syntax, variable nesting level,
916 1.96 christos * double quote state for each var nexting level, and arith nesting
917 1.96 christos * level (unrelated to var nesting) and one prev syntax when in arith
918 1.96 christos * syntax. This worked for simple cases, but can't handle arith inside
919 1.96 christos * var expansion inside arith inside var with some quoted and some not.
920 1.96 christos *
921 1.96 christos * Inspired by FreeBSD's implementation (though it was the obvious way)
922 1.96 christos * though implemented differently, we now have a stack that keeps track
923 1.96 christos * of what we are doing now, and what we were doing previously.
924 1.96 christos * Every time something changes, which will eventually end and should
925 1.96 christos * revert to the previous state, we push this stack, and then pop it
926 1.96 christos * again later (that is every ${} with an operator (to parse the word
927 1.96 christos * or pattern that follows) ${x} and $x are too * simple to need it)
928 1.96 christos * $(( )) $( ) and "...". Always. Really, always!
929 1.96 christos *
930 1.96 christos * The stack is implemented as one static (on the C stack) base block
931 1.96 christos * containing LEVELS_PER_BLOCK (8) stack entries, which should be
932 1.96 christos * enough for the vast majority of cases. For torture tests, we
933 1.96 christos * malloc more blocks as needed. All accesses through the inline
934 1.96 christos * functions below.
935 1.96 christos */
936 1.96 christos
937 1.96 christos /*
938 1.96 christos * varnest & arinest will typically be 0 or 1
939 1.96 christos * (varnest can increment in usages like ${x=${y}} but probably
940 1.96 christos * does not really need to)
941 1.96 christos * parenlevel allows balancing parens inside a $(( )), it is reset
942 1.96 christos * at each new nesting level ( $(( ( x + 3 ${unset-)} )) does not work.
943 1.96 christos * quoted is special - we need to know 2 things ... are we inside "..."
944 1.96 christos * (even if inherited from some previous nesting level) and was there
945 1.96 christos * an opening '"' at this level (so the next will be closing).
946 1.96 christos * "..." can span nexting levels, but cannot be opened in one and
947 1.96 christos * closed in a different one.
948 1.96 christos * To handle this, "quoted" has two fields, the bottom 4 (really 2)
949 1.96 christos * bits are 0, 1, or 2, for un, single, and double quoted (single quoted
950 1.96 christos * is really so special that this setting is not very important)
951 1.96 christos * and 0x10 that indicates that an opening quote has been seen.
952 1.96 christos * The bottom 4 bits are inherited, the 0x10 bit is not.
953 1.96 christos */
954 1.96 christos struct tokenstate {
955 1.96 christos const char *ts_syntax;
956 1.96 christos unsigned short ts_parenlevel; /* counters */
957 1.96 christos unsigned short ts_varnest; /* 64000 levels should be enough! */
958 1.96 christos unsigned short ts_arinest;
959 1.96 christos unsigned short ts_quoted; /* 1 -> single, 2 -> double */
960 1.96 christos };
961 1.96 christos
962 1.96 christos #define NQ 0x00
963 1.96 christos #define SQ 0x01
964 1.96 christos #define DQ 0x02
965 1.96 christos #define QF 0x0F
966 1.96 christos #define QS 0x10
967 1.96 christos
968 1.96 christos #define LEVELS_PER_BLOCK 8
969 1.96 christos #define VSS volatile struct statestack
970 1.96 christos
971 1.96 christos struct statestack {
972 1.96 christos VSS *prev; /* previous block in list */
973 1.96 christos int cur; /* which of our tokenstates is current */
974 1.96 christos struct tokenstate tokenstate[LEVELS_PER_BLOCK];
975 1.96 christos };
976 1.96 christos
977 1.96 christos static inline volatile struct tokenstate *
978 1.96 christos currentstate(VSS *stack)
979 1.96 christos {
980 1.96 christos return &stack->tokenstate[stack->cur];
981 1.96 christos }
982 1.96 christos
983 1.96 christos static inline volatile struct tokenstate *
984 1.96 christos prevstate(VSS *stack)
985 1.96 christos {
986 1.96 christos if (stack->cur != 0)
987 1.96 christos return &stack->tokenstate[stack->cur - 1];
988 1.96 christos if (stack->prev == NULL) /* cannot drop below base */
989 1.96 christos return &stack->tokenstate[0];
990 1.96 christos return &stack->prev->tokenstate[LEVELS_PER_BLOCK - 1];
991 1.96 christos }
992 1.96 christos
993 1.96 christos static inline VSS *
994 1.96 christos bump_state_level(VSS *stack)
995 1.96 christos {
996 1.96 christos volatile struct tokenstate *os, *ts;
997 1.96 christos
998 1.96 christos os = currentstate(stack);
999 1.96 christos
1000 1.96 christos if (++stack->cur >= LEVELS_PER_BLOCK) {
1001 1.96 christos VSS *ss;
1002 1.96 christos
1003 1.96 christos ss = (VSS *)ckmalloc(sizeof (struct statestack));
1004 1.96 christos ss->cur = 0;
1005 1.96 christos ss->prev = stack;
1006 1.96 christos stack = ss;
1007 1.96 christos }
1008 1.96 christos
1009 1.96 christos ts = currentstate(stack);
1010 1.96 christos
1011 1.96 christos ts->ts_parenlevel = 0; /* parens inside never match outside */
1012 1.96 christos
1013 1.96 christos ts->ts_quoted = os->ts_quoted & QF; /* these are default settings */
1014 1.96 christos ts->ts_varnest = os->ts_varnest;
1015 1.96 christos ts->ts_arinest = os->ts_arinest; /* when appropriate */
1016 1.96 christos ts->ts_syntax = os->ts_syntax; /* they will be altered */
1017 1.96 christos
1018 1.96 christos return stack;
1019 1.96 christos }
1020 1.96 christos
1021 1.96 christos static inline VSS *
1022 1.96 christos drop_state_level(VSS *stack)
1023 1.96 christos {
1024 1.96 christos if (stack->cur == 0) {
1025 1.96 christos VSS *ss;
1026 1.96 christos
1027 1.96 christos ss = stack;
1028 1.96 christos stack = ss->prev;
1029 1.96 christos if (stack == NULL)
1030 1.96 christos return ss;
1031 1.96 christos ckfree(__UNVOLATILE(ss));
1032 1.96 christos }
1033 1.96 christos --stack->cur;
1034 1.96 christos return stack;
1035 1.96 christos }
1036 1.96 christos
1037 1.96 christos static inline void
1038 1.96 christos cleanup_state_stack(VSS *stack)
1039 1.96 christos {
1040 1.96 christos while (stack->prev != NULL) {
1041 1.96 christos stack->cur = 0;
1042 1.96 christos stack = drop_state_level(stack);
1043 1.96 christos }
1044 1.96 christos }
1045 1.96 christos
1046 1.95 christos #define CHECKEND() {goto checkend; checkend_return:;}
1047 1.95 christos #define PARSEREDIR() {goto parseredir; parseredir_return:;}
1048 1.95 christos #define PARSESUB() {goto parsesub; parsesub_return:;}
1049 1.95 christos #define PARSEBACKQOLD() {oldstyle = 1; goto parsebackq; parsebackq_oldreturn:;}
1050 1.95 christos #define PARSEBACKQNEW() {oldstyle = 0; goto parsebackq; parsebackq_newreturn:;}
1051 1.11 jtc #define PARSEARITH() {goto parsearith; parsearith_return:;}
1052 1.1 cgd
1053 1.52 christos /*
1054 1.96 christos * The following macros all assume the existance of a local var "stack"
1055 1.96 christos * which contains a pointer to the current struct stackstate
1056 1.52 christos */
1057 1.51 christos
1058 1.96 christos /*
1059 1.96 christos * These are macros rather than inline funcs to avoid code churn as much
1060 1.96 christos * as possible - they replace macros of the same name used previously.
1061 1.96 christos */
1062 1.96 christos #define ISDBLQUOTE() (currentstate(stack)->ts_quoted & QS)
1063 1.96 christos #define SETDBLQUOTE() (currentstate(stack)->ts_quoted = QS | DQ)
1064 1.96 christos #define CLRDBLQUOTE() (currentstate(stack)->ts_quoted = \
1065 1.96 christos stack->cur != 0 || stack->prev ? \
1066 1.96 christos prevstate(stack)->ts_quoted & QF : 0)
1067 1.96 christos
1068 1.96 christos /*
1069 1.96 christos * This set are just to avoid excess typing and line lengths...
1070 1.96 christos * The ones that "look like" var names must be implemented to be lvalues
1071 1.96 christos */
1072 1.96 christos #define syntax (currentstate(stack)->ts_syntax)
1073 1.96 christos #define parenlevel (currentstate(stack)->ts_parenlevel)
1074 1.96 christos #define varnest (currentstate(stack)->ts_varnest)
1075 1.96 christos #define arinest (currentstate(stack)->ts_arinest)
1076 1.96 christos #define quoted (currentstate(stack)->ts_quoted)
1077 1.96 christos #define TS_PUSH() (stack = bump_state_level(stack))
1078 1.96 christos #define TS_POP() (stack = drop_state_level(stack))
1079 1.94 christos
1080 1.1 cgd STATIC int
1081 1.63 christos readtoken1(int firstc, char const *syn, char *eofmark, int striptabs)
1082 1.54 christos {
1083 1.25 christos int c = firstc;
1084 1.63 christos char * volatile out;
1085 1.1 cgd int len;
1086 1.1 cgd char line[EOFMARKLEN + 1];
1087 1.1 cgd struct nodelist *bqlist;
1088 1.63 christos volatile int quotef;
1089 1.63 christos volatile int oldstyle;
1090 1.96 christos VSS static_stack;
1091 1.96 christos VSS *stack = &static_stack;
1092 1.96 christos
1093 1.96 christos stack->prev = NULL;
1094 1.96 christos stack->cur = 0;
1095 1.96 christos
1096 1.96 christos syntax = syn;
1097 1.1 cgd
1098 1.1 cgd startlinno = plinno;
1099 1.51 christos varnest = 0;
1100 1.99 christos quoted = 0;
1101 1.78 christos if (syntax == DQSYNTAX) {
1102 1.51 christos SETDBLQUOTE();
1103 1.78 christos }
1104 1.1 cgd quotef = 0;
1105 1.1 cgd bqlist = NULL;
1106 1.11 jtc arinest = 0;
1107 1.11 jtc parenlevel = 0;
1108 1.11 jtc
1109 1.1 cgd STARTSTACKSTR(out);
1110 1.1 cgd loop: { /* for each line, until end of word */
1111 1.1 cgd #if ATTY
1112 1.1 cgd if (c == '\034' && doprompt
1113 1.1 cgd && attyset() && ! equal(termval(), "emacs")) {
1114 1.1 cgd attyline();
1115 1.1 cgd if (syntax == BASESYNTAX)
1116 1.1 cgd return readtoken();
1117 1.1 cgd c = pgetc();
1118 1.1 cgd goto loop;
1119 1.1 cgd }
1120 1.1 cgd #endif
1121 1.1 cgd CHECKEND(); /* set c to PEOF if at end of here document */
1122 1.1 cgd for (;;) { /* until end of line or end of word */
1123 1.56 dsl CHECKSTRSPACE(4, out); /* permit 4 calls to USTPUTC */
1124 1.1 cgd switch(syntax[c]) {
1125 1.1 cgd case CNL: /* '\n' */
1126 1.1 cgd if (syntax == BASESYNTAX)
1127 1.1 cgd goto endword; /* exit outer loop */
1128 1.1 cgd USTPUTC(c, out);
1129 1.1 cgd plinno++;
1130 1.11 jtc if (doprompt)
1131 1.11 jtc setprompt(2);
1132 1.11 jtc else
1133 1.11 jtc setprompt(0);
1134 1.1 cgd c = pgetc();
1135 1.1 cgd goto loop; /* continue outer loop */
1136 1.59 dsl case CWORD:
1137 1.59 dsl USTPUTC(c, out);
1138 1.59 dsl break;
1139 1.1 cgd case CCTL:
1140 1.51 christos if (eofmark == NULL || ISDBLQUOTE())
1141 1.1 cgd USTPUTC(CTLESC, out);
1142 1.1 cgd USTPUTC(c, out);
1143 1.1 cgd break;
1144 1.1 cgd case CBACK: /* backslash */
1145 1.1 cgd c = pgetc();
1146 1.1 cgd if (c == PEOF) {
1147 1.1 cgd USTPUTC('\\', out);
1148 1.1 cgd pungetc();
1149 1.56 dsl break;
1150 1.56 dsl }
1151 1.56 dsl if (c == '\n') {
1152 1.89 christos plinno++;
1153 1.1 cgd if (doprompt)
1154 1.11 jtc setprompt(2);
1155 1.11 jtc else
1156 1.11 jtc setprompt(0);
1157 1.56 dsl break;
1158 1.56 dsl }
1159 1.56 dsl quotef = 1;
1160 1.56 dsl if (ISDBLQUOTE() && c != '\\' &&
1161 1.56 dsl c != '`' && c != '$' &&
1162 1.78 christos (c != '"' || eofmark != NULL))
1163 1.78 christos USTPUTC('\\', out);
1164 1.56 dsl if (SQSYNTAX[c] == CCTL)
1165 1.56 dsl USTPUTC(CTLESC, out);
1166 1.56 dsl else if (eofmark == NULL) {
1167 1.56 dsl USTPUTC(CTLQUOTEMARK, out);
1168 1.1 cgd USTPUTC(c, out);
1169 1.56 dsl if (varnest != 0)
1170 1.56 dsl USTPUTC(CTLQUOTEEND, out);
1171 1.56 dsl break;
1172 1.1 cgd }
1173 1.56 dsl USTPUTC(c, out);
1174 1.1 cgd break;
1175 1.1 cgd case CSQUOTE:
1176 1.51 christos if (syntax != SQSYNTAX) {
1177 1.56 dsl if (eofmark == NULL)
1178 1.56 dsl USTPUTC(CTLQUOTEMARK, out);
1179 1.56 dsl quotef = 1;
1180 1.96 christos TS_PUSH();
1181 1.56 dsl syntax = SQSYNTAX;
1182 1.96 christos quoted = SQ;
1183 1.56 dsl break;
1184 1.51 christos }
1185 1.57 dsl if (eofmark != NULL && arinest == 0 &&
1186 1.57 dsl varnest == 0) {
1187 1.57 dsl /* Ignore inside quoted here document */
1188 1.57 dsl USTPUTC(c, out);
1189 1.57 dsl break;
1190 1.57 dsl }
1191 1.56 dsl /* End of single quotes... */
1192 1.96 christos TS_POP();
1193 1.96 christos if (syntax == BASESYNTAX && varnest != 0)
1194 1.96 christos USTPUTC(CTLQUOTEEND, out);
1195 1.56 dsl break;
1196 1.1 cgd case CDQUOTE:
1197 1.41 mycroft if (eofmark != NULL && arinest == 0 &&
1198 1.41 mycroft varnest == 0) {
1199 1.57 dsl /* Ignore inside here document */
1200 1.1 cgd USTPUTC(c, out);
1201 1.56 dsl break;
1202 1.56 dsl }
1203 1.56 dsl quotef = 1;
1204 1.56 dsl if (arinest) {
1205 1.56 dsl if (ISDBLQUOTE()) {
1206 1.96 christos TS_POP();
1207 1.56 dsl } else {
1208 1.96 christos TS_PUSH();
1209 1.56 dsl syntax = DQSYNTAX;
1210 1.56 dsl SETDBLQUOTE();
1211 1.56 dsl USTPUTC(CTLQUOTEMARK, out);
1212 1.56 dsl }
1213 1.56 dsl break;
1214 1.56 dsl }
1215 1.56 dsl if (eofmark != NULL)
1216 1.56 dsl break;
1217 1.56 dsl if (ISDBLQUOTE()) {
1218 1.96 christos TS_POP();
1219 1.56 dsl if (varnest != 0)
1220 1.56 dsl USTPUTC(CTLQUOTEEND, out);
1221 1.1 cgd } else {
1222 1.96 christos TS_PUSH();
1223 1.56 dsl syntax = DQSYNTAX;
1224 1.56 dsl SETDBLQUOTE();
1225 1.56 dsl USTPUTC(CTLQUOTEMARK, out);
1226 1.1 cgd }
1227 1.1 cgd break;
1228 1.1 cgd case CVAR: /* '$' */
1229 1.1 cgd PARSESUB(); /* parse substitution */
1230 1.1 cgd break;
1231 1.51 christos case CENDVAR: /* CLOSEBRACE */
1232 1.51 christos if (varnest > 0 && !ISDBLQUOTE()) {
1233 1.96 christos TS_POP();
1234 1.1 cgd USTPUTC(CTLENDVAR, out);
1235 1.1 cgd } else {
1236 1.1 cgd USTPUTC(c, out);
1237 1.1 cgd }
1238 1.1 cgd break;
1239 1.11 jtc case CLP: /* '(' in arithmetic */
1240 1.11 jtc parenlevel++;
1241 1.11 jtc USTPUTC(c, out);
1242 1.11 jtc break;
1243 1.11 jtc case CRP: /* ')' in arithmetic */
1244 1.11 jtc if (parenlevel > 0) {
1245 1.11 jtc USTPUTC(c, out);
1246 1.11 jtc --parenlevel;
1247 1.11 jtc } else {
1248 1.11 jtc if (pgetc() == ')') {
1249 1.11 jtc if (--arinest == 0) {
1250 1.96 christos TS_POP();
1251 1.11 jtc USTPUTC(CTLENDARI, out);
1252 1.11 jtc } else
1253 1.11 jtc USTPUTC(')', out);
1254 1.11 jtc } else {
1255 1.30 christos /*
1256 1.11 jtc * unbalanced parens
1257 1.11 jtc * (don't 2nd guess - no error)
1258 1.11 jtc */
1259 1.11 jtc pungetc();
1260 1.11 jtc USTPUTC(')', out);
1261 1.11 jtc }
1262 1.11 jtc }
1263 1.11 jtc break;
1264 1.1 cgd case CBQUOTE: /* '`' */
1265 1.1 cgd PARSEBACKQOLD();
1266 1.1 cgd break;
1267 1.1 cgd case CEOF:
1268 1.1 cgd goto endword; /* exit outer loop */
1269 1.1 cgd default:
1270 1.81 christos if (varnest == 0 && !ISDBLQUOTE())
1271 1.1 cgd goto endword; /* exit outer loop */
1272 1.1 cgd USTPUTC(c, out);
1273 1.1 cgd }
1274 1.1 cgd c = pgetc_macro();
1275 1.1 cgd }
1276 1.1 cgd }
1277 1.1 cgd endword:
1278 1.96 christos if (syntax == ARISYNTAX) {
1279 1.96 christos cleanup_state_stack(stack);
1280 1.11 jtc synerror("Missing '))'");
1281 1.96 christos }
1282 1.96 christos if (syntax != BASESYNTAX && /* ! parsebackquote && */ eofmark == NULL) {
1283 1.96 christos cleanup_state_stack(stack);
1284 1.1 cgd synerror("Unterminated quoted string");
1285 1.96 christos }
1286 1.1 cgd if (varnest != 0) {
1287 1.96 christos cleanup_state_stack(stack);
1288 1.1 cgd startlinno = plinno;
1289 1.51 christos /* { */
1290 1.1 cgd synerror("Missing '}'");
1291 1.1 cgd }
1292 1.1 cgd USTPUTC('\0', out);
1293 1.1 cgd len = out - stackblock();
1294 1.1 cgd out = stackblock();
1295 1.1 cgd if (eofmark == NULL) {
1296 1.1 cgd if ((c == '>' || c == '<')
1297 1.1 cgd && quotef == 0
1298 1.91 christos && (*out == '\0' || is_number(out))) {
1299 1.1 cgd PARSEREDIR();
1300 1.96 christos cleanup_state_stack(stack);
1301 1.1 cgd return lasttoken = TREDIR;
1302 1.1 cgd } else {
1303 1.1 cgd pungetc();
1304 1.1 cgd }
1305 1.1 cgd }
1306 1.1 cgd quoteflag = quotef;
1307 1.1 cgd backquotelist = bqlist;
1308 1.1 cgd grabstackblock(len);
1309 1.1 cgd wordtext = out;
1310 1.96 christos cleanup_state_stack(stack);
1311 1.1 cgd return lasttoken = TWORD;
1312 1.1 cgd /* end of readtoken routine */
1313 1.1 cgd
1314 1.1 cgd
1315 1.1 cgd
1316 1.1 cgd /*
1317 1.1 cgd * Check to see whether we are at the end of the here document. When this
1318 1.1 cgd * is called, c is set to the first character of the next input line. If
1319 1.1 cgd * we are at the end of the here document, this routine sets the c to PEOF.
1320 1.1 cgd */
1321 1.1 cgd
1322 1.1 cgd checkend: {
1323 1.1 cgd if (eofmark) {
1324 1.1 cgd if (striptabs) {
1325 1.1 cgd while (c == '\t')
1326 1.1 cgd c = pgetc();
1327 1.1 cgd }
1328 1.1 cgd if (c == *eofmark) {
1329 1.1 cgd if (pfgets(line, sizeof line) != NULL) {
1330 1.32 tls char *p, *q;
1331 1.1 cgd
1332 1.1 cgd p = line;
1333 1.90 christos for (q = eofmark + 1 ; *q && *p == *q ; p++, q++)
1334 1.90 christos continue;
1335 1.69 christos if ((*p == '\0' || *p == '\n') && *q == '\0') {
1336 1.1 cgd c = PEOF;
1337 1.1 cgd plinno++;
1338 1.1 cgd needprompt = doprompt;
1339 1.1 cgd } else {
1340 1.11 jtc pushstring(line, strlen(line), NULL);
1341 1.1 cgd }
1342 1.1 cgd }
1343 1.1 cgd }
1344 1.1 cgd }
1345 1.1 cgd goto checkend_return;
1346 1.1 cgd }
1347 1.1 cgd
1348 1.1 cgd
1349 1.1 cgd /*
1350 1.1 cgd * Parse a redirection operator. The variable "out" points to a string
1351 1.1 cgd * specifying the fd to be redirected. The variable "c" contains the
1352 1.1 cgd * first character of the redirection operator.
1353 1.1 cgd */
1354 1.1 cgd
1355 1.1 cgd parseredir: {
1356 1.91 christos char fd[64];
1357 1.1 cgd union node *np;
1358 1.91 christos strlcpy(fd, out, sizeof(fd));
1359 1.1 cgd
1360 1.1 cgd np = (union node *)stalloc(sizeof (struct nfile));
1361 1.1 cgd if (c == '>') {
1362 1.1 cgd np->nfile.fd = 1;
1363 1.1 cgd c = pgetc();
1364 1.1 cgd if (c == '>')
1365 1.1 cgd np->type = NAPPEND;
1366 1.53 christos else if (c == '|')
1367 1.53 christos np->type = NCLOBBER;
1368 1.1 cgd else if (c == '&')
1369 1.1 cgd np->type = NTOFD;
1370 1.1 cgd else {
1371 1.1 cgd np->type = NTO;
1372 1.1 cgd pungetc();
1373 1.1 cgd }
1374 1.1 cgd } else { /* c == '<' */
1375 1.1 cgd np->nfile.fd = 0;
1376 1.42 christos switch (c = pgetc()) {
1377 1.42 christos case '<':
1378 1.1 cgd if (sizeof (struct nfile) != sizeof (struct nhere)) {
1379 1.1 cgd np = (union node *)stalloc(sizeof (struct nhere));
1380 1.1 cgd np->nfile.fd = 0;
1381 1.1 cgd }
1382 1.1 cgd np->type = NHERE;
1383 1.1 cgd heredoc = (struct heredoc *)stalloc(sizeof (struct heredoc));
1384 1.1 cgd heredoc->here = np;
1385 1.1 cgd if ((c = pgetc()) == '-') {
1386 1.1 cgd heredoc->striptabs = 1;
1387 1.1 cgd } else {
1388 1.1 cgd heredoc->striptabs = 0;
1389 1.1 cgd pungetc();
1390 1.1 cgd }
1391 1.42 christos break;
1392 1.42 christos
1393 1.42 christos case '&':
1394 1.1 cgd np->type = NFROMFD;
1395 1.42 christos break;
1396 1.42 christos
1397 1.42 christos case '>':
1398 1.42 christos np->type = NFROMTO;
1399 1.42 christos break;
1400 1.42 christos
1401 1.42 christos default:
1402 1.1 cgd np->type = NFROM;
1403 1.1 cgd pungetc();
1404 1.42 christos break;
1405 1.1 cgd }
1406 1.1 cgd }
1407 1.91 christos if (*fd != '\0')
1408 1.91 christos np->nfile.fd = number(fd);
1409 1.1 cgd redirnode = np;
1410 1.1 cgd goto parseredir_return;
1411 1.1 cgd }
1412 1.1 cgd
1413 1.1 cgd
1414 1.1 cgd /*
1415 1.1 cgd * Parse a substitution. At this point, we have read the dollar sign
1416 1.1 cgd * and nothing else.
1417 1.1 cgd */
1418 1.1 cgd
1419 1.1 cgd parsesub: {
1420 1.84 christos char buf[10];
1421 1.1 cgd int subtype;
1422 1.1 cgd int typeloc;
1423 1.1 cgd int flags;
1424 1.1 cgd char *p;
1425 1.1 cgd static const char types[] = "}-+?=";
1426 1.84 christos int i;
1427 1.84 christos int linno;
1428 1.1 cgd
1429 1.1 cgd c = pgetc();
1430 1.51 christos if (c != '(' && c != OPENBRACE && !is_name(c) && !is_special(c)) {
1431 1.1 cgd USTPUTC('$', out);
1432 1.1 cgd pungetc();
1433 1.11 jtc } else if (c == '(') { /* $(command) or $((arith)) */
1434 1.11 jtc if (pgetc() == '(') {
1435 1.11 jtc PARSEARITH();
1436 1.11 jtc } else {
1437 1.11 jtc pungetc();
1438 1.11 jtc PARSEBACKQNEW();
1439 1.11 jtc }
1440 1.1 cgd } else {
1441 1.1 cgd USTPUTC(CTLVAR, out);
1442 1.1 cgd typeloc = out - stackblock();
1443 1.1 cgd USTPUTC(VSNORMAL, out);
1444 1.1 cgd subtype = VSNORMAL;
1445 1.84 christos flags = 0;
1446 1.51 christos if (c == OPENBRACE) {
1447 1.1 cgd c = pgetc();
1448 1.23 christos if (c == '#') {
1449 1.51 christos if ((c = pgetc()) == CLOSEBRACE)
1450 1.26 christos c = '#';
1451 1.26 christos else
1452 1.26 christos subtype = VSLENGTH;
1453 1.23 christos }
1454 1.23 christos else
1455 1.23 christos subtype = 0;
1456 1.1 cgd }
1457 1.1 cgd if (is_name(c)) {
1458 1.84 christos p = out;
1459 1.1 cgd do {
1460 1.1 cgd STPUTC(c, out);
1461 1.1 cgd c = pgetc();
1462 1.1 cgd } while (is_in_name(c));
1463 1.84 christos if (out - p == 6 && strncmp(p, "LINENO", 6) == 0) {
1464 1.84 christos /* Replace the variable name with the
1465 1.84 christos * current line number. */
1466 1.84 christos linno = plinno;
1467 1.84 christos if (funclinno != 0)
1468 1.84 christos linno -= funclinno - 1;
1469 1.84 christos snprintf(buf, sizeof(buf), "%d", linno);
1470 1.84 christos STADJUST(-6, out);
1471 1.84 christos for (i = 0; buf[i] != '\0'; i++)
1472 1.84 christos STPUTC(buf[i], out);
1473 1.84 christos flags |= VSLINENO;
1474 1.84 christos }
1475 1.34 christos } else if (is_digit(c)) {
1476 1.33 christos do {
1477 1.33 christos USTPUTC(c, out);
1478 1.33 christos c = pgetc();
1479 1.34 christos } while (is_digit(c));
1480 1.34 christos }
1481 1.34 christos else if (is_special(c)) {
1482 1.34 christos USTPUTC(c, out);
1483 1.34 christos c = pgetc();
1484 1.1 cgd }
1485 1.96 christos else {
1486 1.96 christos badsub:
1487 1.96 christos cleanup_state_stack(stack);
1488 1.96 christos synerror("Bad substitution");
1489 1.96 christos }
1490 1.33 christos
1491 1.1 cgd STPUTC('=', out);
1492 1.1 cgd if (subtype == 0) {
1493 1.23 christos switch (c) {
1494 1.23 christos case ':':
1495 1.84 christos flags |= VSNUL;
1496 1.1 cgd c = pgetc();
1497 1.23 christos /*FALLTHROUGH*/
1498 1.23 christos default:
1499 1.23 christos p = strchr(types, c);
1500 1.23 christos if (p == NULL)
1501 1.23 christos goto badsub;
1502 1.23 christos subtype = p - types + VSNORMAL;
1503 1.23 christos break;
1504 1.23 christos case '%':
1505 1.30 christos case '#':
1506 1.23 christos {
1507 1.23 christos int cc = c;
1508 1.23 christos subtype = c == '#' ? VSTRIMLEFT :
1509 1.23 christos VSTRIMRIGHT;
1510 1.23 christos c = pgetc();
1511 1.23 christos if (c == cc)
1512 1.23 christos subtype++;
1513 1.23 christos else
1514 1.23 christos pungetc();
1515 1.23 christos break;
1516 1.23 christos }
1517 1.1 cgd }
1518 1.1 cgd } else {
1519 1.1 cgd pungetc();
1520 1.1 cgd }
1521 1.51 christos if (ISDBLQUOTE() || arinest)
1522 1.1 cgd flags |= VSQUOTE;
1523 1.98 christos if (subtype >= VSTRIMLEFT && subtype <= VSTRIMRIGHTMAX)
1524 1.98 christos flags |= VSPATQ;
1525 1.1 cgd *(stackblock() + typeloc) = subtype | flags;
1526 1.96 christos if (subtype != VSNORMAL) {
1527 1.96 christos TS_PUSH();
1528 1.96 christos varnest++;
1529 1.96 christos arinest = 0;
1530 1.96 christos if (subtype > VSASSIGN) { /* # ## % %% */
1531 1.96 christos syntax = BASESYNTAX;
1532 1.96 christos CLRDBLQUOTE();
1533 1.96 christos }
1534 1.96 christos }
1535 1.1 cgd }
1536 1.1 cgd goto parsesub_return;
1537 1.1 cgd }
1538 1.1 cgd
1539 1.1 cgd
1540 1.1 cgd /*
1541 1.1 cgd * Called to parse command substitutions. Newstyle is set if the command
1542 1.1 cgd * is enclosed inside $(...); nlpp is a pointer to the head of the linked
1543 1.1 cgd * list of commands (passed by reference), and savelen is the number of
1544 1.1 cgd * characters on the top of the stack which must be preserved.
1545 1.1 cgd */
1546 1.1 cgd
1547 1.1 cgd parsebackq: {
1548 1.1 cgd struct nodelist **nlpp;
1549 1.1 cgd int savepbq;
1550 1.1 cgd union node *n;
1551 1.83 wiz char *volatile str = NULL;
1552 1.1 cgd struct jmploc jmploc;
1553 1.83 wiz struct jmploc *volatile savehandler = NULL;
1554 1.1 cgd int savelen;
1555 1.28 christos int saveprompt;
1556 1.1 cgd
1557 1.1 cgd savepbq = parsebackquote;
1558 1.1 cgd if (setjmp(jmploc.loc)) {
1559 1.1 cgd if (str)
1560 1.1 cgd ckfree(str);
1561 1.96 christos cleanup_state_stack(stack);
1562 1.1 cgd parsebackquote = 0;
1563 1.1 cgd handler = savehandler;
1564 1.4 dpassage longjmp(handler->loc, 1);
1565 1.1 cgd }
1566 1.1 cgd INTOFF;
1567 1.1 cgd str = NULL;
1568 1.1 cgd savelen = out - stackblock();
1569 1.1 cgd if (savelen > 0) {
1570 1.1 cgd str = ckmalloc(savelen);
1571 1.21 mycroft memcpy(str, stackblock(), savelen);
1572 1.1 cgd }
1573 1.1 cgd savehandler = handler;
1574 1.1 cgd handler = &jmploc;
1575 1.1 cgd INTON;
1576 1.11 jtc if (oldstyle) {
1577 1.11 jtc /* We must read until the closing backquote, giving special
1578 1.11 jtc treatment to some slashes, and then push the string and
1579 1.11 jtc reread it as input, interpreting it normally. */
1580 1.43 christos char *pout;
1581 1.43 christos int pc;
1582 1.43 christos int psavelen;
1583 1.43 christos char *pstr;
1584 1.28 christos
1585 1.96 christos /*
1586 1.96 christos * Because the entire `...` is read here, we don't
1587 1.96 christos * need to bother the state stack. That will be used
1588 1.96 christos * (as appropriate) when the processed string is re-read.
1589 1.96 christos */
1590 1.43 christos STARTSTACKSTR(pout);
1591 1.28 christos for (;;) {
1592 1.28 christos if (needprompt) {
1593 1.28 christos setprompt(2);
1594 1.28 christos needprompt = 0;
1595 1.28 christos }
1596 1.43 christos switch (pc = pgetc()) {
1597 1.28 christos case '`':
1598 1.28 christos goto done;
1599 1.28 christos
1600 1.28 christos case '\\':
1601 1.43 christos if ((pc = pgetc()) == '\n') {
1602 1.28 christos plinno++;
1603 1.28 christos if (doprompt)
1604 1.28 christos setprompt(2);
1605 1.28 christos else
1606 1.28 christos setprompt(0);
1607 1.29 christos /*
1608 1.29 christos * If eating a newline, avoid putting
1609 1.29 christos * the newline into the new character
1610 1.29 christos * stream (via the STPUTC after the
1611 1.29 christos * switch).
1612 1.29 christos */
1613 1.29 christos continue;
1614 1.28 christos }
1615 1.43 christos if (pc != '\\' && pc != '`' && pc != '$'
1616 1.51 christos && (!ISDBLQUOTE() || pc != '"'))
1617 1.43 christos STPUTC('\\', pout);
1618 1.28 christos break;
1619 1.28 christos
1620 1.28 christos case '\n':
1621 1.28 christos plinno++;
1622 1.28 christos needprompt = doprompt;
1623 1.28 christos break;
1624 1.28 christos
1625 1.30 christos case PEOF:
1626 1.30 christos startlinno = plinno;
1627 1.30 christos synerror("EOF in backquote substitution");
1628 1.30 christos break;
1629 1.30 christos
1630 1.28 christos default:
1631 1.28 christos break;
1632 1.28 christos }
1633 1.43 christos STPUTC(pc, pout);
1634 1.11 jtc }
1635 1.28 christos done:
1636 1.43 christos STPUTC('\0', pout);
1637 1.43 christos psavelen = pout - stackblock();
1638 1.43 christos if (psavelen > 0) {
1639 1.43 christos pstr = grabstackstr(pout);
1640 1.43 christos setinputstring(pstr, 1);
1641 1.11 jtc }
1642 1.11 jtc }
1643 1.1 cgd nlpp = &bqlist;
1644 1.1 cgd while (*nlpp)
1645 1.1 cgd nlpp = &(*nlpp)->next;
1646 1.1 cgd *nlpp = (struct nodelist *)stalloc(sizeof (struct nodelist));
1647 1.1 cgd (*nlpp)->next = NULL;
1648 1.1 cgd parsebackquote = oldstyle;
1649 1.28 christos
1650 1.28 christos if (oldstyle) {
1651 1.28 christos saveprompt = doprompt;
1652 1.28 christos doprompt = 0;
1653 1.63 christos } else
1654 1.63 christos saveprompt = 0;
1655 1.28 christos
1656 1.73 christos n = list(0, oldstyle);
1657 1.28 christos
1658 1.28 christos if (oldstyle)
1659 1.28 christos doprompt = saveprompt;
1660 1.28 christos else {
1661 1.96 christos if (readtoken() != TRP) {
1662 1.96 christos cleanup_state_stack(stack);
1663 1.28 christos synexpect(TRP);
1664 1.96 christos }
1665 1.28 christos }
1666 1.28 christos
1667 1.1 cgd (*nlpp)->n = n;
1668 1.27 christos if (oldstyle) {
1669 1.27 christos /*
1670 1.27 christos * Start reading from old file again, ignoring any pushed back
1671 1.27 christos * tokens left from the backquote parsing
1672 1.27 christos */
1673 1.11 jtc popfile();
1674 1.27 christos tokpushback = 0;
1675 1.27 christos }
1676 1.1 cgd while (stackblocksize() <= savelen)
1677 1.1 cgd growstackblock();
1678 1.1 cgd STARTSTACKSTR(out);
1679 1.1 cgd if (str) {
1680 1.21 mycroft memcpy(out, str, savelen);
1681 1.1 cgd STADJUST(savelen, out);
1682 1.1 cgd INTOFF;
1683 1.1 cgd ckfree(str);
1684 1.1 cgd str = NULL;
1685 1.1 cgd INTON;
1686 1.1 cgd }
1687 1.1 cgd parsebackquote = savepbq;
1688 1.1 cgd handler = savehandler;
1689 1.51 christos if (arinest || ISDBLQUOTE())
1690 1.11 jtc USTPUTC(CTLBACKQ | CTLQUOTE, out);
1691 1.11 jtc else
1692 1.11 jtc USTPUTC(CTLBACKQ, out);
1693 1.1 cgd if (oldstyle)
1694 1.1 cgd goto parsebackq_oldreturn;
1695 1.1 cgd else
1696 1.1 cgd goto parsebackq_newreturn;
1697 1.1 cgd }
1698 1.1 cgd
1699 1.1 cgd /*
1700 1.11 jtc * Parse an arithmetic expansion (indicate start of one and set state)
1701 1.1 cgd */
1702 1.11 jtc parsearith: {
1703 1.1 cgd
1704 1.96 christos if (syntax == ARISYNTAX) {
1705 1.96 christos /*
1706 1.96 christos * we collapse embedded arithmetic expansion to
1707 1.96 christos * parentheses, which should be equivalent
1708 1.96 christos */
1709 1.96 christos USTPUTC('(', out);
1710 1.96 christos USTPUTC('(', out);
1711 1.96 christos /*
1712 1.96 christos * Need 2 of them because there will (should be)
1713 1.96 christos * two closing ))'s to follow later.
1714 1.96 christos */
1715 1.96 christos parenlevel += 2;
1716 1.96 christos } else {
1717 1.96 christos TS_PUSH();
1718 1.11 jtc syntax = ARISYNTAX;
1719 1.96 christos ++arinest;
1720 1.96 christos varnest = 0;
1721 1.96 christos
1722 1.11 jtc USTPUTC(CTLARI, out);
1723 1.51 christos if (ISDBLQUOTE())
1724 1.41 mycroft USTPUTC('"',out);
1725 1.41 mycroft else
1726 1.41 mycroft USTPUTC(' ',out);
1727 1.1 cgd }
1728 1.11 jtc goto parsearith_return;
1729 1.1 cgd }
1730 1.1 cgd
1731 1.11 jtc } /* end of readtoken */
1732 1.1 cgd
1733 1.1 cgd
1734 1.1 cgd
1735 1.11 jtc #ifdef mkinit
1736 1.11 jtc RESET {
1737 1.11 jtc tokpushback = 0;
1738 1.11 jtc checkkwd = 0;
1739 1.1 cgd }
1740 1.1 cgd #endif
1741 1.1 cgd
1742 1.1 cgd /*
1743 1.1 cgd * Returns true if the text contains nothing to expand (no dollar signs
1744 1.1 cgd * or backquotes).
1745 1.1 cgd */
1746 1.1 cgd
1747 1.1 cgd STATIC int
1748 1.54 christos noexpand(char *text)
1749 1.54 christos {
1750 1.32 tls char *p;
1751 1.32 tls char c;
1752 1.1 cgd
1753 1.1 cgd p = text;
1754 1.1 cgd while ((c = *p++) != '\0') {
1755 1.41 mycroft if (c == CTLQUOTEMARK)
1756 1.41 mycroft continue;
1757 1.1 cgd if (c == CTLESC)
1758 1.1 cgd p++;
1759 1.38 mrg else if (BASESYNTAX[(int)c] == CCTL)
1760 1.1 cgd return 0;
1761 1.1 cgd }
1762 1.1 cgd return 1;
1763 1.1 cgd }
1764 1.1 cgd
1765 1.1 cgd
1766 1.1 cgd /*
1767 1.1 cgd * Return true if the argument is a legal variable name (a letter or
1768 1.1 cgd * underscore followed by zero or more letters, underscores, and digits).
1769 1.1 cgd */
1770 1.1 cgd
1771 1.1 cgd int
1772 1.45 cgd goodname(char *name)
1773 1.1 cgd {
1774 1.32 tls char *p;
1775 1.1 cgd
1776 1.1 cgd p = name;
1777 1.1 cgd if (! is_name(*p))
1778 1.1 cgd return 0;
1779 1.1 cgd while (*++p) {
1780 1.1 cgd if (! is_in_name(*p))
1781 1.1 cgd return 0;
1782 1.1 cgd }
1783 1.1 cgd return 1;
1784 1.1 cgd }
1785 1.1 cgd
1786 1.1 cgd
1787 1.1 cgd /*
1788 1.1 cgd * Called when an unexpected token is read during the parse. The argument
1789 1.1 cgd * is the token that is expected, or -1 if more than one type of token can
1790 1.1 cgd * occur at this point.
1791 1.1 cgd */
1792 1.1 cgd
1793 1.1 cgd STATIC void
1794 1.54 christos synexpect(int token)
1795 1.22 cgd {
1796 1.1 cgd char msg[64];
1797 1.1 cgd
1798 1.1 cgd if (token >= 0) {
1799 1.1 cgd fmtstr(msg, 64, "%s unexpected (expecting %s)",
1800 1.1 cgd tokname[lasttoken], tokname[token]);
1801 1.1 cgd } else {
1802 1.1 cgd fmtstr(msg, 64, "%s unexpected", tokname[lasttoken]);
1803 1.1 cgd }
1804 1.1 cgd synerror(msg);
1805 1.39 mycroft /* NOTREACHED */
1806 1.1 cgd }
1807 1.1 cgd
1808 1.1 cgd
1809 1.1 cgd STATIC void
1810 1.54 christos synerror(const char *msg)
1811 1.54 christos {
1812 1.1 cgd if (commandname)
1813 1.1 cgd outfmt(&errout, "%s: %d: ", commandname, startlinno);
1814 1.62 christos else
1815 1.62 christos outfmt(&errout, "%s: ", getprogname());
1816 1.1 cgd outfmt(&errout, "Syntax error: %s\n", msg);
1817 1.80 plunky error(NULL);
1818 1.39 mycroft /* NOTREACHED */
1819 1.11 jtc }
1820 1.11 jtc
1821 1.11 jtc STATIC void
1822 1.54 christos setprompt(int which)
1823 1.54 christos {
1824 1.11 jtc whichprompt = which;
1825 1.11 jtc
1826 1.35 christos #ifndef SMALL
1827 1.11 jtc if (!el)
1828 1.14 cgd #endif
1829 1.11 jtc out2str(getprompt(NULL));
1830 1.11 jtc }
1831 1.11 jtc
1832 1.11 jtc /*
1833 1.11 jtc * called by editline -- any expansions to the prompt
1834 1.11 jtc * should be added here.
1835 1.11 jtc */
1836 1.43 christos const char *
1837 1.45 cgd getprompt(void *unused)
1838 1.11 jtc {
1839 1.11 jtc switch (whichprompt) {
1840 1.11 jtc case 0:
1841 1.11 jtc return "";
1842 1.11 jtc case 1:
1843 1.11 jtc return ps1val();
1844 1.11 jtc case 2:
1845 1.11 jtc return ps2val();
1846 1.11 jtc default:
1847 1.11 jtc return "<internal prompt error>";
1848 1.11 jtc }
1849 1.1 cgd }
1850