package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

Dune Dependency

frama-c.com Readme Edit opam file Versions (25)

Authors

Maintainers

F

frama-ci-bot@frama-c.com

Sources

frama-c-30.0-Zinc.tar.gz

sha256=3ac0f995261ec829a7bd042bf70fc29ac6379029eb9df30bcc044748eb4d2a56

doc/frama-c.gui/Frama_c_gui/Source_manager/index.html

Module `Frama_c_gui.Source_manager`Source

The source viewer multi-tabs widget window.

Sourcetype t

Sourceval selection_locked : bool Stdlib.ref

Prevents the filetree callback from resetting the selected line when it was selected via a click in the original source viewer.

Source

val make : 
  ?tab_pos:Gtk.Tags.position ->
  ?packing:(GObj.widget -> unit) ->
  unit ->
  t

Source

val load_file : 
  t ->
  ?title:string ->
  filename:Frama_c_kernel.Datatype.Filepath.t ->
  ?line:int ->
  click_cb:(Pretty_source.localizable option -> unit) ->
  unit ->
  unit

If line is 0 then the last line of the text is shown. If line is less that 0 then no scrolling occurs (default). If title is not provided the page title is the filename. click_cb is a callback called whenever the user clicks on the original source code. This callback is given the localizable that the user clicked on, if any was found. This localizable is estimated from a reverse mapping from the original source to the Cil source, and not always exact.

Sourceval select_file : t -> Frama_c_kernel.Datatype.Filepath.t -> unit

Selection by page filename

Sourceval select_name : t -> string -> unit

Selection by page title

Sourceval get_current_source_view : t -> GSourceView.source_view

Returns the source viewer for the currently displayed tab

Sourceval clear : t -> unit

Remove all pages added by load_file