package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
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 Dgraph_helper : sig ... end

Creation of windows for displaying graphs. Only available for lablgtk2. In lablgtk3 mode, the window will only display a text saying that the feature is not available.

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_compat : 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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct