skipped +SpecList

SpecList

Sequence of expressions of the form Atom/Integer.

Description

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

• skipped(++) is det

Modules

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