[ Debugging | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]

skipped +SpecList

Declares all the procedures given in SpecList as skipped.
SpecList
Sequence of expressions of the form Atom/Integer.

Description

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

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 is not of the form atom or Atom/Integer.
(60) referring to an undefined procedure
SpecList is not a defined procedure.

Examples

Success:
      [eclipse]: [user], skipped p/0.
       q.   p :- q.
       user compiled 60 bytes in 0.02 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  % information on
      yes.                             % q not printed.
Error:
      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