Index of class types


B
basic_main [Launcher]
Subtype of Design.main_window_extension_points which is required to show the launcher.

C
cabsVisitor [Cabsvisit]
cilPrinter [Cil]
A printer interface for CIL trees.
cilVisitor [Cil]
A visitor interface for traversing CIL trees.

D
descriptiveCilPrinter [Cil]

F
frama_c_visitor [Visitor]
Class type for a Db-aware visitor.

H
host [Gtk_helper]
A utility class to catch exceptions and report proper error messages.

I
item [Menu_manager]
The item type corresponding to an entry.

M
main_window_extension_points [Design]
This is the type of extension points for the GUI.

R
reactive_buffer [Design]
This is the type of source code buffers that can react to global selections and highlighters.

S
source_files_chooser_host [Gtk_helper]

T
t [Filetree]