callgraph (library)

Usage and interface

Documentation on exports

PREDICATE

Usage: call_graph(File,Graph)

  • Description: 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

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:
    (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.