Frama_c_gui.Design
The extensible GUI.
class type reactive_buffer = object ... end
This is the type of source code buffers that can react to global selections and highlighters.
class type view_code = object ... end
This class type lists all the methods available to navigate the source code through the GUI
class type main_window_extension_points = object ... end
This is the type of extension points for the GUI.
class main_window : unit -> main_window_extension_points
val register_extension : ( main_window_extension_points -> unit ) -> unit
Register an extension to the main GUI. It will be invoked at initialization time.
val register_reset_extension : ( main_window_extension_points -> unit ) -> unit
Register a function to be called whenever the main GUI reset method is called.
val reactive_buffer :
main_window_extension_points ->
?parent_window:GWindow.window ->
Frama_c_kernel.Cil_types.global list ->
reactive_buffer
This function creates a reactive buffer for the given list of globals. These buffers are cached and sensitive to selections and highlighters.
module Feedback : sig ... end
Bullets in left-margins