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=9aabf597b6de59ced5a3ecfadb1c9a13

sha512=8f4762840b8de0a76a8cbd972e6a4babd7b17e3830b65b5eaff017711bd247f88a29d04d64b6bd31fa3610d5e045bb48ddaaf58b279fcac19a1c53590f0b411e

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

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 new_node_array : F.flow -> 'a -> 'a array

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

val ns_to_str : NodeiSet.t -> string