pfff-graph_code
Graph_code_prolog
commons
commons_core
pfff-commons-graph
pfff-config
pfff-h_files-format
pfff-h_program-lang
pfff-h_version-control
pfff-h_visualization
pfff-lang_FUZZY
pfff-lang_GENERIC
pfff-lang_GENERIC-analyze
pfff-lang_c
pfff-lang_c-analyze
pfff-lang_cpp
pfff-lang_cpp-analyze
pfff-lang_java
pfff-lang_java-analyze
pfff-lang_js
pfff-lang_js-analyze
pfff-lang_ml
pfff-lang_ml-analyze
pfff-lang_nw
pfff-lang_nw-analyze
pfff-lang_python
pfff-lang_python-analyze
pfff-linter
pfff-matcher
type context =
| NoCtx
| CallCtx of Graph_code.node
| AssignCtx of Graph_code.node
val hook_use_edge_for_prolog : context -> bool -> (Graph_code.node * Graph_code.node) -> Graph_code.graph -> Parse_info.token_location -> unit
val build : Graph_code.graph -> Prolog_code.fact list