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