package pfff

  1. Overview
  2. Docs
package pfff
Legend:
Library
Module
Module type
Parameter
Class
Class type
module ISet : sig ... end
module IMap : sig ... end
module SSet : sig ... end
module SMap : sig ... end
type t =
  1. | Tvar of int
  2. | Tsum of prim_ty list
and prim_ty =
  1. | Tabstr of string
  2. | Tsstring of SSet.t
  3. | Tienum of SSet.t
  4. | Tsenum of SSet.t
  5. | Trecord of t SMap.t
  6. | Tarray of SSet.t * t * t
  7. | Tfun of (string * t) list * t
  8. | Tobject of t SMap.t
  9. | Tclosed of SSet.t * t SMap.t
module Array_id : sig ... end
module AMap : sig ... end
type env = {
  1. db : code_database;
  2. graph : Graph.t;
  3. builtins : SSet.t ref;
  4. vars : t SMap.t ref;
  5. globals : t SMap.t ref;
  6. aenv : arr_info list AMap.t ref;
  7. mutable aenv_fun : string;
  8. mutable aenv_class : string;
  9. aenv_params : Array_id.t list ref;
  10. aenv_funs : (string * string * Parse_info.t) list ref;
  11. tenv : t IMap.t ref;
  12. subst : int IMap.t ref;
  13. infer_types : bool;
  14. auto_complete : bool;
  15. marker : string;
  16. verbose : bool;
  17. strict : bool;
  18. depth : int;
  19. show : show ref;
  20. debug : bool;
  21. total : int ref;
  22. count : int ref;
  23. collect_count : int ref;
  24. cumul : float ref;
}
and arr_info = Parse_info.t option * arr_access
and arr_access =
  1. | NoIndex of t
  2. | VarOrInt of t * t
  3. | Const of t
  4. | ConstantString of t
  5. | Declaration of t list
  6. | Value of t
  7. | DeclarationKValue of t * t
  8. | DeclarationValue of t
  9. | UnhandledAccess
  10. | Parameter
  11. | ReturnValue
and show =
  1. | Snone
  2. | Stype_infer of t
  3. | Sauto_complete of string * t
  4. | Sargs of t
  5. | Sglobal of string
  6. | Slocal of string * SSet.t
val proj : prim_ty -> int
val make_env : unit -> env
val pbool : prim_ty
val pint : prim_ty
val pfloat : prim_ty
val pstring : prim_ty
val pnull : prim_ty
val phtml : prim_ty
val fresh : unit -> int
val fvar : unit -> t
val bool : t
val int : t
val thtml : t
val float : t
val string : t
val null : t
val any : t
val empty : t
val array : (t * t) -> t
val srecord : (SMap.key * t) -> t
val sobject : (SMap.key * t) -> t
val fun_ : t list -> t -> t
val afun : (string * t) list -> t -> t