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