current_spypoint/1 development



Determines if there is currently a spypoint on a particular predicate or call, or enumerates all current spypoints.


Spyspec compound
can be any Prolog term. Prolog will try to unify it to terms of the form:

A spypoint on any call to Pred. Pred will be a skeletal predicate specification, and may be module qualified.
A spypoint on the Callnum call to Callee in the body of the Clausenum clause of Caller. Callee and Callnum will be skeletal predicate specifications dbg-bas-tra-spy. Callnum and Clausenum will 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.


This predicate is not supported in runtime systems.


Can generate all current spypoints on backtracking.

See Also

add_spypoint/1, remove_spypoint/1, spy/1, nospy/1, debugging/0 dbg-bas-bas.