[ Debugging | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]

# nospy ?Speclist

All spypoints are removed from all the procedures given by SpecList. If SpecList is a variable, remove all spypoints.

SpecList
  Sequence of expressions of the form Atom/Integer, Atom or Variable.

## Description

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 removed.

Note that spypoints can also be removed with set_flag(Proc, spy, off).

### Modes and Determinism

- nospy(?) is det

### Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

### Exceptions

(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.

## Examples

    Success:
        [eclipse]: [user].
         q.
         p :- q, writeln(hi).
         user compiled 112 bytes in 0.00 seconds
        yes.
        [eclipse]: debug.
        Leap mode switched on
        yes.
        [eclipse]: spy writeln/1.
        spypoint added to writeln / 1.
        yes.
        [eclipse]: p.
        B+(3) 1  CALL   writeln(hi) (dbg)?- leap    % type l
        hi
        B+(3) 1  EXIT   writeln(hi) (dbg)?- leap
        yes.
        [eclipse]: nospy writeln/1.
        spypoint removed from writeln / 1.
        yes.
        [eclipse]: p.
        hi
        yes.

    Error:
        nospy(I).         (Error 4).
        nospy("l").       (Error 5).
        nospy(foo).       (Error 60).

## See Also

spy / 1, get_flag / 3, set_flag / 3