Index of classes


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]

N
nopCabsVisitor [Cabsvisit]
nopCilVisitor [Cil]
Default in place visitor doing nothing and operating on current project.

P
print [Printer]
protected_menu_factory [Design]