package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Module `Frama_c_gui.Source_viewer`Source

The Frama-C source viewer. That is the buffer where Frama-C puts its pretty-printed AST.

val make : 
  ?name:string ->
  packing:(GObj.widget -> unit) ->
  unit ->
  GSourceView.source_view

Build a new source viewer.

Sourceval buffer : unit -> GSourceView.source_buffer