package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Frama_c_gui.DesignSource

The extensible GUI.

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 type main_window_extension_points = object ... end

This is the type of extension points for the GUI.

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

Register an extension to the main GUI. It will be invoked at initialization time.

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

Register a function to be called whenever the main GUI reset method is called.

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

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