RteGen.VisitSourceVisitors to iterate over Alarms and/or generate Code-Annotations
val get_annotations_kf :
?flags:Flags.t ->
Frama_c_kernel.Cil_types.kernel_function ->
Frama_c_kernel.Cil_types.code_annotation listval get_annotations_stmt :
?flags:Flags.t ->
Frama_c_kernel.Cil_types.kernel_function ->
Frama_c_kernel.Cil_types.stmt ->
Frama_c_kernel.Cil_types.code_annotation listval get_annotations_exp :
?flags:Flags.t ->
Frama_c_kernel.Cil_types.kernel_function ->
Frama_c_kernel.Cil_types.stmt ->
Frama_c_kernel.Cil_types.exp ->
Frama_c_kernel.Cil_types.code_annotation listval get_annotations_lval :
?flags:Flags.t ->
Frama_c_kernel.Cil_types.kernel_function ->
Frama_c_kernel.Cil_types.stmt ->
Frama_c_kernel.Cil_types.lval ->
Frama_c_kernel.Cil_types.code_annotation listtype on_alarm =
Frama_c_kernel.Cil_types.kernel_function ->
Frama_c_kernel.Cil_types.stmt ->
invalid:bool ->
Frama_c_kernel.Alarms.alarm ->
unittype 'a iterator =
?flags:Flags.t ->
on_alarm ->
Frama_c_kernel.Kernel_function.t ->
Frama_c_kernel.Cil_types.stmt ->
'a ->
unitval register :
Frama_c_kernel.Emitter.t ->
Frama_c_kernel.Cil_types.kernel_function ->
Frama_c_kernel.Cil_types.stmt ->
invalid:bool ->
Frama_c_kernel.Alarms.alarm ->
Frama_c_kernel.Cil_types.code_annotation * bool