RteGen.VisitSourceVisitors to iterate over Alarms and/or generate Code-Annotations
val annotate :
?flags:Flags.t ->
Frama_c_kernel.Cil_types.kernel_function ->
unitval 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 iter_lval : Frama_c_kernel.Cil_types.lval iteratorval iter_exp : Frama_c_kernel.Cil_types.exp iteratorval iter_instr : Frama_c_kernel.Cil_types.instr iteratorval iter_stmt : Frama_c_kernel.Cil_types.stmt iteratorval 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