db_command.c revision 1.20 1 1.20 christos /* $NetBSD: db_command.c,v 1.20 1996/03/30 22:30:05 christos Exp $ */
2 1.12 cgd
3 1.1 cgd /*
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.1 cgd *
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.1 cgd *
14 1.1 cgd * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS
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.1 cgd *
18 1.1 cgd * Carnegie Mellon requests users of this software to return to
19 1.1 cgd *
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.1 cgd *
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.1 cgd */
28 1.5 mycroft
29 1.1 cgd /*
30 1.1 cgd * Command dispatcher.
31 1.1 cgd */
32 1.7 mycroft #include <sys/param.h>
33 1.18 christos #include <sys/systm.h>
34 1.7 mycroft #include <sys/proc.h>
35 1.15 gwr
36 1.1 cgd #include <machine/db_machdep.h> /* type definitions */
37 1.1 cgd
38 1.1 cgd #include <ddb/db_lex.h>
39 1.1 cgd #include <ddb/db_output.h>
40 1.10 pk #include <ddb/db_command.h>
41 1.16 christos #include <ddb/db_break.h>
42 1.16 christos #include <ddb/db_watch.h>
43 1.16 christos #include <ddb/db_run.h>
44 1.16 christos #include <ddb/db_variables.h>
45 1.16 christos #include <ddb/db_interface.h>
46 1.16 christos #include <ddb/db_sym.h>
47 1.16 christos #include <ddb/db_extern.h>
48 1.16 christos
49 1.16 christos #include <vm/vm.h>
50 1.1 cgd
51 1.1 cgd /*
52 1.1 cgd * Exported global variables
53 1.1 cgd */
54 1.1 cgd boolean_t db_cmd_loop_done;
55 1.17 gwr label_t *db_recover;
56 1.1 cgd
57 1.1 cgd /*
58 1.1 cgd * if 'ed' style: 'dot' is set at start of last item printed,
59 1.1 cgd * and '+' points to next line.
60 1.1 cgd * Otherwise: 'dot' points to next item, '..' points to last.
61 1.1 cgd */
62 1.1 cgd boolean_t db_ed_style = TRUE;
63 1.1 cgd
64 1.1 cgd /*
65 1.1 cgd * Utility routine - discard tokens through end-of-line.
66 1.1 cgd */
67 1.1 cgd void
68 1.1 cgd db_skip_to_eol()
69 1.1 cgd {
70 1.1 cgd int t;
71 1.1 cgd do {
72 1.1 cgd t = db_read_token();
73 1.1 cgd } while (t != tEOL);
74 1.1 cgd }
75 1.1 cgd
76 1.1 cgd /*
77 1.1 cgd * Results of command search.
78 1.1 cgd */
79 1.1 cgd #define CMD_UNIQUE 0
80 1.1 cgd #define CMD_FOUND 1
81 1.1 cgd #define CMD_NONE 2
82 1.1 cgd #define CMD_AMBIGUOUS 3
83 1.1 cgd #define CMD_HELP 4
84 1.1 cgd
85 1.1 cgd /*
86 1.1 cgd * Search for command prefix.
87 1.1 cgd */
88 1.1 cgd int
89 1.1 cgd db_cmd_search(name, table, cmdp)
90 1.10 pk char *name;
91 1.10 pk struct db_command *table;
92 1.10 pk struct db_command **cmdp; /* out */
93 1.1 cgd {
94 1.10 pk struct db_command *cmd;
95 1.10 pk int result = CMD_NONE;
96 1.1 cgd
97 1.1 cgd for (cmd = table; cmd->name != 0; cmd++) {
98 1.1 cgd register char *lp;
99 1.1 cgd register char *rp;
100 1.1 cgd register int c;
101 1.1 cgd
102 1.1 cgd lp = name;
103 1.1 cgd rp = cmd->name;
104 1.1 cgd while ((c = *lp) == *rp) {
105 1.1 cgd if (c == 0) {
106 1.1 cgd /* complete match */
107 1.1 cgd *cmdp = cmd;
108 1.1 cgd return (CMD_UNIQUE);
109 1.1 cgd }
110 1.1 cgd lp++;
111 1.1 cgd rp++;
112 1.1 cgd }
113 1.1 cgd if (c == 0) {
114 1.1 cgd /* end of name, not end of command -
115 1.1 cgd partial match */
116 1.1 cgd if (result == CMD_FOUND) {
117 1.1 cgd result = CMD_AMBIGUOUS;
118 1.1 cgd /* but keep looking for a full match -
119 1.1 cgd this lets us match single letters */
120 1.1 cgd }
121 1.1 cgd else {
122 1.1 cgd *cmdp = cmd;
123 1.1 cgd result = CMD_FOUND;
124 1.1 cgd }
125 1.1 cgd }
126 1.1 cgd }
127 1.1 cgd if (result == CMD_NONE) {
128 1.1 cgd /* check for 'help' */
129 1.1 cgd if (name[0] == 'h' && name[1] == 'e'
130 1.1 cgd && name[2] == 'l' && name[3] == 'p')
131 1.1 cgd result = CMD_HELP;
132 1.1 cgd }
133 1.1 cgd return (result);
134 1.1 cgd }
135 1.1 cgd
136 1.1 cgd void
137 1.1 cgd db_cmd_list(table)
138 1.10 pk struct db_command *table;
139 1.1 cgd {
140 1.10 pk register struct db_command *cmd;
141 1.1 cgd
142 1.1 cgd for (cmd = table; cmd->name != 0; cmd++) {
143 1.1 cgd db_printf("%-12s", cmd->name);
144 1.1 cgd db_end_line();
145 1.1 cgd }
146 1.1 cgd }
147 1.1 cgd
148 1.1 cgd void
149 1.1 cgd db_command(last_cmdp, cmd_table)
150 1.10 pk struct db_command **last_cmdp; /* IN_OUT */
151 1.10 pk struct db_command *cmd_table;
152 1.1 cgd {
153 1.10 pk struct db_command *cmd;
154 1.1 cgd int t;
155 1.1 cgd char modif[TOK_STRING_SIZE];
156 1.1 cgd db_expr_t addr, count;
157 1.16 christos boolean_t have_addr = FALSE;
158 1.1 cgd int result;
159 1.1 cgd
160 1.1 cgd t = db_read_token();
161 1.1 cgd if (t == tEOL) {
162 1.1 cgd /* empty line repeats last command, at 'next' */
163 1.1 cgd cmd = *last_cmdp;
164 1.1 cgd addr = (db_expr_t)db_next;
165 1.1 cgd have_addr = FALSE;
166 1.1 cgd count = 1;
167 1.1 cgd modif[0] = '\0';
168 1.1 cgd }
169 1.1 cgd else if (t == tEXCL) {
170 1.16 christos db_fncall(0, 0, 0, NULL);
171 1.1 cgd return;
172 1.1 cgd }
173 1.1 cgd else if (t != tIDENT) {
174 1.1 cgd db_printf("?\n");
175 1.1 cgd db_flush_lex();
176 1.1 cgd return;
177 1.1 cgd }
178 1.1 cgd else {
179 1.1 cgd /*
180 1.1 cgd * Search for command
181 1.1 cgd */
182 1.1 cgd while (cmd_table) {
183 1.1 cgd result = db_cmd_search(db_tok_string,
184 1.1 cgd cmd_table,
185 1.1 cgd &cmd);
186 1.1 cgd switch (result) {
187 1.1 cgd case CMD_NONE:
188 1.1 cgd db_printf("No such command\n");
189 1.1 cgd db_flush_lex();
190 1.1 cgd return;
191 1.1 cgd case CMD_AMBIGUOUS:
192 1.1 cgd db_printf("Ambiguous\n");
193 1.1 cgd db_flush_lex();
194 1.1 cgd return;
195 1.1 cgd case CMD_HELP:
196 1.1 cgd db_cmd_list(cmd_table);
197 1.1 cgd db_flush_lex();
198 1.1 cgd return;
199 1.1 cgd default:
200 1.1 cgd break;
201 1.1 cgd }
202 1.1 cgd if ((cmd_table = cmd->more) != 0) {
203 1.1 cgd t = db_read_token();
204 1.1 cgd if (t != tIDENT) {
205 1.1 cgd db_cmd_list(cmd_table);
206 1.1 cgd db_flush_lex();
207 1.1 cgd return;
208 1.1 cgd }
209 1.1 cgd }
210 1.1 cgd }
211 1.1 cgd
212 1.1 cgd if ((cmd->flag & CS_OWN) == 0) {
213 1.1 cgd /*
214 1.1 cgd * Standard syntax:
215 1.1 cgd * command [/modifier] [addr] [,count]
216 1.1 cgd */
217 1.1 cgd t = db_read_token();
218 1.1 cgd if (t == tSLASH) {
219 1.1 cgd t = db_read_token();
220 1.1 cgd if (t != tIDENT) {
221 1.1 cgd db_printf("Bad modifier\n");
222 1.1 cgd db_flush_lex();
223 1.1 cgd return;
224 1.1 cgd }
225 1.1 cgd db_strcpy(modif, db_tok_string);
226 1.1 cgd }
227 1.1 cgd else {
228 1.1 cgd db_unread_token(t);
229 1.1 cgd modif[0] = '\0';
230 1.1 cgd }
231 1.1 cgd
232 1.1 cgd if (db_expression(&addr)) {
233 1.1 cgd db_dot = (db_addr_t) addr;
234 1.1 cgd db_last_addr = db_dot;
235 1.1 cgd have_addr = TRUE;
236 1.1 cgd }
237 1.1 cgd else {
238 1.1 cgd addr = (db_expr_t) db_dot;
239 1.1 cgd have_addr = FALSE;
240 1.1 cgd }
241 1.1 cgd t = db_read_token();
242 1.1 cgd if (t == tCOMMA) {
243 1.1 cgd if (!db_expression(&count)) {
244 1.1 cgd db_printf("Count missing\n");
245 1.1 cgd db_flush_lex();
246 1.1 cgd return;
247 1.1 cgd }
248 1.1 cgd }
249 1.1 cgd else {
250 1.1 cgd db_unread_token(t);
251 1.1 cgd count = -1;
252 1.1 cgd }
253 1.1 cgd if ((cmd->flag & CS_MORE) == 0) {
254 1.1 cgd db_skip_to_eol();
255 1.1 cgd }
256 1.1 cgd }
257 1.1 cgd }
258 1.1 cgd *last_cmdp = cmd;
259 1.1 cgd if (cmd != 0) {
260 1.1 cgd /*
261 1.1 cgd * Execute the command.
262 1.1 cgd */
263 1.1 cgd (*cmd->fcn)(addr, have_addr, count, modif);
264 1.1 cgd
265 1.1 cgd if (cmd->flag & CS_SET_DOT) {
266 1.1 cgd /*
267 1.1 cgd * If command changes dot, set dot to
268 1.1 cgd * previous address displayed (if 'ed' style).
269 1.1 cgd */
270 1.1 cgd if (db_ed_style) {
271 1.1 cgd db_dot = db_prev;
272 1.1 cgd }
273 1.1 cgd else {
274 1.1 cgd db_dot = db_next;
275 1.1 cgd }
276 1.1 cgd }
277 1.1 cgd else {
278 1.1 cgd /*
279 1.1 cgd * If command does not change dot,
280 1.1 cgd * set 'next' location to be the same.
281 1.1 cgd */
282 1.1 cgd db_next = db_dot;
283 1.1 cgd }
284 1.1 cgd }
285 1.1 cgd }
286 1.1 cgd
287 1.4 brezak /*ARGSUSED*/
288 1.4 brezak void
289 1.4 brezak db_map_print_cmd(addr, have_addr, count, modif)
290 1.4 brezak db_expr_t addr;
291 1.4 brezak int have_addr;
292 1.4 brezak db_expr_t count;
293 1.4 brezak char * modif;
294 1.4 brezak {
295 1.4 brezak boolean_t full = FALSE;
296 1.4 brezak
297 1.4 brezak if (modif[0] == 'f')
298 1.4 brezak full = TRUE;
299 1.4 brezak
300 1.16 christos _vm_map_print((vm_map_t) addr, full, db_printf);
301 1.4 brezak }
302 1.4 brezak
303 1.4 brezak /*ARGSUSED*/
304 1.4 brezak void
305 1.4 brezak db_object_print_cmd(addr, have_addr, count, modif)
306 1.4 brezak db_expr_t addr;
307 1.4 brezak int have_addr;
308 1.4 brezak db_expr_t count;
309 1.4 brezak char * modif;
310 1.4 brezak {
311 1.4 brezak boolean_t full = FALSE;
312 1.4 brezak
313 1.4 brezak if (modif[0] == 'f')
314 1.4 brezak full = TRUE;
315 1.4 brezak
316 1.16 christos _vm_object_print((vm_object_t) addr, full, db_printf);
317 1.4 brezak }
318 1.4 brezak
319 1.1 cgd /*
320 1.1 cgd * 'show' commands
321 1.1 cgd */
322 1.1 cgd
323 1.10 pk struct db_command db_show_all_cmds[] = {
324 1.16 christos { "procs", db_show_all_procs, 0, NULL },
325 1.16 christos { "callout", db_show_callout, 0, NULL },
326 1.16 christos { NULL, NULL, 0, NULL }
327 1.1 cgd };
328 1.1 cgd
329 1.10 pk struct db_command db_show_cmds[] = {
330 1.16 christos { "all", NULL, 0, db_show_all_cmds },
331 1.16 christos { "registers", db_show_regs, 0, NULL },
332 1.16 christos { "breaks", db_listbreak_cmd, 0, NULL },
333 1.16 christos { "watches", db_listwatch_cmd, 0, NULL },
334 1.16 christos { "map", db_map_print_cmd, 0, NULL },
335 1.16 christos { "object", db_object_print_cmd, 0, NULL },
336 1.16 christos { NULL, NULL, 0, NULL, }
337 1.1 cgd };
338 1.1 cgd
339 1.10 pk struct db_command db_command_table[] = {
340 1.6 brezak #ifdef DB_MACHINE_COMMANDS
341 1.6 brezak /* this must be the first entry, if it exists */
342 1.16 christos { "machine", NULL, 0, NULL},
343 1.6 brezak #endif
344 1.16 christos { "print", db_print_cmd, 0, NULL },
345 1.16 christos { "examine", db_examine_cmd, CS_SET_DOT, NULL },
346 1.16 christos { "x", db_examine_cmd, CS_SET_DOT, NULL },
347 1.16 christos { "search", db_search_cmd, CS_OWN|CS_SET_DOT, NULL },
348 1.16 christos { "set", db_set_cmd, CS_OWN, NULL },
349 1.16 christos { "write", db_write_cmd, CS_MORE|CS_SET_DOT, NULL },
350 1.16 christos { "w", db_write_cmd, CS_MORE|CS_SET_DOT, NULL },
351 1.16 christos { "delete", db_delete_cmd, 0, NULL },
352 1.16 christos { "d", db_delete_cmd, 0, NULL },
353 1.16 christos { "break", db_breakpoint_cmd, 0, NULL },
354 1.16 christos { "dwatch", db_deletewatch_cmd, 0, NULL },
355 1.16 christos { "watch", db_watchpoint_cmd, CS_MORE, NULL },
356 1.16 christos { "step", db_single_step_cmd, 0, NULL },
357 1.16 christos { "s", db_single_step_cmd, 0, NULL },
358 1.16 christos { "continue", db_continue_cmd, 0, NULL },
359 1.16 christos { "c", db_continue_cmd, 0, NULL },
360 1.16 christos { "until", db_trace_until_call_cmd,0, NULL },
361 1.16 christos { "next", db_trace_until_matching_cmd,0, NULL },
362 1.16 christos { "match", db_trace_until_matching_cmd,0, NULL },
363 1.16 christos { "trace", db_stack_trace_cmd, 0, NULL },
364 1.16 christos { "call", db_fncall, CS_OWN, NULL },
365 1.16 christos { "ps", db_show_all_procs, 0, NULL },
366 1.16 christos { "callout", db_show_callout, 0, NULL },
367 1.16 christos { "show", NULL, 0, db_show_cmds },
368 1.16 christos { NULL, NULL, 0, NULL }
369 1.1 cgd };
370 1.6 brezak
371 1.6 brezak #ifdef DB_MACHINE_COMMANDS
372 1.6 brezak
373 1.6 brezak /* this function should be called to install the machine dependent
374 1.6 brezak commands. It should be called before the debugger is enabled */
375 1.6 brezak void db_machine_commands_install(ptr)
376 1.6 brezak struct db_command *ptr;
377 1.6 brezak {
378 1.6 brezak db_command_table[0].more = ptr;
379 1.6 brezak return;
380 1.6 brezak }
381 1.6 brezak
382 1.6 brezak #endif
383 1.1 cgd
384 1.10 pk struct db_command *db_last_command = 0;
385 1.1 cgd
386 1.1 cgd void
387 1.1 cgd db_help_cmd()
388 1.1 cgd {
389 1.10 pk struct db_command *cmd = db_command_table;
390 1.1 cgd
391 1.1 cgd while (cmd->name != 0) {
392 1.1 cgd db_printf("%-12s", cmd->name);
393 1.1 cgd db_end_line();
394 1.1 cgd cmd++;
395 1.1 cgd }
396 1.1 cgd }
397 1.1 cgd
398 1.1 cgd void
399 1.1 cgd db_command_loop()
400 1.1 cgd {
401 1.17 gwr label_t db_jmpbuf;
402 1.17 gwr label_t *savejmp;
403 1.8 mycroft extern int db_output_line;
404 1.4 brezak
405 1.1 cgd /*
406 1.1 cgd * Initialize 'prev' and 'next' to dot.
407 1.1 cgd */
408 1.1 cgd db_prev = db_dot;
409 1.1 cgd db_next = db_dot;
410 1.1 cgd
411 1.1 cgd db_cmd_loop_done = 0;
412 1.17 gwr
413 1.17 gwr savejmp = db_recover;
414 1.17 gwr db_recover = &db_jmpbuf;
415 1.17 gwr (void) setjmp(&db_jmpbuf);
416 1.8 mycroft
417 1.1 cgd while (!db_cmd_loop_done) {
418 1.8 mycroft if (db_print_position() != 0)
419 1.8 mycroft db_printf("\n");
420 1.8 mycroft db_output_line = 0;
421 1.1 cgd
422 1.8 mycroft db_printf("db> ");
423 1.8 mycroft (void) db_read_line();
424 1.1 cgd
425 1.8 mycroft db_command(&db_last_command, db_command_table);
426 1.8 mycroft }
427 1.1 cgd
428 1.8 mycroft db_recover = savejmp;
429 1.1 cgd }
430 1.1 cgd
431 1.1 cgd void
432 1.1 cgd db_error(s)
433 1.1 cgd char *s;
434 1.1 cgd {
435 1.1 cgd if (s)
436 1.1 cgd db_printf(s);
437 1.1 cgd db_flush_lex();
438 1.19 christos longjmp(db_recover);
439 1.1 cgd }
440 1.1 cgd
441 1.1 cgd
442 1.1 cgd /*
443 1.1 cgd * Call random function:
444 1.1 cgd * !expr(arg,arg,arg)
445 1.1 cgd */
446 1.16 christos /*ARGSUSED*/
447 1.1 cgd void
448 1.16 christos db_fncall(addr, have_addr, count, modif)
449 1.16 christos db_expr_t addr;
450 1.16 christos int have_addr;
451 1.16 christos db_expr_t count;
452 1.16 christos char * modif;
453 1.1 cgd {
454 1.1 cgd db_expr_t fn_addr;
455 1.1 cgd #define MAXARGS 11
456 1.1 cgd db_expr_t args[MAXARGS];
457 1.1 cgd int nargs = 0;
458 1.1 cgd db_expr_t retval;
459 1.16 christos db_expr_t (*func) __P((db_expr_t, ...));
460 1.1 cgd int t;
461 1.1 cgd
462 1.1 cgd if (!db_expression(&fn_addr)) {
463 1.1 cgd db_printf("Bad function\n");
464 1.1 cgd db_flush_lex();
465 1.1 cgd return;
466 1.1 cgd }
467 1.16 christos func = (db_expr_t (*) __P((db_expr_t, ...))) fn_addr;
468 1.1 cgd
469 1.1 cgd t = db_read_token();
470 1.1 cgd if (t == tLPAREN) {
471 1.1 cgd if (db_expression(&args[0])) {
472 1.1 cgd nargs++;
473 1.1 cgd while ((t = db_read_token()) == tCOMMA) {
474 1.1 cgd if (nargs == MAXARGS) {
475 1.1 cgd db_printf("Too many arguments\n");
476 1.1 cgd db_flush_lex();
477 1.1 cgd return;
478 1.1 cgd }
479 1.1 cgd if (!db_expression(&args[nargs])) {
480 1.1 cgd db_printf("Argument missing\n");
481 1.1 cgd db_flush_lex();
482 1.1 cgd return;
483 1.1 cgd }
484 1.1 cgd nargs++;
485 1.1 cgd }
486 1.1 cgd db_unread_token(t);
487 1.1 cgd }
488 1.1 cgd if (db_read_token() != tRPAREN) {
489 1.1 cgd db_printf("?\n");
490 1.1 cgd db_flush_lex();
491 1.1 cgd return;
492 1.1 cgd }
493 1.1 cgd }
494 1.1 cgd db_skip_to_eol();
495 1.1 cgd
496 1.1 cgd while (nargs < MAXARGS) {
497 1.1 cgd args[nargs++] = 0;
498 1.1 cgd }
499 1.1 cgd
500 1.1 cgd retval = (*func)(args[0], args[1], args[2], args[3], args[4],
501 1.20 christos args[5], args[6], args[7], args[8], args[9]);
502 1.1 cgd db_printf("%#n\n", retval);
503 1.1 cgd }
504