Frama-C API - Filetree
The tree containing the list of modules and functions together with dynamic columns
type filetree_node =
| File of Frama_c_kernel.Datatype.Filepath.t * Frama_c_kernel.Cil_types.global list
| Global of Frama_c_kernel.Cil_types.global
(*Caml type for the infos on a node of the tree. Not all globals appear in the filetree. Currently, the visible ones are:
- functions definitions, or declarations if no definition exists
- global variables
- global annotations
class type t = object ... end
val make : GTree.view -> t
Create a file tree packed in the given tree_view.