Kernel_ast.Information
val register :
id:string ->
label:string ->
descr:string ->
?title: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. descr
shall succinctly describe the kind of information. title
is an optional longer explanation for the kind of information. If the optional enable
function is provided, the information printer is only used when enable ()
returns true. The printer is allowed to raise Not_found
exception when there is no information for the localizable.
val signal : Request.signal
Updated information signal