diff options
| author | Kostis Sagonas <[email protected]> | 2016-05-08 11:11:38 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-05-13 08:42:46 +0200 |
| commit | 87961474252f03e47bfd67e03c5299f12da3c1da (patch) | |
| tree | 0c033a37064b967b68373209d6d97cd4d3c2caf6 | |
| parent | 756a420b160cbe1ee0507d600dba5c03c0d5e164 (diff) | |
| download | otp-87961474252f03e47bfd67e03c5299f12da3c1da.tar.gz otp-87961474252f03e47bfd67e03c5299f12da3c1da.tar.bz2 otp-87961474252f03e47bfd67e03c5299f12da3c1da.zip | |
Strengthen the spec of analyze/1
| -rw-r--r-- | lib/dialyzer/src/dialyzer_dep.erl | 10 |
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))]), |