Index of classes


B
button [Toolbox]

C
check [Filecheck]
visitor that performs various consistency checks over the AST.
checkbox [Toolbox]
custom_list_class [Gtk_helper.MAKE_CUSTOM_LIST]

D
dialog [Toolbox]

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
filechooser_button [Toolbox]
filechooser_dialog [Toolbox]
Dialog for choosing a file.
form [Toolbox]
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.

L
label [Toolbox]
Title label
listbox [Toolbox]

M
main_window [Design]
menu_manager [Menu_manager]
How to handle a Frama-C menu.
menulist [Toolbox]

N
nopCabsVisitor [Cabsvisit]
nopCilVisitor [Cil]
Default in place visitor doing nothing and operating on current project.
notebook [Toolbox]

P
popup [Toolbox]
printer [Printer_api.S.PrinterClass]
protected_menu_factory [Design]

R
rack [Toolbox]
A simple button-rack horizontal box.

S
selector [Toolbox]
signal [Toolbox]
spinner [Toolbox]
switch [Toolbox]
Conceptual selector, to create toggles and radio buttons.
switchbox [Toolbox]

T
text [Toolbox]
toggle [Toolbox]

V
view [Gtk_helper.Custom.Tree]
view [Gtk_helper.Custom.List]
vis_add_loop_allocates [Allocates]
This class adds loop allocates clauses to all the statements it visits.

W
warray [Toolbox]