object
debugger
Command-line debugger based on an extended procedure box model supporting execution tracing and spy points.
Author: Paulo Moura
Version: 4:14:0
Date: 2023-01-25
Compilation flags:
static, context_switching_callsRemarks:
(none)
Inherited public predicates:
Public predicates
(no local declarations; see entity ancestors if any)
Protected predicates
(no local declarations; see entity ancestors if any)
Private predicates
debugging_/0
True iff debug is on.
Compilation flags:
dynamicMode and number of proofs:
debugging_ - zero_or_onetracing_/0
True iff tracing is on.
Compilation flags:
dynamicMode and number of proofs:
tracing_ - zero_or_oneskipping_/0
True iff skipping.
Compilation flags:
dynamicMode and number of proofs:
skipping_ - zero_or_oneskipping_unleashed_/1
True iff skipping (a goal with invocation number N) but showing intermediate ports as unleashed.
Compilation flags:
dynamicTemplate:
skipping_unleashed_(N)Mode and number of proofs:
skipping_unleashed_(?integer) - zero_or_onequasi_skipping_/0
True iff quasi-skipping.
Compilation flags:
dynamicMode and number of proofs:
quasi_skipping_ - zero_or_oneleaping_/1
True iff leaping in tracing or debugging mode.
Compilation flags:
dynamicTemplate:
leaping_(Mode)Mode and number of proofs:
leaping_(?atom) - zero_or_onespying_line_number_/2
Table of line number breakpoints.
Compilation flags:
dynamicTemplate:
spying_line_number_(Entity,Line)Mode and number of proofs:
spying_line_number_(?object_identifier,?integer) - zero_or_morespying_line_number_(?category_identifier,?integer) - zero_or_morespying_predicate_/3
Table of predicate spy points.
Compilation flags:
dynamicTemplate:
spying_predicate_(Functor,Arity,Original)Mode and number of proofs:
spying_predicate_(?atom,?integer,?predicate_indicator) - zero_or_morespying_predicate_(?atom,?integer,?non_terminal_indicator) - zero_or_morespying_context_/4
Table of context spy points.
Compilation flags:
dynamicTemplate:
spying_context_(Sender,This,Self,Goal)Mode and number of proofs:
spying_context_(?object_identifier,?object_identifier,?object_identifier,?callable) - zero_or_moreleashing_/1
Table of currently leashed ports.
Compilation flags:
dynamicTemplate:
leashing_(Port)Mode and number of proofs:
leashing_(?atom) - zero_or_moreinvocation_number_/1
Current call stack invocation number.
Compilation flags:
dynamicTemplate:
invocation_number_(N)Mode and number of proofs:
invocation_number_(?integer) - zero_or_onejump_to_invocation_number_/1
Invocation number to jump to.
Compilation flags:
dynamicTemplate:
jump_to_invocation_number_(N)Mode and number of proofs:
jump_to_invocation_number_(?integer) - zero_or_onezap_to_port_/1
Port to zap to.
Compilation flags:
dynamicTemplate:
zap_to_port_(Port)Mode and number of proofs:
zap_to_port_(?integer) - zero_or_onewrite_max_depth_/1
Current term maximum depth.
Compilation flags:
dynamicTemplate:
write_max_depth_(MaxDepth)Mode and number of proofs:
write_max_depth_(?integer) - zero_or_oneOperators
(none)