package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

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

Pretty-printed code

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

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

  • since Carbon-20101201
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.

  • since Nitrogen-20111001