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 (23)

Authors

Maintainers

F

frama-ci-bot@frama-c.com

Sources

frama-c-29.0-Copper.tar.gz

sha256=d2fbb3b8d0ff83945872e9e6fa258e934a706360e698dae3b4d5f971addf7493

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

Class `Design.protected_menu_factory`Source

constraint 'a = GMenu.menu_shell

val flags : Gtk.Tags.accel_flag list

val group : Gtk.accel_group

val m : Gdk.Tags.modifier list

val menu_shell : 'a

method accel_group : Gtk.accel_group

method add_check_item : ?active:bool ->
  ?key:Gdk.keysym ->
  ?callback:(bool -> unit) ->
  string ->
  check_menu_item

method add_item : ?key:Gdk.keysym ->
  ?callback:(unit -> unit) ->
  ?submenu:menu ->
  string ->
  menu_item

method add_radio_item : ?group:Gtk.radio_menu_item Gtk.group ->
  ?active:bool ->
  ?key:Gdk.keysym ->
  ?callback:(bool -> unit) ->
  string ->
  radio_menu_item

method add_separator : unit -> menu_item

method add_submenu : ?key:Gdk.keysym -> string -> menu

method private bind : ?modi:Gdk.Tags.modifier list ->
  ?key:Gdk.keysym ->
  ?callback:(unit -> unit) ->
  menu_item ->
  string ->
  unit

method menu : 'a