Chapter 14
Debugging
The Box Model
Format of the Tracing Messages
Debugging-related Predicate Properties
Starting the Debugger
Debugging Parts of Programs
Mixing debuggable and non-debuggable code
Using the Debugger via the Command Line Interface
Counters and Command Arguments
Commands to Continue Execution
Commands to Modify Execution
Display Commands
Navigating among Goals
Inspecting Goals and Data
Changing the Settings
Environment Commands
Extending the Debugger
User-defined Ports
Attaching a Different User Interface
Switching To Creep Mode With CTRL-C
1
provided the call has been compiled in debug_compile mode, or the call is a meta-call
2
In ECL
i
PS
e
4.0, this was implemented as a submode (invoked with two key strokes - Hi). It is now fully integrated into the debugger