documents/userman/umsdebug.tex

66 indexing). In such cases, the flow does not enter any clause box.
125 *EXIT port). In that case the nested procedure box is re-entered
207 In the rest of this chapter the user interface to the debugger is
210 commands are explained using an excerpt of a debugger session.  In
573 traced.  In particular, when a \notation{nodbgcomp} procedure calls a
660 In tkeclipse, the debugger can also be started in this way. The tracer tool
842 %bound. In this case the debugger prints a message and traces the next
1135 debugger to prompt for a number. In both cases, the number specifies the
1137 In the following example, the \verb:#: style of the command is used to move
1180 In addition to compound terms, it is also possible to navigate into the
1225 In addition to moving the current subterm down, it can also be moved up
1342 In the above example, the current subterm was at the third argument, thus
1380 In the above example, the current subterm was at the third (and last)
1405 In the above example, the user moves down into the second argument, and
1414 or if it is at an attribute. In these cases, the default for the argument
1426 In the above example, the down-arrow key is typed at the top-level, and
1443 In this case, the down-arrow key was typed in the second trace line, which
1447 so no move was made. In the case of moving down multiple levels, then the
1468 In order to move down a list, we repeatedly move into the tail of the
1469 list---the second argument position. In order to do this with the down-arrow
1475 In \eclipse, it is possible to define field names for structures (see
1497 In this example, a structure definition was made for \predspec{capital/2}. When
1566 In this example, except for the toplevel argument, all the other positions are
1586 settings of the output modes. In particular, output transformation is used