module Visit:sig
..end
Visitors to iterate over Alarms and/or generate Code-Annotations
val annotate : ?flags:RteGen.Flags.t -> Cil_types.kernel_function -> unit
val get_annotations_kf : ?flags:RteGen.Flags.t ->
Cil_types.kernel_function -> Cil_types.code_annotation list
val get_annotations_stmt : ?flags:RteGen.Flags.t ->
Cil_types.kernel_function -> Cil_types.stmt -> Cil_types.code_annotation list
val get_annotations_exp : ?flags:RteGen.Flags.t ->
Cil_types.kernel_function ->
Cil_types.stmt -> Cil_types.exp -> Cil_types.code_annotation list
val get_annotations_lval : ?flags:RteGen.Flags.t ->
Cil_types.kernel_function ->
Cil_types.stmt -> Cil_types.lval -> Cil_types.code_annotation list
typeon_alarm =
Cil_types.kernel_function ->
Cil_types.stmt -> invalid:bool -> Alarms.alarm -> unit
type'a
iterator =?flags:RteGen.Flags.t ->
on_alarm -> Kernel_function.t -> Cil_types.stmt -> 'a -> unit
val iter_lval : Cil_types.lval iterator
val iter_exp : Cil_types.exp iterator
val iter_instr : Cil_types.instr iterator
val iter_stmt : Cil_types.stmt iterator
val register : Emitter.t ->
Cil_types.kernel_function ->
Cil_types.stmt ->
invalid:bool -> Alarms.alarm -> Cil_types.code_annotation * bool