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]