sig
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
type on_alarm =
Cil_types.kernel_function ->
Cil_types.stmt -> invalid:bool -> Alarms.alarm -> unit
type 'a iterator =
?flags:RteGen.Flags.t ->
RteGen.Visit.on_alarm ->
Kernel_function.t -> Cil_types.stmt -> 'a -> unit
val iter_lval : Cil_types.lval RteGen.Visit.iterator
val iter_exp : Cil_types.exp RteGen.Visit.iterator
val iter_instr : Cil_types.instr RteGen.Visit.iterator
val iter_stmt : Cil_types.stmt RteGen.Visit.iterator
val register :
Emitter.t ->
Cil_types.kernel_function ->
Cil_types.stmt ->
invalid:bool -> Alarms.alarm -> Cil_types.code_annotation * bool
end