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 [Wtable]

E
entry [Wpane]
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.

L
listmodel [Wtable]

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

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

S
selector [Widget]
signal [Widget]
source_files_chooser_host [Gtk_helper]

T
t [Filetree]
treemodel [Wtable]

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

W
widget [Widget]