Module Globals.Annotations


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