Index of class types

A
action [Widget]
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]
selector [Gtk_helper.Configuration]

Abstract interface to the connected widget.

signal [Widget]
source_files_chooser_host [Gtk_helper]
splitter [Wbox]
T
t [Widget]
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 [Wutil]
widget [Widget]