%{ /* * Parser for command lines in the Wine debugger * * Copyright 1993 Eric Youngdale * Copyright 1995 Morten Welinder * Copyright 2000 Eric Pouech * * 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 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA */ #include "config.h" #include #include #include #include #include #include "wine/exception.h" #include "debugger.h" #include "expr.h" #include "excpt.h" static void mode_command(int); int yylex(void); int yyerror(char *); %} %union { DBG_VALUE value; char * string; int integer; struct list_id listing; struct expr * expression; struct datatype* type; } %token tCONT tPASS tSTEP tLIST tNEXT tQUIT tHELP tBACKTRACE tINFO tWALK tUP tDOWN %token tENABLE tDISABLE tBREAK tWATCH tDELETE tSET tMODE tPRINT tEXAM tABORT tVM86 %token tCLASS tMAPS tMODULE tSTACK tSEGMENTS tSYMBOL tREGS tWND tLOCAL tEXCEPTION %token tPROCESS tTHREAD tEOL tEOF %token tCLASS tMAPS tMODULE tSTACK tSEGMENTS tSYMBOL tREGS tWND tQUEUE tLOCAL tEXCEPTION %token tPROCESS tTHREAD tMODREF tEOL tEOF %token tFRAME tSHARE tCOND tDISPLAY tUNDISPLAY tDISASSEMBLE %token tSTEPI tNEXTI tFINISH tSHOW tDIR tWHATIS tSOURCE %token tPATH %token tIDENTIFIER tSTRING tDEBUGSTR tINTVAR %token tNUM tFORMAT %token tSYMBOLFILE tRUN tATTACH tDETACH tNOPROCESS %token tCHAR tSHORT tINT tLONG tFLOAT tDOUBLE tUNSIGNED tSIGNED %token tSTRUCT tUNION tENUM /* %left ',' */ /* %left '=' OP_OR_EQUAL OP_XOR_EQUAL OP_AND_EQUAL OP_SHL_EQUAL \ OP_SHR_EQUAL OP_PLUS_EQUAL OP_MINUS_EQUAL \ OP_TIMES_EQUAL OP_DIVIDE_EQUAL OP_MODULO_EQUAL */ /* %left OP_COND */ /* ... ? ... : ... */ %left OP_LOR %left OP_LAND %left '|' %left '^' %left '&' %left OP_EQ OP_NE %left '<' '>' OP_LE OP_GE %left OP_SHL OP_SHR %left '+' '-' %left '*' '/' '%' %left OP_SIGN '!' '~' OP_DEREF /* OP_INC OP_DEC OP_ADDR */ %left '.' '[' OP_DRF %nonassoc ':' %type expr lval lvalue %type type_expr %type expr_addr lval_addr %type expr_value %type pathname identifier %type list_arg %% input: line | input line ; line: command { DEBUG_FreeExprMem(); } | tEOL | tEOF { return 1; } | error tEOL { yyerrok; DEBUG_FreeExprMem(); } ; command: tQUIT tEOL { /*DEBUG_Quit();*/ return 1; } | tHELP tEOL { DEBUG_Help(); } | tHELP tINFO tEOL { DEBUG_HelpInfo(); } | tPASS tEOL { DEBUG_WaitNextException(DBG_EXCEPTION_NOT_HANDLED, 0, 0); } | tCONT tEOL { DEBUG_WaitNextException(DBG_CONTINUE, 1, EXEC_CONT); } | tCONT tNUM tEOL { DEBUG_WaitNextException(DBG_CONTINUE, $2, EXEC_CONT); } | tSTEP tEOL { DEBUG_WaitNextException(DBG_CONTINUE, 1, EXEC_STEP_INSTR); } | tSTEP tNUM tEOL { DEBUG_WaitNextException(DBG_CONTINUE, $2, EXEC_STEP_INSTR); } | tNEXT tEOL { DEBUG_WaitNextException(DBG_CONTINUE, 1, EXEC_STEP_OVER); } | tNEXT tNUM tEOL { DEBUG_WaitNextException(DBG_CONTINUE, $2, EXEC_STEP_OVER); } | tSTEPI tEOL { DEBUG_WaitNextException(DBG_CONTINUE, 1, EXEC_STEPI_INSTR); } | tSTEPI tNUM tEOL { DEBUG_WaitNextException(DBG_CONTINUE, $2, EXEC_STEPI_INSTR); } | tNEXTI tEOL { DEBUG_WaitNextException(DBG_CONTINUE, 1, EXEC_STEPI_OVER); } | tNEXTI tNUM tEOL { DEBUG_WaitNextException(DBG_CONTINUE, $2, EXEC_STEPI_OVER); } | tFINISH tEOL { DEBUG_WaitNextException(DBG_CONTINUE, 0, EXEC_FINISH); } | tABORT tEOL { kill(getpid(), SIGABRT); } | tMODE tNUM tEOL { mode_command($2); } | tMODE tVM86 tEOL { DEBUG_CurrThread->dbg_mode = MODE_VM86; } | tENABLE tNUM tEOL { DEBUG_EnableBreakpoint( $2, TRUE ); } | tDISABLE tNUM tEOL { DEBUG_EnableBreakpoint( $2, FALSE ); } | tDELETE tBREAK tNUM tEOL { DEBUG_DelBreakpoint( $3 ); } | tBACKTRACE tEOL { DEBUG_BackTrace(DEBUG_CurrTid, TRUE); } | tBACKTRACE tNUM tEOL { DEBUG_BackTrace($2, TRUE); } | tUP tEOL { DEBUG_SetFrame( curr_frame + 1 ); } | tUP tNUM tEOL { DEBUG_SetFrame( curr_frame + $2 ); } | tDOWN tEOL { DEBUG_SetFrame( curr_frame - 1 ); } | tDOWN tNUM tEOL { DEBUG_SetFrame( curr_frame - $2 ); } | tFRAME tNUM tEOL { DEBUG_SetFrame( $2 ); } | tSHOW tDIR tEOL { DEBUG_ShowDir(); } | tDIR pathname tEOL { DEBUG_AddPath( $2 ); } | tDIR tEOL { DEBUG_NukePath(); } | tDISPLAY tEOL { DEBUG_InfoDisplay(); } | tDISPLAY expr tEOL { DEBUG_AddDisplay($2, 1, 0); } | tDISPLAY tFORMAT expr tEOL{ DEBUG_AddDisplay($3, $2 >> 8, $2 & 0xff); } | tDELETE tDISPLAY tNUM tEOL{ DEBUG_DelDisplay( $3 ); } | tDELETE tDISPLAY tEOL { DEBUG_DelDisplay( -1 ); } | tUNDISPLAY tNUM tEOL { DEBUG_DelDisplay( $2 ); } | tUNDISPLAY tEOL { DEBUG_DelDisplay( -1 ); } | tCOND tNUM tEOL { DEBUG_AddBPCondition($2, NULL); } | tCOND tNUM expr tEOL { DEBUG_AddBPCondition($2, $3); } | tSOURCE pathname tEOL { DEBUG_Parser($2); } | tSYMBOLFILE pathname tEOL { DEBUG_ReadSymbolTable($2, 0); } | tSYMBOLFILE pathname expr_value tEOL { DEBUG_ReadSymbolTable($2, $3); } | tWHATIS expr_addr tEOL { DEBUG_PrintType(&$2); } | tATTACH tNUM tEOL { DEBUG_Attach($2, FALSE, TRUE); } | tDETACH tEOL { return DEBUG_Detach(); /* FIXME: we shouldn't return, but since we cannot simply clean the symbol table, exit debugger for now */ } | list_command | disassemble_command | set_command | x_command | print_command | break_command | watch_command | info_command | walk_command | run_command | noprocess_state ; set_command: tSET lval_addr '=' expr_value tEOL { DEBUG_WriteMemory(&$2, $4); } | tSET '+' tIDENTIFIER tEOL { DEBUG_DbgChannel(TRUE, NULL, $3); } | tSET '-' tIDENTIFIER tEOL { DEBUG_DbgChannel(FALSE, NULL, $3); } | tSET tIDENTIFIER '+' tIDENTIFIER tEOL { DEBUG_DbgChannel(TRUE, $2, $4); } | tSET tIDENTIFIER '-' tIDENTIFIER tEOL { DEBUG_DbgChannel(FALSE, $2, $4); } ; pathname: tIDENTIFIER { $$ = $1; } | tPATH { $$ = $1; } ; disassemble_command: tDISASSEMBLE tEOL { DEBUG_Disassemble( NULL, NULL, 10 ); } | tDISASSEMBLE expr_addr tEOL { DEBUG_Disassemble( & $2, NULL, 10 ); } | tDISASSEMBLE expr_addr ',' expr_addr tEOL { DEBUG_Disassemble( & $2, & $4, 0 ); } ; list_command: tLIST tEOL { DEBUG_List( NULL, NULL, 10 ); } | tLIST '-' tEOL { DEBUG_List( NULL, NULL, -10 ); } | tLIST list_arg tEOL { DEBUG_List( & $2, NULL, 10 ); } | tLIST ',' list_arg tEOL { DEBUG_List( NULL, & $3, -10 ); } | tLIST list_arg ',' list_arg tEOL { DEBUG_List( & $2, & $4, 0 ); } ; list_arg: tNUM { $$.sourcefile = NULL; $$.line = $1; } | pathname ':' tNUM { $$.sourcefile = $1; $$.line = $3; } | tIDENTIFIER { DEBUG_GetFuncInfo( & $$, NULL, $1); } | pathname ':' tIDENTIFIER { DEBUG_GetFuncInfo( & $$, $1, $3); } | '*' expr_addr { DEBUG_FindNearestSymbol( & $2.addr, FALSE, NULL, 0, & $$ ); } ; x_command: tEXAM expr_addr tEOL { DEBUG_ExamineMemory( &$2, 1, 'x'); } | tEXAM tFORMAT expr_addr tEOL { DEBUG_ExamineMemory( &$3, $2>>8, $2&0xff ); } ; print_command: tPRINT expr_addr tEOL { DEBUG_Print( &$2, 1, 0, 0 ); } | tPRINT tFORMAT expr_addr tEOL { DEBUG_Print( &$3, $2 >> 8, $2 & 0xff, 0 ); } ; break_command: tBREAK '*' expr_addr tEOL{ DEBUG_AddBreakpointFromValue( &$3 ); } | tBREAK identifier tEOL { DEBUG_AddBreakpointFromId($2, -1); } | tBREAK identifier ':' tNUM tEOL { DEBUG_AddBreakpointFromId($2, $4); } | tBREAK tNUM tEOL { DEBUG_AddBreakpointFromLineno($2); } | tBREAK tEOL { DEBUG_AddBreakpointFromLineno(-1); } ; watch_command: tWATCH '*' expr_addr tEOL { DEBUG_AddWatchpoint( &$3, 1 ); } | tWATCH identifier tEOL { DEBUG_AddWatchpointFromId($2); } ; info_command: tINFO tBREAK tEOL { DEBUG_InfoBreakpoints(); } | tINFO tCLASS tSTRING tEOL { DEBUG_InfoClass( $3 ); } | tINFO tSHARE tEOL { DEBUG_InfoShare(); } | tINFO tMODULE expr_value tEOL { DEBUG_DumpModule( $3 ); } | tINFO tREGS tEOL { DEBUG_InfoRegisters(&DEBUG_context); } | tINFO tSEGMENTS expr_value tEOL { DEBUG_InfoSegments( $3, 1 ); } | tINFO tSEGMENTS tEOL { DEBUG_InfoSegments( 0, -1 ); } | tINFO tSTACK tEOL { DEBUG_InfoStack(); } | tINFO tSYMBOL tSTRING tEOL{ DEBUG_InfoSymbols($3); } | tINFO tWND expr_value tEOL{ DEBUG_InfoWindow( (HWND)$3 ); } | tINFO tLOCAL tEOL { DEBUG_InfoLocals(); } | tINFO tDISPLAY tEOL { DEBUG_InfoDisplay(); } ; walk_command: tWALK tCLASS tEOL { DEBUG_WalkClasses(); } | tWALK tMODULE tEOL { DEBUG_WalkModules(); } | tWALK tWND tEOL { DEBUG_WalkWindows( 0, 0 ); } | tWALK tWND expr_value tEOL{ DEBUG_WalkWindows( (HWND)$3, 0 ); } | tWALK tMAPS tEOL { DEBUG_InfoVirtual(0); } | tWALK tMAPS expr_value tEOL { DEBUG_InfoVirtual($3); } | tWALK tPROCESS tEOL { DEBUG_WalkProcess(); } | tWALK tTHREAD tEOL { DEBUG_WalkThreads(); } | tWALK tEXCEPTION tEOL { DEBUG_WalkExceptions(DEBUG_CurrTid); } | tWALK tEXCEPTION expr_value tEOL{ DEBUG_WalkExceptions($3); } ; run_command: tRUN tEOL { DEBUG_Run(NULL); } | tRUN tSTRING tEOL { DEBUG_Run($2); } ; noprocess_state: tNOPROCESS tEOL {} /* shall not barf anything */ | tNOPROCESS tSTRING tEOL { DEBUG_Printf(DBG_CHN_MESG, "No process loaded, cannot execute '%s'\n", $2); } ; type_expr: type_expr '*' { $$ = $1 ? DEBUG_FindOrMakePointerType($1) : NULL; } | tINT { $$ = DEBUG_GetBasicType(DT_BASIC_INT); } | tCHAR { $$ = DEBUG_GetBasicType(DT_BASIC_CHAR); } | tLONG tINT { $$ = DEBUG_GetBasicType(DT_BASIC_LONGINT); } | tUNSIGNED tINT { $$ = DEBUG_GetBasicType(DT_BASIC_UINT); } | tLONG tUNSIGNED tINT { $$ = DEBUG_GetBasicType(DT_BASIC_ULONGINT); } | tLONG tLONG tINT { $$ = DEBUG_GetBasicType(DT_BASIC_LONGLONGINT); } | tLONG tLONG tUNSIGNED tINT{ $$ = DEBUG_GetBasicType(DT_BASIC_ULONGLONGINT); } | tSHORT tINT { $$ = DEBUG_GetBasicType(DT_BASIC_SHORTINT); } | tSHORT tUNSIGNED tINT { $$ = DEBUG_GetBasicType(DT_BASIC_USHORTINT); } | tSIGNED tCHAR { $$ = DEBUG_GetBasicType(DT_BASIC_SCHAR); } | tUNSIGNED tCHAR { $$ = DEBUG_GetBasicType(DT_BASIC_UCHAR); } | tFLOAT { $$ = DEBUG_GetBasicType(DT_BASIC_FLOAT); } | tDOUBLE { $$ = DEBUG_GetBasicType(DT_BASIC_DOUBLE); } | tLONG tDOUBLE { $$ = DEBUG_GetBasicType(DT_BASIC_LONGDOUBLE); } | tSTRUCT tIDENTIFIER { $$ = DEBUG_TypeCast(DT_STRUCT, $2); } | tUNION tIDENTIFIER { $$ = DEBUG_TypeCast(DT_STRUCT, $2); } | tENUM tIDENTIFIER { $$ = DEBUG_TypeCast(DT_ENUM, $2); } ; expr_addr: expr { $$ = DEBUG_EvalExpr($1); } ; expr_value: expr { DBG_VALUE value = DEBUG_EvalExpr($1); /* expr_value is typed as an integer */ $$ = DEBUG_ReadMemory(&value); } ; /* * The expr rule builds an expression tree. When we are done, we call * EvalExpr to evaluate the value of the expression. The advantage of * the two-step approach is that it is possible to save expressions for * use in 'display' commands, and in conditional watchpoints. */ expr: tNUM { $$ = DEBUG_ConstExpr($1); } | tSTRING { $$ = DEBUG_StringExpr($1); } | tINTVAR { $$ = DEBUG_IntVarExpr($1); } | tIDENTIFIER { $$ = DEBUG_SymbolExpr($1); } | expr OP_DRF tIDENTIFIER { $$ = DEBUG_StructPExpr($1, $3); } | expr '.' tIDENTIFIER { $$ = DEBUG_StructExpr($1, $3); } | tIDENTIFIER '(' ')' { $$ = DEBUG_CallExpr($1, 0); } | tIDENTIFIER '(' expr ')' { $$ = DEBUG_CallExpr($1, 1, $3); } | tIDENTIFIER '(' expr ',' expr ')' { $$ = DEBUG_CallExpr($1, 2, $3, $5); } | tIDENTIFIER '(' expr ',' expr ',' expr ')' { $$ = DEBUG_CallExpr($1, 3, $3, $5, $7); } | tIDENTIFIER '(' expr ',' expr ',' expr ',' expr ')' { $$ = DEBUG_CallExpr($1, 4, $3, $5, $7, $9); } | tIDENTIFIER '(' expr ',' expr ',' expr ',' expr ',' expr ')' { $$ = DEBUG_CallExpr($1, 5, $3, $5, $7, $9, $11); } | expr '[' expr ']' { $$ = DEBUG_BinopExpr(EXP_OP_ARR, $1, $3); } | expr ':' expr { $$ = DEBUG_BinopExpr(EXP_OP_SEG, $1, $3); } | expr OP_LOR expr { $$ = DEBUG_BinopExpr(EXP_OP_LOR, $1, $3); } | expr OP_LAND expr { $$ = DEBUG_BinopExpr(EXP_OP_LAND, $1, $3); } | expr '|' expr { $$ = DEBUG_BinopExpr(EXP_OP_OR, $1, $3); } | expr '&' expr { $$ = DEBUG_BinopExpr(EXP_OP_AND, $1, $3); } | expr '^' expr { $$ = DEBUG_BinopExpr(EXP_OP_XOR, $1, $3); } | expr OP_EQ expr { $$ = DEBUG_BinopExpr(EXP_OP_EQ, $1, $3); } | expr '>' expr { $$ = DEBUG_BinopExpr(EXP_OP_GT, $1, $3); } | expr '<' expr { $$ = DEBUG_BinopExpr(EXP_OP_LT, $1, $3); } | expr OP_GE expr { $$ = DEBUG_BinopExpr(EXP_OP_GE, $1, $3); } | expr OP_LE expr { $$ = DEBUG_BinopExpr(EXP_OP_LE, $1, $3); } | expr OP_NE expr { $$ = DEBUG_BinopExpr(EXP_OP_NE, $1, $3); } | expr OP_SHL expr { $$ = DEBUG_BinopExpr(EXP_OP_SHL, $1, $3); } | expr OP_SHR expr { $$ = DEBUG_BinopExpr(EXP_OP_SHR, $1, $3); } | expr '+' expr { $$ = DEBUG_BinopExpr(EXP_OP_ADD, $1, $3); } | expr '-' expr { $$ = DEBUG_BinopExpr(EXP_OP_SUB, $1, $3); } | expr '*' expr { $$ = DEBUG_BinopExpr(EXP_OP_MUL, $1, $3); } | expr '/' expr { $$ = DEBUG_BinopExpr(EXP_OP_DIV, $1, $3); } | expr '%' expr { $$ = DEBUG_BinopExpr(EXP_OP_REM, $1, $3); } | '-' expr %prec OP_SIGN { $$ = DEBUG_UnopExpr(EXP_OP_NEG, $2); } | '+' expr %prec OP_SIGN { $$ = $2; } | '!' expr { $$ = DEBUG_UnopExpr(EXP_OP_NOT, $2); } | '~' expr { $$ = DEBUG_UnopExpr(EXP_OP_LNOT, $2); } | '(' expr ')' { $$ = $2; } | '*' expr %prec OP_DEREF { $$ = DEBUG_UnopExpr(EXP_OP_DEREF, $2); } | '&' expr %prec OP_DEREF { $$ = DEBUG_UnopExpr(EXP_OP_ADDR, $2); } | '(' type_expr ')' expr %prec OP_DEREF { $$ = DEBUG_TypeCastExpr($2, $4); } ; /* * The lvalue rule builds an expression tree. This is a limited form * of expression that is suitable to be used as an lvalue. */ lval_addr: lval { $$ = DEBUG_EvalExpr($1); } ; lval: lvalue { $$ = $1; } | '*' expr { $$ = DEBUG_UnopExpr(EXP_OP_FORCE_DEREF, $2); } ; lvalue: tNUM { $$ = DEBUG_ConstExpr($1); } | tINTVAR { $$ = DEBUG_IntVarExpr($1); } | tIDENTIFIER { $$ = DEBUG_SymbolExpr($1); } | lvalue OP_DRF tIDENTIFIER { $$ = DEBUG_StructPExpr($1, $3); } | lvalue '.' tIDENTIFIER { $$ = DEBUG_StructExpr($1, $3); } | lvalue '[' expr ']' { $$ = DEBUG_BinopExpr(EXP_OP_ARR, $1, $3); } ; identifier: tIDENTIFIER { $$ = $1; } | identifier '.' tIDENTIFIER { char* ptr = DBG_alloc(strlen($1) + 1 + strlen($3)+ 1); sprintf(ptr, "%s.%s", $1, $3); $$ = DEBUG_MakeSymbol(ptr); DBG_free(ptr); } | identifier ':' ':' tIDENTIFIER { char* ptr = DBG_alloc(strlen($1) + 2 + strlen($4) + 1); sprintf(ptr, "%s::%s", $1, $4); $$ = DEBUG_MakeSymbol(ptr); DBG_free(ptr); } ; %% static void mode_command(int newmode) { switch(newmode) { case 16: DEBUG_CurrThread->dbg_mode = MODE_16; break; case 32: DEBUG_CurrThread->dbg_mode = MODE_32; break; default: DEBUG_Printf(DBG_CHN_MESG,"Invalid mode (use 16, 32 or vm86)\n"); } } void DEBUG_Exit(DWORD ec) { ExitProcess(ec); } static WINE_EXCEPTION_FILTER(wine_dbg_cmd) { DEBUG_Printf(DBG_CHN_MESG, "\nwine_dbg_cmd: "); switch (GetExceptionCode()) { case DEBUG_STATUS_INTERNAL_ERROR: DEBUG_Printf(DBG_CHN_MESG, "WineDbg internal error\n"); break; case DEBUG_STATUS_NO_SYMBOL: DEBUG_Printf(DBG_CHN_MESG, "Undefined symbol\n"); break; case DEBUG_STATUS_DIV_BY_ZERO: DEBUG_Printf(DBG_CHN_MESG, "Division by zero\n"); break; case DEBUG_STATUS_BAD_TYPE: DEBUG_Printf(DBG_CHN_MESG, "No type or type mismatch\n"); break; case DEBUG_STATUS_NO_FIELD: DEBUG_Printf(DBG_CHN_MESG, "No such field in structure or union\n"); break; case DEBUG_STATUS_ABORT: break; default: DEBUG_Printf(DBG_CHN_MESG, "Exception %lx\n", GetExceptionCode()); DEBUG_ExternalDebugger(); break; } return EXCEPTION_EXECUTE_HANDLER; } static void set_default_channels(void) { DEBUG_hParserOutput = GetStdHandle(STD_OUTPUT_HANDLE); DEBUG_hParserInput = GetStdHandle(STD_INPUT_HANDLE); } /*********************************************************************** * DEBUG_Parser * * Debugger command line parser */ void DEBUG_Parser(LPCSTR filename) { BOOL ret_ok; #ifdef YYDEBUG yydebug = 0; #endif ret_ok = FALSE; if (filename) { DEBUG_hParserOutput = 0; DEBUG_hParserInput = CreateFile(filename, GENERIC_READ, FILE_SHARE_READ, NULL, OPEN_EXISTING, 0L, 0); if (DEBUG_hParserInput == INVALID_HANDLE_VALUE) { set_default_channels(); return; } } else set_default_channels(); do { __TRY { ret_ok = TRUE; yyparse(); } __EXCEPT(wine_dbg_cmd) { ret_ok = FALSE; } __ENDTRY; DEBUG_FlushSymbols(); } while (!ret_ok); if (filename) CloseHandle(DEBUG_hParserInput); set_default_channels(); } int yyerror(char* s) { DEBUG_Printf(DBG_CHN_MESG, "%s\n", s); return 0; }