Class type Design.view_code

class type view_code = object .. end

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


Pretty-printed code

method scroll : Pretty_source.localizable -> unit

Move the pretty-printed source viewer to the given localizable if possible. Return a boolean indicating whether the operation succeeded

method display_globals : Cil_types.global list -> unit

Display the given globals in the pretty-printed source viewer.

Original code

method view_original_stmt : Cil_types.stmt -> Cil_types.location

Display the given stmt in the original source viewer

method view_original : Cil_types.location -> unit

Display the given location in the original_source_viewer

Both pretty-printed and original code

method view_stmt : Cil_types.stmt -> unit

Display the given stmt in the source_viewer and in the original_source_viewer. Equivalent to two successive calls to scroll and view_original_stmt

method select_or_display_global : Cil_types.global -> unit

This function tries to select the global in the treeview. If this fails, for example because the global is not shown in the treeview because of filters, it falls back to displaying the global by hand.