package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

Dune Dependency

frama-c.com Readme Edit opam file Versions (25)

Authors

Maintainers

F

frama-ci-bot@frama-c.com

Sources

frama-c-31.0-Gallium.tar.gz

sha256=a94384f00d53791cbb4b4d83ab41607bc71962d42461f02d71116c4ff6dca567

doc/frama-c.gui/Frama_c_gui/Menu_manager/class-menu_manager/index.html

Class `Menu_manager.menu_manager`Source

How to handle a Frama-C menu.

since Boron-20100401

API for plug-ins

method add_plugin : ?title:string -> entry list -> item array

Add entries dedicated to a plug-in. If title is specified, then the entries are added in a dedicated sub-menu of name title. The elements of the returned array are in the same order that the ones in the input list.

since Boron-20100401

method add_debug : ?title:string ->
  ?show:(unit -> bool) ->
  entry list ->
  item array

Add entries to the menu dedicated to debugging tools. If title is specified, then the entries are added in a dedicated sub-menu of name title. If show is specified, then the entries are only shown when this function returns true (it returns true by default). The elements of the returned array are in the same order that the ones in the input list.

since Boron-20100401

High-level API

method add_menu : ?pos:int -> string -> GMenu.menu_item * GMenu.menu

since Boron-20100401

method add_entries : ?title:string ->
  ?pos:int ->
  GMenu.menu ->
  entry list ->
  item array

Add entries in the given menu. If title is specified, then the entries are added in a dedicated sub-menu of name title. The elements of the returned array are in the same order that the ones in the input list.

since Boron-20100401

method set_sensitive : bool -> unit

Set the sensitive property of all the entries.

since Boron-20100401

Low-level API

method factory : GMenu.menu_shell GMenu.factory

since Boron-20100401

method menubar : GMenu.menu_shell

since Boron-20100401

method toolbar : GButton.toolbar

since Boron-20100401

method refresh : unit -> unit

Reset the activation state of the buttons

since Nitrogen-20111001

On This Page

API for plug-ins
High-level API
Low-level API