diff options
Diffstat (limited to 'doc/mdk_mixvm.texi')
| -rw-r--r-- | doc/mdk_mixvm.texi | 19 |
1 files changed, 14 insertions, 5 deletions
diff --git a/doc/mdk_mixvm.texi b/doc/mdk_mixvm.texi index 3392bf0..ee932e6 100644 --- a/doc/mdk_mixvm.texi +++ b/doc/mdk_mixvm.texi @@ -159,19 +159,23 @@ given file will be loaded (as with @code{load} @var{file}) and executed. If @code{run} is invoked again after program execution completion (i.e., after the @code{HLT} instruction has been found in a previous run), the program counter is repositioned and execution starts -again from the beginning. +again from the beginning (as a matter of fact, a @code{load} command +preserving the currently set breakpoints is issued before resuming +execution). @end deffn -@deffn {file command} edit file[.mixal] +@deffn {file command} edit [file[.mixal]] The source file @var{file.mixal} is edited using the editor defined in the environment variable @var{MDK_EDITOR}. If this variable is not set, the following ones are tried out in order: @var{X_EDITOR}, @var{EDITOR} -and @var{VISUAL}. +and @var{VISUAL}. If invoked without argument, the source file for the +currently loaded MIX file is edited. @end deffn @deffn {file command} compile file[.mixal] The source file @var{file.mixal} is compiled (with debug information -enabled) using @code{mixasm}. +enabled) using @code{mixasm}. If invoked without argument, the source +file for the currently loaded MIX file is recompiled. @end deffn @@ -188,7 +192,12 @@ This command causes the virtual machine to fetch and execute up to counter position. Execution is interrupted either when the specified number of instructions have been fetched or a breakpoint is found, whatever happens first. If run without arguments, one instruction is -executed. +executed. If @code{next} is invoked again after program execution +completion (i.e., after the @code{HLT} instruction has been found in a +previous run), the program counter is repositioned and execution starts +again from the beginning (as a matter of fact, a @code{load} command +preserving the currently set breakpoints is issued before resuming +execution). @end deffn @deffn {debug command} sbp line_number |