RteGen.Visit
Visitors to iterate over Alarms and/or generate Code-Annotations
val annotate :
?flags:Flags.t ->
Frama_c_kernel.Cil_types.kernel_function ->
unit
val get_annotations_kf :
?flags:Flags.t ->
Frama_c_kernel.Cil_types.kernel_function ->
Frama_c_kernel.Cil_types.code_annotation list
val 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 list
val 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 list
val 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 list
type on_alarm =
Frama_c_kernel.Cil_types.kernel_function ->
Frama_c_kernel.Cil_types.stmt ->
invalid:bool ->
Frama_c_kernel.Alarms.alarm ->
unit
type 'a iterator =
?flags:Flags.t ->
on_alarm ->
Frama_c_kernel.Kernel_function.t ->
Frama_c_kernel.Cil_types.stmt ->
'a ->
unit
val iter_lval : Frama_c_kernel.Cil_types.lval iterator
val iter_exp : Frama_c_kernel.Cil_types.exp iterator
val iter_instr : Frama_c_kernel.Cil_types.instr iterator
val iter_stmt : Frama_c_kernel.Cil_types.stmt iterator
val 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