Module `Frama_c_gui.Design`Source

The extensible GUI.

see https://frama-c.com/download/frama-c-plugin-development-guide.pdf
Plug-in Development Guide

Sourceclass type reactive_buffer = object ... end

This is the type of source code buffers that can react to global selections and highlighters.

Sourceclass type view_code = object ... end

This class type lists all the methods available to navigate the source code through the GUI

Sourceclass protected_menu_factory : Gtk_helper.host -> GMenu.menu -> GMenu.menu GMenu.factory

Sourceclass type main_window_extension_points = object ... end

This is the type of extension points for the GUI.

Sourceclass main_window : unit -> main_window_extension_points

Sourceval register_extension : (main_window_extension_points -> unit) -> unit

see https://frama-c.com/download/frama-c-plugin-development-guide.pdf
Plug-in Development Guide

Sourceval register_reset_extension : (main_window_extension_points -> unit) -> unit

Source

val reactive_buffer : 
  main_window_extension_points ->
  ?parent_window:GWindow.window ->
  Frama_c_kernel.Cil_types.global list ->
  reactive_buffer

This function creates a reactive buffer for the given list of globals. These buffers are cached and sensitive to selections and highlighters.

since Beryllium-20090901

Sourcemodule Feedback : sig ... end

Bullets in left-margins

Install

Dune Dependency

Authors

Maintainers

Sources

doc/frama-c.gui/Frama_c_gui/Design/index.html

Module `Frama_c_gui.Design`Source

package frama-c

Install

Dune Dependency

Authors

Maintainers

Sources

doc/frama-c.gui/Frama_c_gui/Design/index.html

Module Frama_c_gui.DesignSource

Module `Frama_c_gui.Design`Source