[Group Index|Full Index]
ECLiPSe Kernel: Debugger
- dbgcomp
-
Tells the compiler to generate code with debug instructions. Equivalent to
the call to set_flag(debug_compile, on).
- debug
-
Execute subsequent top-level queries with the debugger on.
- debug(+Goal)
-
Execute the goal Goal with the debugger in leap mode.
- 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).
- nodbgcomp
-
Tells the compiler to generate code without debug instructions and not to
retain the source variable names.
- 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.