Module Frama_c_guiSource

Sourcemodule Analyses_manager : sig ... end

Nothing exported. Automatic registration.

Sourcemodule Book_manager : sig ... end

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

Sourcemodule Design : sig ... end

The extensible GUI.

Sourcemodule File_manager : sig ... end

Nothing exported. Automatic registration.

Sourcemodule Filetree : sig ... end

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

Sourcemodule GSourceView : sig ... end
Sourcemodule Gtk_form : sig ... end

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

Sourcemodule Gtk_helper : sig ... end

Generic Gtk helpers.

Sourcemodule Gui_parameters : sig ... end

GUI as a plug-in.

Sourcemodule Gui_printers : sig ... end

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

Sourcemodule Help_manager : sig ... end

Nothing exported. Automatic registration.

Sourcemodule History : sig ... end
Sourcemodule Launcher : sig ... end

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

Sourcemodule Menu_manager : sig ... end

Handle the menubar and the toolbar.

Sourcemodule Pretty_source : sig ... end

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

Sourcemodule Project_manager : sig ... end

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

Sourcemodule Property_navigator : sig ... end

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

Sourcemodule Source_manager : sig ... end

The source viewer multi-tabs widget window.

Sourcemodule Source_viewer : sig ... end

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

Sourcemodule Warning_manager : sig ... end

Handle Frama-C warnings in the GUI.

Sourcemodule Wbox : sig ... end

Box Layouts.

Sourcemodule Wfile : sig ... end
Sourcemodule Widget : sig ... end
Sourcemodule Wpalette : sig ... end

A side-bar palette of tools.

Sourcemodule Wpane : sig ... end

Panels

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