Frama-C:
Plug-ins:
Libraries:

Frama-C API - Information

val register : id:string -> label:string -> title:string -> ?descr:string -> ?enable:(unit -> bool) -> (Stdlib.Format.formatter -> Frama_c_kernel.Printer_tag.localizable -> unit) -> unit

Registers a marker information printer. Identifier id shall be unique.

  • label shall be very short.
  • title shall succinctly describe the kind of information.
  • descr optional longer description explaining the information
  • enable optional dynamical filter for enabling this information

The printer shall raise Not_found exception when there is no information for the localizable.

val signal : Request.signal

Updated information signal

val update : unit -> unit

Emits a signal to server clients to reload AST marker information.