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