diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-09-01 00:19:50 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-09-01 00:19:50 +0000 |
| commit | 885c5a72026f8b242f3ad3dae0b3a3b8fb78ca16 (patch) | |
| tree | 59ff2dd480e2844321d509b9488ed9e38cad469f /mixlib/mix_vm_command.h | |
| parent | e6e5c41e0cb0b70652421e778e839543c3fffe7a (diff) | |
| download | mdk-885c5a72026f8b242f3ad3dae0b3a3b8fb78ca16.tar.gz mdk-885c5a72026f8b242f3ad3dae0b3a3b8fb78ca16.tar.bz2 | |
new commands: pddir, sddir, ptime, psrc, pprog, pline
Diffstat (limited to 'mixlib/mix_vm_command.h')
| -rw-r--r-- | mixlib/mix_vm_command.h | 20 |
1 files changed, 17 insertions, 3 deletions
diff --git a/mixlib/mix_vm_command.h b/mixlib/mix_vm_command.h index b6672a0..8d9e86e 100644 --- a/mixlib/mix_vm_command.h +++ b/mixlib/mix_vm_command.h @@ -74,10 +74,16 @@ typedef enum { MIX_CMD_CABP, /* clear all breakpoints */ MIX_CMD_WEVAL, /* evaluate a w-expression */ MIX_CMD_W2D, /* print word in decimal notation */ - MIX_CMD_TRACING, /* enable/disable instruction traces */ + MIX_CMD_STRACE, /* enable/disable instruction traces */ MIX_CMD_PBT, /* print backtrace */ - MIX_CMD_TIMING, /* enable/disable timing statistics */ - MIX_CMD_DEVDIR, /* print/set device directory */ + MIX_CMD_STIME, /* enable/disable timing statistics */ + MIX_CMD_PTIME, /* print current time statistics */ + MIX_CMD_SDDIR, /* set device directory */ + MIX_CMD_PDDIR, /* print current device directory */ + MIX_CMD_SLOG, /* set on/off message logging */ + MIX_CMD_PPROG, /* print the current program path */ + MIX_CMD_PSRC, /* print the current program source path */ + MIx_CMD_PLINE, /* print the current line no */ MIX_CMD_INVALID, /* invalid command identifier */ MIX_CMD_LOCAL /* locally defined command */ } mix_vm_command_t; @@ -206,6 +212,14 @@ mix_vm_cmd_dispatcher_get_progtime (const mix_vm_cmd_dispatcher_t *dis); extern mix_time_t mix_vm_cmd_dispatcher_get_laptime (const mix_vm_cmd_dispatcher_t *dis); +/* src file info */ +extern gulong +mix_vm_cmd_dispatcher_get_src_file_lineno (const mix_vm_cmd_dispatcher_t *dis); + +extern const gchar * +mix_vm_cmd_dispatcher_get_src_file_line (const mix_vm_cmd_dispatcher_t *dis, + gulong line); + /* toggle time printing */ extern void mix_vm_cmd_dispatcher_print_time (mix_vm_cmd_dispatcher_t * dis, |