debug.l 10.3 KB
Newer Older
Alexandre Julliard's avatar
Alexandre Julliard committed
1
/* -*-C-*-
Alexandre Julliard's avatar
Alexandre Julliard committed
2
 * Lexical scanner for command line parsing
Alexandre Julliard's avatar
Alexandre Julliard committed
3
 *
Alexandre Julliard's avatar
Alexandre Julliard committed
4
 * Copyright 1993 Eric Youngdale
5
 *           2000 Eric Pouech
6 7 8 9 10 11 12 13 14 15 16 17 18
 *
 * This library is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Lesser General Public
 * License as published by the Free Software Foundation; either
 * version 2.1 of the License, or (at your option) any later version.
 *
 * This library is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * Lesser General Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public
 * License along with this library; if not, write to the Free Software
19
 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA
Alexandre Julliard's avatar
Alexandre Julliard committed
20 21
 */

22
%option nounput interactive 8bit prefix="dbg_"
23

Alexandre Julliard's avatar
Alexandre Julliard committed
24
%{
Alexandre Julliard's avatar
Alexandre Julliard committed
25
#include <stdlib.h>
Alexandre Julliard's avatar
Alexandre Julliard committed
26
#include <string.h>
27 28
#include <stdarg.h>

Alexandre Julliard's avatar
Alexandre Julliard committed
29
#include "debugger.h"
30
#include "dbg.tab.h"
Alexandre Julliard's avatar
Alexandre Julliard committed
31 32

#undef YY_INPUT
33

34 35
static int read_input(const char* pfx, char* buf, int size)
{
36 37 38
    int len;
    static char*  last_line = NULL;
    static size_t last_line_idx = 0;
Eric Pouech's avatar
Eric Pouech committed
39

40 41 42
    /* try first to fetch the remaining of an existing line */
    if (last_line_idx == 0)
    {
43
        char* tmp = NULL;
44 45
        /* no remaining chars to be read from last line, grab a brand new line up to '\n' */
        lexeme_flush();
46
        len = input_fetch_entire_line(pfx, &tmp);
47
        if (len < 0) return 0;  /* eof */
48 49 50
        /* FIXME: should have a pair of buffers, and switch between the two, instead of
         * reallocating a new one for each line
         */
51
        if (last_line && (len == 0 || (len == 1 && tmp[0] == '\n') || (len == 2 && tmp[0] == '\r' && tmp[1] == '\n')))
52 53 54 55 56 57 58 59
        {
            HeapFree(GetProcessHeap(), 0, tmp);
        }
        else
        {
            HeapFree(GetProcessHeap(), 0, last_line);
            last_line = tmp;
        }
60 61 62 63 64 65 66 67 68
    }

    len = min(strlen(last_line + last_line_idx), size - 1);
    memcpy(buf, last_line + last_line_idx, len);
    buf[len] = '\0';
    if ((last_line_idx += len) >= strlen(last_line))
        last_line_idx = 0;
    return len;
}
69

Alexandre Julliard's avatar
Alexandre Julliard committed
70
#define YY_INPUT(buf,result,max_size) \
71 72
	if ((result = read_input("Wine-dbg>", buf, max_size)) < 0) \
	    YY_FATAL_ERROR("read_input in flex scanner failed");
Alexandre Julliard's avatar
Alexandre Julliard committed
73 74 75 76

static int syntax_error;
%}

Alexandre Julliard's avatar
Alexandre Julliard committed
77 78
DIGIT	   [0-9]
HEXDIGIT   [0-9a-fA-F]
79
FORMAT     [ubcdgiswx]
80
IDENTIFIER [_a-zA-Z~?][_a-zA-Z0-9~?@]*
81
PATHNAME   [\\/-_a-zA-Z0-9\.~@]+
Alexandre Julliard's avatar
Alexandre Julliard committed
82 83 84 85 86 87
STRING     \"[^\n"]+\"

%s FORMAT_EXPECTED
%s PATH_EXPECTED
%s INFO_CMD
%s HELP_CMD
88 89
%s BD_CMD
%s LOCAL_CMD
Alexandre Julliard's avatar
Alexandre Julliard committed
90
%s SHOW_CMD
91
%s MODE_CMD
92
%s MAINT_CMD
93
%s NOCMD
Alexandre Julliard's avatar
Alexandre Julliard committed
94

95 96
%x ASTRING_EXPECTED
%x NOPROCESS
Alexandre Julliard's avatar
Alexandre Julliard committed
97
%%
98
                                        /* set to special state when no process is loaded. */
99
                                        if (!dbg_num_processes() && YYSTATE == INITIAL) {BEGIN(NOPROCESS);}
100

Eric Pouech's avatar
Eric Pouech committed
101
<<EOF>>                                 { return tEOF; }
102
<*>\n		                        { BEGIN(INITIAL); syntax_error = 0; return tEOL; }
103 104
                                        /* Indicates end of command. Reset state. */

105 106 107
                                        /* This rule must precede the ones below, */
                                        /* otherwise paths like '/' or '0x9' would */
                                        /* get parsed as an operator or tNUM */
108
<PATH_EXPECTED>{PATHNAME}		{ dbg_lval.string = lexeme_alloc(yytext); return tPATH; }
109

110 111 112 113 114 115 116 117 118
"||"					{ return OP_LOR; }
"&&"					{ return OP_LAND; }
"=="					{ return OP_EQ; }
"!="					{ return OP_NE; }
"<="					{ return OP_LE; }
">="					{ return OP_GE; }
"<<"					{ return OP_SHL; }
">>"					{ return OP_SHR; }
"->"					{ return OP_DRF; }
119
"::"					{ return OP_SCOPE; }
120 121 122 123
[-+<=>|&^()*/%:!~,\.]			{ return *yytext; }
"["					{ return *yytext; }
"]"					{ return *yytext; }

124 125
"0x"{HEXDIGIT}+      			{ sscanf(yytext, "%x", &dbg_lval.integer); return tNUM; }
{DIGIT}+             			{ sscanf(yytext, "%d", &dbg_lval.integer); return tNUM; }
126 127

<FORMAT_EXPECTED>"/"{DIGIT}+{FORMAT}	{ char* last;
128 129
                                          dbg_lval.integer = strtol(yytext+1, &last, 0) << 8;
                                          dbg_lval.integer |= *last;
130 131
                                          return tFORMAT; }

132
<FORMAT_EXPECTED>"/"{FORMAT}          	{ dbg_lval.integer = (1 << 8) | yytext[1]; return tFORMAT; }
133

134
{STRING} 				{ dbg_lval.string = lexeme_alloc(yytext + 1); dbg_lval.string[strlen(dbg_lval.string) - 1] = '\0'; return tSTRING; }
135
<ASTRING_EXPECTED>[^\n]+                { char* p = yytext; while (*p == ' ' || *p == '\t') p++;
136
                                          dbg_lval.string = lexeme_alloc(p); return tSTRING; }
Alexandre Julliard's avatar
Alexandre Julliard committed
137

138
<INITIAL,NOPROCESS>info|inf|in		{ BEGIN(INFO_CMD); return tINFO; }
139 140 141
<INITIAL>up				{ BEGIN(NOCMD); return tUP; }
<INITIAL>down|dow|do			{ BEGIN(NOCMD); return tDOWN; }
<INITIAL>frame|fram|fra|fr		{ BEGIN(NOCMD); return tFRAME; }
Alexandre Julliard's avatar
Alexandre Julliard committed
142
<INITIAL>list|lis|li|l			{ BEGIN(PATH_EXPECTED); return tLIST; }
143 144
<INITIAL>enable|enabl|enab|ena		{ BEGIN(BD_CMD); return tENABLE;}
<INITIAL>disable|disabl|disab|disa|dis  { BEGIN(BD_CMD); return tDISABLE; }
145
<INITIAL>disassemble|disassembl|disassemb|disassem|disasse|disass|disas { BEGIN(NOCMD); return tDISASSEMBLE; }
146 147
<INITIAL>locally|local			{ BEGIN(LOCAL_CMD); return tLOCAL; }
<INITIAL,LOCAL_CMD>display|displa|displ|disp	{ BEGIN(FORMAT_EXPECTED); return tDISPLAY; }
148 149
<INFO_CMD,BD_CMD>display|displa|displ|disp|dis|di|d	{ BEGIN(NOCMD); return tDISPLAY; }
<INITIAL>undisplay|undispla|undispl|undisp|undis|undi|und	{ BEGIN(NOCMD); return tUNDISPLAY; }
150
<INITIAL>delete|delet|dele|del		{ BEGIN(BD_CMD); return tDELETE; }
151 152
<INITIAL,NOPROCESS>quit|qui|qu|q	{ BEGIN(NOCMD); return tQUIT; }
<INITIAL>set|se				{ BEGIN(NOCMD); return tSET; }
Alexandre Julliard's avatar
Alexandre Julliard committed
153
<INITIAL>x				{ BEGIN(FORMAT_EXPECTED); return tEXAM; }
154
<INITIAL,NOPROCESS>help|hel|he|"?"	{ BEGIN(HELP_CMD); return tHELP; }
Alexandre Julliard's avatar
Alexandre Julliard committed
155

156 157
<INITIAL,NOPROCESS>backtrace|backtrac|backtra|backt|back|bac|ba|bt { BEGIN(NOCMD); return tBACKTRACE; }
<INITIAL,NOPROCESS>where|wher|whe       { BEGIN(NOCMD); return tBACKTRACE; }
Alexandre Julliard's avatar
Alexandre Julliard committed
158

159 160 161 162 163 164 165 166
<INITIAL>cont|con|co|c   		{ BEGIN(NOCMD); return tCONT; }
<INITIAL>pass|pas|pa   			{ BEGIN(NOCMD); return tPASS; }
<INITIAL>condition|conditio|conditi|condit|condi|cond	{ BEGIN(NOCMD); return tCOND; }
<INITIAL>step|ste|st|s   		{ BEGIN(NOCMD); return tSTEP; }
<INITIAL>next|nex|ne|n   		{ BEGIN(NOCMD); return tNEXT; }
<INITIAL>stepi|si	   		{ BEGIN(NOCMD); return tSTEPI; }
<INITIAL>nexti|ni	   		{ BEGIN(NOCMD); return tNEXTI; }
<INITIAL>finish|finis|fini|fin|fi	{ BEGIN(NOCMD); return tFINISH; }
Alexandre Julliard's avatar
Alexandre Julliard committed
167

168
<INITIAL>abort|abor|abo         	{ BEGIN(NOCMD); return tABORT; }
Alexandre Julliard's avatar
Alexandre Julliard committed
169 170 171
<INITIAL>print|prin|pri|pr|p		{ BEGIN(FORMAT_EXPECTED); return tPRINT; }

<INITIAL>show|sho|sh			{ BEGIN(SHOW_CMD); return tSHOW; }
Eric Pouech's avatar
Eric Pouech committed
172
<INITIAL,NOPROCESS>source|sourc|sour|src { BEGIN(PATH_EXPECTED); return tSOURCE; }
173
<INITIAL>symbolfile|symbols|symbol|sf   { BEGIN(PATH_EXPECTED); return tSYMBOLFILE; }
Alexandre Julliard's avatar
Alexandre Julliard committed
174

175 176 177 178
<INITIAL,INFO_CMD,BD_CMD>break|brea|bre|br|b	{ BEGIN(NOCMD); return tBREAK; }
<INITIAL,INFO_CMD,BD_CMD>hbreak|hbrea|hbre|hbr|hb { BEGIN(NOCMD); return tHBREAK; }
<INITIAL>watch|watc|wat			{ BEGIN(NOCMD); return tWATCH; }
<INITIAL>whatis|whati|what		{ BEGIN(NOCMD); return tWHATIS; }
179
<INITIAL,NOPROCESS>run|ru|r     	{ BEGIN(ASTRING_EXPECTED); return tRUN;}
180
<INITIAL>detach|detac|deta|det   	{ BEGIN(NOCMD); return tDETACH; }
181
<INITIAL,NOPROCESS>maintenance|maint    { BEGIN(MAINT_CMD); return tMAINTENANCE; }
182
<INITIAL>minidump|mdmp                  { BEGIN(PATH_EXPECTED); return tMINIDUMP; }
183
<INITIAL>echo				{ BEGIN(ASTRING_EXPECTED); return tECHO; }
184
<NOPROCESS>attach|attac|atta|att 	{ BEGIN(NOCMD); return tATTACH; }
185 186
<INFO_CMD>share|shar|sha                { return tSHARE; }
<MAINT_CMD>module|modul|mod             { BEGIN(ASTRING_EXPECTED); return tMODULE; }
Alexandre Julliard's avatar
Alexandre Julliard committed
187
<INFO_CMD>locals|local|loca|loc		{ return tLOCAL; }
188 189 190 191
<INFO_CMD>class|clas|cla                { return tCLASS; }
<INFO_CMD>process|proces|proce|proc   	{ return tPROCESS; }
<INFO_CMD>threads|thread|threa|thre|thr|th { return tTHREAD; }
<INFO_CMD>exception|except|exc|ex	{ return tEXCEPTION; }
Alexandre Julliard's avatar
Alexandre Julliard committed
192
<INFO_CMD>registers|regs|reg|re		{ return tREGS; }
193 194
<INFO_CMD>allregs|allreg|allre          { return tALLREGS; }
<INFO_CMD>"all-registers"|"all-regs"|"all-reg"|"all-re" { return tALLREGS; }
Alexandre Julliard's avatar
Alexandre Julliard committed
195
<INFO_CMD>segments|segment|segm|seg|se	{ return tSEGMENTS; }
196
<INFO_CMD>stack|stac|sta|st     	{ return tSTACK; }
197
<INFO_CMD>symbol|symbo|symb|sym         { BEGIN(ASTRING_EXPECTED); return tSYMBOL; }
198 199
<INFO_CMD>maps|map			{ return tMAPS; }
<INFO_CMD>window|windo|wind|win|wnd	{ return tWND; }
Alexandre Julliard's avatar
Alexandre Julliard committed
200
<HELP_CMD>info|inf|in                   { return tINFO; }
201
<MAINT_CMD>type                         { return tTYPE; }
Alexandre Julliard's avatar
Alexandre Julliard committed
202

203
<INITIAL,SHOW_CMD>directories|directorie|directori|director|directo|direct|direc|direc|dir {
204
			                  BEGIN(PATH_EXPECTED); return tDIR; }
Alexandre Julliard's avatar
Alexandre Julliard committed
205

Alexandre Julliard's avatar
Alexandre Julliard committed
206 207 208 209 210 211 212 213 214 215 216
char					{ return tCHAR; }
short					{ return tSHORT; }
int					{ return tINT; }
long					{ return tLONG; }
float					{ return tFLOAT; }
double					{ return tDOUBLE; }
unsigned				{ return tUNSIGNED; }
signed					{ return tSIGNED; }
struct					{ return tSTRUCT; }
union					{ return tUNION; }
enum					{ return tENUM; }
217
all                                     { return tALL; }
Alexandre Julliard's avatar
Alexandre Julliard committed
218

219 220
{IDENTIFIER}				{ dbg_lval.string = lexeme_alloc(yytext); return tIDENTIFIER; }
"$"{IDENTIFIER}				{ dbg_lval.string = lexeme_alloc(yytext+1); return tINTVAR; }
Alexandre Julliard's avatar
Alexandre Julliard committed
221

222
<*>[ \t\r]+                             /* Eat up whitespace and DOS LF */
Alexandre Julliard's avatar
Alexandre Julliard committed
223

224
<NOPROCESS>.                            { BEGIN(ASTRING_EXPECTED); yyless(0); return tNOPROCESS;}
225
<*>.                                    { if (syntax_error == 0) { syntax_error++; dbg_printf("Syntax Error (%s)\n", yytext); } }
Alexandre Julliard's avatar
Alexandre Julliard committed
226 227
%%

228 229
#ifndef dbg_wrap
int dbg_wrap(void) { return 1; }
Alexandre Julliard's avatar
Alexandre Julliard committed
230 231
#endif

232 233 234
static char** local_lexemes /* = NULL */;
static int next_lexeme /* = 0 */;
static int alloc_lexeme /* = 0 */;
Alexandre Julliard's avatar
Alexandre Julliard committed
235

236
char* lexeme_alloc_size(int size)
237
{
238 239
    assert(0 <= next_lexeme && next_lexeme < alloc_lexeme + 1);
    if (next_lexeme >= alloc_lexeme)
240
    {
241 242 243
        alloc_lexeme += 32;
        local_lexemes = dbg_heap_realloc(local_lexemes, alloc_lexeme * sizeof(local_lexemes[0]));
        assert(local_lexemes);
244
    }
245 246 247 248 249 250 251
    return local_lexemes[next_lexeme++] = HeapAlloc(GetProcessHeap(), 0, size + 1);
}

char* lexeme_alloc(const char* lexeme)
{
    char*       ptr = lexeme_alloc_size(strlen(lexeme) + 1);
    return strcpy(ptr, lexeme);
Alexandre Julliard's avatar
Alexandre Julliard committed
252 253
}

254
void lexeme_flush(void)
Alexandre Julliard's avatar
Alexandre Julliard committed
255
{
256 257
    while (--next_lexeme >= 0) HeapFree(GetProcessHeap(), 0, local_lexemes[next_lexeme]);
    next_lexeme = 0;
Alexandre Julliard's avatar
Alexandre Julliard committed
258
}