package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Self : sig ... end
module TSC : sig ... end
module OUT : sig ... end
module Pkg = Server.Package
val keywords : string list
val pp_descr : Stdlib.Format.formatter -> Md.text -> unit
val name_of_kind : [< `EXEC | `GET | `SET ] -> string
val makeDescr : ?indent:string -> Stdlib.Format.formatter -> Md.text -> unit
val getSelf : 'a option -> 'b
val makeJtype : ?self:Pkg.ident -> names:string Pkg.IdMap.t -> Pkg.jtype Frama_c_kernel.Pretty_utils.formatter
val jprim : Stdlib.Format.formatter -> string -> unit
val jkey : Stdlib.Format.formatter -> string -> unit
val jindex : Stdlib.Format.formatter -> string -> unit
val jcall : string Pkg.IdMap.t -> Stdlib.Format.formatter -> Pkg.IdMap.key -> unit
val jenum : string Pkg.IdMap.t -> Stdlib.Format.formatter -> Pkg.IdMap.key -> unit
val junion : jtype:(Stdlib.Format.formatter -> Pkg.jtype -> unit) -> make:(Stdlib.Format.formatter -> Pkg.jtype -> unit) -> Stdlib.Format.formatter -> Pkg.jtype list -> unit
val jrecord : make:(Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> (string * 'b) list -> unit
val jtuple : make:(Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'b list -> unit
val makeDecoder : ?self:Pkg.ident -> names:string Pkg.IdMap.t -> Stdlib.Format.formatter -> Pkg.jtype -> unit
val typeOfParam : Pkg.paramInfo -> Pkg.jtype
val makeOrder : self:Pkg.ident -> names:string Pkg.IdMap.t -> Stdlib.Format.formatter -> Pkg.jtype -> unit
val atomic : Pkg.jtype -> bool
val makeDefault : names:string Pkg.IdMap.t -> Stdlib.Format.formatter -> Pkg.jtype -> unit
val makeRecursive : (Stdlib.Format.formatter -> Pkg.jtype -> unit) -> Stdlib.Format.formatter -> Pkg.jtype -> unit
val makeRecursive2 : (Stdlib.Format.formatter -> Pkg.jtype -> unit) -> Stdlib.Format.formatter -> Pkg.jtype -> unit
val makeDeclaration : Stdlib.Format.formatter -> string Pkg.IdMap.t -> Pkg.declInfo -> unit
type ranking = {
  1. mutable rank : int;
  2. mutable mark : int Pkg.IdMap.t;
  3. 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 makeIgnore : Stdlib.Format.formatter -> ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'b
val makePackage : Pkg.packageInfo -> string -> Stdlib.Format.formatter -> unit
val generate : unit -> unit