C | |
check_file [File] | |
custom_list_class [Gtk_helper.MAKE_CUSTOM_LIST] | |
D | |
defaultCilPrinterClass [Cil] | |
descriptiveCilPrinterClass [Cil] |
Like defaultCilPrinterClass, but instead of temporary variable
names it prints the description that was provided when the temp was
created.
|
E | |
error_manager [Gtk_helper] |
A utility class to catch exceptions and report proper error messages.
|
F | |
frama_c_copy [Visitor] |
Copying visitor
|
frama_c_inplace [Visitor] |
in-place visit.
|
G | |
genericCilVisitor [Cil] |
generic visitor, parameterized by its copying behavior.
|
generic_frama_c_visitor [Visitor] |
Generic visitor.
|
M | |
main_window [Design] | |
menu_manager [Menu_manager] | |
N | |
nopCabsVisitor [Cabsvisit] | |
nopCilVisitor [Cil] |
Default in place visitor doing nothing and operating on current project.
|
P | |
print [Printer] | |
protected_menu_factory [Design] |