B | |
button [Toolbox] | |
C | |
check_file [File] |
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 modify the default behavior of the
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] | |
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] |