package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

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.

OCaml

Innovation. Community. Security.