Index of class types


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]