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 F = Controlflow_php

module Ast = Cst_php

module VarMap : sig ... end

module VarSet : sig ... end

type nodei = Ograph_extended.nodei

module NodeiSet : sig ... end

type 'a mapping = 'a inout array

and 'a inout = {

in_env : 'a VarMap.t;
out_env : 'a VarMap.t;

}

and 'a env = 'a VarMap.t

val empty_env : unit -> 'a VarMap.t

val empty_inout : unit -> 'a inout

val eq_env : ('a -> 'a -> bool) -> 'a VarMap.t -> 'a VarMap.t -> bool

val eq_inout : ('a -> 'a -> bool) -> 'a inout -> 'a inout -> bool

exception Break

val eq_mapping : ('a -> 'a -> bool) -> 'a inout array -> 'a inout array -> bool

val minus_env : NodeiSet.t env -> NodeiSet.t env -> NodeiSet.t env

val add_env : NodeiSet.t env -> NodeiSet.t env -> NodeiSet.t env

val csv_append : string -> string -> string

val ns_to_str : NodeiSet.t -> string

val env_to_str : ('a -> string) -> 'a env -> string

val inout_to_str : ('a -> string) -> 'a inout -> string

val array_fold_left_idx : ('a -> int -> 'b -> 'a) -> 'a -> 'b array -> 'a

val mapping_to_str : F.flow -> ('a -> string) -> 'a inout array -> string

type 'a transfn = 'a mapping -> nodei -> 'a inout

val fixpoint_worker : 
  ('a -> 'a -> bool) ->
  'a inout array ->
  ('a inout array -> NodeiSet.elt -> 'a inout) ->
  'b ->
  ('b -> NodeiSet.elt -> NodeiSet.t) ->
  NodeiSet.t ->
  'a inout array

val forward_succs : F.flow -> Ograph_extended.nodei -> NodeiSet.t

val backward_succs : F.flow -> Ograph_extended.nodei -> NodeiSet.t

val fixpoint : 
  eq:('a -> 'a -> bool) ->
  init:'a mapping ->
  trans:'a transfn ->
  flow:F.flow ->
  forward:bool ->
  'a mapping

type 'a fold_fn = nodei -> string -> bool -> 'a -> 'a

type 'a fold_env = {

fold_fn : string -> bool -> 'a -> 'a;
fold_vars : VarSet.t;

}

val expr_fold : 'a fold_env -> bool -> Cst_php.lvalue -> 'a -> 'a

val node_fold : 'a fold_env -> F.node_kind -> 'a -> 'a

val flow_fold : 'a fold_fn -> VarSet.t -> 'a -> F.flow -> 'a

val flow_fold_lv : 
  (nodei -> string -> 'a -> 'a) ->
  VarSet.t ->
  'a ->
  F.flow ->
  'a

val flow_fold_rv : 
  (nodei -> string -> 'a -> 'a) ->
  VarSet.t ->
  'a ->
  F.flow ->
  'a

val new_node_array : F.flow -> 'a -> 'a array

type reaching_mapping = NodeiSet.t mapping

val add_def : 
  NodeiSet.t VarMap.t ->
  VarMap.key ->
  NodeiSet.elt ->
  NodeiSet.t VarMap.t

val vars : F.flow -> VarSet.t

val reaching_defs : VarSet.t -> F.flow -> NodeiSet.t env

val up_map : int -> ('a -> 'a) -> 'a array -> 'a array

val up_set_map : int -> VarSet.elt -> VarSet.t array -> VarSet.t array

val reaching_gens : VarSet.t -> F.flow -> VarSet.t array

val reaching_kills : 
  NodeiSet.t env ->
  VarSet.t ->
  F.flow ->
  NodeiSet.t env array

val reaching_transfer : 
  gen:VarSet.t array ->
  kill:NodeiSet.t env array ->
  flow:F.flow ->
  NodeiSet.t transfn

val reaching_fixpoint : F.flow -> reaching_mapping

val display_dflow : F.flow -> 'a mapping -> ('a -> string) -> unit

val display_reaching_dflow : F.flow -> NodeiSet.t inout array -> unit