From e200c6519651319ddcb874d0aff23cc21e1a9c83 Mon Sep 17 00:00:00 2001 From: Stavros Aronis Date: Wed, 22 Feb 2012 16:04:20 +0100 Subject: Fix specs --- lib/dialyzer/src/dialyzer_callgraph.erl | 6 +++--- lib/dialyzer/src/dialyzer_coordinator.erl | 2 +- lib/dialyzer/src/dialyzer_succ_typings.erl | 4 ++-- 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). -- cgit v1.2.3