Previous  Up  Next

Module Design

module Design: sig .. end

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 protected_menu_factory : Gtk_helper.host -> GMenu.menu -> [GMenu.menu] GMenu.factory
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 ->
       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