Home | History | Annotate | Line # | Download | only in ddb
db_lex.c revision 1.22
      1  1.22    joerg /*	$NetBSD: db_lex.c,v 1.22 2011/05/26 15:34:14 joerg Exp $	*/
      2   1.4      cgd 
      3  1.16   simonb /*
      4   1.1      cgd  * Mach Operating System
      5   1.1      cgd  * Copyright (c) 1991,1990 Carnegie Mellon University
      6   1.1      cgd  * All Rights Reserved.
      7  1.16   simonb  *
      8   1.1      cgd  * Permission to use, copy, modify and distribute this software and its
      9   1.1      cgd  * documentation is hereby granted, provided that both the copyright
     10   1.1      cgd  * notice and this permission notice appear in all copies of the
     11   1.1      cgd  * software, derivative works or modified versions, and any portions
     12   1.1      cgd  * thereof, and that both notices appear in supporting documentation.
     13  1.16   simonb  *
     14  1.11       pk  * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS"
     15   1.1      cgd  * CONDITION.  CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
     16   1.1      cgd  * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
     17  1.16   simonb  *
     18   1.1      cgd  * Carnegie Mellon requests users of this software to return to
     19  1.16   simonb  *
     20   1.1      cgd  *  Software Distribution Coordinator  or  Software.Distribution (at) CS.CMU.EDU
     21   1.1      cgd  *  School of Computer Science
     22   1.1      cgd  *  Carnegie Mellon University
     23   1.1      cgd  *  Pittsburgh PA 15213-3890
     24  1.16   simonb  *
     25   1.1      cgd  * any improvements or extensions that they make and grant Carnegie the
     26   1.1      cgd  * rights to redistribute these changes.
     27   1.2      cgd  *
     28   1.1      cgd  *	Author: David B. Golub, Carnegie Mellon University
     29   1.1      cgd  *	Date:	7/90
     30   1.1      cgd  */
     31   1.3  mycroft 
     32   1.1      cgd /*
     33   1.1      cgd  * Lexical analyzer.
     34   1.1      cgd  */
     35  1.15    lukem 
     36  1.15    lukem #include <sys/cdefs.h>
     37  1.22    joerg __KERNEL_RCSID(0, "$NetBSD: db_lex.c,v 1.22 2011/05/26 15:34:14 joerg Exp $");
     38  1.15    lukem 
     39   1.5  mycroft #include <sys/param.h>
     40  1.13    soren #include <sys/systm.h>
     41   1.5  mycroft 
     42  1.21       ad #include <ddb/ddb.h>
     43   1.1      cgd 
     44  1.16   simonb db_expr_t	db_tok_number;
     45  1.16   simonb char		db_tok_string[TOK_STRING_SIZE];
     46  1.16   simonb 
     47  1.20     yamt static char	db_line[DB_LINE_MAXLEN];
     48  1.19     yamt static const char *db_lp;
     49  1.19     yamt static const char *db_endlp;
     50  1.16   simonb 
     51  1.16   simonb static int	db_look_char = 0;
     52  1.16   simonb static int	db_look_token = 0;
     53  1.16   simonb 
     54  1.16   simonb static void	db_flush_line(void);
     55  1.16   simonb static int	db_read_char(void);
     56  1.16   simonb static void	db_unread_char(int);
     57  1.16   simonb static int	db_lex(void);
     58   1.1      cgd 
     59   1.1      cgd int
     60  1.16   simonb db_read_line(void)
     61   1.1      cgd {
     62   1.1      cgd 	int	i;
     63   1.1      cgd 
     64   1.1      cgd 	i = db_readline(db_line, sizeof(db_line));
     65   1.1      cgd 	if (i == 0)
     66  1.16   simonb 		return (0);	/* EOI */
     67  1.19     yamt 	db_set_line(db_line, db_line + i);
     68   1.1      cgd 	return (i);
     69   1.1      cgd }
     70   1.1      cgd 
     71  1.19     yamt void
     72  1.19     yamt db_set_line(const char *sp, const char *ep)
     73  1.19     yamt {
     74  1.19     yamt 
     75  1.19     yamt 	db_lp = sp;
     76  1.19     yamt 	db_endlp = ep;
     77  1.19     yamt }
     78  1.19     yamt 
     79  1.16   simonb static void
     80  1.16   simonb db_flush_line(void)
     81   1.1      cgd {
     82  1.16   simonb 
     83   1.1      cgd 	db_lp = db_line;
     84   1.1      cgd 	db_endlp = db_line;
     85   1.1      cgd }
     86   1.1      cgd 
     87  1.16   simonb static int
     88  1.16   simonb db_read_char(void)
     89   1.1      cgd {
     90   1.1      cgd 	int	c;
     91   1.1      cgd 
     92   1.1      cgd 	if (db_look_char != 0) {
     93  1.16   simonb 		c = db_look_char;
     94  1.16   simonb 		db_look_char = 0;
     95   1.1      cgd 	}
     96   1.1      cgd 	else if (db_lp >= db_endlp)
     97  1.16   simonb 		c = -1;
     98  1.16   simonb 	else
     99  1.16   simonb 		c = *db_lp++;
    100   1.1      cgd 	return (c);
    101   1.1      cgd }
    102   1.1      cgd 
    103  1.16   simonb static void
    104  1.16   simonb db_unread_char(int c)
    105   1.1      cgd {
    106  1.16   simonb 
    107   1.1      cgd 	db_look_char = c;
    108   1.1      cgd }
    109   1.1      cgd 
    110   1.1      cgd void
    111  1.16   simonb db_unread_token(int t)
    112   1.1      cgd {
    113  1.16   simonb 
    114   1.1      cgd 	db_look_token = t;
    115   1.1      cgd }
    116   1.1      cgd 
    117   1.1      cgd int
    118  1.16   simonb db_read_token(void)
    119   1.1      cgd {
    120   1.1      cgd 	int	t;
    121   1.1      cgd 
    122   1.1      cgd 	if (db_look_token) {
    123  1.16   simonb 		t = db_look_token;
    124  1.16   simonb 		db_look_token = 0;
    125   1.1      cgd 	}
    126   1.1      cgd 	else
    127  1.16   simonb 		t = db_lex();
    128   1.1      cgd 	return (t);
    129   1.1      cgd }
    130   1.1      cgd 
    131   1.1      cgd int	db_radix = 16;
    132  1.12    jhawk 
    133  1.12    jhawk /*
    134  1.12    jhawk  * Convert the number to a string in the current radix.
    135  1.12    jhawk  * This replaces the non-standard %n printf() format.
    136  1.12    jhawk  */
    137  1.16   simonb 
    138  1.12    jhawk char *
    139  1.16   simonb db_num_to_str(db_expr_t val)
    140  1.12    jhawk {
    141  1.17    enami 
    142  1.16   simonb 	/*
    143  1.12    jhawk 	 * 2 chars for "0x", 1 for a sign ("-")
    144  1.12    jhawk 	 * up to 21 chars for a 64-bit number:
    145  1.12    jhawk 	 *   % echo 2^64 | bc | wc -c
    146  1.12    jhawk 	 *   21
    147  1.12    jhawk 	 * and 1 char for a terminal NUL
    148  1.12    jhawk 	 * 2+1+21+1 => 25
    149  1.12    jhawk 	 */
    150  1.12    jhawk 	static char buf[25];
    151  1.12    jhawk 
    152  1.12    jhawk 	if (db_radix == 16)
    153  1.22    joerg 		snprintf(buf, sizeof(buf), "%" DDB_EXPR_FMT "x", val);
    154  1.12    jhawk 	else if (db_radix == 8)
    155  1.22    joerg 		snprintf(buf, sizeof(buf), "%" DDB_EXPR_FMT "o", val);
    156  1.12    jhawk 	else
    157  1.22    joerg 		snprintf(buf, sizeof(buf), "%" DDB_EXPR_FMT "u", val);
    158  1.18      scw 
    159  1.17    enami 	return (buf);
    160  1.12    jhawk }
    161   1.1      cgd 
    162   1.1      cgd void
    163  1.16   simonb db_flush_lex(void)
    164   1.1      cgd {
    165  1.16   simonb 
    166   1.1      cgd 	db_flush_line();
    167   1.1      cgd 	db_look_char = 0;
    168   1.1      cgd 	db_look_token = 0;
    169   1.1      cgd }
    170   1.1      cgd 
    171  1.16   simonb static int
    172  1.16   simonb db_lex(void)
    173   1.1      cgd {
    174   1.1      cgd 	int	c;
    175   1.1      cgd 
    176   1.1      cgd 	c = db_read_char();
    177   1.1      cgd 	while (c <= ' ' || c > '~') {
    178  1.16   simonb 		if (c == '\n' || c == -1)
    179  1.16   simonb 			return (tEOL);
    180  1.16   simonb 		c = db_read_char();
    181   1.1      cgd 	}
    182   1.1      cgd 
    183   1.1      cgd 	if (c >= '0' && c <= '9') {
    184  1.16   simonb 		/* number */
    185  1.16   simonb 		db_expr_t	r, digit = 0;
    186   1.1      cgd 
    187  1.16   simonb 		if (c > '0')
    188  1.16   simonb 			r = db_radix;
    189   1.1      cgd 		else {
    190  1.16   simonb 			c = db_read_char();
    191  1.16   simonb 			if (c == 'O' || c == 'o')
    192  1.16   simonb 				r = 8;
    193  1.16   simonb 			else if (c == 'T' || c == 't')
    194  1.16   simonb 				r = 10;
    195  1.16   simonb 			else if (c == 'X' || c == 'x')
    196  1.16   simonb 				r = 16;
    197  1.16   simonb 			else {
    198  1.16   simonb 				r = db_radix;
    199  1.16   simonb 				db_unread_char(c);
    200  1.16   simonb 			}
    201  1.16   simonb 			c = db_read_char();
    202   1.1      cgd 		}
    203  1.16   simonb 		db_tok_number = 0;
    204  1.16   simonb 		for (;;) {
    205  1.16   simonb 			if (c >= '0' && c <= ((r == 8) ? '7' : '9'))
    206  1.16   simonb 				digit = c - '0';
    207  1.16   simonb 			else if (r == 16 && ((c >= 'A' && c <= 'F') ||
    208  1.16   simonb 				(c >= 'a' && c <= 'f'))) {
    209  1.16   simonb 				if (c >= 'a')
    210  1.16   simonb 					digit = c - 'a' + 10;
    211  1.16   simonb 				else if (c >= 'A')
    212  1.16   simonb 					digit = c - 'A' + 10;
    213  1.16   simonb 			}
    214  1.16   simonb 			else
    215  1.16   simonb 				break;
    216  1.16   simonb 			db_tok_number = db_tok_number * r + digit;
    217  1.16   simonb 			c = db_read_char();
    218  1.16   simonb 		}
    219  1.16   simonb 		if ((c >= '0' && c <= '9') ||
    220  1.16   simonb 		    (c >= 'A' && c <= 'Z') ||
    221  1.16   simonb 		    (c >= 'a' && c <= 'z') ||
    222  1.16   simonb 		    (c == '_')) {
    223  1.16   simonb 			db_error("Bad character in number\n");
    224  1.16   simonb 			/*NOTREACHED*/
    225   1.1      cgd 		}
    226  1.16   simonb 		db_unread_char(c);
    227  1.16   simonb 		return (tNUMBER);
    228   1.1      cgd 	}
    229   1.1      cgd 	if ((c >= 'A' && c <= 'Z') ||
    230   1.1      cgd 	    (c >= 'a' && c <= 'z') ||
    231  1.16   simonb 	    c == '_' || c == '\\') {
    232  1.16   simonb 		/* string */
    233  1.16   simonb 		char *cp;
    234   1.1      cgd 
    235  1.16   simonb 		cp = db_tok_string;
    236  1.16   simonb 		if (c == '\\') {
    237   1.1      cgd 			c = db_read_char();
    238   1.7  mycroft 			if (c == '\n' || c == -1) {
    239  1.16   simonb 				db_error("Bad escape\n");
    240  1.16   simonb 				/*NOTREACHED*/
    241   1.7  mycroft 			}
    242   1.1      cgd 		}
    243  1.16   simonb 		*cp++ = c;
    244  1.16   simonb 		while (1) {
    245  1.16   simonb 			c = db_read_char();
    246  1.16   simonb 			if ((c >= 'A' && c <= 'Z') ||
    247  1.16   simonb 			    (c >= 'a' && c <= 'z') ||
    248  1.16   simonb 			    (c >= '0' && c <= '9') ||
    249  1.16   simonb 			    c == '_' || c == '\\' || c == ':') {
    250  1.16   simonb 				if (c == '\\') {
    251  1.16   simonb 					c = db_read_char();
    252  1.16   simonb 					if (c == '\n' || c == -1) {
    253  1.16   simonb 						db_error("Bad escape\n");
    254  1.16   simonb 						/*NOTREACHED*/
    255  1.16   simonb 					}
    256  1.16   simonb 				}
    257  1.16   simonb 				*cp++ = c;
    258  1.16   simonb 				if (cp == db_tok_string+sizeof(db_tok_string)) {
    259  1.16   simonb 					db_error("String too long\n");
    260  1.16   simonb 					/*NOTREACHED*/
    261  1.16   simonb 				}
    262  1.16   simonb 				continue;
    263  1.16   simonb 			} else {
    264  1.16   simonb 				*cp = '\0';
    265  1.16   simonb 				break;
    266  1.16   simonb 			}
    267   1.1      cgd 		}
    268  1.16   simonb 		db_unread_char(c);
    269  1.16   simonb 		return (tIDENT);
    270   1.1      cgd 	}
    271   1.1      cgd 
    272   1.1      cgd 	switch (c) {
    273  1.16   simonb 	case '+':
    274   1.1      cgd 		return (tPLUS);
    275  1.16   simonb 	case '-':
    276   1.1      cgd 		return (tMINUS);
    277  1.16   simonb 	case '.':
    278   1.1      cgd 		c = db_read_char();
    279   1.1      cgd 		if (c == '.')
    280  1.16   simonb 			return (tDOTDOT);
    281   1.1      cgd 		db_unread_char(c);
    282   1.1      cgd 		return (tDOT);
    283  1.16   simonb 	case '*':
    284   1.1      cgd 		return (tSTAR);
    285  1.16   simonb 	case '/':
    286   1.1      cgd 		return (tSLASH);
    287  1.16   simonb 	case '=':
    288   1.1      cgd 		return (tEQ);
    289  1.16   simonb 	case '%':
    290   1.1      cgd 		return (tPCT);
    291  1.16   simonb 	case '#':
    292   1.1      cgd 		return (tHASH);
    293  1.16   simonb 	case '(':
    294   1.1      cgd 		return (tLPAREN);
    295  1.16   simonb 	case ')':
    296   1.1      cgd 		return (tRPAREN);
    297  1.16   simonb 	case ',':
    298   1.1      cgd 		return (tCOMMA);
    299  1.16   simonb 	case '"':
    300   1.1      cgd 		return (tDITTO);
    301  1.16   simonb 	case '$':
    302   1.1      cgd 		return (tDOLLAR);
    303  1.16   simonb 	case '!':
    304   1.1      cgd 		return (tEXCL);
    305  1.16   simonb 	case '<':
    306   1.1      cgd 		c = db_read_char();
    307   1.1      cgd 		if (c == '<')
    308  1.16   simonb 			return (tSHIFT_L);
    309   1.1      cgd 		db_unread_char(c);
    310   1.1      cgd 		break;
    311  1.16   simonb 	case '>':
    312   1.1      cgd 		c = db_read_char();
    313   1.1      cgd 		if (c == '>')
    314  1.16   simonb 			return (tSHIFT_R);
    315   1.1      cgd 		db_unread_char(c);
    316   1.1      cgd 		break;
    317  1.16   simonb 	case -1:
    318   1.1      cgd 		return (tEOF);
    319   1.1      cgd 	}
    320   1.1      cgd 	db_printf("Bad character\n");
    321   1.1      cgd 	db_flush_lex();
    322   1.1      cgd 	return (tEOF);
    323   1.1      cgd }
    324  1.21       ad 
    325  1.21       ad /*
    326  1.21       ad  * Utility routine - discard tokens through end-of-line.
    327  1.21       ad  */
    328  1.21       ad void
    329  1.21       ad db_skip_to_eol(void)
    330  1.21       ad {
    331  1.21       ad 	int t;
    332  1.21       ad 
    333  1.21       ad 	do {
    334  1.21       ad 		t = db_read_token();
    335  1.21       ad 	} while (t != tEOL);
    336  1.21       ad }
    337  1.21       ad 
    338  1.21       ad void
    339  1.21       ad db_error(const char *s)
    340  1.21       ad {
    341  1.21       ad 
    342  1.21       ad 	if (s)
    343  1.21       ad 		db_printf("%s", s);
    344  1.21       ad 	db_flush_lex();
    345  1.21       ad 	longjmp(db_recover);
    346  1.21       ad }
    347