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.5.tar.gz
md5=e23dbd320a8681b74315162a02bf97a7
sha512=2998432bcd6d9a459331d733c4446d35459d42787fcf2fd332d3ec5131a4d358bb8f060b45d38696bcd584e1eaa8c1b21b82d7d3005e83c1ecefd22fec842ee7

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. | Join
  6. | IfHeader of Ast_generic.expr
  7. | WhileHeader of Ast_generic.expr
  8. | DoHeader
  9. | DoWhileTail of Ast_generic.expr
  10. | ForHeader
  11. | ForeachHeader of Ast_generic.pattern * Ast_generic.expr
  12. | OtherStmtWithStmtHeader of Ast_generic.other_stmt_with_stmt_operator * Ast_generic.expr
  13. | SwitchHeader of Ast_generic.expr
  14. | SwitchEnd
  15. | Case
  16. | Default
  17. | Return of Ast_generic.expr
  18. | Break of Ast_generic.expr option
  19. | Continue of Ast_generic.expr option
  20. | TryHeader
  21. | CatchStart
  22. | Catch
  23. | TryEnd
  24. | Throw of Ast_generic.expr
  25. | SimpleNode of simple_node
and simple_node =
  1. | ExprStmt of Ast_generic.expr
  2. | DefStmt of Ast_generic.definition
  3. | DirectiveStmt of Ast_generic.directive
  4. | Assert of Ast_generic.expr * Ast_generic.expr option
  5. | OtherStmt of Ast_generic.other_stmt_operator * Ast_generic.any list
  6. | Parameter of Ast_generic.parameter
type edge =
  1. | Direct
val find_node : (node -> bool) -> flow -> nodei
val find_enter : flow -> nodei
val find_exit : flow -> nodei
val display_flow : flow -> unit
val short_string_of_node_kind : node_kind -> string
val short_string_of_node : node -> string
val simple_node_of_stmt_opt : Ast_generic.stmt -> simple_node option
val any_of_simple_node : simple_node -> Ast_generic.any