package frama-c

  1. Overview
  2. Docs

Module Kernel_ast.InformationSource

Sourceval register : id:string -> label:string -> title:string -> ?descr:string -> ?enable:(unit -> bool) -> (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 informations
  • enable optional dynamical filter for enabling this information

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

Updated information signal

Sourceval update : unit -> unit

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