protocol
debuggerp
Debugger protocol.
static
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].
Public predicates
reset/0
Resets all debugging settings, including spy points and leashed ports, and turns off debugging.
staticreset - onedebug/0
Starts debugging for all defined spy points.
staticdebug - onenodebug/0
Stops debugging for all defined spy points.
staticnodebug - onedebugging/0
Reports current debugging settings, including spy points.
staticdebugging - onedebugging/1
Enumerates, by backtracking, all entities compiled in debug mode.
staticdebugging(Entity)debugging(?entity_identifier) - zero_or_moretrace/0
Starts tracing all calls compiled in debug mode.
statictrace - onenotrace/0
Stops tracing of calls compiled in debug mode.
staticnotrace - onespy/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.
staticspy(SpyPoint)spy(@spy_point) - zero_or_onespy(@list(spy_point)) - zero_or_onespying/1
Enumerates, by backtracking, all defined line number, predicate, and non-terminal spy points.
staticspying(SpyPoint)spying(?spy_point) - zero_or_morespy/4
Sets a context spy point.
staticspy(Sender,This,Self,Goal)spy(@term,@term,@term,@term) - onespying/4
Enumerates, by backtracking, all defined context spy points.
staticspying(Sender,This,Self,Goal)spying(?term,?term,?term,?term) - zero_or_morenospy/1
Removes all matching line number, predicate, and non-terminal spy points.
staticnospy(SpyPoint)nospy(@var) - onenospy(@spy_point) - onenospy(@list(spy_point)) - onenospy/4
Removes all matching context spy points.
staticnospy(Sender,This,Self,Goal)nospy(@term,@term,@term,@term) - onenospyall/0
Removes all line number, predicate, non-terminal, and context spy points.
staticnospyall - oneleash/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).
staticleash(Ports)leash(+atom) - oneleash(+list(atom)) - oneleashing/1
Enumerates, by backtracking, all leashed ports (valid ports are fact, rule, call, exit, redo, fail, and exception).
staticleashing(Port)leashing(?atom) - zero_or_moreProtected predicates
(none)
Private predicates
(none)
Operators
(none)
See also