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