callgraph (library)

Version: 1.11#222 (2004/5/24, 13:8:7 CEST)

Version of last change: 1.11#65 (2003/12/10, 1:19:38 CET)

Usage and interface (`callgraph`)

Library usage: :- use_module(library(callgraph)).
Exports:
- Predicates: call_graph/2, reachability/4.
Other modules used:
- System library modules: assertions/c_itf_props, sets, terms, graphs/ugraphs, xrefs/xrefsread.

PREDICATE: call_graph/2:

Usage: call_graph(File, Graph)

Description: Graph is the call-graph of the code in File.
The following properties should hold at call time: File is an atom describing the name of a file. (c_itf_props:filename/1) Graph is a free variable. (term_typing:var/1)
The following properties hold upon exit: Graph is an ugraph. (ugraphs:ugraph/1)

PREDICATE: reachability/4:

Usage: reachability(Graph, Sources, Reached, UnReached)

Description: Reached are the vertices in Graph reachable from Sources, UnReached are the rest.
The following properties should hold at call time: Graph is an ugraph. (ugraphs:ugraph/1) Sources is a list. (basic_props:list/1) Reached is a free variable. (term_typing:var/1) UnReached is a free variable. (term_typing:var/1)