protocol
Debugger protocol.
Paulo Moura
1.1
2015/7/7
static
(no dependencies on other files)
Resets all debugging settings, including spy points and leashed ports.
static
reset – one
Starts debugging for all defined spy points.
static
debug – one
Stops debugging for all defined spy points.
static
nodebug – one
Reports current debugging settings, including spy points.
static
debugging – one
Enumerates, by backtracking, all entities compiled in debug mode.
static
debugging(Entity)
debugging(?entity_identifier) – zero_or_more
Starts tracing all calls compiled in debug mode.
static
trace – one
Stops tracing of calls compiled in debug mode.
static
notrace – one
Sets a line number spy point or a predicate spy point or a list of spy points.
static
spy(SpyPoint)
spy(+spy_point) – one
spy(+list(spy_point)) – one
Sets a context spy point.
static
spy(Sender,This,Self,Goal)
spy(@term,@term,@term,@term) – one
Removes all matching line number spy points and predicate spy points.
static
nospy(SpyPoint)
nospy(@variable) – one
nospy(+spy_point) – one
nospy(+list(spy_point)) – one
Removes all matching context spy points.
static
nospy(Sender,This,Self,Goal)
nospy(@term,@term,@term,@term) – one
Removes all line number, predicate, and context spy points.
static
nospyall – one
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).
static
leash(Ports)
leash(+atom) – one
leash(+list(atom)) – one
(none)
(none)