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

sha256=d2fbb3b8d0ff83945872e9e6fa258e934a706360e698dae3b4d5f971addf7493

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.