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 |
G | |
genericCilVisitor [Cil] | generic visitor, parameterized by its copying behavior. |
generic_frama_c_visitor [Visitor] | Generic class that abstracts over |
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 |
I | |
image [Widget] | |
L | |
label [Widget] | Default: |
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 |
signal [Wutil] | Has type |
simplify_const_lval [Logic_utils] | A |
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 |
W | |
warray [Wpane] |