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