[ ECLiPSe Prolog Environment built-in.|Group Index| Full Index]

pred(+PredSpec)

The flags of the predicate described by PredSpec are printed out on the current output.

+PredSpec
Predicate name in the form Atom/Integer

Description

Used to print on the current output the flags of the visible predicate described by PredSpec. For the description of the flags see get_flag/3.

Fail Conditions

Fails if PredSpec does not exist.

Resatisfiable

No

Exceptions

(4) Instantiation fault
PredSpec is not instantiated
(5) Type error
PredSpec is not in the format Atom/Integer

Examples


   Success:
   [eclipse]: pred(pred/1).
   call_type           prolog
   debugged            on
   declared            off
   defined             on
   leash               notrace
   protected           off
   skip                on
   spy                 off
   stability           static
   tool                on
   type                built_in
   visibility          global
   waking              eager
   definition_module   sepia_kernel
   mode                pred(?)
   statistics          off
   Fail:
   pred(nopred/1).
   Error:
   pred(pred/X).                    (Error 4).
   pred(pred).                      (Error 5).


See Also

get_flag / 3, is_built_in / 1, current_built_in / 1