Module Source_viewer

module Source_viewer: sig .. end
The Frama-C source viewer. That is the buffer where Frama-C puts its pretty-printed AST.

val make : packing:(GObj.widget -> unit) -> GSourceView2.source_view
Build a new source viewer.
val buffer : unit -> GSourceView2.source_buffer
Returns the buffer displaying the pretty-printed AST.