Home | History | Annotate | Line # | Download | only in sh
      1 /*	$NetBSD: parser.h,v 1.30 2024/10/21 15:57:45 kre Exp $	*/
      2 
      3 /*-
      4  * Copyright (c) 1991, 1993
      5  *	The Regents of the University of California.  All rights reserved.
      6  *
      7  * This code is derived from software contributed to Berkeley by
      8  * Kenneth Almquist.
      9  *
     10  * Redistribution and use in source and binary forms, with or without
     11  * modification, are permitted provided that the following conditions
     12  * are met:
     13  * 1. Redistributions of source code must retain the above copyright
     14  *    notice, this list of conditions and the following disclaimer.
     15  * 2. Redistributions in binary form must reproduce the above copyright
     16  *    notice, this list of conditions and the following disclaimer in the
     17  *    documentation and/or other materials provided with the distribution.
     18  * 3. Neither the name of the University nor the names of its contributors
     19  *    may be used to endorse or promote products derived from this software
     20  *    without specific prior written permission.
     21  *
     22  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
     23  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
     24  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
     25  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
     26  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     27  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
     28  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
     29  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
     30  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
     31  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
     32  * SUCH DAMAGE.
     33  *
     34  *	@(#)parser.h	8.3 (Berkeley) 5/4/95
     35  */
     36 
     37 /* control characters in argument strings */
     38 #define CTL_FIRST '\201'	/* first 'special' character */
     39 #define CTLESC '\201'		/* escape next character */
     40 #define CTLVAR '\202'		/* variable defn */
     41 #define CTLENDVAR '\203'
     42 #define CTLBACKQ '\204'
     43 #define CTLQUOTE 01		/* ored with CTLBACKQ code if in quotes */
     44 /*	CTLBACKQ | CTLQUOTE == '\205' */
     45 #define	CTLARI	'\206'		/* arithmetic expression */
     46 #define	CTLENDARI '\207'
     47 #define	CTLQUOTEMARK '\210'
     48 #define	CTLQUOTEEND '\211'	/* only inside ${...} */
     49 #define	CTLNONL '\212'		/* The \n in a deleted \ \n sequence */
     50 			/* pure concidence that (CTLNONL & 0x7f) == '\n' */
     51 #define	CTLCNL	'\213'		/* A $'\n' - newline not counted */
     52 #define	CTLVARMOD '\214'	/* a modifier in a variable expansion */
     53 #define	CTL_LAST '\214'		/* last 'special' character */
     54 
     55 /* variable substitution byte (follows CTLVAR) */
     56 #define VSTYPE		0x0f	/* type of variable substitution */
     57 #define VSNUL		0x10	/* colon--treat the empty string as unset */
     58 #define VSLINENO	0x20	/* expansion of $LINENO, the line number
     59 				   follows immediately */
     60 #define VSPATQ		0x40	/* ensure correct pattern quoting in ${x#pat} */
     61 #define VSQUOTE	 	0x80	/* inside double quotes--suppress splitting */
     62 
     63 /* values of VSTYPE field (nb: 0 reserved for "not determined yet") */
     64 #define VSNORMAL	0x1		/* normal variable:  $var or ${var} */
     65 #define VSMINUS		0x2		/* ${var-text} */
     66 #define VSPLUS		0x3		/* ${var+text} */
     67 #define VSQUESTION	0x4		/* ${var?message} */
     68 #define VSASSIGN	0x5		/* ${var=text} */
     69 #define VSTRIMLEFT	0x6		/* ${var#pattern} */
     70 #define VSTRIMLEFTMAX	0x7		/* ${var##pattern} */
     71 #define VSTRIMRIGHT	0x8		/* ${var%pattern} */
     72 #define VSTRIMRIGHTMAX 	0x9		/* ${var%%pattern} */
     73 #define VSLENGTH	0xa		/* ${#var} */
     74 #define VSUNKNOWN	0xf		/* unknown modifier */
     75 
     76 union node *parsecmd(int);
     77 void fixredir(union node *, const char *, int);
     78 int goodname(const char *);
     79 int isassignment(const char *);
     80 const char *getprompt(void *);
     81 const char *expandstr(char *, int);
     82 const char *expandvar(char *, int);
     83 const char *expandenv(char *);
     84 
     85 struct HereDoc;
     86 union node;
     87 struct nodelist;
     88 
     89 struct parse_state {
     90 	struct HereDoc *ps_heredoclist;	/* list of here documents to read */
     91 	int ps_parsebackquote;		/* nonzero inside backquotes */
     92 	int ps_doprompt;		/* if set, prompt the user */
     93 	int ps_needprompt;		/* true if interactive at line start */
     94 	int ps_lasttoken;		/* last token read */
     95 	int ps_tokpushback;		/* last token pushed back */
     96 	char *ps_wordtext;	/* text of last word returned by readtoken */
     97 	int ps_checkkwd;		/* word expansion flags, see below */
     98 	struct nodelist *ps_backquotelist; /* list of cmdsubs to process */
     99 	union node *ps_redirnode;	/* node for current redirect */
    100 	struct HereDoc *ps_heredoc;	/* current heredoc << being parsed */
    101 	int ps_quoteflag;		/* set if (part) of token was quoted */
    102 	int ps_startlinno;		/* line # where last token started */
    103 	int ps_funclinno;		/* line # of the current function */
    104 	int ps_elided_nl;		/* count of \ \n pairs we have seen */
    105 };
    106 
    107 /*
    108  * The parser references the elements of struct parse_state quite
    109  * frequently - they used to be simple globals, so one memory ref
    110  * per access, adding an indirect through a global ptr would not be
    111  * nice.   The following gross hack allows most of that cost to be
    112  * avoided, by allowing the compiler to understand that the global
    113  * pointer is in fact constant in any function, and so its value can
    114  * be cached, rather than needing to be fetched every time in case
    115  * some other called function has changed it.
    116  *
    117  * The rule to make this work is that any function that wants
    118  * to alter the global must restore it before it returns (and thus
    119  * must have an error trap handler).  That means that the struct
    120  * used for the new parser state can be a local in that function's
    121  * stack frame, it never needs to be malloc'd.
    122  */
    123 
    124 union parse_state_p {
    125 	struct parse_state *const	c_current_parser;
    126 	struct parse_state *		v_current_parser;
    127 };
    128 
    129 extern union parse_state_p psp;
    130 
    131 #define	current_parser (psp.c_current_parser)
    132 
    133 /*
    134  * Perhaps one day emulate "static" by moving most of these definitions into
    135  * parser.c ...  (only checkkwd & tokpushback are used outside parser.c,
    136  * and only in init.c as a RESET activity)
    137  */
    138 #define	tokpushback	(current_parser->ps_tokpushback)
    139 #define	checkkwd	(current_parser->ps_checkkwd)
    140 
    141 #define	heredoclist	(current_parser->ps_heredoclist)
    142 #define	parsebackquote	(current_parser->ps_parsebackquote)
    143 #define	doprompt	(current_parser->ps_doprompt)
    144 #define	needprompt	(current_parser->ps_needprompt)
    145 #define	lasttoken	(current_parser->ps_lasttoken)
    146 #define	wordtext	(current_parser->ps_wordtext)
    147 #define	backquotelist	(current_parser->ps_backquotelist)
    148 #define	redirnode	(current_parser->ps_redirnode)
    149 #define	heredoc		(current_parser->ps_heredoc)
    150 #define	quoteflag	(current_parser->ps_quoteflag)
    151 #define	startlinno	(current_parser->ps_startlinno)
    152 #define	funclinno	(current_parser->ps_funclinno)
    153 #define	elided_nl	(current_parser->ps_elided_nl)
    154 
    155 /*
    156  * Values that can be set in checkkwd
    157  */
    158 #define CHKKWD		0x01		/* turn word into keyword (if it is) */
    159 #define CHKNL		0x02		/* ignore leading \n's */
    160 #define CHKALIAS	0x04		/* lookup words as aliases and ... */
    161 
    162 /*
    163  * NEOF is returned by parsecmd when it encounters an end of file.  It
    164  * must be distinct from NULL, so we use the address of a variable that
    165  * happens to be handy.
    166  */
    167 #define NEOF ((union node *)&psp)
    168 
    169 #ifdef DEBUG
    170 extern int parsing;
    171 #endif
    172