db_command.c revision 1.3 1 1.1 cgd /*
2 1.1 cgd * Mach Operating System
3 1.1 cgd * Copyright (c) 1991,1990 Carnegie Mellon University
4 1.1 cgd * All Rights Reserved.
5 1.1 cgd *
6 1.1 cgd * Permission to use, copy, modify and distribute this software and its
7 1.1 cgd * documentation is hereby granted, provided that both the copyright
8 1.1 cgd * notice and this permission notice appear in all copies of the
9 1.1 cgd * software, derivative works or modified versions, and any portions
10 1.1 cgd * thereof, and that both notices appear in supporting documentation.
11 1.1 cgd *
12 1.1 cgd * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS
13 1.1 cgd * CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
14 1.1 cgd * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
15 1.1 cgd *
16 1.1 cgd * Carnegie Mellon requests users of this software to return to
17 1.1 cgd *
18 1.1 cgd * Software Distribution Coordinator or Software.Distribution (at) CS.CMU.EDU
19 1.1 cgd * School of Computer Science
20 1.1 cgd * Carnegie Mellon University
21 1.1 cgd * Pittsburgh PA 15213-3890
22 1.1 cgd *
23 1.1 cgd * any improvements or extensions that they make and grant Carnegie the
24 1.1 cgd * rights to redistribute these changes.
25 1.1 cgd */
26 1.1 cgd /*
27 1.3 cgd * $Id: db_command.c,v 1.3 1993/05/20 03:39:10 cgd Exp $
28 1.3 cgd *
29 1.1 cgd * HISTORY
30 1.3 cgd * $Log: db_command.c,v $
31 1.3 cgd * Revision 1.3 1993/05/20 03:39:10 cgd
32 1.3 cgd * add explicit rcs id
33 1.3 cgd *
34 1.2 cgd * Revision 1.2 1993/03/21 18:08:04 cgd
35 1.2 cgd * after 0.2.2 "stable" patches applied
36 1.2 cgd *
37 1.1 cgd * Revision 1.1.1.1 93/03/21 09:46:26 cgd
38 1.1 cgd * initial import of 386bsd-0.1 sources
39 1.1 cgd *
40 1.1 cgd * Revision 1.1 1992/03/25 21:45:02 pace
41 1.1 cgd * Initial revision
42 1.1 cgd *
43 1.1 cgd * Revision 2.6 91/02/05 17:06:10 mrt
44 1.1 cgd * Changed to new Mach copyright
45 1.1 cgd * [91/01/31 16:17:18 mrt]
46 1.1 cgd *
47 1.1 cgd * Revision 2.5 91/01/08 17:31:54 rpd
48 1.1 cgd * Forward reference for db_fncall();
49 1.1 cgd * [91/01/04 12:35:17 rvb]
50 1.1 cgd *
51 1.1 cgd * Add call as a synonym for ! and match for next
52 1.1 cgd * [91/01/04 12:14:48 rvb]
53 1.1 cgd *
54 1.1 cgd * Revision 2.4 90/11/07 16:49:15 rpd
55 1.1 cgd * Added search.
56 1.1 cgd * [90/11/06 rpd]
57 1.1 cgd *
58 1.1 cgd * Revision 2.3 90/10/25 14:43:45 rwd
59 1.1 cgd * Changed db_fncall to print the result unsigned.
60 1.1 cgd * [90/10/19 rpd]
61 1.1 cgd *
62 1.1 cgd * Added CS_MORE to db_watchpoint_cmd.
63 1.1 cgd * [90/10/17 rpd]
64 1.1 cgd * Added watchpoint commands: watch, dwatch, show watches.
65 1.1 cgd * [90/10/16 rpd]
66 1.1 cgd *
67 1.1 cgd * Revision 2.2 90/08/27 21:50:10 dbg
68 1.1 cgd * Remove 'listbreaks' - use 'show breaks' instead. Change 'show
69 1.1 cgd * threads' to 'show all threads' to avoid clash with 'show thread'.
70 1.1 cgd * Set 'dot' here from db_prev or db_next, depending on 'db_ed_style'
71 1.1 cgd * flag and syntax table.
72 1.1 cgd * [90/08/22 dbg]
73 1.1 cgd * Reduce lint.
74 1.1 cgd * [90/08/07 dbg]
75 1.1 cgd * Created.
76 1.1 cgd * [90/07/25 dbg]
77 1.1 cgd *
78 1.1 cgd */
79 1.1 cgd /*
80 1.1 cgd * Author: David B. Golub, Carnegie Mellon University
81 1.1 cgd * Date: 7/90
82 1.1 cgd */
83 1.1 cgd /*
84 1.1 cgd * Command dispatcher.
85 1.1 cgd */
86 1.1 cgd #include "param.h"
87 1.1 cgd #include "proc.h"
88 1.1 cgd #include <machine/db_machdep.h> /* type definitions */
89 1.1 cgd
90 1.1 cgd #include <ddb/db_lex.h>
91 1.1 cgd #include <ddb/db_output.h>
92 1.1 cgd
93 1.1 cgd #include <setjmp.h>
94 1.1 cgd
95 1.1 cgd /*
96 1.1 cgd * Exported global variables
97 1.1 cgd */
98 1.1 cgd boolean_t db_cmd_loop_done;
99 1.1 cgd jmp_buf db_jmpbuf;
100 1.1 cgd db_addr_t db_dot;
101 1.1 cgd db_addr_t db_last_addr;
102 1.1 cgd db_addr_t db_prev;
103 1.1 cgd db_addr_t db_next;
104 1.1 cgd
105 1.1 cgd /*
106 1.1 cgd * if 'ed' style: 'dot' is set at start of last item printed,
107 1.1 cgd * and '+' points to next line.
108 1.1 cgd * Otherwise: 'dot' points to next item, '..' points to last.
109 1.1 cgd */
110 1.1 cgd boolean_t db_ed_style = TRUE;
111 1.1 cgd
112 1.1 cgd
113 1.1 cgd /*
114 1.1 cgd * Utility routine - discard tokens through end-of-line.
115 1.1 cgd */
116 1.1 cgd void
117 1.1 cgd db_skip_to_eol()
118 1.1 cgd {
119 1.1 cgd int t;
120 1.1 cgd do {
121 1.1 cgd t = db_read_token();
122 1.1 cgd } while (t != tEOL);
123 1.1 cgd }
124 1.1 cgd
125 1.1 cgd /*
126 1.1 cgd * Command table
127 1.1 cgd */
128 1.1 cgd struct command {
129 1.1 cgd char * name; /* command name */
130 1.1 cgd void (*fcn)(); /* function to call */
131 1.1 cgd int flag; /* extra info: */
132 1.1 cgd #define CS_OWN 0x1 /* non-standard syntax */
133 1.1 cgd #define CS_MORE 0x2 /* standard syntax, but may have other
134 1.1 cgd words at end */
135 1.1 cgd #define CS_SET_DOT 0x100 /* set dot after command */
136 1.1 cgd struct command *more; /* another level of command */
137 1.1 cgd };
138 1.1 cgd
139 1.1 cgd /*
140 1.1 cgd * Results of command search.
141 1.1 cgd */
142 1.1 cgd #define CMD_UNIQUE 0
143 1.1 cgd #define CMD_FOUND 1
144 1.1 cgd #define CMD_NONE 2
145 1.1 cgd #define CMD_AMBIGUOUS 3
146 1.1 cgd #define CMD_HELP 4
147 1.1 cgd
148 1.1 cgd /*
149 1.1 cgd * Search for command prefix.
150 1.1 cgd */
151 1.1 cgd int
152 1.1 cgd db_cmd_search(name, table, cmdp)
153 1.1 cgd char * name;
154 1.1 cgd struct command *table;
155 1.1 cgd struct command **cmdp; /* out */
156 1.1 cgd {
157 1.1 cgd struct command *cmd;
158 1.1 cgd int result = CMD_NONE;
159 1.1 cgd
160 1.1 cgd for (cmd = table; cmd->name != 0; cmd++) {
161 1.1 cgd register char *lp;
162 1.1 cgd register char *rp;
163 1.1 cgd register int c;
164 1.1 cgd
165 1.1 cgd lp = name;
166 1.1 cgd rp = cmd->name;
167 1.1 cgd while ((c = *lp) == *rp) {
168 1.1 cgd if (c == 0) {
169 1.1 cgd /* complete match */
170 1.1 cgd *cmdp = cmd;
171 1.1 cgd return (CMD_UNIQUE);
172 1.1 cgd }
173 1.1 cgd lp++;
174 1.1 cgd rp++;
175 1.1 cgd }
176 1.1 cgd if (c == 0) {
177 1.1 cgd /* end of name, not end of command -
178 1.1 cgd partial match */
179 1.1 cgd if (result == CMD_FOUND) {
180 1.1 cgd result = CMD_AMBIGUOUS;
181 1.1 cgd /* but keep looking for a full match -
182 1.1 cgd this lets us match single letters */
183 1.1 cgd }
184 1.1 cgd else {
185 1.1 cgd *cmdp = cmd;
186 1.1 cgd result = CMD_FOUND;
187 1.1 cgd }
188 1.1 cgd }
189 1.1 cgd }
190 1.1 cgd if (result == CMD_NONE) {
191 1.1 cgd /* check for 'help' */
192 1.1 cgd if (name[0] == 'h' && name[1] == 'e'
193 1.1 cgd && name[2] == 'l' && name[3] == 'p')
194 1.1 cgd result = CMD_HELP;
195 1.1 cgd }
196 1.1 cgd return (result);
197 1.1 cgd }
198 1.1 cgd
199 1.1 cgd void
200 1.1 cgd db_cmd_list(table)
201 1.1 cgd struct command *table;
202 1.1 cgd {
203 1.1 cgd register struct command *cmd;
204 1.1 cgd
205 1.1 cgd for (cmd = table; cmd->name != 0; cmd++) {
206 1.1 cgd db_printf("%-12s", cmd->name);
207 1.1 cgd db_end_line();
208 1.1 cgd }
209 1.1 cgd }
210 1.1 cgd
211 1.1 cgd void
212 1.1 cgd db_command(last_cmdp, cmd_table)
213 1.1 cgd struct command **last_cmdp; /* IN_OUT */
214 1.1 cgd struct command *cmd_table;
215 1.1 cgd {
216 1.1 cgd struct command *cmd;
217 1.1 cgd int t;
218 1.1 cgd char modif[TOK_STRING_SIZE];
219 1.1 cgd db_expr_t addr, count;
220 1.1 cgd boolean_t have_addr;
221 1.1 cgd int result;
222 1.1 cgd
223 1.1 cgd t = db_read_token();
224 1.1 cgd if (t == tEOL) {
225 1.1 cgd /* empty line repeats last command, at 'next' */
226 1.1 cgd cmd = *last_cmdp;
227 1.1 cgd addr = (db_expr_t)db_next;
228 1.1 cgd have_addr = FALSE;
229 1.1 cgd count = 1;
230 1.1 cgd modif[0] = '\0';
231 1.1 cgd }
232 1.1 cgd else if (t == tEXCL) {
233 1.1 cgd void db_fncall();
234 1.1 cgd db_fncall();
235 1.1 cgd return;
236 1.1 cgd }
237 1.1 cgd else if (t != tIDENT) {
238 1.1 cgd db_printf("?\n");
239 1.1 cgd db_flush_lex();
240 1.1 cgd return;
241 1.1 cgd }
242 1.1 cgd else {
243 1.1 cgd /*
244 1.1 cgd * Search for command
245 1.1 cgd */
246 1.1 cgd while (cmd_table) {
247 1.1 cgd result = db_cmd_search(db_tok_string,
248 1.1 cgd cmd_table,
249 1.1 cgd &cmd);
250 1.1 cgd switch (result) {
251 1.1 cgd case CMD_NONE:
252 1.1 cgd db_printf("No such command\n");
253 1.1 cgd db_flush_lex();
254 1.1 cgd return;
255 1.1 cgd case CMD_AMBIGUOUS:
256 1.1 cgd db_printf("Ambiguous\n");
257 1.1 cgd db_flush_lex();
258 1.1 cgd return;
259 1.1 cgd case CMD_HELP:
260 1.1 cgd db_cmd_list(cmd_table);
261 1.1 cgd db_flush_lex();
262 1.1 cgd return;
263 1.1 cgd default:
264 1.1 cgd break;
265 1.1 cgd }
266 1.1 cgd if ((cmd_table = cmd->more) != 0) {
267 1.1 cgd t = db_read_token();
268 1.1 cgd if (t != tIDENT) {
269 1.1 cgd db_cmd_list(cmd_table);
270 1.1 cgd db_flush_lex();
271 1.1 cgd return;
272 1.1 cgd }
273 1.1 cgd }
274 1.1 cgd }
275 1.1 cgd
276 1.1 cgd if ((cmd->flag & CS_OWN) == 0) {
277 1.1 cgd /*
278 1.1 cgd * Standard syntax:
279 1.1 cgd * command [/modifier] [addr] [,count]
280 1.1 cgd */
281 1.1 cgd t = db_read_token();
282 1.1 cgd if (t == tSLASH) {
283 1.1 cgd t = db_read_token();
284 1.1 cgd if (t != tIDENT) {
285 1.1 cgd db_printf("Bad modifier\n");
286 1.1 cgd db_flush_lex();
287 1.1 cgd return;
288 1.1 cgd }
289 1.1 cgd db_strcpy(modif, db_tok_string);
290 1.1 cgd }
291 1.1 cgd else {
292 1.1 cgd db_unread_token(t);
293 1.1 cgd modif[0] = '\0';
294 1.1 cgd }
295 1.1 cgd
296 1.1 cgd if (db_expression(&addr)) {
297 1.1 cgd db_dot = (db_addr_t) addr;
298 1.1 cgd db_last_addr = db_dot;
299 1.1 cgd have_addr = TRUE;
300 1.1 cgd }
301 1.1 cgd else {
302 1.1 cgd addr = (db_expr_t) db_dot;
303 1.1 cgd have_addr = FALSE;
304 1.1 cgd }
305 1.1 cgd t = db_read_token();
306 1.1 cgd if (t == tCOMMA) {
307 1.1 cgd if (!db_expression(&count)) {
308 1.1 cgd db_printf("Count missing\n");
309 1.1 cgd db_flush_lex();
310 1.1 cgd return;
311 1.1 cgd }
312 1.1 cgd }
313 1.1 cgd else {
314 1.1 cgd db_unread_token(t);
315 1.1 cgd count = -1;
316 1.1 cgd }
317 1.1 cgd if ((cmd->flag & CS_MORE) == 0) {
318 1.1 cgd db_skip_to_eol();
319 1.1 cgd }
320 1.1 cgd }
321 1.1 cgd }
322 1.1 cgd *last_cmdp = cmd;
323 1.1 cgd if (cmd != 0) {
324 1.1 cgd /*
325 1.1 cgd * Execute the command.
326 1.1 cgd */
327 1.1 cgd (*cmd->fcn)(addr, have_addr, count, modif);
328 1.1 cgd
329 1.1 cgd if (cmd->flag & CS_SET_DOT) {
330 1.1 cgd /*
331 1.1 cgd * If command changes dot, set dot to
332 1.1 cgd * previous address displayed (if 'ed' style).
333 1.1 cgd */
334 1.1 cgd if (db_ed_style) {
335 1.1 cgd db_dot = db_prev;
336 1.1 cgd }
337 1.1 cgd else {
338 1.1 cgd db_dot = db_next;
339 1.1 cgd }
340 1.1 cgd }
341 1.1 cgd else {
342 1.1 cgd /*
343 1.1 cgd * If command does not change dot,
344 1.1 cgd * set 'next' location to be the same.
345 1.1 cgd */
346 1.1 cgd db_next = db_dot;
347 1.1 cgd }
348 1.1 cgd }
349 1.1 cgd }
350 1.1 cgd
351 1.1 cgd /*
352 1.1 cgd * 'show' commands
353 1.1 cgd */
354 1.1 cgd extern void db_listbreak_cmd();
355 1.1 cgd extern void db_listwatch_cmd();
356 1.1 cgd extern void db_show_regs(), db_show_one_thread(), db_show_all_threads();
357 1.1 cgd extern void vm_map_print(), vm_object_print(), vm_page_print();
358 1.1 cgd extern void ipc_port_print();
359 1.1 cgd void db_show_help();
360 1.1 cgd
361 1.1 cgd struct command db_show_all_cmds[] = {
362 1.1 cgd #if 0
363 1.1 cgd { "threads", db_show_all_threads,0, 0 },
364 1.1 cgd #endif
365 1.1 cgd { (char *)0 }
366 1.1 cgd };
367 1.1 cgd
368 1.1 cgd struct command db_show_cmds[] = {
369 1.1 cgd { "all", 0, 0, db_show_all_cmds },
370 1.1 cgd { "registers", db_show_regs, 0, 0 },
371 1.1 cgd { "breaks", db_listbreak_cmd, 0, 0 },
372 1.1 cgd { "watches", db_listwatch_cmd, 0, 0 },
373 1.1 cgd #if 0
374 1.1 cgd { "thread", db_show_one_thread, 0, 0 },
375 1.1 cgd #endif
376 1.1 cgd { "map", vm_map_print, 0, 0 },
377 1.1 cgd { "object", vm_object_print, 0, 0 },
378 1.1 cgd #if 0
379 1.1 cgd { "page", vm_page_print, 0, 0 },
380 1.1 cgd #endif
381 1.1 cgd #if 0
382 1.1 cgd { "port", ipc_port_print, 0, 0 },
383 1.1 cgd #endif
384 1.1 cgd { (char *)0, }
385 1.1 cgd };
386 1.1 cgd
387 1.1 cgd extern void db_print_cmd(), db_examine_cmd(), db_set_cmd();
388 1.1 cgd extern void db_search_cmd();
389 1.1 cgd extern void db_write_cmd();
390 1.1 cgd extern void db_delete_cmd(), db_breakpoint_cmd();
391 1.1 cgd extern void db_deletewatch_cmd(), db_watchpoint_cmd();
392 1.1 cgd extern void db_single_step_cmd(), db_trace_until_call_cmd(),
393 1.1 cgd db_trace_until_matching_cmd(), db_continue_cmd();
394 1.1 cgd extern void db_stack_trace_cmd();
395 1.1 cgd void db_help_cmd();
396 1.1 cgd void db_fncall();
397 1.1 cgd
398 1.1 cgd struct command db_command_table[] = {
399 1.1 cgd { "print", db_print_cmd, 0, 0 },
400 1.1 cgd { "examine", db_examine_cmd, CS_SET_DOT, 0 },
401 1.1 cgd { "x", db_examine_cmd, CS_SET_DOT, 0 },
402 1.1 cgd { "search", db_search_cmd, CS_OWN|CS_SET_DOT, 0 },
403 1.1 cgd { "set", db_set_cmd, CS_OWN, 0 },
404 1.1 cgd { "write", db_write_cmd, CS_MORE|CS_SET_DOT, 0 },
405 1.1 cgd { "w", db_write_cmd, CS_MORE|CS_SET_DOT, 0 },
406 1.1 cgd { "delete", db_delete_cmd, 0, 0 },
407 1.1 cgd { "d", db_delete_cmd, 0, 0 },
408 1.1 cgd { "break", db_breakpoint_cmd, 0, 0 },
409 1.1 cgd { "dwatch", db_deletewatch_cmd, 0, 0 },
410 1.1 cgd { "watch", db_watchpoint_cmd, CS_MORE,0 },
411 1.1 cgd { "step", db_single_step_cmd, 0, 0 },
412 1.1 cgd { "s", db_single_step_cmd, 0, 0 },
413 1.1 cgd { "continue", db_continue_cmd, 0, 0 },
414 1.1 cgd { "c", db_continue_cmd, 0, 0 },
415 1.1 cgd { "until", db_trace_until_call_cmd,0, 0 },
416 1.1 cgd { "next", db_trace_until_matching_cmd,0, 0 },
417 1.1 cgd { "match", db_trace_until_matching_cmd,0, 0 },
418 1.1 cgd { "trace", db_stack_trace_cmd, 0, 0 },
419 1.1 cgd { "call", db_fncall, CS_OWN, 0 },
420 1.1 cgd { "show", 0, 0, db_show_cmds },
421 1.1 cgd { (char *)0, }
422 1.1 cgd };
423 1.1 cgd
424 1.1 cgd struct command *db_last_command = 0;
425 1.1 cgd
426 1.1 cgd void
427 1.1 cgd db_help_cmd()
428 1.1 cgd {
429 1.1 cgd struct command *cmd = db_command_table;
430 1.1 cgd
431 1.1 cgd while (cmd->name != 0) {
432 1.1 cgd db_printf("%-12s", cmd->name);
433 1.1 cgd db_end_line();
434 1.1 cgd cmd++;
435 1.1 cgd }
436 1.1 cgd }
437 1.1 cgd
438 1.1 cgd void
439 1.1 cgd db_command_loop()
440 1.1 cgd {
441 1.1 cgd /*
442 1.1 cgd * Initialize 'prev' and 'next' to dot.
443 1.1 cgd */
444 1.1 cgd db_prev = db_dot;
445 1.1 cgd db_next = db_dot;
446 1.1 cgd
447 1.1 cgd db_cmd_loop_done = 0;
448 1.1 cgd while (!db_cmd_loop_done) {
449 1.1 cgd
450 1.1 cgd (void) setjmp(db_jmpbuf);
451 1.1 cgd if (db_print_position() != 0)
452 1.1 cgd db_printf("\n");
453 1.1 cgd
454 1.1 cgd db_printf("db> ");
455 1.1 cgd (void) db_read_line();
456 1.1 cgd
457 1.1 cgd db_command(&db_last_command, db_command_table);
458 1.1 cgd }
459 1.1 cgd }
460 1.1 cgd
461 1.1 cgd void
462 1.1 cgd db_error(s)
463 1.1 cgd char *s;
464 1.1 cgd {
465 1.1 cgd if (s)
466 1.1 cgd db_printf(s);
467 1.1 cgd db_flush_lex();
468 1.1 cgd longjmp(db_jmpbuf, 1);
469 1.1 cgd }
470 1.1 cgd
471 1.1 cgd
472 1.1 cgd /*
473 1.1 cgd * Call random function:
474 1.1 cgd * !expr(arg,arg,arg)
475 1.1 cgd */
476 1.1 cgd void
477 1.1 cgd db_fncall()
478 1.1 cgd {
479 1.1 cgd db_expr_t fn_addr;
480 1.1 cgd #define MAXARGS 11
481 1.1 cgd db_expr_t args[MAXARGS];
482 1.1 cgd int nargs = 0;
483 1.1 cgd db_expr_t retval;
484 1.1 cgd db_expr_t (*func)();
485 1.1 cgd int t;
486 1.1 cgd
487 1.1 cgd if (!db_expression(&fn_addr)) {
488 1.1 cgd db_printf("Bad function\n");
489 1.1 cgd db_flush_lex();
490 1.1 cgd return;
491 1.1 cgd }
492 1.1 cgd func = (db_expr_t (*) ()) fn_addr;
493 1.1 cgd
494 1.1 cgd t = db_read_token();
495 1.1 cgd if (t == tLPAREN) {
496 1.1 cgd if (db_expression(&args[0])) {
497 1.1 cgd nargs++;
498 1.1 cgd while ((t = db_read_token()) == tCOMMA) {
499 1.1 cgd if (nargs == MAXARGS) {
500 1.1 cgd db_printf("Too many arguments\n");
501 1.1 cgd db_flush_lex();
502 1.1 cgd return;
503 1.1 cgd }
504 1.1 cgd if (!db_expression(&args[nargs])) {
505 1.1 cgd db_printf("Argument missing\n");
506 1.1 cgd db_flush_lex();
507 1.1 cgd return;
508 1.1 cgd }
509 1.1 cgd nargs++;
510 1.1 cgd }
511 1.1 cgd db_unread_token(t);
512 1.1 cgd }
513 1.1 cgd if (db_read_token() != tRPAREN) {
514 1.1 cgd db_printf("?\n");
515 1.1 cgd db_flush_lex();
516 1.1 cgd return;
517 1.1 cgd }
518 1.1 cgd }
519 1.1 cgd db_skip_to_eol();
520 1.1 cgd
521 1.1 cgd while (nargs < MAXARGS) {
522 1.1 cgd args[nargs++] = 0;
523 1.1 cgd }
524 1.1 cgd
525 1.1 cgd retval = (*func)(args[0], args[1], args[2], args[3], args[4],
526 args[5], args[6], args[7], args[8], args[9] );
527 db_printf("%#n\n", retval);
528 }
529