parser.c revision 1.97 1 1.97 christos /* $NetBSD: parser.c,v 1.97 2016/02/22 19:42:46 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.97 christos __RCSID("$NetBSD: parser.c,v 1.97 2016/02/22 19:42:46 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.1 cgd here = heredoclist;
723 1.1 cgd heredoclist = here->next;
724 1.1 cgd if (needprompt) {
725 1.11 jtc setprompt(2);
726 1.1 cgd needprompt = 0;
727 1.1 cgd }
728 1.1 cgd readtoken1(pgetc(), here->here->type == NHERE? SQSYNTAX : DQSYNTAX,
729 1.1 cgd here->eofmark, here->striptabs);
730 1.1 cgd n = (union node *)stalloc(sizeof (struct narg));
731 1.1 cgd n->narg.type = NARG;
732 1.1 cgd n->narg.next = NULL;
733 1.1 cgd n->narg.text = wordtext;
734 1.1 cgd n->narg.backquote = backquotelist;
735 1.1 cgd here->here->nhere.doc = n;
736 1.1 cgd }
737 1.1 cgd }
738 1.1 cgd
739 1.1 cgd STATIC int
740 1.54 christos peektoken(void)
741 1.54 christos {
742 1.1 cgd int t;
743 1.1 cgd
744 1.1 cgd t = readtoken();
745 1.1 cgd tokpushback++;
746 1.1 cgd return (t);
747 1.1 cgd }
748 1.1 cgd
749 1.1 cgd STATIC int
750 1.54 christos readtoken(void)
751 1.54 christos {
752 1.1 cgd int t;
753 1.11 jtc int savecheckkwd = checkkwd;
754 1.1 cgd #ifdef DEBUG
755 1.1 cgd int alreadyseen = tokpushback;
756 1.1 cgd #endif
757 1.48 christos struct alias *ap;
758 1.30 christos
759 1.11 jtc top:
760 1.1 cgd t = xxreadtoken();
761 1.1 cgd
762 1.1 cgd if (checkkwd) {
763 1.1 cgd /*
764 1.1 cgd * eat newlines
765 1.1 cgd */
766 1.1 cgd if (checkkwd == 2) {
767 1.1 cgd checkkwd = 0;
768 1.1 cgd while (t == TNL) {
769 1.1 cgd parseheredoc();
770 1.1 cgd t = xxreadtoken();
771 1.1 cgd }
772 1.1 cgd } else
773 1.1 cgd checkkwd = 0;
774 1.1 cgd /*
775 1.11 jtc * check for keywords and aliases
776 1.1 cgd */
777 1.95 christos if (t == TWORD && !quoteflag) {
778 1.43 christos const char *const *pp;
779 1.1 cgd
780 1.43 christos for (pp = parsekwd; *pp; pp++) {
781 1.95 christos if (**pp == *wordtext && equal(*pp, wordtext)) {
782 1.90 christos lasttoken = t = pp -
783 1.43 christos parsekwd + KWDOFFSET;
784 1.1 cgd TRACE(("keyword %s recognized\n", tokname[t]));
785 1.11 jtc goto out;
786 1.1 cgd }
787 1.1 cgd }
788 1.90 christos if (!noalias &&
789 1.48 christos (ap = lookupalias(wordtext, 1)) != NULL) {
790 1.11 jtc pushstring(ap->val, strlen(ap->val), ap);
791 1.11 jtc checkkwd = savecheckkwd;
792 1.11 jtc goto top;
793 1.11 jtc }
794 1.1 cgd }
795 1.11 jtc out:
796 1.31 christos checkkwd = (t == TNOT) ? savecheckkwd : 0;
797 1.1 cgd }
798 1.65 dsl TRACE(("%stoken %s %s\n", alreadyseen ? "reread " : "", tokname[t], t == TWORD ? wordtext : ""));
799 1.1 cgd return (t);
800 1.1 cgd }
801 1.1 cgd
802 1.1 cgd
803 1.1 cgd /*
804 1.1 cgd * Read the next input token.
805 1.1 cgd * If the token is a word, we set backquotelist to the list of cmds in
806 1.1 cgd * backquotes. We set quoteflag to true if any part of the word was
807 1.1 cgd * quoted.
808 1.1 cgd * If the token is TREDIR, then we set redirnode to a structure containing
809 1.1 cgd * the redirection.
810 1.1 cgd * In all cases, the variable startlinno is set to the number of the line
811 1.1 cgd * on which the token starts.
812 1.1 cgd *
813 1.1 cgd * [Change comment: here documents and internal procedures]
814 1.1 cgd * [Readtoken shouldn't have any arguments. Perhaps we should make the
815 1.1 cgd * word parsing code into a separate routine. In this case, readtoken
816 1.1 cgd * doesn't need to have any internal procedures, but parseword does.
817 1.1 cgd * We could also make parseoperator in essence the main routine, and
818 1.1 cgd * have parseword (readtoken1?) handle both words and redirection.]
819 1.1 cgd */
820 1.1 cgd
821 1.1 cgd #define RETURN(token) return lasttoken = token
822 1.1 cgd
823 1.1 cgd STATIC int
824 1.54 christos xxreadtoken(void)
825 1.54 christos {
826 1.32 tls int c;
827 1.1 cgd
828 1.1 cgd if (tokpushback) {
829 1.1 cgd tokpushback = 0;
830 1.1 cgd return lasttoken;
831 1.1 cgd }
832 1.1 cgd if (needprompt) {
833 1.11 jtc setprompt(2);
834 1.1 cgd needprompt = 0;
835 1.1 cgd }
836 1.1 cgd startlinno = plinno;
837 1.1 cgd for (;;) { /* until token or start of word found */
838 1.1 cgd c = pgetc_macro();
839 1.1 cgd switch (c) {
840 1.1 cgd case ' ': case '\t':
841 1.1 cgd continue;
842 1.1 cgd case '#':
843 1.90 christos while ((c = pgetc()) != '\n' && c != PEOF)
844 1.90 christos continue;
845 1.1 cgd pungetc();
846 1.1 cgd continue;
847 1.1 cgd case '\\':
848 1.93 christos switch (pgetc()) {
849 1.92 christos case '\n':
850 1.1 cgd startlinno = ++plinno;
851 1.1 cgd if (doprompt)
852 1.11 jtc setprompt(2);
853 1.11 jtc else
854 1.11 jtc setprompt(0);
855 1.1 cgd continue;
856 1.92 christos case PEOF:
857 1.92 christos RETURN(TEOF);
858 1.92 christos default:
859 1.92 christos pungetc();
860 1.92 christos break;
861 1.1 cgd }
862 1.1 cgd goto breakloop;
863 1.1 cgd case '\n':
864 1.1 cgd plinno++;
865 1.1 cgd needprompt = doprompt;
866 1.1 cgd RETURN(TNL);
867 1.1 cgd case PEOF:
868 1.1 cgd RETURN(TEOF);
869 1.1 cgd case '&':
870 1.1 cgd if (pgetc() == '&')
871 1.1 cgd RETURN(TAND);
872 1.1 cgd pungetc();
873 1.1 cgd RETURN(TBACKGND);
874 1.1 cgd case '|':
875 1.1 cgd if (pgetc() == '|')
876 1.1 cgd RETURN(TOR);
877 1.1 cgd pungetc();
878 1.1 cgd RETURN(TPIPE);
879 1.1 cgd case ';':
880 1.1 cgd if (pgetc() == ';')
881 1.1 cgd RETURN(TENDCASE);
882 1.1 cgd pungetc();
883 1.1 cgd RETURN(TSEMI);
884 1.1 cgd case '(':
885 1.1 cgd RETURN(TLP);
886 1.1 cgd case ')':
887 1.1 cgd RETURN(TRP);
888 1.1 cgd default:
889 1.1 cgd goto breakloop;
890 1.1 cgd }
891 1.1 cgd }
892 1.1 cgd breakloop:
893 1.80 plunky return readtoken1(c, BASESYNTAX, NULL, 0);
894 1.1 cgd #undef RETURN
895 1.1 cgd }
896 1.1 cgd
897 1.1 cgd
898 1.1 cgd
899 1.1 cgd /*
900 1.1 cgd * If eofmark is NULL, read a word or a redirection symbol. If eofmark
901 1.1 cgd * is not NULL, read a here document. In the latter case, eofmark is the
902 1.1 cgd * word which marks the end of the document and striptabs is true if
903 1.1 cgd * leading tabs should be stripped from the document. The argument firstc
904 1.1 cgd * is the first character of the input token or document.
905 1.1 cgd *
906 1.1 cgd * Because C does not have internal subroutines, I have simulated them
907 1.1 cgd * using goto's to implement the subroutine linkage. The following macros
908 1.1 cgd * will run code that appears at the end of readtoken1.
909 1.1 cgd */
910 1.1 cgd
911 1.96 christos /*
912 1.96 christos * We used to remember only the current syntax, variable nesting level,
913 1.96 christos * double quote state for each var nexting level, and arith nesting
914 1.96 christos * level (unrelated to var nesting) and one prev syntax when in arith
915 1.96 christos * syntax. This worked for simple cases, but can't handle arith inside
916 1.96 christos * var expansion inside arith inside var with some quoted and some not.
917 1.96 christos *
918 1.96 christos * Inspired by FreeBSD's implementation (though it was the obvious way)
919 1.96 christos * though implemented differently, we now have a stack that keeps track
920 1.96 christos * of what we are doing now, and what we were doing previously.
921 1.96 christos * Every time something changes, which will eventually end and should
922 1.96 christos * revert to the previous state, we push this stack, and then pop it
923 1.96 christos * again later (that is every ${} with an operator (to parse the word
924 1.96 christos * or pattern that follows) ${x} and $x are too * simple to need it)
925 1.96 christos * $(( )) $( ) and "...". Always. Really, always!
926 1.96 christos *
927 1.96 christos * The stack is implemented as one static (on the C stack) base block
928 1.96 christos * containing LEVELS_PER_BLOCK (8) stack entries, which should be
929 1.96 christos * enough for the vast majority of cases. For torture tests, we
930 1.96 christos * malloc more blocks as needed. All accesses through the inline
931 1.96 christos * functions below.
932 1.96 christos */
933 1.96 christos
934 1.96 christos /*
935 1.96 christos * varnest & arinest will typically be 0 or 1
936 1.96 christos * (varnest can increment in usages like ${x=${y}} but probably
937 1.96 christos * does not really need to)
938 1.96 christos * parenlevel allows balancing parens inside a $(( )), it is reset
939 1.96 christos * at each new nesting level ( $(( ( x + 3 ${unset-)} )) does not work.
940 1.96 christos * quoted is special - we need to know 2 things ... are we inside "..."
941 1.96 christos * (even if inherited from some previous nesting level) and was there
942 1.96 christos * an opening '"' at this level (so the next will be closing).
943 1.96 christos * "..." can span nexting levels, but cannot be opened in one and
944 1.96 christos * closed in a different one.
945 1.96 christos * To handle this, "quoted" has two fields, the bottom 4 (really 2)
946 1.96 christos * bits are 0, 1, or 2, for un, single, and double quoted (single quoted
947 1.96 christos * is really so special that this setting is not very important)
948 1.96 christos * and 0x10 that indicates that an opening quote has been seen.
949 1.96 christos * The bottom 4 bits are inherited, the 0x10 bit is not.
950 1.96 christos */
951 1.96 christos struct tokenstate {
952 1.96 christos const char *ts_syntax;
953 1.96 christos unsigned short ts_parenlevel; /* counters */
954 1.96 christos unsigned short ts_varnest; /* 64000 levels should be enough! */
955 1.96 christos unsigned short ts_arinest;
956 1.96 christos unsigned short ts_quoted; /* 1 -> single, 2 -> double */
957 1.96 christos };
958 1.96 christos
959 1.96 christos #define NQ 0x00
960 1.96 christos #define SQ 0x01
961 1.96 christos #define DQ 0x02
962 1.96 christos #define QF 0x0F
963 1.96 christos #define QS 0x10
964 1.96 christos
965 1.96 christos #define LEVELS_PER_BLOCK 8
966 1.96 christos #define VSS volatile struct statestack
967 1.96 christos
968 1.96 christos struct statestack {
969 1.96 christos VSS *prev; /* previous block in list */
970 1.96 christos int cur; /* which of our tokenstates is current */
971 1.96 christos struct tokenstate tokenstate[LEVELS_PER_BLOCK];
972 1.96 christos };
973 1.96 christos
974 1.96 christos static inline volatile struct tokenstate *
975 1.96 christos currentstate(VSS *stack)
976 1.96 christos {
977 1.96 christos return &stack->tokenstate[stack->cur];
978 1.96 christos }
979 1.96 christos
980 1.96 christos static inline volatile struct tokenstate *
981 1.96 christos prevstate(VSS *stack)
982 1.96 christos {
983 1.96 christos if (stack->cur != 0)
984 1.96 christos return &stack->tokenstate[stack->cur - 1];
985 1.96 christos if (stack->prev == NULL) /* cannot drop below base */
986 1.96 christos return &stack->tokenstate[0];
987 1.96 christos return &stack->prev->tokenstate[LEVELS_PER_BLOCK - 1];
988 1.96 christos }
989 1.96 christos
990 1.96 christos static inline VSS *
991 1.96 christos bump_state_level(VSS *stack)
992 1.96 christos {
993 1.96 christos volatile struct tokenstate *os, *ts;
994 1.96 christos
995 1.96 christos os = currentstate(stack);
996 1.96 christos
997 1.96 christos if (++stack->cur >= LEVELS_PER_BLOCK) {
998 1.96 christos VSS *ss;
999 1.96 christos
1000 1.96 christos ss = (VSS *)ckmalloc(sizeof (struct statestack));
1001 1.96 christos ss->cur = 0;
1002 1.96 christos ss->prev = stack;
1003 1.96 christos stack = ss;
1004 1.96 christos }
1005 1.96 christos
1006 1.96 christos ts = currentstate(stack);
1007 1.96 christos
1008 1.96 christos ts->ts_parenlevel = 0; /* parens inside never match outside */
1009 1.96 christos
1010 1.96 christos ts->ts_quoted = os->ts_quoted & QF; /* these are default settings */
1011 1.96 christos ts->ts_varnest = os->ts_varnest;
1012 1.96 christos ts->ts_arinest = os->ts_arinest; /* when appropriate */
1013 1.96 christos ts->ts_syntax = os->ts_syntax; /* they will be altered */
1014 1.96 christos
1015 1.96 christos return stack;
1016 1.96 christos }
1017 1.96 christos
1018 1.96 christos static inline VSS *
1019 1.96 christos drop_state_level(VSS *stack)
1020 1.96 christos {
1021 1.96 christos if (stack->cur == 0) {
1022 1.96 christos VSS *ss;
1023 1.96 christos
1024 1.96 christos ss = stack;
1025 1.96 christos stack = ss->prev;
1026 1.96 christos if (stack == NULL)
1027 1.96 christos return ss;
1028 1.96 christos ckfree(__UNVOLATILE(ss));
1029 1.96 christos }
1030 1.96 christos --stack->cur;
1031 1.96 christos return stack;
1032 1.96 christos }
1033 1.96 christos
1034 1.96 christos static inline void
1035 1.96 christos cleanup_state_stack(VSS *stack)
1036 1.96 christos {
1037 1.96 christos while (stack->prev != NULL) {
1038 1.96 christos stack->cur = 0;
1039 1.96 christos stack = drop_state_level(stack);
1040 1.96 christos }
1041 1.96 christos }
1042 1.96 christos
1043 1.95 christos #define CHECKEND() {goto checkend; checkend_return:;}
1044 1.95 christos #define PARSEREDIR() {goto parseredir; parseredir_return:;}
1045 1.95 christos #define PARSESUB() {goto parsesub; parsesub_return:;}
1046 1.95 christos #define PARSEBACKQOLD() {oldstyle = 1; goto parsebackq; parsebackq_oldreturn:;}
1047 1.95 christos #define PARSEBACKQNEW() {oldstyle = 0; goto parsebackq; parsebackq_newreturn:;}
1048 1.11 jtc #define PARSEARITH() {goto parsearith; parsearith_return:;}
1049 1.1 cgd
1050 1.52 christos /*
1051 1.96 christos * The following macros all assume the existance of a local var "stack"
1052 1.96 christos * which contains a pointer to the current struct stackstate
1053 1.52 christos */
1054 1.51 christos
1055 1.96 christos /*
1056 1.96 christos * These are macros rather than inline funcs to avoid code churn as much
1057 1.96 christos * as possible - they replace macros of the same name used previously.
1058 1.96 christos */
1059 1.96 christos #define ISDBLQUOTE() (currentstate(stack)->ts_quoted & QS)
1060 1.96 christos #define SETDBLQUOTE() (currentstate(stack)->ts_quoted = QS | DQ)
1061 1.96 christos #define CLRDBLQUOTE() (currentstate(stack)->ts_quoted = \
1062 1.96 christos stack->cur != 0 || stack->prev ? \
1063 1.96 christos prevstate(stack)->ts_quoted & QF : 0)
1064 1.96 christos
1065 1.96 christos /*
1066 1.96 christos * This set are just to avoid excess typing and line lengths...
1067 1.96 christos * The ones that "look like" var names must be implemented to be lvalues
1068 1.96 christos */
1069 1.96 christos #define syntax (currentstate(stack)->ts_syntax)
1070 1.96 christos #define parenlevel (currentstate(stack)->ts_parenlevel)
1071 1.96 christos #define varnest (currentstate(stack)->ts_varnest)
1072 1.96 christos #define arinest (currentstate(stack)->ts_arinest)
1073 1.96 christos #define quoted (currentstate(stack)->ts_quoted)
1074 1.96 christos #define TS_PUSH() (stack = bump_state_level(stack))
1075 1.96 christos #define TS_POP() (stack = drop_state_level(stack))
1076 1.94 christos
1077 1.1 cgd STATIC int
1078 1.63 christos readtoken1(int firstc, char const *syn, char *eofmark, int striptabs)
1079 1.54 christos {
1080 1.25 christos int c = firstc;
1081 1.63 christos char * volatile out;
1082 1.1 cgd int len;
1083 1.1 cgd char line[EOFMARKLEN + 1];
1084 1.1 cgd struct nodelist *bqlist;
1085 1.63 christos volatile int quotef;
1086 1.63 christos volatile int oldstyle;
1087 1.96 christos VSS static_stack;
1088 1.96 christos VSS *stack = &static_stack;
1089 1.96 christos
1090 1.96 christos stack->prev = NULL;
1091 1.96 christos stack->cur = 0;
1092 1.96 christos
1093 1.96 christos syntax = syn;
1094 1.1 cgd
1095 1.1 cgd startlinno = plinno;
1096 1.51 christos varnest = 0;
1097 1.78 christos if (syntax == DQSYNTAX) {
1098 1.51 christos SETDBLQUOTE();
1099 1.78 christos }
1100 1.1 cgd quotef = 0;
1101 1.1 cgd bqlist = NULL;
1102 1.11 jtc arinest = 0;
1103 1.11 jtc parenlevel = 0;
1104 1.96 christos quoted = 0;
1105 1.11 jtc
1106 1.1 cgd STARTSTACKSTR(out);
1107 1.1 cgd loop: { /* for each line, until end of word */
1108 1.1 cgd #if ATTY
1109 1.1 cgd if (c == '\034' && doprompt
1110 1.1 cgd && attyset() && ! equal(termval(), "emacs")) {
1111 1.1 cgd attyline();
1112 1.1 cgd if (syntax == BASESYNTAX)
1113 1.1 cgd return readtoken();
1114 1.1 cgd c = pgetc();
1115 1.1 cgd goto loop;
1116 1.1 cgd }
1117 1.1 cgd #endif
1118 1.1 cgd CHECKEND(); /* set c to PEOF if at end of here document */
1119 1.1 cgd for (;;) { /* until end of line or end of word */
1120 1.56 dsl CHECKSTRSPACE(4, out); /* permit 4 calls to USTPUTC */
1121 1.1 cgd switch(syntax[c]) {
1122 1.1 cgd case CNL: /* '\n' */
1123 1.1 cgd if (syntax == BASESYNTAX)
1124 1.1 cgd goto endword; /* exit outer loop */
1125 1.1 cgd USTPUTC(c, out);
1126 1.1 cgd plinno++;
1127 1.11 jtc if (doprompt)
1128 1.11 jtc setprompt(2);
1129 1.11 jtc else
1130 1.11 jtc setprompt(0);
1131 1.1 cgd c = pgetc();
1132 1.1 cgd goto loop; /* continue outer loop */
1133 1.59 dsl case CWORD:
1134 1.59 dsl USTPUTC(c, out);
1135 1.59 dsl break;
1136 1.1 cgd case CCTL:
1137 1.51 christos if (eofmark == NULL || ISDBLQUOTE())
1138 1.1 cgd USTPUTC(CTLESC, out);
1139 1.1 cgd USTPUTC(c, out);
1140 1.1 cgd break;
1141 1.1 cgd case CBACK: /* backslash */
1142 1.1 cgd c = pgetc();
1143 1.1 cgd if (c == PEOF) {
1144 1.1 cgd USTPUTC('\\', out);
1145 1.1 cgd pungetc();
1146 1.56 dsl break;
1147 1.56 dsl }
1148 1.56 dsl if (c == '\n') {
1149 1.89 christos plinno++;
1150 1.1 cgd if (doprompt)
1151 1.11 jtc setprompt(2);
1152 1.11 jtc else
1153 1.11 jtc setprompt(0);
1154 1.56 dsl break;
1155 1.56 dsl }
1156 1.56 dsl quotef = 1;
1157 1.56 dsl if (ISDBLQUOTE() && c != '\\' &&
1158 1.56 dsl c != '`' && c != '$' &&
1159 1.78 christos (c != '"' || eofmark != NULL))
1160 1.78 christos USTPUTC('\\', out);
1161 1.56 dsl if (SQSYNTAX[c] == CCTL)
1162 1.56 dsl USTPUTC(CTLESC, out);
1163 1.56 dsl else if (eofmark == NULL) {
1164 1.56 dsl USTPUTC(CTLQUOTEMARK, out);
1165 1.1 cgd USTPUTC(c, out);
1166 1.56 dsl if (varnest != 0)
1167 1.56 dsl USTPUTC(CTLQUOTEEND, out);
1168 1.56 dsl break;
1169 1.1 cgd }
1170 1.56 dsl USTPUTC(c, out);
1171 1.1 cgd break;
1172 1.1 cgd case CSQUOTE:
1173 1.51 christos if (syntax != SQSYNTAX) {
1174 1.56 dsl if (eofmark == NULL)
1175 1.56 dsl USTPUTC(CTLQUOTEMARK, out);
1176 1.56 dsl quotef = 1;
1177 1.96 christos TS_PUSH();
1178 1.56 dsl syntax = SQSYNTAX;
1179 1.96 christos quoted = SQ;
1180 1.56 dsl break;
1181 1.51 christos }
1182 1.57 dsl if (eofmark != NULL && arinest == 0 &&
1183 1.57 dsl varnest == 0) {
1184 1.57 dsl /* Ignore inside quoted here document */
1185 1.57 dsl USTPUTC(c, out);
1186 1.57 dsl break;
1187 1.57 dsl }
1188 1.56 dsl /* End of single quotes... */
1189 1.96 christos TS_POP();
1190 1.96 christos if (syntax == BASESYNTAX && varnest != 0)
1191 1.96 christos USTPUTC(CTLQUOTEEND, out);
1192 1.56 dsl break;
1193 1.1 cgd case CDQUOTE:
1194 1.41 mycroft if (eofmark != NULL && arinest == 0 &&
1195 1.41 mycroft varnest == 0) {
1196 1.57 dsl /* Ignore inside here document */
1197 1.1 cgd USTPUTC(c, out);
1198 1.56 dsl break;
1199 1.56 dsl }
1200 1.56 dsl quotef = 1;
1201 1.56 dsl if (arinest) {
1202 1.56 dsl if (ISDBLQUOTE()) {
1203 1.96 christos TS_POP();
1204 1.56 dsl } else {
1205 1.96 christos TS_PUSH();
1206 1.56 dsl syntax = DQSYNTAX;
1207 1.56 dsl SETDBLQUOTE();
1208 1.56 dsl USTPUTC(CTLQUOTEMARK, out);
1209 1.56 dsl }
1210 1.56 dsl break;
1211 1.56 dsl }
1212 1.56 dsl if (eofmark != NULL)
1213 1.56 dsl break;
1214 1.56 dsl if (ISDBLQUOTE()) {
1215 1.96 christos TS_POP();
1216 1.56 dsl if (varnest != 0)
1217 1.56 dsl USTPUTC(CTLQUOTEEND, out);
1218 1.1 cgd } else {
1219 1.96 christos TS_PUSH();
1220 1.56 dsl syntax = DQSYNTAX;
1221 1.56 dsl SETDBLQUOTE();
1222 1.56 dsl USTPUTC(CTLQUOTEMARK, out);
1223 1.1 cgd }
1224 1.1 cgd break;
1225 1.1 cgd case CVAR: /* '$' */
1226 1.1 cgd PARSESUB(); /* parse substitution */
1227 1.1 cgd break;
1228 1.51 christos case CENDVAR: /* CLOSEBRACE */
1229 1.51 christos if (varnest > 0 && !ISDBLQUOTE()) {
1230 1.96 christos TS_POP();
1231 1.1 cgd USTPUTC(CTLENDVAR, out);
1232 1.1 cgd } else {
1233 1.1 cgd USTPUTC(c, out);
1234 1.1 cgd }
1235 1.1 cgd break;
1236 1.11 jtc case CLP: /* '(' in arithmetic */
1237 1.11 jtc parenlevel++;
1238 1.11 jtc USTPUTC(c, out);
1239 1.11 jtc break;
1240 1.11 jtc case CRP: /* ')' in arithmetic */
1241 1.11 jtc if (parenlevel > 0) {
1242 1.11 jtc USTPUTC(c, out);
1243 1.11 jtc --parenlevel;
1244 1.11 jtc } else {
1245 1.11 jtc if (pgetc() == ')') {
1246 1.11 jtc if (--arinest == 0) {
1247 1.96 christos TS_POP();
1248 1.11 jtc USTPUTC(CTLENDARI, out);
1249 1.11 jtc } else
1250 1.11 jtc USTPUTC(')', out);
1251 1.11 jtc } else {
1252 1.30 christos /*
1253 1.11 jtc * unbalanced parens
1254 1.11 jtc * (don't 2nd guess - no error)
1255 1.11 jtc */
1256 1.11 jtc pungetc();
1257 1.11 jtc USTPUTC(')', out);
1258 1.11 jtc }
1259 1.11 jtc }
1260 1.11 jtc break;
1261 1.1 cgd case CBQUOTE: /* '`' */
1262 1.1 cgd PARSEBACKQOLD();
1263 1.1 cgd break;
1264 1.1 cgd case CEOF:
1265 1.1 cgd goto endword; /* exit outer loop */
1266 1.1 cgd default:
1267 1.81 christos if (varnest == 0 && !ISDBLQUOTE())
1268 1.1 cgd goto endword; /* exit outer loop */
1269 1.1 cgd USTPUTC(c, out);
1270 1.1 cgd }
1271 1.1 cgd c = pgetc_macro();
1272 1.1 cgd }
1273 1.1 cgd }
1274 1.1 cgd endword:
1275 1.96 christos if (syntax == ARISYNTAX) {
1276 1.96 christos cleanup_state_stack(stack);
1277 1.11 jtc synerror("Missing '))'");
1278 1.96 christos }
1279 1.96 christos if (syntax != BASESYNTAX && /* ! parsebackquote && */ eofmark == NULL) {
1280 1.96 christos cleanup_state_stack(stack);
1281 1.1 cgd synerror("Unterminated quoted string");
1282 1.96 christos }
1283 1.1 cgd if (varnest != 0) {
1284 1.96 christos cleanup_state_stack(stack);
1285 1.1 cgd startlinno = plinno;
1286 1.51 christos /* { */
1287 1.1 cgd synerror("Missing '}'");
1288 1.1 cgd }
1289 1.1 cgd USTPUTC('\0', out);
1290 1.1 cgd len = out - stackblock();
1291 1.1 cgd out = stackblock();
1292 1.1 cgd if (eofmark == NULL) {
1293 1.1 cgd if ((c == '>' || c == '<')
1294 1.1 cgd && quotef == 0
1295 1.91 christos && (*out == '\0' || is_number(out))) {
1296 1.1 cgd PARSEREDIR();
1297 1.96 christos cleanup_state_stack(stack);
1298 1.1 cgd return lasttoken = TREDIR;
1299 1.1 cgd } else {
1300 1.1 cgd pungetc();
1301 1.1 cgd }
1302 1.1 cgd }
1303 1.1 cgd quoteflag = quotef;
1304 1.1 cgd backquotelist = bqlist;
1305 1.1 cgd grabstackblock(len);
1306 1.1 cgd wordtext = out;
1307 1.96 christos cleanup_state_stack(stack);
1308 1.1 cgd return lasttoken = TWORD;
1309 1.1 cgd /* end of readtoken routine */
1310 1.1 cgd
1311 1.1 cgd
1312 1.1 cgd
1313 1.1 cgd /*
1314 1.1 cgd * Check to see whether we are at the end of the here document. When this
1315 1.1 cgd * is called, c is set to the first character of the next input line. If
1316 1.1 cgd * we are at the end of the here document, this routine sets the c to PEOF.
1317 1.1 cgd */
1318 1.1 cgd
1319 1.1 cgd checkend: {
1320 1.1 cgd if (eofmark) {
1321 1.1 cgd if (striptabs) {
1322 1.1 cgd while (c == '\t')
1323 1.1 cgd c = pgetc();
1324 1.1 cgd }
1325 1.1 cgd if (c == *eofmark) {
1326 1.1 cgd if (pfgets(line, sizeof line) != NULL) {
1327 1.32 tls char *p, *q;
1328 1.1 cgd
1329 1.1 cgd p = line;
1330 1.90 christos for (q = eofmark + 1 ; *q && *p == *q ; p++, q++)
1331 1.90 christos continue;
1332 1.69 christos if ((*p == '\0' || *p == '\n') && *q == '\0') {
1333 1.1 cgd c = PEOF;
1334 1.1 cgd plinno++;
1335 1.1 cgd needprompt = doprompt;
1336 1.1 cgd } else {
1337 1.11 jtc pushstring(line, strlen(line), NULL);
1338 1.1 cgd }
1339 1.1 cgd }
1340 1.1 cgd }
1341 1.1 cgd }
1342 1.1 cgd goto checkend_return;
1343 1.1 cgd }
1344 1.1 cgd
1345 1.1 cgd
1346 1.1 cgd /*
1347 1.1 cgd * Parse a redirection operator. The variable "out" points to a string
1348 1.1 cgd * specifying the fd to be redirected. The variable "c" contains the
1349 1.1 cgd * first character of the redirection operator.
1350 1.1 cgd */
1351 1.1 cgd
1352 1.1 cgd parseredir: {
1353 1.91 christos char fd[64];
1354 1.1 cgd union node *np;
1355 1.91 christos strlcpy(fd, out, sizeof(fd));
1356 1.1 cgd
1357 1.1 cgd np = (union node *)stalloc(sizeof (struct nfile));
1358 1.1 cgd if (c == '>') {
1359 1.1 cgd np->nfile.fd = 1;
1360 1.1 cgd c = pgetc();
1361 1.1 cgd if (c == '>')
1362 1.1 cgd np->type = NAPPEND;
1363 1.53 christos else if (c == '|')
1364 1.53 christos np->type = NCLOBBER;
1365 1.1 cgd else if (c == '&')
1366 1.1 cgd np->type = NTOFD;
1367 1.1 cgd else {
1368 1.1 cgd np->type = NTO;
1369 1.1 cgd pungetc();
1370 1.1 cgd }
1371 1.1 cgd } else { /* c == '<' */
1372 1.1 cgd np->nfile.fd = 0;
1373 1.42 christos switch (c = pgetc()) {
1374 1.42 christos case '<':
1375 1.1 cgd if (sizeof (struct nfile) != sizeof (struct nhere)) {
1376 1.1 cgd np = (union node *)stalloc(sizeof (struct nhere));
1377 1.1 cgd np->nfile.fd = 0;
1378 1.1 cgd }
1379 1.1 cgd np->type = NHERE;
1380 1.1 cgd heredoc = (struct heredoc *)stalloc(sizeof (struct heredoc));
1381 1.1 cgd heredoc->here = np;
1382 1.1 cgd if ((c = pgetc()) == '-') {
1383 1.1 cgd heredoc->striptabs = 1;
1384 1.1 cgd } else {
1385 1.1 cgd heredoc->striptabs = 0;
1386 1.1 cgd pungetc();
1387 1.1 cgd }
1388 1.42 christos break;
1389 1.42 christos
1390 1.42 christos case '&':
1391 1.1 cgd np->type = NFROMFD;
1392 1.42 christos break;
1393 1.42 christos
1394 1.42 christos case '>':
1395 1.42 christos np->type = NFROMTO;
1396 1.42 christos break;
1397 1.42 christos
1398 1.42 christos default:
1399 1.1 cgd np->type = NFROM;
1400 1.1 cgd pungetc();
1401 1.42 christos break;
1402 1.1 cgd }
1403 1.1 cgd }
1404 1.91 christos if (*fd != '\0')
1405 1.91 christos np->nfile.fd = number(fd);
1406 1.1 cgd redirnode = np;
1407 1.1 cgd goto parseredir_return;
1408 1.1 cgd }
1409 1.1 cgd
1410 1.1 cgd
1411 1.1 cgd /*
1412 1.1 cgd * Parse a substitution. At this point, we have read the dollar sign
1413 1.1 cgd * and nothing else.
1414 1.1 cgd */
1415 1.1 cgd
1416 1.1 cgd parsesub: {
1417 1.84 christos char buf[10];
1418 1.1 cgd int subtype;
1419 1.1 cgd int typeloc;
1420 1.1 cgd int flags;
1421 1.1 cgd char *p;
1422 1.1 cgd static const char types[] = "}-+?=";
1423 1.84 christos int i;
1424 1.84 christos int linno;
1425 1.1 cgd
1426 1.1 cgd c = pgetc();
1427 1.51 christos if (c != '(' && c != OPENBRACE && !is_name(c) && !is_special(c)) {
1428 1.1 cgd USTPUTC('$', out);
1429 1.1 cgd pungetc();
1430 1.11 jtc } else if (c == '(') { /* $(command) or $((arith)) */
1431 1.11 jtc if (pgetc() == '(') {
1432 1.11 jtc PARSEARITH();
1433 1.11 jtc } else {
1434 1.11 jtc pungetc();
1435 1.11 jtc PARSEBACKQNEW();
1436 1.11 jtc }
1437 1.1 cgd } else {
1438 1.1 cgd USTPUTC(CTLVAR, out);
1439 1.1 cgd typeloc = out - stackblock();
1440 1.1 cgd USTPUTC(VSNORMAL, out);
1441 1.1 cgd subtype = VSNORMAL;
1442 1.84 christos flags = 0;
1443 1.51 christos if (c == OPENBRACE) {
1444 1.1 cgd c = pgetc();
1445 1.23 christos if (c == '#') {
1446 1.51 christos if ((c = pgetc()) == CLOSEBRACE)
1447 1.26 christos c = '#';
1448 1.26 christos else
1449 1.26 christos subtype = VSLENGTH;
1450 1.23 christos }
1451 1.23 christos else
1452 1.23 christos subtype = 0;
1453 1.1 cgd }
1454 1.1 cgd if (is_name(c)) {
1455 1.84 christos p = out;
1456 1.1 cgd do {
1457 1.1 cgd STPUTC(c, out);
1458 1.1 cgd c = pgetc();
1459 1.1 cgd } while (is_in_name(c));
1460 1.84 christos if (out - p == 6 && strncmp(p, "LINENO", 6) == 0) {
1461 1.84 christos /* Replace the variable name with the
1462 1.84 christos * current line number. */
1463 1.84 christos linno = plinno;
1464 1.84 christos if (funclinno != 0)
1465 1.84 christos linno -= funclinno - 1;
1466 1.84 christos snprintf(buf, sizeof(buf), "%d", linno);
1467 1.84 christos STADJUST(-6, out);
1468 1.84 christos for (i = 0; buf[i] != '\0'; i++)
1469 1.84 christos STPUTC(buf[i], out);
1470 1.84 christos flags |= VSLINENO;
1471 1.84 christos }
1472 1.34 christos } else if (is_digit(c)) {
1473 1.33 christos do {
1474 1.33 christos USTPUTC(c, out);
1475 1.33 christos c = pgetc();
1476 1.34 christos } while (is_digit(c));
1477 1.34 christos }
1478 1.34 christos else if (is_special(c)) {
1479 1.34 christos USTPUTC(c, out);
1480 1.34 christos c = pgetc();
1481 1.1 cgd }
1482 1.96 christos else {
1483 1.96 christos badsub:
1484 1.96 christos cleanup_state_stack(stack);
1485 1.96 christos synerror("Bad substitution");
1486 1.96 christos }
1487 1.33 christos
1488 1.1 cgd STPUTC('=', out);
1489 1.1 cgd if (subtype == 0) {
1490 1.23 christos switch (c) {
1491 1.23 christos case ':':
1492 1.84 christos flags |= VSNUL;
1493 1.1 cgd c = pgetc();
1494 1.23 christos /*FALLTHROUGH*/
1495 1.23 christos default:
1496 1.23 christos p = strchr(types, c);
1497 1.23 christos if (p == NULL)
1498 1.23 christos goto badsub;
1499 1.23 christos subtype = p - types + VSNORMAL;
1500 1.23 christos break;
1501 1.23 christos case '%':
1502 1.30 christos case '#':
1503 1.23 christos {
1504 1.23 christos int cc = c;
1505 1.23 christos subtype = c == '#' ? VSTRIMLEFT :
1506 1.23 christos VSTRIMRIGHT;
1507 1.23 christos c = pgetc();
1508 1.23 christos if (c == cc)
1509 1.23 christos subtype++;
1510 1.23 christos else
1511 1.23 christos pungetc();
1512 1.23 christos break;
1513 1.23 christos }
1514 1.1 cgd }
1515 1.1 cgd } else {
1516 1.1 cgd pungetc();
1517 1.1 cgd }
1518 1.51 christos if (ISDBLQUOTE() || arinest)
1519 1.1 cgd flags |= VSQUOTE;
1520 1.1 cgd *(stackblock() + typeloc) = subtype | flags;
1521 1.96 christos if (subtype != VSNORMAL) {
1522 1.96 christos TS_PUSH();
1523 1.96 christos varnest++;
1524 1.96 christos arinest = 0;
1525 1.96 christos if (subtype > VSASSIGN) { /* # ## % %% */
1526 1.96 christos syntax = BASESYNTAX;
1527 1.96 christos CLRDBLQUOTE();
1528 1.96 christos }
1529 1.96 christos }
1530 1.1 cgd }
1531 1.1 cgd goto parsesub_return;
1532 1.1 cgd }
1533 1.1 cgd
1534 1.1 cgd
1535 1.1 cgd /*
1536 1.1 cgd * Called to parse command substitutions. Newstyle is set if the command
1537 1.1 cgd * is enclosed inside $(...); nlpp is a pointer to the head of the linked
1538 1.1 cgd * list of commands (passed by reference), and savelen is the number of
1539 1.1 cgd * characters on the top of the stack which must be preserved.
1540 1.1 cgd */
1541 1.1 cgd
1542 1.1 cgd parsebackq: {
1543 1.1 cgd struct nodelist **nlpp;
1544 1.1 cgd int savepbq;
1545 1.1 cgd union node *n;
1546 1.83 wiz char *volatile str = NULL;
1547 1.1 cgd struct jmploc jmploc;
1548 1.83 wiz struct jmploc *volatile savehandler = NULL;
1549 1.1 cgd int savelen;
1550 1.28 christos int saveprompt;
1551 1.1 cgd
1552 1.1 cgd savepbq = parsebackquote;
1553 1.1 cgd if (setjmp(jmploc.loc)) {
1554 1.1 cgd if (str)
1555 1.1 cgd ckfree(str);
1556 1.96 christos cleanup_state_stack(stack);
1557 1.1 cgd parsebackquote = 0;
1558 1.1 cgd handler = savehandler;
1559 1.4 dpassage longjmp(handler->loc, 1);
1560 1.1 cgd }
1561 1.1 cgd INTOFF;
1562 1.1 cgd str = NULL;
1563 1.1 cgd savelen = out - stackblock();
1564 1.1 cgd if (savelen > 0) {
1565 1.1 cgd str = ckmalloc(savelen);
1566 1.21 mycroft memcpy(str, stackblock(), savelen);
1567 1.1 cgd }
1568 1.1 cgd savehandler = handler;
1569 1.1 cgd handler = &jmploc;
1570 1.1 cgd INTON;
1571 1.11 jtc if (oldstyle) {
1572 1.11 jtc /* We must read until the closing backquote, giving special
1573 1.11 jtc treatment to some slashes, and then push the string and
1574 1.11 jtc reread it as input, interpreting it normally. */
1575 1.43 christos char *pout;
1576 1.43 christos int pc;
1577 1.43 christos int psavelen;
1578 1.43 christos char *pstr;
1579 1.28 christos
1580 1.96 christos /*
1581 1.96 christos * Because the entire `...` is read here, we don't
1582 1.96 christos * need to bother the state stack. That will be used
1583 1.96 christos * (as appropriate) when the processed string is re-read.
1584 1.96 christos */
1585 1.43 christos STARTSTACKSTR(pout);
1586 1.28 christos for (;;) {
1587 1.28 christos if (needprompt) {
1588 1.28 christos setprompt(2);
1589 1.28 christos needprompt = 0;
1590 1.28 christos }
1591 1.43 christos switch (pc = pgetc()) {
1592 1.28 christos case '`':
1593 1.28 christos goto done;
1594 1.28 christos
1595 1.28 christos case '\\':
1596 1.43 christos if ((pc = pgetc()) == '\n') {
1597 1.28 christos plinno++;
1598 1.28 christos if (doprompt)
1599 1.28 christos setprompt(2);
1600 1.28 christos else
1601 1.28 christos setprompt(0);
1602 1.29 christos /*
1603 1.29 christos * If eating a newline, avoid putting
1604 1.29 christos * the newline into the new character
1605 1.29 christos * stream (via the STPUTC after the
1606 1.29 christos * switch).
1607 1.29 christos */
1608 1.29 christos continue;
1609 1.28 christos }
1610 1.43 christos if (pc != '\\' && pc != '`' && pc != '$'
1611 1.51 christos && (!ISDBLQUOTE() || pc != '"'))
1612 1.43 christos STPUTC('\\', pout);
1613 1.28 christos break;
1614 1.28 christos
1615 1.28 christos case '\n':
1616 1.28 christos plinno++;
1617 1.28 christos needprompt = doprompt;
1618 1.28 christos break;
1619 1.28 christos
1620 1.30 christos case PEOF:
1621 1.30 christos startlinno = plinno;
1622 1.30 christos synerror("EOF in backquote substitution");
1623 1.30 christos break;
1624 1.30 christos
1625 1.28 christos default:
1626 1.28 christos break;
1627 1.28 christos }
1628 1.43 christos STPUTC(pc, pout);
1629 1.11 jtc }
1630 1.28 christos done:
1631 1.43 christos STPUTC('\0', pout);
1632 1.43 christos psavelen = pout - stackblock();
1633 1.43 christos if (psavelen > 0) {
1634 1.43 christos pstr = grabstackstr(pout);
1635 1.43 christos setinputstring(pstr, 1);
1636 1.11 jtc }
1637 1.11 jtc }
1638 1.1 cgd nlpp = &bqlist;
1639 1.1 cgd while (*nlpp)
1640 1.1 cgd nlpp = &(*nlpp)->next;
1641 1.1 cgd *nlpp = (struct nodelist *)stalloc(sizeof (struct nodelist));
1642 1.1 cgd (*nlpp)->next = NULL;
1643 1.1 cgd parsebackquote = oldstyle;
1644 1.28 christos
1645 1.28 christos if (oldstyle) {
1646 1.28 christos saveprompt = doprompt;
1647 1.28 christos doprompt = 0;
1648 1.63 christos } else
1649 1.63 christos saveprompt = 0;
1650 1.28 christos
1651 1.73 christos n = list(0, oldstyle);
1652 1.28 christos
1653 1.28 christos if (oldstyle)
1654 1.28 christos doprompt = saveprompt;
1655 1.28 christos else {
1656 1.96 christos if (readtoken() != TRP) {
1657 1.96 christos cleanup_state_stack(stack);
1658 1.28 christos synexpect(TRP);
1659 1.96 christos }
1660 1.28 christos }
1661 1.28 christos
1662 1.1 cgd (*nlpp)->n = n;
1663 1.27 christos if (oldstyle) {
1664 1.27 christos /*
1665 1.27 christos * Start reading from old file again, ignoring any pushed back
1666 1.27 christos * tokens left from the backquote parsing
1667 1.27 christos */
1668 1.11 jtc popfile();
1669 1.27 christos tokpushback = 0;
1670 1.27 christos }
1671 1.1 cgd while (stackblocksize() <= savelen)
1672 1.1 cgd growstackblock();
1673 1.1 cgd STARTSTACKSTR(out);
1674 1.1 cgd if (str) {
1675 1.21 mycroft memcpy(out, str, savelen);
1676 1.1 cgd STADJUST(savelen, out);
1677 1.1 cgd INTOFF;
1678 1.1 cgd ckfree(str);
1679 1.1 cgd str = NULL;
1680 1.1 cgd INTON;
1681 1.1 cgd }
1682 1.1 cgd parsebackquote = savepbq;
1683 1.1 cgd handler = savehandler;
1684 1.51 christos if (arinest || ISDBLQUOTE())
1685 1.11 jtc USTPUTC(CTLBACKQ | CTLQUOTE, out);
1686 1.11 jtc else
1687 1.11 jtc USTPUTC(CTLBACKQ, out);
1688 1.1 cgd if (oldstyle)
1689 1.1 cgd goto parsebackq_oldreturn;
1690 1.1 cgd else
1691 1.1 cgd goto parsebackq_newreturn;
1692 1.1 cgd }
1693 1.1 cgd
1694 1.1 cgd /*
1695 1.11 jtc * Parse an arithmetic expansion (indicate start of one and set state)
1696 1.1 cgd */
1697 1.11 jtc parsearith: {
1698 1.1 cgd
1699 1.96 christos if (syntax == ARISYNTAX) {
1700 1.96 christos /*
1701 1.96 christos * we collapse embedded arithmetic expansion to
1702 1.96 christos * parentheses, which should be equivalent
1703 1.96 christos */
1704 1.96 christos USTPUTC('(', out);
1705 1.96 christos USTPUTC('(', out);
1706 1.96 christos /*
1707 1.96 christos * Need 2 of them because there will (should be)
1708 1.96 christos * two closing ))'s to follow later.
1709 1.96 christos */
1710 1.96 christos parenlevel += 2;
1711 1.96 christos } else {
1712 1.96 christos TS_PUSH();
1713 1.11 jtc syntax = ARISYNTAX;
1714 1.96 christos ++arinest;
1715 1.96 christos varnest = 0;
1716 1.96 christos
1717 1.11 jtc USTPUTC(CTLARI, out);
1718 1.51 christos if (ISDBLQUOTE())
1719 1.41 mycroft USTPUTC('"',out);
1720 1.41 mycroft else
1721 1.41 mycroft USTPUTC(' ',out);
1722 1.1 cgd }
1723 1.11 jtc goto parsearith_return;
1724 1.1 cgd }
1725 1.1 cgd
1726 1.11 jtc } /* end of readtoken */
1727 1.1 cgd
1728 1.1 cgd
1729 1.1 cgd
1730 1.11 jtc #ifdef mkinit
1731 1.11 jtc RESET {
1732 1.11 jtc tokpushback = 0;
1733 1.11 jtc checkkwd = 0;
1734 1.1 cgd }
1735 1.1 cgd #endif
1736 1.1 cgd
1737 1.1 cgd /*
1738 1.1 cgd * Returns true if the text contains nothing to expand (no dollar signs
1739 1.1 cgd * or backquotes).
1740 1.1 cgd */
1741 1.1 cgd
1742 1.1 cgd STATIC int
1743 1.54 christos noexpand(char *text)
1744 1.54 christos {
1745 1.32 tls char *p;
1746 1.32 tls char c;
1747 1.1 cgd
1748 1.1 cgd p = text;
1749 1.1 cgd while ((c = *p++) != '\0') {
1750 1.41 mycroft if (c == CTLQUOTEMARK)
1751 1.41 mycroft continue;
1752 1.1 cgd if (c == CTLESC)
1753 1.1 cgd p++;
1754 1.38 mrg else if (BASESYNTAX[(int)c] == CCTL)
1755 1.1 cgd return 0;
1756 1.1 cgd }
1757 1.1 cgd return 1;
1758 1.1 cgd }
1759 1.1 cgd
1760 1.1 cgd
1761 1.1 cgd /*
1762 1.1 cgd * Return true if the argument is a legal variable name (a letter or
1763 1.1 cgd * underscore followed by zero or more letters, underscores, and digits).
1764 1.1 cgd */
1765 1.1 cgd
1766 1.1 cgd int
1767 1.45 cgd goodname(char *name)
1768 1.1 cgd {
1769 1.32 tls char *p;
1770 1.1 cgd
1771 1.1 cgd p = name;
1772 1.1 cgd if (! is_name(*p))
1773 1.1 cgd return 0;
1774 1.1 cgd while (*++p) {
1775 1.1 cgd if (! is_in_name(*p))
1776 1.1 cgd return 0;
1777 1.1 cgd }
1778 1.1 cgd return 1;
1779 1.1 cgd }
1780 1.1 cgd
1781 1.1 cgd
1782 1.1 cgd /*
1783 1.1 cgd * Called when an unexpected token is read during the parse. The argument
1784 1.1 cgd * is the token that is expected, or -1 if more than one type of token can
1785 1.1 cgd * occur at this point.
1786 1.1 cgd */
1787 1.1 cgd
1788 1.1 cgd STATIC void
1789 1.54 christos synexpect(int token)
1790 1.22 cgd {
1791 1.1 cgd char msg[64];
1792 1.1 cgd
1793 1.1 cgd if (token >= 0) {
1794 1.1 cgd fmtstr(msg, 64, "%s unexpected (expecting %s)",
1795 1.1 cgd tokname[lasttoken], tokname[token]);
1796 1.1 cgd } else {
1797 1.1 cgd fmtstr(msg, 64, "%s unexpected", tokname[lasttoken]);
1798 1.1 cgd }
1799 1.1 cgd synerror(msg);
1800 1.39 mycroft /* NOTREACHED */
1801 1.1 cgd }
1802 1.1 cgd
1803 1.1 cgd
1804 1.1 cgd STATIC void
1805 1.54 christos synerror(const char *msg)
1806 1.54 christos {
1807 1.1 cgd if (commandname)
1808 1.1 cgd outfmt(&errout, "%s: %d: ", commandname, startlinno);
1809 1.62 christos else
1810 1.62 christos outfmt(&errout, "%s: ", getprogname());
1811 1.1 cgd outfmt(&errout, "Syntax error: %s\n", msg);
1812 1.80 plunky error(NULL);
1813 1.39 mycroft /* NOTREACHED */
1814 1.11 jtc }
1815 1.11 jtc
1816 1.11 jtc STATIC void
1817 1.54 christos setprompt(int which)
1818 1.54 christos {
1819 1.11 jtc whichprompt = which;
1820 1.11 jtc
1821 1.35 christos #ifndef SMALL
1822 1.11 jtc if (!el)
1823 1.14 cgd #endif
1824 1.11 jtc out2str(getprompt(NULL));
1825 1.11 jtc }
1826 1.11 jtc
1827 1.11 jtc /*
1828 1.11 jtc * called by editline -- any expansions to the prompt
1829 1.11 jtc * should be added here.
1830 1.11 jtc */
1831 1.43 christos const char *
1832 1.45 cgd getprompt(void *unused)
1833 1.11 jtc {
1834 1.11 jtc switch (whichprompt) {
1835 1.11 jtc case 0:
1836 1.11 jtc return "";
1837 1.11 jtc case 1:
1838 1.11 jtc return ps1val();
1839 1.11 jtc case 2:
1840 1.11 jtc return ps2val();
1841 1.11 jtc default:
1842 1.11 jtc return "<internal prompt error>";
1843 1.11 jtc }
1844 1.1 cgd }
1845