protocol
debuggerp¶
Debugger protocol.
static
Debugger help: Type the character
hor the character?at a leashed port.Predicate spy point: Specified as a ground term
Functor/Arity.Line number spy point: Specified as an
Entity-Lineterm with bothEntityandLinebound.Linemust be the first source file line of an entity clause.Leash 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, 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 and predicate 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 spy points and predicate 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, 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)