| Did you know ... | Search Documentation: |
 | Pack logtalk -- logtalk-3.77.0/docs/_sources/debuggerp_0.rst.txt |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
.. index:: debuggerp .. _debuggerp/0:
.. rst-class:: right
protocol
debuggerp
Debugger protocol.
| Availability:
| logtalk_load(debugger(loader))
| Author: Paulo Moura | Version: 3:0:0 | Date: 2023-04-26
| Compilation flags:
| static
| Dependencies: | (none)
| Remarks:
- Debugger help: Type the character
h(condensed help) or the character?(extended help) at a leashed port. - Predicate spy point: Specified as a ground term
Functor/Arity. - Non-terminal spy point: Specified as a ground term
Functor//Arity. - Line number spy point (aka breakpoint): Specified as an
Entity-Lineterm with bothEntityandLinebound.Linemust be the first source file line of an entity clause. - Leash port shorthands:
none-[],loose-[fact,rule,call],half-[fact,rule,call,redo],tight-[fact,rule,call,redo,fail,exception], andfull-[fact,rule,call,exit,redo,fail,exception].
| Inherited public predicates: | (none)
.. contents:: :local: :backlinks: top
Public predicates
.. index:: reset/0 .. _debuggerp/0::reset/0:
reset/0 ^^^^^^^^^^^
Resets all debugging settings, including spy points and leashed ports, and turns off debugging.
| Compilation flags:
| static
| Mode and number of proofs:
| reset - one
| See also:
| :ref:debuggerp/0::nospyall/0
.. index:: debug/0 .. _debuggerp/0::debug/0:
debug/0 ^^^^^^^^^^^
Starts debugging for all defined spy points.
| Compilation flags:
| static
| Mode and number of proofs:
| debug - one
.. index:: nodebug/0 .. _debuggerp/0::nodebug/0:
nodebug/0 ^^^^^^^^^^^^^
Stops debugging for all defined spy points. Also turns off tracing. Does not remove defined spy points.
| Compilation flags:
| static
| Mode and number of proofs:
| nodebug - one
| See also:
| :ref:debuggerp/0::reset/0
.. index:: debugging/0 .. _debuggerp/0::debugging/0:
debugging/0 ^^^^^^^^^^^^^^^
Reports current debugging settings, including spy points.
| Compilation flags:
| static
| Mode and number of proofs:
| debugging - one
.. index:: debugging/1 .. _debuggerp/0::debugging/1:
debugging/1 ^^^^^^^^^^^^^^^
Enumerates, by backtracking, all entities compiled in debug mode.
| Compilation flags:
| static
| Template:
| debugging(Entity)
| Mode and number of proofs:
| debugging(?entity_identifier) - zero_or_more
.. index:: trace/0 .. _debuggerp/0::trace/0:
trace/0 ^^^^^^^^^^^
Starts tracing all calls compiled in debug mode.
| Compilation flags:
| static
| Mode and number of proofs:
| trace - one
.. index:: notrace/0 .. _debuggerp/0::notrace/0:
notrace/0 ^^^^^^^^^^^^^
Stops tracing of calls compiled in debug mode. Debugger will still stop at defined spy points.
| Compilation flags:
| static
| Mode and number of proofs:
| notrace - one
.. index:: spy/1 .. _debuggerp/0::spy/1:
spy/1 ^^^^^^^^^
Sets a line number spy point, a predicate spy point, a non-terminal spy point, or a list of spy points. Fails if a spy point is invalid.
| Compilation flags:
| static
| Template:
| spy(SpyPoint)
| Mode and number of proofs:
| spy(@spy_point) - zero_or_one
| spy(@list(spy_point)) - zero_or_one
.. index:: spying/1 .. _debuggerp/0::spying/1:
spying/1 ^^^^^^^^^^^^
Enumerates, by backtracking, all defined line number, predicate, and non-terminal spy points.
| Compilation flags:
| static
| Template:
| spying(SpyPoint)
| Mode and number of proofs:
| spying(?spy_point) - zero_or_more
.. index:: spy/4 .. _debuggerp/0::spy/4:
spy/4 ^^^^^^^^^
Sets a context spy point.
| Compilation flags:
| static
| Template:
| spy(Sender,This,Self,Goal)
| Mode and number of proofs:
| spy(@term,@term,@term,@term) - one
.. index:: spying/4 .. _debuggerp/0::spying/4:
spying/4 ^^^^^^^^^^^^
Enumerates, by backtracking, all defined context spy points.
| Compilation flags:
| static
| Template:
| spying(Sender,This,Self,Goal)
| Mode and number of proofs:
| spying(?term,?term,?term,?term) - zero_or_more
.. index:: nospy/1 .. _debuggerp/0::nospy/1:
nospy/1 ^^^^^^^^^^^
Removes all matching line number, predicate, and non-terminal spy points.
| Compilation flags:
| static
| Template:
| nospy(SpyPoint)
| Mode and number of proofs:
| nospy(@var) - one
| nospy(@spy_point) - one
| nospy(@list(spy_point)) - one
.. index:: nospy/4 .. _debuggerp/0::nospy/4:
nospy/4 ^^^^^^^^^^^
Removes all matching context spy points.
| Compilation flags:
| static
| Template:
| nospy(Sender,This,Self,Goal)
| Mode and number of proofs:
| nospy(@term,@term,@term,@term) - one
.. index:: nospyall/0 .. _debuggerp/0::nospyall/0:
nospyall/0 ^^^^^^^^^^^^^^
Removes all line number, predicate, non-terminal, and context spy points.
| Compilation flags:
| static
| Mode and number of proofs:
| nospyall - one
| See also:
| :ref:debuggerp/0::reset/0
.. index:: leash/1 .. _debuggerp/0::leash/1:
leash/1 ^^^^^^^^^^^
Sets the debugger leash ports using an abbreviation (none, loose, half, tight, or full) or a list of ports (valid ports are fact, rule, call, exit, redo, fail, and exception).
| Compilation flags:
| static
| Template:
| leash(Ports)
| Mode and number of proofs:
| leash(+atom) - one
| leash(+list(atom)) - one
.. index:: leashing/1 .. _debuggerp/0::leashing/1:
leashing/1 ^^^^^^^^^^^^^^
Enumerates, by backtracking, all leashed ports (valid ports are fact, rule, call, exit, redo, fail, and exception).
| Compilation flags:
| static
| Template:
| leashing(Port)
| Mode and number of proofs:
| leashing(?atom) - zero_or_more
Protected predicates
(none)
Private predicates
(none)
Operators
(none)
.. seealso::
:ref:`debugger <debugger/0>`