Frama-C:
Plug-ins:
Libraries:

Frama-C API - Messages

Stored messages for persistence between sessions.

val iter : (Fclib.Log.event -> unit) -> unit

Iter over all stored messages. The messages are passed in emission order.

val fold : ('a -> Fclib.Log.event -> 'a) -> 'a -> 'a

Fold over all stored messages. The messages are passed in emission order.

val dump_messages : unit -> unit

Dump stored messages to standard channels

val self : Fclib.State.t

Internal state of stored messages

val reset_once_flag : unit -> unit

Reset the once flag of pretty-printers. Messages already printed will be printed again.

  • since Boron-20100401
val nb_errors : unit -> int
val nb_warnings : unit -> int
val nb_messages : unit -> int

Number of stored warning messages, error messages, or all messages.

val add_hook : ((Fclib.Log.event * int) -> unit) -> unit

Register a global hook (not projectified) called on each message addition, with the new event and its index (counting from 0).