package pfff

You can search for identifiers within the package.

in-package search v0.2.0

Tools and APIs for program analysis, code visualization, refactoring

Install

md5=e23dbd320a8681b74315162a02bf97a7

sha512=2998432bcd6d9a459331d733c4446d35459d42787fcf2fd332d3ec5131a4d358bb8f060b45d38696bcd584e1eaa8c1b21b82d7d3005e83c1ecefd22fec842ee7

module F = Controlflow

type var = string

module VarMap : Map.S with type key = String.t

module VarSet : Set.S with type elt = String.t

type 'a mapping = 'a inout array

and 'a inout = {

}

and 'a env = 'a VarMap.t

val empty_env : unit -> 'a VarMap.t

val empty_inout : unit -> 'a inout

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

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

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

val varmap_union : ('a -> 'a -> 'a) -> 'a env -> 'a env -> 'a env

val varmap_diff : 
  ('a -> 'a -> 'a) ->
  ('a -> bool) ->
  'a env ->
  'a env ->
  'a env

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

module NodeiSet : Set.S with type elt = Int.t

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

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

val add_var_and_nodei_to_env : 
  var ->
  F.nodei ->
  NodeiSet.t env ->
  NodeiSet.t env

val add_vars_and_nodei_to_env : 
  VarSet.t ->
  F.nodei ->
  NodeiSet.t env ->
  NodeiSet.t env

val ns_to_str : NodeiSet.t -> string