Frama-C:
Plug-ins:
Libraries:

Frama-C API - Frama_c_gui

module Analyses_manager : sig ... end

Nothing exported. Automatic registration.

module Book_manager : sig ... end

Undocumented. Do not use this module if you don't know what you are doing.

module Design : sig ... end

The extensible GUI.

module File_manager : sig ... end

Nothing exported. Automatic registration.

module Filetree : sig ... end

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

module GSourceView : sig ... end
module Gtk_form : sig ... end

DEPRECATED. Helpers around Gtk_helper to create side-panel widgets.

module Gtk_helper : sig ... end

Generic Gtk helpers.

module Gui_parameters : sig ... end

GUI as a plug-in.

module Gui_printers : sig ... end

Special pretty-printers for the GUI. Some sub-elements are annotated by format tags, in order to make them reactive.

module Help_manager : sig ... end

Nothing exported. Automatic registration.

module History : sig ... end
module Launcher : sig ... end

The Frama-C launcher. That is the dialog box for configuring and running Frama-C with new parameter values.

module Menu_manager : sig ... end

Handle the menubar and the toolbar.

module Pretty_source : sig ... end

Utilities to pretty print source with located elements in a Gtk TextBuffer.

module Project_manager : sig ... end

No function is exported. Extension of the GUI in order to support project switching.

module Property_navigator : sig ... end

Extension of the GUI in order to navigate in ACSL properties.

module Source_manager : sig ... end

The source viewer multi-tabs widget window.

module Source_viewer : sig ... end

The Frama-C source viewer. That is the buffer where Frama-C puts its pretty-printed AST.

module Warning_manager : sig ... end

Handle Frama-C warnings in the GUI.

module Wbox : sig ... end

Box Layouts.

module Wfile : sig ... end
module Widget : sig ... end
module Wpalette : sig ... end

A side-bar palette of tools.

module Wpane : sig ... end

Panels

module Wtable : sig ... end
module Wtext : sig ... end
module Wutil : sig ... end
module Wutil_once : sig ... end