[ Debugging | The ECLiPSe Built-In Predicates | 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.

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) 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