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