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)   since release 4.2,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   since release 4.2,development

print_coverage(?Data)   since release 4.2,development

The coverage data Data is displayed in a hierarchical format. Data defaults to the coverage data accumulated so far.

print_profile   since release 4.2,development

print_profile(?Data)   since release 4.2,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)   since release 4.2,development

Data is the profiling data accumulated so far

profile_reset   since release 4.2,development

All profiling data is reset.

remove_breakpoints(+BIDs)   development

Removes the breakpoints specified by BIDs.

spy(:P)   development

spy(: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