Module Frama_c_gui.DesignSource

The extensible GUI.

Sourceclass type reactive_buffer = object ... end

This is the type of source code buffers that can react to global selections and highlighters.

Sourceclass type view_code = object ... end

This class type lists all the methods available to navigate the source code through the GUI

Sourceclass type main_window_extension_points = object ... end

This is the type of extension points for the GUI.

Sourceval register_extension : (main_window_extension_points -> unit) -> unit

Register an extension to the main GUI. It will be invoked at initialization time.

Sourceval register_reset_extension : (main_window_extension_points -> unit) -> unit

Register a function to be called whenever the main GUI reset method is called.

This function creates a reactive buffer for the given list of globals. These buffers are cached and sensitive to selections and highlighters.

  • since Beryllium-20090901
Sourcemodule Feedback : sig ... end

Bullets in left-margins