package frama-c

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

Handle the menubar and the toolbar.

  • since Boron-20100401
type where =
  1. | Toolbar of GtkStock.id * string * string
    (*

    Label then tooltip

    *)
  2. | Menubar of GtkStock.id option * string
    (*

    Stock used for icon * Label

    *)
  3. | ToolMenubar of GtkStock.id * string * string
    (*

    Label then tooltip

    *)

Where to put a new entry.

  • since Boron-20100401
type callback_state =
  1. | Unit_callback of unit -> unit
  2. | Bool_callback of bool -> unit * unit -> bool

Callback for the buttons that can be in the menus. Standard buttons/menus have a callback with no argument. Buttons/menus with states are displayed with checkboxes in menus, or as toggle buttons in toolbars. They receive the after-click state as argument. The state of the button with the second argument of Bool_callback. Currently checks menus cannot have images in Gtk, or the GtkStock.id fields of where are ignored.

  • since Nitrogen-20111001
type entry = private {
  1. e_where : where;
  2. e_callback : callback_state;
    (*

    callback called when the button is clicked

    *)
  3. e_sensitive : unit -> bool;
    (*

    should the button be activated when the gui is refreshed

    *)
}
  • since Boron-20100401

Smart constructors for menu entries.

If not supplied, the sensitive parameter is the function that always returns true.

  • since Nitrogen-20111001
val toolbar : ?sensitive:(unit -> bool) -> icon:GtkStock.id -> label:string -> ?tooltip:string -> callback_state -> entry
val menubar : ?sensitive:(unit -> bool) -> ?icon:GtkStock.id -> string -> callback_state -> entry
val toolmenubar : ?sensitive:(unit -> bool) -> icon:GtkStock.id -> label:string -> ?tooltip:string -> callback_state -> entry
class type item = object ... end

The item type corresponding to an entry.

class menu_manager : ?packing:(GObj.widget -> unit) -> Gtk_helper.host -> object ... end

How to handle a Frama-C menu.

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