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/Wpane/index.html

Module `Frama_c_gui.Wpane`Source

Panels

Form

Sourcetype field = [

| `Compact
(*
Fixed size. Does not expand.
*)
| `Field
(*
Single line field. Expands to the left.
*)
| `Panel
(*
Multiline field. Expands to both left and bottom.
*)

]

The expansible attribute of a field.

A form with various field types.

The form consists of two columns, with one entry per line. Left columns is reserved for (optional) labels. Fields take place in right column. It is also possible to add widget that spans over the two columns.

The form can be horizontally divided into sections.

Elements must be added in left-to-right, top-down order.

Sourceclass form : unit -> object ... end

Tabbed-pane

Sourceclass 'a notebook : ?tabs:Gtk.Tags.position -> default:'a -> unit -> object ... end

Array of Widgets

Sourceclass type entry = object ... end

Sourceclass 'a warray : ?dir:Gtk.Tags.orientation -> ?entry:('a -> entry) -> unit -> object ... end

Dialogs

Sourcetype 'a action = [

| `CANCEL
(*
Cancel choice (same as closing the dialog or `MAIN `CANCEL)
*)
| `APPLY
(*
Default choice (same as `DEFAULT `APPLY)
*)
| `DEFAULT of 'a
(*
Default choice (right, small, default button)
*)
| `SELECT of 'a
(*
Secondary choice (right, small button)
*)
| `ALT of 'a
(*
Alternative choice (left, large button)
*)
| `ACTION of unit -> unit
(*
Button (left, large button)
*)

]

Button for dialog options

Dialog Window.

Dialog window are asynchronous and modal. To open the dialog, invoke run. The method returns immediately. When running, the main window is no more sensitive (dialog is modal). When an action-button is pressed, or the method select is invoked, the associated signal is emitted, and the dialog is dismissed. Then focus goes back to the main window, and the dialog can be re-emitted.

Sourceclass 'a dialog : title:string -> window:GWindow.window -> ?resize:bool -> unit -> object ... end

On This Page

Form
Tabbed-pane
Array of Widgets
Dialogs