- The Ciao System »
- PART I - The program development environment »
- The interactive debugger »
- Predicates controlling the interactive debugger
ON THIS PAGE
Predicates controlling the interactive debugger
Author(s): A. Ciepielewski, Mats Carlsson, T. Chikayama, K. Shen, Daniel Cabeza, Manuel C. Rodriguez, Edison Mera, Jose F. Morales.
This library implements predicates which are normally used in the interactive top-level shell to debug programs. A subset of them are available in the embeddable debugger.
Usage and interface
- Library usage:
:- use_module(library(debugger)). - Exports:
- Predicates:
call_in_module/2.
- Predicates:
Documentation on exports
PREDICATEcall_in_module/2
Usage:call_in_module(Module,Predicate)
Calls predicate Predicate belonging to module Module, even if that module does not export the predicate. This only works for modules which are in debug (interpreted) mode (i.e., they are not optimized).
- The following properties should hold at call time:
(basic_props:atm/1)Module is an atom.
(basic_props:cgoal/1)Predicate is a term which represents a goal, i.e., an atom or a structure.
(UNDOC_REEXPORT)breakpt/6
Imported from debugger_lib (see the corresponding documentation for details).
(UNDOC_REEXPORT)current_debugged/1
Imported from debugger_lib (see the corresponding documentation for details).
(UNDOC_REEXPORT)debug/0
Imported from debugger_lib (see the corresponding documentation for details).
(UNDOC_REEXPORT)debug_module/1
Imported from debugger_lib (see the corresponding documentation for details).
(UNDOC_REEXPORT)debug_module_source/1
Imported from debugger_lib (see the corresponding documentation for details).
(UNDOC_REEXPORT)debugging/0
Imported from debugger_lib (see the corresponding documentation for details).
(UNDOC_REEXPORT)get_debugger_state/1
Imported from debugger_lib (see the corresponding documentation for details).
(UNDOC_REEXPORT)get_debugger_state/1
Imported from debugger_lib (see the corresponding documentation for details).
(UNDOC_REEXPORT)leash/1
Imported from debugger_lib (see the corresponding documentation for details).
(UNDOC_REEXPORT)list_breakpt/0
Imported from debugger_lib (see the corresponding documentation for details).
(UNDOC_REEXPORT)maxdepth/1
Imported from debugger_lib (see the corresponding documentation for details).
(UNDOC_REEXPORT)nobreakall/0
Imported from debugger_lib (see the corresponding documentation for details).
(UNDOC_REEXPORT)nobreakpt/6
Imported from debugger_lib (see the corresponding documentation for details).
(UNDOC_REEXPORT)nodebug/0
Imported from debugger_lib (see the corresponding documentation for details).
(UNDOC_REEXPORT)nodebug_module/1
Imported from debugger_lib (see the corresponding documentation for details).
(UNDOC_REEXPORT)nospy/1
Imported from debugger_lib (see the corresponding documentation for details).
(UNDOC_REEXPORT)nospyall/0
Imported from debugger_lib (see the corresponding documentation for details).
(UNDOC_REEXPORT)notrace/0
Imported from debugger_lib (see the corresponding documentation for details).
(UNDOC_REEXPORT)spy/1
Imported from debugger_lib (see the corresponding documentation for details).
(UNDOC_REEXPORT)trace/0
Imported from debugger_lib (see the corresponding documentation for details).
(UNDOC_REEXPORT)debugrtc/0
Imported from debugger_lib (see the corresponding documentation for details).
(UNDOC_REEXPORT)nodebugrtc/0
Imported from debugger_lib (see the corresponding documentation for details).
(UNDOC_REEXPORT)tracertc/0
Imported from debugger_lib (see the corresponding documentation for details).
Documentation on imports
This module has the following direct dependencies:- System library modules:
debugger_lib, format, toplevel_io. - Packages:
prelude, initial, condcomp, assertions, assertions/assertions_basic.