Module Alarms


module Alarms: sig .. end
Alarms Database for the value analysis.
Consult the Plugin Development Guide for additional details.


Warning: the interface of this module will probably radically change soon. Do not use it on stable code
type alarm = Cil_types.alarm * Cil_types.code_annotation 
module Alarm_datatype: Datatype.S  with type t = alarm
val pretty : Format.formatter -> Cil_types.alarm -> unit
val register : deps:State.t list ->
Cil_types.kinstr ->
alarm -> ?status:Property_status.emitted_status -> Emitter.t -> bool
Register the given alarm on the given statement. By default, the alarm is emitted with status Dont_know, and by the given emitter. Return true if the given alarm has never been emitted before on the same kinstr (without taking into consideration the status or the emitter)
val clear : unit -> unit
val iter : (Cil_types.kinstr -> alarm -> unit) -> unit
val fold : (Cil_types.kinstr -> alarm -> 'a -> 'a) -> 'a -> 'a
val fold_kinstr : Cil_types.kinstr -> (alarm -> 'a -> 'a) -> 'a -> 'a
val self : State.t