aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src
diff options
context:
space:
mode:
Diffstat (limited to 'lib/dialyzer/src')
-rw-r--r--lib/dialyzer/src/dialyzer_callgraph.erl6
-rw-r--r--lib/dialyzer/src/dialyzer_coordinator.erl2
-rw-r--r--lib/dialyzer/src/dialyzer_succ_typings.erl4
3 files changed, 6 insertions, 6 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),
diff --git a/lib/dialyzer/src/dialyzer_coordinator.erl b/lib/dialyzer/src/dialyzer_coordinator.erl
index 9d31c739d0..1dc3e97f7c 100644
--- a/lib/dialyzer/src/dialyzer_coordinator.erl
+++ b/lib/dialyzer/src/dialyzer_coordinator.erl
@@ -127,7 +127,7 @@ scc_to_pids_request_handle(Worker, SCCs, SCCtoPID) ->
Worker ! {sccs_to_pids, Result},
ok.
--spec sccs_to_pids_reply() -> [dialyzer_worker:worker()].
+-spec sccs_to_pids_reply() -> {[dialyzer_worker:worker()], [scc()]}.
sccs_to_pids_reply() ->
receive {sccs_to_pids, Pids} -> Pids end.
diff --git a/lib/dialyzer/src/dialyzer_succ_typings.erl b/lib/dialyzer/src/dialyzer_succ_typings.erl
index 9a37a54206..3b8e3f890b 100644
--- a/lib/dialyzer/src/dialyzer_succ_typings.erl
+++ b/lib/dialyzer/src/dialyzer_succ_typings.erl
@@ -240,12 +240,12 @@ refine_succ_typings([], State, Coordinator) ->
-type scc_refine_data() :: term(). %%opaque
-type scc() :: [mfa_or_funlbl()] | [module()].
--spec find_depends_on(scc(), servers()) -> [scc()].
+-spec find_depends_on(scc() | module(), servers()) -> [scc()].
find_depends_on(SCC, {_Codeserver, Callgraph, _Plt}) ->
dialyzer_callgraph:get_depends_on(SCC, Callgraph).
--spec find_required_by(scc(), servers()) -> [scc()].
+-spec find_required_by(scc() | module(), servers()) -> [scc()].
find_required_by(SCC, {_Codeserver, Callgraph, _Plt}) ->
dialyzer_callgraph:get_required_by(SCC, Callgraph).