Frama-C API - view_code
This class type lists all the methods available to navigate the source code through the GUI
Pretty-printed code
method scroll : Frama_c_gui.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 : Frama_c_kernel.Cil_types.global list -> unit
Display the given globals in the pretty-printed source viewer.
Original code
method view_original_stmt : Frama_c_kernel.Cil_types.stmt -> Frama_c_kernel.Cil_types.location
Display the given stmt
in the original source viewer
method view_original : Frama_c_kernel.Cil_types.location -> unit
Display the given location in the original_source_viewer
Both pretty-printed and original code
method view_stmt : Frama_c_kernel.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 : Frama_c_kernel.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.