[ 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