package pfff

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

Install 

dune-project
 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