Module Filetree

module Filetree: sig .. end

The tree containing the list of modules and functions together with dynamic columns


type filetree_node = 
| File of Datatype.Filepath.t * Cil_types.global list
| Global of 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
  • Since Nitrogen-20111001
*)
class type t = object .. end
val make : GTree.view -> t

Create a file tree packed in the given tree_view.