Predicates controlling the interactive debuggerAuthor(s): A. Ciepielewski, Mats Carlsson, T. Chikayama, K. Shen, Daniel Cabeza, Manuel C. Rodriguez, Edison Mera.
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
Documentation on exports
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:callable/1)Predicate is a term which represents a goal, i.e., an atom or a structure.
Documentation on multifiles
- The following properties hold upon exit:
(basic_props:atm/1)Flag is an atom.
(basic_props:flag_values/1)Define the valid flag values
Known bugs and planned improvements
- Add an option to the emacs menu to automatically select all modules in a project.
- Consider the possibility to show debugging messages directly in the source code emacs buffer.