5.12 Predicate Summary
add_breakpoint(
+Conditions,
-BID)
development- Creates a breakpoint with Conditions and with identifier
BID.
user:breakpoint_expansion(
+Macro,
-Body)
hook,development- defines debugger condition macros
coverage_data(
?Data)
development- Data is the coverage data accumulated so far
current_breakpoint(
?Conditions,
?BID,
?Status,
?Kind,
?Type)
development- There is a breakpoint with conditions Conditions, identifier
BID, enabledness Status, kind Kind, and type
Type.
debug
development- switch on debugging
user:debugger_command_hook(
+DCommand,
-Actions)
hook,development- Allows the interactive debugger to be extended with user-defined
commands.
debugging
development- display debugging status information
disable_breakpoints(
+BIDs)
development- Disables the breakpoints specified by BIDs.
enable_breakpoints(
+BIDs)
development- Enables the breakpoints specified by BIDs.
user:error_exception(
+Exception)
hook- Exception is an exception that traps to the debugger if it is
switched on.
execution_state(
+Tests)
development- Tests are satisfied in the current state of the execution.
execution_state(
+FocusConditions,
+Tests)
development- Tests are satisfied in the state of the execution pointed to by
FocusConditions.
leash(
+M)
development- set the debugger's leashing mode to M
nodebug
development- switch off debugging
nospy(
:P)
development- remove spypoints from the procedure(s) specified by P
nospyall
development- remove all spypoints
notrace
development- switch off debugging (same as
nodebug/0
)
nozip
development- switch off debugging (same as
nodebug/0
)
print_coverage
developmentprint_coverage(
?Data)
development- The coverage data Data is displayed in a hierarchical
format. Data defaults to the coverage data accumulated so far.
print_profile
developmentprint_profile(
?Data)
development- The profiling data Data is displayed in a format similar to
gprof(1). Data defaults to the profiling data accumulated so far.
profile_data(
?Data)
development- Data is the profiling data accumulated so far
profile_reset
development- All profiling data is reset.
remove_breakpoints(
+BIDs)
development- Removes the breakpoints specified by BIDs.
spy(
:P)
developmentspy(
:P,
:C)
- set spypoints on the procedure(s) specified by P
with conditions C
trace
development- switch on debugging and start tracing immediately
unknown(
-O,
+N)
development- Changes action on undefined predicates from O to N.
user:unknown_predicate_handler(
+G,
+M,
-N)
hook- handle for unknown predicates.
zip
development- switch on debugging in zip mode
Send feedback on this subject.