[ 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

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