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

Module `Frama_c_gui.Wbox`Source

Box Layouts.

Sourcetype box

A packed widget with its layout directives

Sourcetype expand =

| W
(*
Stay at widget's size.
*)
| H
(*
Expands horizontally. Typically, a text-field.
*)
| V
(*
Expands vertically. Typically a side-bar.
*)
| HV
(*
Expands in both directions. Typically, a text editor.
*)

Expansion Modes.

Source

val box : 
  ?expand:expand ->
  ?padding:int ->
  ?widget:Widget.widget ->
  unit ->
  box

Generic packing. Without ~widget, a space is created instead.

Defaults: ~expand:W ~padding:0.

Sourceval g : ?expand:expand -> ?padding:int -> GObj.widget -> box

Helper to box for packing a GObj.widget. Same defaults than box.

Sourceval w : ?expand:expand -> ?padding:int -> Widget.widget -> box

Helper to box for packing a widget. Same defaults than box.

Sourceval h : ?padding:int -> Widget.widget -> box

w ~expand:H

Sourceval v : ?padding:int -> Widget.widget -> box

w ~expand:V

Sourceval hv : ?padding:int -> Widget.widget -> box

w ~expand:HV

Source

val label : 
  ?fill:bool ->
  ?style:Widget.style ->
  ?align:Widget.align ->
  ?padding:int ->
  string ->
  box

Helper to pack a Widget.label widget using box.

Default: ~fill:false ~style:`Label ~align:`Left ~padding:0

hbox and vbox can be used to created nested boxes. Typically, local scope opening can be used, typically: Wbox.(hbox [ w A ; w B ; w C ]), where A, B and C are widgets, or boxes.

Notice that nested boxes can generally be packed using default W mode, even if they contains horizontal or vertical widgets.

Sourceval hbox : box list -> Widget.widget

Pack a list of boxes horizontally.

Sourceval vbox : box list -> Widget.widget

Pack a list of boxes vertically.

Sourceval hgroup : Widget.widget list -> Widget.widget

Pack a list of widgets horizontally, with all widgets stuck to the same width

Sourceval vgroup : Widget.widget list -> Widget.widget

Pack a list of widgets vertically, with all widgets stuck to the same width

Sourceval toolbar : box list -> box list -> Widget.widget

The first list is packed to the left side of the toolbar. The second list is packed to the right side of the toolbar.

Sourceval sidebar : box list -> box list -> Widget.widget

The first list is packed to the top of the sidebar. The second list is packed to the bottom of the sidebar.

Source

val panel : 
  ?top:Widget.widget ->
  ?left:Widget.widget ->
  ?right:Widget.widget ->
  ?bottom:Widget.widget ->
  Widget.widget ->
  Widget.widget

Helper to create a full featured window: ~top is layout as a toolbar, left and right as sidebars, and bottom as a status bar. The main (non-optional) widget is centered with full expansion in both directions.

Sourceclass type splitter = object ... end

Source

val split : 
  dir:[ `HORIZONTAL | `VERTICAL ] ->
  Widget.widget ->
  Widget.widget ->
  splitter

Source

val scroll : 
  ?hpolicy:[ `AUTOMATIC | `ALWAYS | `NEVER ] ->
  ?vpolicy:[ `AUTOMATIC | `ALWAYS | `NEVER ] ->
  Widget.widget ->
  Widget.widget

default policy is AUTOMATIC

Sourceval hscroll : Widget.widget -> Widget.widget

Same as scroll ~vpolicy:`NEVER

Sourceval vscroll : Widget.widget -> Widget.widget

Same as scroll ~volicy:`NEVER

package frama-c

Install

Dune Dependency

Authors

Maintainers

Sources

doc/frama-c.gui/Frama_c_gui/Wbox/index.html

Module Frama_c_gui.WboxSource

Module `Frama_c_gui.Wbox`Source