Index of classes

B
button [Widget]
button [Wfile]

A button associated with a dialog to select the file.

C
check [Filecheck.Extensible_checker]
checkbox [Widget]
custom_list_class [Gtk_helper.MAKE_CUSTOM_LIST]
D
dialog [Wpane]
dialog [Wfile]

Dialog for choosing a file.

E
error_manager [Gtk_helper]

A utility class to catch exceptions and report proper error messages.

extensible_printer [Printer_api.S]

Extend this class if you want to obtain a custom pretty-printer.

F
form [Wpane]
form [Gtk_form]
frama_c_copy [Visitor]

Copying visitor.

frama_c_inplace [Visitor]

in-place visitor; always act in the current project.

frama_c_refresh [Visitor]

Similar to Visitor.frama_c_copy, but ids will be refreshed in the copy.

G
genericCilVisitor [Cil]

generic visitor, parameterized by its copying behavior.

generic_frama_c_visitor [Visitor]

Generic class that abstracts over frama_c_inplace and frama_c_copy.

gobj_action [Wutil]
gobj_widget [Wutil]
group [Widget]

A group is not a widget ; it creates interconnected toggle or radio buttons, each switching to a peculiar value.

H
handler [Wutil]

Defines on_xxx in term of connect.

I
image [Widget]
L
label [Widget]

Default: ~style:`Label ~align:`Left

layout [Wutil]
list [Wtable]
M
main_window [Design]
menu [Widget]
menu_manager [Menu_manager]

How to handle a Frama-C menu.

N
nopCabsVisitor [Cabsvisit]
nopCilVisitor [Cil]

Default in place visitor doing nothing and operating on current project.

notebook [Wpane]
P
panel [Wpalette]

A Palette.

popup [Widget]

Contextual menu.

printer [Printer_api.S.PrinterClass]
protected_menu_factory [Design]
S
selector [Wutil]

Has type Widget.selector

signal [Wutil]

Has type Widget.signal

simplify_const_lval [Logic_utils]

A cilVisitor (by copy) that simplifies expressions of the type const int x = v, where v is an integer and x is a global variable.

spinner [Widget]
switch [Widget]
T
text [Wtext]
toggle [Widget]
tool [Wpalette]

Configurable palette-tool.

tree [Wtable]
V
vis_add_loop_allocates [Allocates]

This class adds loop allocates clauses to all the statements it visits.

W
warray [Wpane]