Index of classes


B
button [Widget]
button [Wfile]
A button associated with a dialog to select the file.

C
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]