[ Debugging | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]
All spypoints are removed from all the procedures given by SpecList. If
SpecList is a variable, remove all spypoints.
- Sequence of expressions of the form Atom/Integer, Atom or Variable.
Removes spypoints from all procedures given by SpecList.
If SpecList is of the form name, then spypoints are removed from
procedures with name name and of any arity.
If SpecList is a variable, all spypoints of visible procedures are
Note that spypoints can also be removed with set_flag(Proc, spy, off).
Modes and Determinism
This predicate is sensitive to its module context (tool predicate, see @/2).
- (4) instantiation fault
- SpecList is not instantiated.
- (5) type error
- SpecList is neither of the form Atom/Integer, nor of the form atom.
- (60) referring to an undefined procedure
- SpecList is an undefined procedure.
p :- q, writeln(hi).
user compiled 112 bytes in 0.00 seconds
Leap mode switched on
[eclipse]: spy writeln/1.
spypoint added to writeln / 1.
B+(3) 1 CALL writeln(hi) (dbg)?- leap % type l
B+(3) 1 EXIT writeln(hi) (dbg)?- leap
[eclipse]: nospy writeln/1.
spypoint removed from writeln / 1.
nospy(I). (Error 4).
nospy("l"). (Error 5).
nospy(foo). (Error 60).
spy / 1, get_flag / 3, set_flag / 3