sig
val add :
Cil_types.stmt ->
Db_types.rooted_code_annotation Db_types.before_after -> unit
val add_assert :
Cil_types.stmt ->
before:bool -> Cil_types.predicate Cil_types.named -> unit
val add_alarm :
Cil_types.stmt ->
before:bool -> Alarms.t -> Cil_types.predicate Cil_types.named -> unit
val replace :
Cil_types.stmt ->
Db_types.rooted_code_annotation Db_types.before_after -> unit
val reset_stmt : Cil_types.stmt -> unit
val get :
Cil_types.stmt ->
Db_types.rooted_code_annotation Db_types.before_after list
val get_filter :
(Cil_types.code_annotation -> bool) ->
Cil_types.stmt ->
Db_types.rooted_code_annotation Db_types.before_after list
val filter :
(Cil_types.stmt ->
Db_types.rooted_code_annotation Db_types.before_after -> bool) ->
unit
val iter :
(Cil_types.stmt ->
Db_types.rooted_code_annotation Db_types.before_after list
Pervasives.ref -> unit) ->
unit
val self : Project.Computation.t
end