package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
inherit Frama_c_gui.Widget.widget
method add_newline : unit

Inserts an empty line.

method add_section : string -> unit

Starts a new section.

method add_label : string -> unit

Inserts a field name. Moves to right column.

method add_label_widget : GObj.widget -> unit

Inserts a small (fixed) widget in place of a label. Moves to right column.

method add_field : ?label:string -> ?field:field -> GObj.widget -> unit

Inserts an entry in the form. Optional label is inserted in right column is specified. Default field is `Field. Moves to next line.

method add_row : ?field:field -> ?xpadding:int -> ?ypadding:int -> GObj.widget -> unit

Inserts a wide entry in the form, spanning the two columns. Default field is `Field. Moves to next line.

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