pfff 0.39.5 · OCaml Package

type node = string * Entity_code.entity_kind

type nodeinfo = {

pos : Parse_info.token_location;
props : Entity_code.property list;
typ : string option;

}

type edge =

| Has
| Use

type edgeinfo = {

write : bool;
read : bool;

}

type graph

type error =

| NodeAlreadyPresent of node

exception Error of error

val string_of_error : error -> string

type statistics = {

parse_errors : Common.filename list ref;
lookup_fail : (Parse_info.t * node) list ref;
method_calls : (Parse_info.t * resolved) list ref;
field_access : (Parse_info.t * resolved) list ref;
unresolved_class_access : Parse_info.t list ref;
unresolved_calls : Parse_info.t list ref;

}

and resolved = bool

val empty_statistics : unit -> statistics

type adjust = string * string

type dependency = node * node

type whitelist = dependency list

val version : int

val load : Common.filename -> graph

val save : graph -> Common.filename -> unit

val default_filename : string

val root : node

val pb : node

val not_found : node

val dupe : node

val create : unit -> graph

val add_node : node -> graph -> unit

val add_nodeinfo : node -> nodeinfo -> graph -> unit

val add_edge : (node * node) -> edge -> graph -> unit

val add_edgeinfo : (node * node) -> edge -> edgeinfo -> graph -> unit

val remove_edge : (node * node) -> edge -> graph -> unit

val create_initial_hierarchy : graph -> unit

val create_intermediate_directories_if_not_present : 
  graph ->
  Common.dirname ->
  unit

val remove_empty_nodes : graph -> node list -> unit

val basename_to_readable_disambiguator : 
  Common.filename list ->
  root:Common.dirname ->
  string ->
  Common.filename list

val has_node : node -> graph -> bool

val succ : node -> edge -> graph -> node list

val pred : node -> edge -> graph -> node list

val mk_eff_use_pred : graph -> node -> node list

val parent : node -> graph -> node

val parents : node -> graph -> node list

val children : node -> graph -> node list

val node_and_all_children : node -> graph -> node list

val nodeinfo : node -> graph -> nodeinfo

val nodeinfo_opt : node -> graph -> nodeinfo option

val edgeinfo_opt : (node * node) -> edge -> graph -> edgeinfo option

val file_of_node : node -> graph -> Common.filename

val privacy_of_node : node -> graph -> Entity_code.privacy

val shortname_of_node : node -> string

val gensym : string -> string

val iter_use_edges : (node -> node -> unit) -> graph -> unit

val iter_nodes : (node -> unit) -> graph -> unit

val all_use_edges : graph -> (node * node) list

val all_nodes : graph -> node list

val nb_nodes : graph -> int

val nb_use_edges : graph -> int

val print_statistics : statistics -> graph -> unit

val group_edges_by_files_edges : 
  (node * node) list ->
  graph ->
  ((Common.filename * Common.filename) * (node * node) list) list

val strongly_connected_components_use_graph : 
  graph ->
  node list array * (node, int) Hashtbl.t

val bottom_up_numbering : graph -> (node, int) Hashtbl.t

val top_down_numbering : graph -> (node, int) Hashtbl.t

val graph_of_dotfile : Common.filename -> graph

val string_of_node : node -> string

val display_with_gv : graph -> unit

val load_adjust : Common.filename -> adjust list

val load_whitelist : Common.filename -> whitelist

val save_whitelist : whitelist -> Common.filename -> graph -> unit

val adjust_graph : graph -> adjust list -> whitelist -> unit

package pfff