callgraph (library)
Usage and interface
- Library usage:
:- use_module(library(xrefs/callgraph)). - Exports:
- Predicates:
call_graph/2, reachability/4.
- Predicates:
- Imports:
- System library modules:
c_itf_props, sets, terms, ugraphs, xrefsread. - Packages:
prelude, nonpure, condcomp, assertions, regtypes.
- System library modules:
Documentation on exports
PREDICATE
(True) Usage:call_graph(File,Graph)
Graph is the call-graph of the code in File.
- The following properties should hold at call time:
(c_itf_props:filename/1)File is an atom describing the name of a file.
(term_typing:var/1)Graph is a free variable. - The following properties hold upon exit:
(ugraphs:ugraph/1)Graph is an ugraph.
PREDICATE
(True) Usage:reachability(Graph,Sources,Reached,UnReached)
Reached are the vertices in Graph reachable from Sources, UnReached are the rest.
- The following properties should hold at call time:
(ugraphs:ugraph/1)Graph is an ugraph.
(basic_props:list/1)Sources is a list.
(term_typing:var/1)Reached is a free variable.
(term_typing:var/1)UnReached is a free variable.
