remove_spypoint/1 development

Synopsis

remove_spypoint(+Spyspec)

removes a spypoint from the specified predicate or call.

Arguments


Spyspec compound
a specification of an individual spypoint. Two forms of spyspec are allowed:

predicate(Pred)
A spypoint on any call to Pred. Pred must be a skeletal predicate specification, and may be module qualified.
call(Caller,Clausenum,Callee,Callnum)
A spypoint on the Callnum call to Callee in the body of the Clausenum clause of Caller. Callee and Callnum must be skeletal predicate specifications. Callnum and Clausenum must be integers, and begin counting from 1. Note that Callnum specifies a lexical position, that is, the number of the occurrence of Callee counting from the beginning of the body of the clause, and ignoring any punctuation.

Description

This predicate is not supported in runtime systems.

See Also

current_spypoint/1, add_spypoint/1, spy/1, nospy/1, debugging/0 dbg-bas-bas