B | |
button [Widget] | |
button [Wfile] |
A button associated with a dialog to select the file.
|
C | |
check [Filecheck.Extensible_checker] | |
checkbox [Widget] | |
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 .
|
gobj_action [Wutil] | |
gobj_widget [Wutil] | |
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 .
|
I | |
image [Widget] | |
L | |
label [Widget] |
Default:
~style:`Label ~align:`Left
|
layout [Wutil] | |
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 | |
panel [Wpalette] |
A Palette.
|
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
|
simplify_const_lval [Logic_utils] |
A
cilVisitor (by copy) that simplifies expressions of the type
const int x = v , where v is an integer and x is a global variable.
|
spinner [Widget] | |
switch [Widget] | |
T | |
text [Wtext] | |
toggle [Widget] | |
tool [Wpalette] |
Configurable palette-tool.
|
tree [Wtable] | |
V | |
vis_add_loop_allocates [Allocates] |
This class adds
loop allocates clauses to all the statements it visits.
|
W | |
warray [Wpane] |