Debugging Built-ins

Debugging was described at length in section on page . The following predicates exist:

ECLiPSe Debugger built-in.

dbgcomp

Tells the compiler to generate code with debug instructions. Equivalent to the call to set_flag(debug_compile, on).  

debug(+Goal)

Execute the goal Goal with the debugger in leap mode.  

debug_macro(+Code, +Macro)

Defines a debug macro Macro for the specified character Code.  

debug_var(+Name, +Goal, ?Var)

Lookup the free variable with name Name in Goal or in the debugger stack and unify it with Var.  

debugging

Information about the current tracing mode and spied procedures is printed on the current output.  

debug

Set the debugger on at the next top-level query and set the debugger mode to leap.  

get_leash(?Port, ?Leash)

Succeed if Port Unifies with a valid debugger port name and Leash unifies with its current leashing mode.  

nodbgcomp

Tells the compiler to generate code without debug instructions and not to retain the source variable names.  

nodebug

Tracing mode is switched off (it is a synonym for notrace/0).  

nospy ?Speclist

All spypoints are removed from all the procedures given by SpecList. If SpecList is a variable, remove all spypoints.  

notrace

Tracing mode is switched off.  

opium(+Switch)

Start or stop debugging with the Opium debugging environment.  

set_leash(?Ports, +Leash)

The ports specified by Ports are set to the leashing mode Leash.  

skipped SpecList

Declares all the procedures given in SpecList as skipped.  

spy SpecList

Sets a spypoint for the procedure(s) in SpecList.  

trace(+Goal)

Execute the goal Goal with the debugger in creep mode.  

traceable SpecList

Sets the procedures in SpecList to be traceable.  

trace

Set the debugger on at the next top-level query and set the debugger mode to creep.  

unskipped SpecList

Sets the procedures specified in SpecList to be unskipped or not skipped.  

untraceable +SpecList

Declares the procedure(s) in SpecList to be untraceable.