current_spypoint/1
development
Synopsis
current_spypoint
(*Spyspec)
Determines if there is currently a spypoint on a particular predicate
or call, or enumerates all current spypoints.
Arguments
- Spyspec compound
- can be any Prolog term. Prolog will
try to unify it to terms of the form:
predicate(
Pred)
-
A spypoint on any call to Pred. Pred will 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 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.
Description
This predicate is not supported in runtime systems.
Backtracking
Can generate all current spypoints on backtracking.
See Also
add_spypoint/1
, remove_spypoint/1
,
spy/1
, nospy/1
, debugging/0
dbg-bas-bas.