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 : ?name:string ->
packing:(GObj.widget -> unit) -> unit -> GSourceView2.source_view

Build a new source viewer.

val buffer : unit -> GSourceView2.source_buffer