[ Debugging | Reference Manual | Alphabetic Index ]

# unskipped +SpecList

Sets the procedures specified in SpecList to be unskipped or not skipped.

SpecList
  Sequence of expressions of the form Atom/Integer.

## Description

Undoes the effect of a call to skipped/1 on the specified procedure(s), i.e. its subgoals will now be traced.

The expressions in SpecList are all of the form name/arity.

Note that unskipped/1 is superseded by the predicate set_flag(Proc, skip, off), which sets the procedure Proc to be unskipped.

### Modes and Determinism

- unskipped(++) 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 instantiated, but not of the form atom or Atom/Integer.
(60) referring to an undefined procedure
  SpecList contains an undefined procedure.

## Examples

    Success:
          [eclipse]: [user], skipped p/0.
           q.
           p :- q.
           user compiled 60 bytes in 0.00 seconds
          yes.
          [eclipse]: trace.
          Debugger switched on - creep mode
          yes.
          [eclipse]: p.
          S (1) 0  CALL   p (dbg)?- creep
          S (1) 0  EXIT   p (dbg)?- creep
          yes.
          [eclipse]: unskipped p/0.
          yes.
          [eclipse]: p.
            (1) 0  CALL   p (dbg)?- creep
            (2) 1  CALL   q (dbg)?- creep
            (2) 1  EXIT   q (dbg)?- creep
            (1) 0  EXIT   p (dbg)?- creep
          yes.

    Error:
          unskipped Proc/1.           (Error 4).
          unskipped write(Term)/1.    (Error 5).
          unskipped do.               (Error 5).
          unskipped n/1.              (Error 60).

## See Also

skipped / 1