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