Index of classes


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

C
check [Filecheck]
visitor that performs various consistency checks over the AST.
checkbox [Widget]
coerce [Wutil]
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.
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.
hbox [Widget]
Compact horizontal box, typically used for packing toggle buttons from a Widget.group.

L
label [Widget]
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
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
spinner [Widget]
switch [Widget]

T
text [Wtext]
toggle [Widget]
tree [Wtable]

V
vbox [Widget]
Compact vertical box, typically used for packing radio buttons from a Widget.group.
vis_add_loop_allocates [Allocates]
This class adds loop allocates clauses to all the statements it visits.

W
warray [Wpane]