B | |
basic_main [Launcher] | |
C | |
cabsVisitor [Cabsvisit] | |
cilPrinter [Cil] |
A printer interface for CIL trees.
|
cilVisitor [Cil] |
A visitor interface for traversing CIL trees.
|
D | |
descriptiveCilPrinter [Cil] | |
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.
|
M | |
main_window_extension_points [Design] |
This is the type of extension points for the GUI.
|
R | |
reactive_buffer [Design] |
This is the type of source code buffers that can react to global
selections and highlighters
|
T | |
t [Filetree] |