[ Development Environment and Global Settings | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic 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 5]: pred(pred/1).
    mode                pred(?)
    call_type           prolog
    debugged            on
    declared            on
    autoload            off
    auxiliary           off
    defined             on
    leash               notrace
    skip                on
    spy                 off
    start_tracing       off
    stability           static
    tool                on
    type                built_in
    visibility          imported
    priority            2
    demon               off
    parallel            off
    definition_module   sepia_kernel
    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