Module Frama_c_gui.Source_viewer

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.

val buffer : unit -> GSourceView.source_buffer
  • returns

    the buffer displaying the pretty-printed AST.