package pfff

You can search for identifiers within the package.

in-package search v0.2.0

package pfff

pfff-lang_text

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Graph = Dependencies_toposort_php.Graph

module ISet : sig ... end

module IMap : sig ... end

module SSet : sig ... end

module SMap : sig ... end

type t =

| Tvar of int
| Tsum of prim_ty list

and prim_ty =

| Tabstr of string
| Tsstring of SSet.t
| Tienum of SSet.t
| Tsenum of SSet.t
| Trecord of t SMap.t
| Tarray of SSet.t * t * t
| Tfun of (string * t) list * t
| Tobject of t SMap.t
| Tclosed of SSet.t * t SMap.t

type code_database = {

classes : Ast_php.class_def Common2.cached SMap.t ref;
funcs : Ast_php.func_def Common2.cached SMap.t ref;

}

module Array_id : sig ... end

module AMap : sig ... end

type env = {

db : code_database;
graph : Graph.t;
builtins : SSet.t ref;
vars : t SMap.t ref;
globals : t SMap.t ref;
aenv : arr_info list AMap.t ref;
mutable aenv_fun : string;
mutable aenv_class : string;
aenv_params : Array_id.t list ref;
aenv_funs : (string * string * Parse_info.t) list ref;
tenv : t IMap.t ref;
subst : int IMap.t ref;
infer_types : bool;
auto_complete : bool;
marker : string;
verbose : bool;
strict : bool;
depth : int;
show : show ref;
debug : bool;
total : int ref;
count : int ref;
collect_count : int ref;
cumul : float ref;

}

and arr_info = Parse_info.t option * arr_access

and arr_access =

| NoIndex of t
| VarOrInt of t * t
| Const of t
| ConstantString of t
| Declaration of t list
| Value of t
| DeclarationKValue of t * t
| DeclarationValue of t
| UnhandledAccess
| Parameter
| ReturnValue

and show =

| Snone
| Stype_infer of t
| Sauto_complete of string * t
| Sargs of t
| Sglobal of string
| 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