package pfff

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type node = {
  1. n : node_kind;
  2. i : Cst_php.info option;
}
and node_kind =
  1. | Enter
  2. | Exit
  3. | TrueNode
  4. | FalseNode
  5. | IfHeader of Cst_php.expr
  6. | WhileHeader of Cst_php.expr
  7. | DoHeader
  8. | DoWhileTail of Cst_php.expr
  9. | ForHeader
  10. | ForeachHeader
  11. | SwitchHeader of Cst_php.expr
  12. | SwitchEnd
  13. | Case
  14. | Default
  15. | Return of Cst_php.expr option
  16. | Break
  17. | Continue
  18. | TryHeader
  19. | CatchStart
  20. | Catch
  21. | TryEnd
  22. | Throw of Cst_php.expr
  23. | Join
  24. | Parameter of Cst_php.dname
  25. | SimpleStmt of simple_stmt
and simple_stmt =
  1. | ExprStmt of Cst_php.expr * use_status
  2. | TodoSimpleStmt
and use_status =
  1. | Normal
  2. | SpecialMaybeUnused
type edge =
  1. | Direct
val find_node : (node -> bool) -> flow -> Ograph_extended.nodei
val find_enter : flow -> Ograph_extended.nodei
val find_exit : flow -> Ograph_extended.nodei
val first_node : flow -> Ograph_extended.nodei
val mk_node : node_kind -> node
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.