Server.Kernel_ast
Ast Data
module Position : Data.S with type t = Frama_c_kernel.Filepath.position
module Kf : Data.S with type t = Frama_c_kernel.Cil_types.kernel_function
module Fundec : Data.S with type t = Frama_c_kernel.Cil_types.fundec
module Ki : Data.S with type t = Frama_c_kernel.Cil_types.kinstr
module Stmt : Data.S with type t = Frama_c_kernel.Cil_types.stmt
module Lval :
Data.S
with type t =
Frama_c_kernel.Cil_types.kinstr * Frama_c_kernel.Cil_types.lval
module Marker : sig ... end
module KfMarker :
Data.S
with type t =
Frama_c_kernel.Cil_types.kernel_function
* Frama_c_kernel.Printer_tag.localizable
Ast Printer
module Printer : Frama_c_kernel.Printer_tag.S_pp
Ast Information
module Information : sig ... end
Globals
module Functions : sig ... end