[ ECLiPSe Debugger built-in.|Group Index| Full 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.

Fail Conditions

None.

Resatisfiable

No.

Exceptions

(4) Instantiation fault
SpecList is not instantiated.
(5) Type error
SpecList is instantiated, but not of the form atom or Atom/Integer.
(60)
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