diff options
| author | Stavros Aronis <[email protected]> | 2012-02-22 16:04:20 +0100 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2012-05-21 15:31:20 +0200 |
| commit | e200c6519651319ddcb874d0aff23cc21e1a9c83 (patch) | |
| tree | 11e8100866f489fd55d6e4bc0c1166b27e09b829 /lib/dialyzer/src/dialyzer_callgraph.erl | |
| parent | 7b622408befa56eefb2dc821c195727fe840d055 (diff) | |
| download | otp-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.erl | 6 |
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), |