package frama-c

  1. Overview
  2. Docs

Module Frama_c_gui.FiletreeSource

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

Sourcetype filetree_node =
  1. | File of Frama_c_kernel.Datatype.Filepath.t * Frama_c_kernel.Cil_types.global list
  2. | 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
    • since Nitrogen-20111001
    *)
Sourceclass type t = object ... end
Sourceval make : GTree.view -> t

Create a file tree packed in the given tree_view.