package pfff

  1. Overview
  2. Docs
Tools and APIs for program analysis, code visualization, refactoring

Install

Dune Dependency

Authors

Maintainers

Sources

0.39.3.tar.gz
md5=4d66e9bfbc4cca184d4b6c4db8b1ecd3
sha512=d6949417711a966adb706976de6db160a1c16389c90fa7f744024a23feaadfc319be126975ddb058213340bacceb868c669ef2087cdc69fde35209456759db1f

doc/pfff-lang_GENERIC-analyze/Controlflow_build/index.html

Module Controlflow_build

val control_flow_graph_of_stmts : Ast_generic.parameter list -> Ast_generic.stmt list -> Controlflow.flow
val cfg_of_stmts : Ast_generic.parameter list -> Ast_generic.stmt list -> Controlflow.flow
val deadcode_detection : Controlflow.flow -> unit
type error = error_kind * Parse_info.t option
and error_kind =
  1. | NoEnclosingLoop
  2. | DynamicBreak
  3. | UnreachableStatement of Controlflow.node_kind
val string_of_error : error -> string
val string_of_error_kind : error_kind -> string
exception Error of error
val report_error : error -> unit
OCaml

Innovation. Community. Security.