package pfff

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

Install

dune-project
 Dependency

Authors

Maintainers

Sources

0.39.4.tar.gz
md5=9aabf597b6de59ced5a3ecfadb1c9a13
sha512=8f4762840b8de0a76a8cbd972e6a4babd7b17e3830b65b5eaff017711bd247f88a29d04d64b6bd31fa3610d5e045bb48ddaaf58b279fcac19a1c53590f0b411e

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
  2. | TodoSimpleStmt
type edge =
  1. | Direct
type flow = (node, edge) Ograph_extended.ograph_mutable
type nodei = Ograph_extended.nodei
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
OCaml

Innovation. Community. Security.