package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

Dune Dependency

frama-c.com Readme Edit opam file Versions (25)

Authors

Maintainers

F

frama-ci-bot@frama-c.com

Sources

frama-c-31.0-Gallium.tar.gz

sha256=a94384f00d53791cbb4b4d83ab41607bc71962d42461f02d71116c4ff6dca567

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

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 : Stdlib.Format.formatter -> Md.text -> unit

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

Sourceval makeDescr : ?indent:string -> Stdlib.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 : Stdlib.Format.formatter -> string -> unit

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

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Sourceval typeOfParam : Pkg.paramInfo -> Pkg.jtype

Source

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

Sourceval atomic : Pkg.jtype -> bool

Source

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

Source

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

Source

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

Source

val makeDeclaration : 
  Stdlib.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

Source

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

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

Sourceval generate : unit -> unit

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