This library is a replacement for format/3 for printing debug messages. Messages are assigned a topic. By dynamically enabling or disabling topics the user can select desired messages. Debug statements are removed when the code is compiled for optimization.
See manual for details. With XPCE, you can use the call below to start a graphical monitoring tool.
Using the predicate assertion/1 you can make assumptions about your program explicit, trapping the debugger if the condition does not hold.
- debugging(+Topic) is semidet
- debugging(-Topic) is nondet
- debugging(?Topic, ?Bool) is nondet
- Examine debug topics. The form
debugging(+Topic)may be used to perform more complex debugging tasks. A typical usage skeleton is:
( debugging(mytopic) -> <perform debugging actions> ; true ), ...
The other two calls are intended to examine existing and enabled debugging tokens and are typically not used in user programs.
The following predicates are exported, but not or incorrectly documented.