Api_generator
module Self : sig ... end
module TSC : Frama_c_kernel.Parameter_sig.Bool
module OUT : Frama_c_kernel.Parameter_sig.String
module Md = Frama_c_kernel.Markdown
module Pkg = Server.Package
val pp_descr : Stdlib.Format.formatter -> Md.text -> unit
val makeDescr : ?indent:string -> Stdlib.Format.formatter -> Md.text -> unit
val makeJtype :
?self:Pkg.ident ->
names:string Pkg.IdMap.t ->
Pkg.jtype Frama_c_kernel.Pretty_utils.formatter
val typeOfParam : Pkg.paramInfo -> Pkg.jtype
val atomic : Pkg.jtype -> bool
val makeDefault :
names:string Pkg.IdMap.t ->
Stdlib.Format.formatter ->
Pkg.jtype ->
unit
val makeDeclaration :
Stdlib.Format.formatter ->
string Pkg.IdMap.t ->
Pkg.declInfo ->
unit
type ranking = {
mutable rank : int; |
mutable mark : int Pkg.IdMap.t; |
index : Pkg.declInfo Pkg.IdMap.t; |
}
val depends : Pkg.declInfo -> Server__Package.ident list
val next : ranking -> Pkg.IdMap.key -> unit
val mark : ranking -> Pkg.declInfo -> unit
val mark_id : ranking -> Pkg.IdMap.key -> unit
val ranking : Pkg.declInfo list -> Pkg.declInfo list
val pkg_path : plugin:Pkg.plugin -> package:string list -> string
val makePackage : Pkg.packageInfo -> string -> Stdlib.Format.formatter -> unit