module Annotations: sig
.. end
Globals annotations.
The AST should be computed before using this module
(cf. Ast.compute
).
val self : State.t
The state kind corresponding to the table of global annotations.
Getters
val get_all : unit -> (Cil_types.global_annotation * bool) list
Iterators
val iter : (Cil_types.global_annotation -> bool -> unit) -> unit
The boolean parameter of the given function is true
iff the
annotation was generated.
Setters
val add_user : Cil_types.global_annotation -> unit
val add_generated : Cil_types.global_annotation -> unit
val replace_all : (Cil_types.global_annotation -> bool -> Cil_types.global_annotation * bool) ->
unit