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]
cilVisitor [Cil]
A visitor interface for traversing CIL trees.
columns [Gtk_helper.Custom]
custom [Gtk_helper.Custom]

E
entry [Toolbox]
extensible_printer_type [Printer_api]
The class type that a printer must implement.

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.
model [Gtk_helper.Custom.Tree]
model [Gtk_helper.Custom.List]

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]

V
view_code [Design]
This class type lists all the methods available to navigate the source code through the GUI

W
widget [Toolbox]