[ Reference Manual | Alphabetic Index ]

# Debugging

Built-ins and command related to debugging

## Predicates

> debug
>   Execute subsequent top-level queries with the debugger on.
> debug(+Goal)
>   Execute the goal Goal with the debugger in leap mode.
> debug_reset
>   Reset the debugger
> debugging
>   Prints summary information about the debugger state
> get_leash(?Port, -Leash)
>   Currently not supported.
> kill_display_matrix(+Name)
>   Destroys an existing display matrix.
> make_display_matrix(+Terms, +Name)
>   Creates a display matrix of terms that can be monitored with the graphical ECLiPSe (the predicate will succeed silently in tty ECLiPSe).
> make_display_matrix(+Terms, +Prio, +Type, +CondList, +Name)
>   Creates a display matrix of terms that can be monitored with the graphical ECLiPSe (the predicate will succeed silently in tty ECLiPSe).
> nodebug
>   Switch the debugger off for subsequent top-level queries.
> nospy ?Speclist
>   All spypoints or breakpoints are removed from all the procedures given by SpecList. If SpecList is a variable, remove all spypoints.
> notrace
>   Switch the debugger off for subsequent top-level queries.
> set_leash(?Ports, +Leash)
>   Currently not supported.
> skipped +SpecList
>   Declares all the procedures given in SpecList as skipped.
> spy +SpecList
>   Sets a spypoint for the procedure(s) in SpecList.
> spy_term(?Term, ++Cond)
>   Create a SPYTERM-port in the debugger and prepare for tracing modifications to Term as MODIFY-ports.
> spy_var(?Var)
>   Create a SPYTERM-port in the debugger and prepare for tracing modifications to Var as MODIFY-ports.
> trace
>   Execute subsequent top-level queries with the debugger on.
> trace(+Goal)
>   Execute the goal Goal with the debugger in creep mode.
> trace_call_port(+Port, ?Invoc, ?Term)
>   Create a user-defined debugger port (CALL-style).
> trace_exit_port
>   Create an exit-port for the current procedure box.
> trace_parent_port(+Port)
>   Create a user-defined debugger port for the parent box.
> trace_point_port(+Port, ?Invoc, ?Term)
>   Create a user-defined debugger port.
> traceable +SpecList
>   Sets the procedures in SpecList to be traceable.
> 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.

Generated from debug.eci on 2022-09-03 14:26