Frama-C API - Visit
Visitors 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