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.