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

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
Change in Nitrogen-20111001: Now indicates whether the operation succeeded.
method display_globals : Cil_types.global list -> unit
Display the given globals in the pretty-printed source viewer.
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
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
Since Carbon-20101201
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.
Since Nitrogen-20111001