A | |
| action [Widget] | |
B | |
| basic_main [Launcher] | Subtype of |
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] |