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

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

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 siliently 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 siliently in tty ECLiPSe).

nodebug

Switch the debugger off for subsequent top-level queries.

nospy ?Speclist

All spypoints 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_port(?Invoc, +Port, ?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.