Frama-C API - `Kernel_ast`

Ast Data

module Position : Data.S with type t = Frama_c_kernel.Filepath.position

Represented by a Json record with file, dir, basename, line

Ast Markers

module type Tag = sig ... end

module Decl : Tag with type t = Frama_c_kernel.Printer_tag.declaration

module Marker : Tag with type t = Frama_c_kernel.Printer_tag.localizable

Ast Markers of Specific Kinds

module Lval : sig ... end

Markers that are l-values.

module Stmt : Data.S with type t = Frama_c_kernel.Cil_types.stmt

Markers that are statements.

module Kinstr : Data.S with type t = Frama_c_kernel.Cil_types.kinstr

Optional markers interpreted as kinstr.

Ast Printer

module PrinterTag : Frama_c_kernel.Printer_tag.S_pp

Ast Information

module Information : sig ... end

Globals

module Functions : sig ... end

Frama-C API - Kernel_ast