Module `Api_generator`Source

module Self : sig ... end

module TSC : sig ... end

module OUT : sig ... end

module Md = Frama_c_kernel.Markdown

Sourcemodule Pkg = Server.Package

Sourceval keywords : string list

Sourceval pp_descr : Format.formatter -> Md.text -> unit

Sourceval name_of_kind : [< `EXEC | `GET | `SET ] -> string

Sourceval makeDescr : ?indent:string -> Format.formatter -> Md.text -> unit

Sourceval getSelf : 'a option -> 'a

Source

val makeJtype : 
  ?self:Pkg.ident ->
  names:string Pkg.IdMap.t ->
  Pkg.jtype Frama_c_kernel.Pretty_utils.formatter

Sourceval jprim : Format.formatter -> string -> unit

Sourceval jkey : Format.formatter -> string -> unit

Sourceval jindex : Format.formatter -> string -> unit

Sourceval jcall : string Pkg.IdMap.t -> Format.formatter -> Pkg.IdMap.key -> unit

Sourceval jenum : string Pkg.IdMap.t -> Format.formatter -> Pkg.IdMap.key -> unit

Source

val junion : 
  jtype:(Format.formatter -> Pkg.jtype -> unit) ->
  make:(Format.formatter -> Pkg.jtype -> unit) ->
  Format.formatter ->
  Pkg.jtype list ->
  unit

Source

val jrecord : 
  make:(Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  (string * 'a) list ->
  unit

Source

val jtuple : 
  make:(Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a list ->
  unit

Source

val makeDecoder : 
  ?self:Pkg.ident ->
  names:string Pkg.IdMap.t ->
  Format.formatter ->
  Pkg.jtype ->
  unit

Sourceval typeOfParam : Pkg.paramInfo -> Pkg.jtype

Source

val makeOrder : 
  self:Pkg.ident ->
  names:string Pkg.IdMap.t ->
  Format.formatter ->
  Pkg.jtype ->
  unit

Sourceval atomic : Pkg.jtype -> bool

Source

val makeDefault : 
  names:string Pkg.IdMap.t ->
  Format.formatter ->
  Pkg.jtype ->
  unit

Source

val makeRecursive : 
  (Format.formatter -> Pkg.jtype -> unit) ->
  Format.formatter ->
  Pkg.jtype ->
  unit

Source

val makeRecursive2 : 
  (Format.formatter -> Pkg.jtype -> unit) ->
  Format.formatter ->
  Pkg.jtype ->
  unit

Source

val makeDeclaration : 
  Format.formatter ->
  string Pkg.IdMap.t ->
  Pkg.declInfo ->
  unit

Sourcetype ranking = {

mutable rank : int;
mutable mark : int Pkg.IdMap.t;
index : Pkg.declInfo Pkg.IdMap.t;

}

Sourceval depends : Pkg.declInfo -> Server__Package.ident list

Sourceval next : ranking -> Pkg.IdMap.key -> unit

Sourceval mark : ranking -> Pkg.declInfo -> unit

Sourceval mark_id : ranking -> Pkg.IdMap.key -> unit

Sourceval ranking : Pkg.declInfo list -> Pkg.declInfo list

Sourceval pkg_path : plugin:Pkg.plugin -> package:string list -> string

Sourceval makeIgnore : Format.formatter -> ('a, Format.formatter, unit) format -> 'a

Sourceval makePackage : Pkg.packageInfo -> string -> Format.formatter -> unit

Sourceval generate : unit -> unit

Install

Dune Dependency

Authors

Maintainers

Sources

doc/frama-c-api-generator.core/Api_generator/index.html

Module `Api_generator`Source

package frama-c

Install

Dune Dependency

Authors

Maintainers

Sources

doc/frama-c-api-generator.core/Api_generator/index.html

Module Api_generatorSource

Module `Api_generator`Source