package frama-c

  1. Overview
  2. Docs

Module Api_generatorSource

module Self : sig ... end
module TSC : sig ... end
module OUT : sig ... end
Sourceval keywords : string list
Sourceval pp_descr : Format.formatter -> Md.text -> unit
Sourceval name_of_kind : [< `EXEC | `GET | `SET ] -> string
Sourceval makeDescr : ?indent:??? -> Format.formatter -> Md.text -> unit
Sourceval getSelf : 'a option -> 'a
Sourceval makeJtype : ?self:??? -> 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
Sourceval junion : jtype:(Format.formatter -> Pkg.jtype -> unit) -> make:(Format.formatter -> Pkg.jtype -> unit) -> Format.formatter -> Pkg.jtype list -> unit
Sourceval jrecord : make:(Format.formatter -> 'a -> unit) -> Format.formatter -> (string * 'a) list -> unit
Sourceval jtuple : make:(Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit
Sourceval makeDecoder : ?self:??? -> names:string Pkg.IdMap.t -> Format.formatter -> Pkg.jtype -> unit
Sourceval typeOfParam : Pkg.paramInfo -> Pkg.jtype
Sourceval makeOrder : self:Pkg.ident -> names:string Pkg.IdMap.t -> Format.formatter -> Pkg.jtype -> unit
Sourceval atomic : Pkg.jtype -> bool
Sourceval makeDefault : names:string Pkg.IdMap.t -> Format.formatter -> Pkg.jtype -> unit
Sourceval makeRecursive : (Format.formatter -> Pkg.jtype -> unit) -> Format.formatter -> Pkg.jtype -> unit
Sourceval makeRecursive2 : (Format.formatter -> Pkg.jtype -> unit) -> Format.formatter -> Pkg.jtype -> unit
Sourceval makeDeclaration : Format.formatter -> string Pkg.IdMap.t -> Pkg.declInfo -> unit
Sourcetype ranking = {
  1. mutable rank : int;
  2. mutable mark : int Pkg.IdMap.t;
  3. 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