Previous  Up  Next

Module Rte

module Rte: sig .. end

Accessing the RTE plug-in easily.

Generic code

val stmt : ?warn:bool ->
       Cil_types.kernel_function -> Cil_types.stmt -> Cil_types.code_annotation list

RTEs of a given stmt, as a list of code annotations.

val exp : ?warn:bool ->
       Cil_types.kernel_function ->
       Cil_types.stmt -> Cil_types.exp -> Cil_types.code_annotation list

RTEs of a given exp, as a list of code annotations.