package frama-c

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

The extensible GUI.

class type reactive_buffer = object ... end

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

class type view_code = object ... end

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

class protected_menu_factory : Gtk_helper.host -> GMenu.menu -> GMenu.menu GMenu.factory
class type main_window_extension_points = object ... end

This is the type of extension points for the GUI.

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

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

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

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

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
module 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