aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorKostis Sagonas <[email protected]>2016-05-08 11:11:38 +0200
committerHans Bolinder <[email protected]>2016-05-13 08:42:46 +0200
commit87961474252f03e47bfd67e03c5299f12da3c1da (patch)
tree0c033a37064b967b68373209d6d97cd4d3c2caf6
parent756a420b160cbe1ee0507d600dba5c03c0d5e164 (diff)
downloadotp-87961474252f03e47bfd67e03c5299f12da3c1da.tar.gz
otp-87961474252f03e47bfd67e03c5299f12da3c1da.tar.bz2
otp-87961474252f03e47bfd67e03c5299f12da3c1da.zip
Strengthen the spec of analyze/1
-rw-r--r--lib/dialyzer/src/dialyzer_dep.erl10
1 files changed, 8 insertions, 2 deletions
diff --git a/lib/dialyzer/src/dialyzer_dep.erl b/lib/dialyzer/src/dialyzer_dep.erl
index 490c431488..7910f59d9f 100644
--- a/lib/dialyzer/src/dialyzer_dep.erl
+++ b/lib/dialyzer/src/dialyzer_dep.erl
@@ -59,8 +59,14 @@
%% separately.
%%
--spec analyze(cerl:c_module()) ->
- {dict:dict(), ordsets:ordset('external' | label()), dict:dict(), dict:dict()}.
+-type dep_ordset() :: ordsets:ordset(label() | 'external').
+
+-type deps() :: dict:dict(label() | 'external' | 'top', dep_ordset()).
+-type esc() :: dep_ordset().
+-type calls() :: dict:dict(label(), ordsets:ordset(label())).
+-type letrecs() :: dict:dict(label(), label()).
+
+-spec analyze(cerl:c_module()) -> {deps(), esc(), calls(), letrecs()}.
analyze(Tree) ->
%% io:format("Handling ~w\n", [cerl:atom_val(cerl:module_name(Tree))]),