Server.Kernel_astSourceAst Data
Represented by a Json record with file, dir, basename, line
Json key representing a function name
Represented by the function name as jFunction.
Represented by the function name as jFunction.
Ast Markers
Ast Markers of Specific Kinds
Markers that are statements.
Optional markers interpreted as kinstr.
Represented as a Json record with function name and marker tag.
Ast Printer
module Printer : Frama_c_kernel.Printer_tag.S_ppAst Information
Globals