aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src/dialyzer_callgraph.erl
diff options
context:
space:
mode:
authorStavros Aronis <aronisstav@gmail.com>2012-02-22 16:04:20 +0100
committerHenrik Nord <henrik@erlang.org>2012-05-21 15:31:20 +0200
commite200c6519651319ddcb874d0aff23cc21e1a9c83 (patch)
tree11e8100866f489fd55d6e4bc0c1166b27e09b829 /lib/dialyzer/src/dialyzer_callgraph.erl
parent7b622408befa56eefb2dc821c195727fe840d055 (diff)
downloadotp-e200c6519651319ddcb874d0aff23cc21e1a9c83.tar.gz
otp-e200c6519651319ddcb874d0aff23cc21e1a9c83.tar.bz2
otp-e200c6519651319ddcb874d0aff23cc21e1a9c83.zip
Fix specs
Diffstat (limited to 'lib/dialyzer/src/dialyzer_callgraph.erl')
-rw-r--r--lib/dialyzer/src/dialyzer_callgraph.erl6
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/dialyzer/src/dialyzer_callgraph.erl b/lib/dialyzer/src/dialyzer_callgraph.erl
index cd465b26dc..80f2c48676 100644
--- a/lib/dialyzer/src/dialyzer_callgraph.erl
+++ b/lib/dialyzer/src/dialyzer_callgraph.erl
@@ -247,7 +247,7 @@ find_non_local_calls([{Label1, Label2}|Left], Set) when is_integer(Label1),
find_non_local_calls([], Set) ->
sets:to_list(Set).
--spec get_depends_on(scc(), callgraph()) -> [scc()].
+-spec get_depends_on(scc() | module(), callgraph()) -> [scc()].
get_depends_on(SCC, #callgraph{active_digraph = {'e', Out, _In}}) ->
case ets_lookup_dict(SCC, Out) of
@@ -257,7 +257,7 @@ get_depends_on(SCC, #callgraph{active_digraph = {'e', Out, _In}}) ->
get_depends_on(SCC, #callgraph{active_digraph = {'d', DG}}) ->
digraph:out_neighbours(DG, SCC).
--spec get_required_by(scc(), callgraph()) -> [scc()].
+-spec get_required_by(scc() | module(), callgraph()) -> [scc()].
get_required_by(SCC, #callgraph{active_digraph = {'e', _Out, In}}) ->
case ets_lookup_dict(SCC, In) of
@@ -276,7 +276,7 @@ get_required_by(SCC, #callgraph{active_digraph = {'d', DG}}) ->
modules(#callgraph{digraph = DG}) ->
ordsets:from_list([M || {M,_F,_A} <- digraph_vertices(DG)]).
--spec module_postorder(callgraph()) -> {[module()], digraph()}.
+-spec module_postorder(callgraph()) -> {[module()], {'d', digraph()}}.
module_postorder(#callgraph{digraph = DG}) ->
Edges = digraph_edges(DG),