package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

Stored messages for persistence between sessions.

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

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

val fold : ('a -> 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 : 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_global_hook : (unit -> unit) -> unit

Register a global hook (not projectified) on message addition.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct