[ Debugging | Reference Manual | Alphabetic Index ]

skipped +SpecList

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
      [eclipse]: trace.
      Debugger switched on - creep mode
      [eclipse]: p.
      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).

See Also

unskipped / 1, get_flag / 3, set_flag / 3