leash/1

leash(+ M)*

Sets leashing mode to M. The mode can be specified as:

  • full prompt on Call, Exit, Redo and Fail

  • tight prompt on Call, Redo and Fail

  • half prompt on Call and Redo

  • loose prompt on Call

  • off never prompt

  • none never prompt, same as off

The initial leashing mode is full.

The user may also specify directly the debugger ports where he wants to be prompted. If the argument for leash is a number N, each of lower four bits of the number is used to control prompting at one the ports of the box model. The debugger will prompt according to the following conditions:

  • if N/\ 1 @ref U3dUU5cUU3dUU20U_0 "=\= /0"0 prompt on fail

  • if N/\ 2 @ref U3dUU5cUU3dUU20U_0 "=\= /0"0 prompt on redo

  • if N/\ 4 @ref U3dUU5cUU3dUU20U_0 "=\= /0"0 prompt on exit

  • if N/\ 8 @ref U3dUU5cUU3dUU20U_0 "=\= /0"0 prompt on call

Therefore, leash(15) is equivalent to leash(full) and leash(0) is equivalent to leash(off).

Another way of using leash is to give it a list with the names of the ports where the debugger should stop. For example, leash([call,exit,redo,fail]) is the same as leash(full) or leash(15) and leash([fail]) might be used instead of leash(1).