Index of classes


A
addrOfOrGlobalFinderClass [Availexpslv]
aeVisitorClass [Availexpslv]

B
button [Toolbox]

C
callTempElimClass [Rmciltmps]
check_file [File]
visitor that performs various consistency checks over the AST.
checkbox [Toolbox]
custom_list_class [Gtk_helper.MAKE_CUSTOM_LIST]

D
defCollectorClass [Rmciltmps]
dialog [Toolbox]
doFeatureClass [Liveness]

E
error_manager [Gtk_helper]
A utility class to catch exceptions and report proper error messages.
expLvTmpElimClass [Rmciltmps]
expTempElimClass [Rmciltmps]
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.

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.

I
incdecTempElimClass [Rmciltmps]

L
label [Toolbox]
Title label
listbox [Toolbox]
lvalFinderClass [Availexpslv]

M
main_window [Design]
memReadOrAddrOfFinderClass [Rmciltmps]
memReadOrAddrOfFinderClass [Availexpslv]
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]
nullAdderClass [Liveness]

P
popup [Toolbox]
protected_menu_factory [Design]

R
rack [Toolbox]
A simple button-rack horizontal box.
rdVisitorClass [Reachingdefs]
removeBrackets [Rmciltmps]

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

T
text [Toolbox]
toggle [Toolbox]

U
unusedRemoverClass [Rmciltmps]
useDefVisitorClass [Usedef]
useListerClass [Rmciltmps]

V
viFinderClass [Availexpslv]
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.
volatileFinderClass [Expcompare]
volatileFinderClass [Availexpslv]

W
warray [Toolbox]