object

`debugger`

Command-line debugger based on an extended procedure box model supporting execution tracing and spy points.

Availability:

logtalk_load(debugger(loader))

Author: Paulo Moura
Version: 7:9:1
Date: 2024-11-03

Compilation flags:

static, context_switching_calls

Implements:

public debuggerp

Provides:

logtalk::debug_handler/1

logtalk::debug_handler/3

Uses:

logtalk

Remarks:

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

dynamic

Mode and number of proofs:

debugging_ - zero_or_one

`tracing_/0`

True iff tracing is on.

Compilation flags:

dynamic

Mode and number of proofs:

tracing_ - zero_or_one

`skipping_/0`

True iff skipping.

Compilation flags:

dynamic

Mode and number of proofs:

skipping_ - zero_or_one

`skipping_unleashed_/1`

True iff skipping (a goal with invocation number N) but showing intermediate ports as unleashed.

Compilation flags:

dynamic

Template:

skipping_unleashed_(N)

Mode and number of proofs:

skipping_unleashed_(?integer) - zero_or_one

`quasi_skipping_/0`

True iff quasi-skipping.

Compilation flags:

dynamic

Mode and number of proofs:

quasi_skipping_ - zero_or_one

`leaping_/1`

True iff leaping in tracing or debugging mode.

Compilation flags:

dynamic

Template:

leaping_(Mode)

Mode and number of proofs:

leaping_(?atom) - zero_or_one

`breakpoint_/2`

Table of unconditional breakpoints.

Compilation flags:

dynamic

Template:

breakpoint_(Entity,Line)

Mode and number of proofs:

breakpoint_(?object_identifier,?integer) - zero_or_more

breakpoint_(?category_identifier,?integer) - zero_or_more

`spying_predicate_/3`

Table of predicate spy points.

Compilation flags:

dynamic

Template:

spying_predicate_(Functor,Arity,Original)

Mode and number of proofs:

spying_predicate_(?atom,?integer,?predicate_indicator) - zero_or_more

spying_predicate_(?atom,?integer,?non_terminal_indicator) - zero_or_more

`spying_context_/4`

Table of context spy points.

Compilation flags:

dynamic

Template:

spying_context_(Sender,This,Self,Goal)

Mode and number of proofs:

spying_context_(?object_identifier,?object_identifier,?object_identifier,?callable) - zero_or_more

`leashing_/1`

Table of currently leashed ports.

Compilation flags:

dynamic

Template:

leashing_(Port)

Mode and number of proofs:

leashing_(?atom) - zero_or_more

`invocation_number_/1`

Current call stack invocation number.

Compilation flags:

dynamic

Template:

invocation_number_(N)

Mode and number of proofs:

invocation_number_(?integer) - zero_or_one

`jump_to_invocation_number_/1`

Invocation number to jump to.

Compilation flags:

dynamic

Template:

jump_to_invocation_number_(N)

Mode and number of proofs:

jump_to_invocation_number_(?integer) - zero_or_one

`zap_to_port_/1`

Port to zap to.

Compilation flags:

dynamic

Template:

zap_to_port_(Port)

Mode and number of proofs:

zap_to_port_(?integer) - zero_or_one

`write_max_depth_/1`

Current term maximum depth.

Compilation flags:

dynamic

Template:

write_max_depth_(MaxDepth)

Mode and number of proofs:

write_max_depth_(?integer) - zero_or_one

`log_point_/3`

Table of log points.

Compilation flags:

dynamic

Template:

log_point_(Entity,Line,Message)

Mode and number of proofs:

log_point_(?object_identifier,?integer,?atom) - zero_or_more

log_point_(?category_identifier,?integer,?atom) - zero_or_more

`conditional_breakpoint_/3`

Table of conditional breakpoints.

Compilation flags:

dynamic

Template:

conditional_breakpoint_(Entity,Line,Condition)

Mode and number of proofs:

conditional_breakpoint_(?object_identifier,?integer,?callable) - zero_or_more

conditional_breakpoint_(?category_identifier,?integer,?callable) - zero_or_more

`triggered_breakpoint_/4`

Table of defined triggered breakpoints.

Compilation flags:

dynamic

Template:

triggered_breakpoint_(Entity,Line,TriggerEntity,TriggerLine)

Mode and number of proofs:

triggered_breakpoint_(?object_identifier,?integer,?object_identifier,?integer) - zero_or_more
triggered_breakpoint_(?object_identifier,?integer,?category_identifier,?integer) - zero_or_more
triggered_breakpoint_(?category_identifier,?integer,?object_identifier,?integer) - zero_or_more
triggered_breakpoint_(?category_identifier,?integer,?category_identifier,?integer) - zero_or_more

`triggered_breakpoint_enabled_/2`

Table of enabled triggered breakpoints.

Compilation flags:

dynamic

Template:

triggered_breakpoint_enabled_(Entity,Line)

Mode and number of proofs:

triggered_breakpoint_enabled_(?object_identifier,?integer) - zero_or_more

triggered_breakpoint_enabled_(?category_identifier,?integer) - zero_or_more

`file_line_hit_count_/3`

Table of file and line hit counts (successful unifications with clause heads).

Compilation flags:

dynamic

Template:

file_line_hit_count_(File,Line,Count)

Mode and number of proofs:

file_line_hit_count_(?atom,?integer,?integer) - zero_or_one

Operators 

(none)

debugger

`debugger`