Module Server.Server_docSource

Server Documentation

Sourcetype chapter = [
  1. | `Protocol
  2. | `Kernel
  3. | `Plugin of string
]

The main chapters of the documentation.

Sourcetype page

A page of the server documentation.

Sourceval path : page -> string
Sourceval chapter : page -> chapter
Sourceval page : chapter -> title:string -> ?descr:Frama_c_kernel.Markdown.elements -> ?plugin:Package.plugin -> readme:string option -> filename:string -> unit -> page

Obtain the given page in the server documentation.

The readme introductory section is read from the source directory:

  • src/plugins/server/<filename> server and kernel pages,
  • src/plugins/<plugin>/<filename> for plugin's pages.
Sourceval publish : page:page -> ?name:string -> ?index:string list -> title:string -> ?contents:Frama_c_kernel.Markdown.elements -> ?generated:(unit -> Frama_c_kernel.Markdown.elements) -> unit -> Frama_c_kernel.Markdown.href

Adds a section in the corresponding page. Returns an href to the published section. If index items are provided, they are added to the server documentation index.

Sourceval protocol : title:string -> readme:string -> unit

Publish a protocol.

Sourceval package : Package.packageInfo -> unit

Publish a package.

Sourceval dump : root:Frama_c_kernel.Filepath.Normalized.t -> ?meta:bool -> unit -> unit

Dumps all published pages of documentations. Unless ~meta:false, also generates METADATA for each page in <filename>.json for each page.