[ Debugging | Reference Manual | Alphabetic Index ]
Declares all the procedures given in SpecList as skipped.
- Sequence of expressions of the form Atom/Integer.
Sets all the procedures given by SpecList in skipped mode. Marking a
predicate as skipped will prevent any information about its subgoals
being displayed by the debugger.
The procedures are all of the form name/arity, or else of the form name,
in which case all procedures with name name are skipped.
Note that skipped/1 is superseded by the predicate call set_flag(Proc,
skip, on), which declares the procedure Proc as skipped.
Modes and Determinism
This predicate is sensitive to its module context (tool predicate, see @/2).
- (4) instantiation fault
- SpecList is not instantiated.
- (5) type error
- SpecList is instantiated, but is not of the form atom or Atom/Integer.
- (60) referring to an undefined procedure
- SpecList is not a defined procedure.
[eclipse]: [user], skipped p/0.
q. p :- q.
user compiled 60 bytes in 0.02 seconds
Debugger switched on - creep mode
S (1) 0 CALL p (dbg)?- creep
S (1) 0 EXIT p (dbg)?- creep % information on
yes. % q not printed.
skipped Proc/1. (Error 4).
skipped write(Term)/1. (Error 5).
skipped do. (Error 5).
skipped n/1. (Error 60).
unskipped / 1, get_flag / 3, set_flag / 3