package pfff

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

Install

Dune Dependency

github.com Edit opam file Versions (8)

Authors

  1. Y
    Yoann Padioleau <yoann.padioleau@gmail.com>

Maintainers

  1. Y
    yoann.padioleau@gmail.com

Sources

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

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

Module Controlflow

type node = {
  1. n : node_kind;
  2. i : Parse_info.t option;
}
and node_kind =
  1. | Enter
  2. | Exit
  3. | TrueNode
  4. | FalseNode
  5. | IfHeader of Ast_generic.expr
  6. | WhileHeader of Ast_generic.expr
  7. | DoHeader
  8. | DoWhileTail of Ast_generic.expr
  9. | ForHeader
  10. | ForeachHeader
  11. | SwitchHeader of Ast_generic.expr
  12. | SwitchEnd
  13. | Case
  14. | Default
  15. | Return of Ast_generic.expr
  16. | Break of Ast_generic.expr option
  17. | Continue of Ast_generic.expr option
  18. | TryHeader
  19. | CatchStart
  20. | Catch
  21. | TryEnd
  22. | Throw of Ast_generic.expr
  23. | Join
  24. | Parameter of Ast_generic.parameter
  25. | SimpleStmt of simple_stmt
and simple_stmt =
  1. | ExprStmt of Ast_generic.expr * use_status
  2. | TodoSimpleStmt
and use_status =
  1. | Normal
  2. | SpecialMaybeUnused
type edge =
  1. | Direct
type flow = (node, edge) Ograph_extended.ograph_mutable
val find_node : (node -> bool) -> flow -> Ograph_extended.nodei
val find_enter : flow -> Ograph_extended.nodei
val find_exit : flow -> Ograph_extended.nodei
val display_flow : flow -> unit
val short_string_of_node_kind : node_kind -> string
val short_string_of_node : node -> string
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct