Next:
The Box Model
Up:
ECLiPSe User Manual Release
Previous:
Interrupts
 
Index
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
Interaction between inspect subterm and output modes
Changing the Settings
Environment Commands
Extending the Debugger
User-defined Ports
Attaching a Different User Interface
Switching To Creep Mode With CTRL-C
Warwick Harvey
2004-08-07