diff options
| author | Stavros Aronis <[email protected]> | 2012-03-05 13:01:11 +0100 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2012-05-21 15:31:22 +0200 |
| commit | 76b7c72882ee521a7c5a39d33ecf1009a72ee4e3 (patch) | |
| tree | b224305134449b3d373a6b247d7a12c9b8d2ffd1 /lib/dialyzer/src/dialyzer_coordinator.erl | |
| parent | 19f4b4090fd38085d60596b4685c9323501d473e (diff) | |
| download | otp-76b7c72882ee521a7c5a39d33ecf1009a72ee4e3.tar.gz otp-76b7c72882ee521a7c5a39d33ecf1009a72ee4e3.tar.bz2 otp-76b7c72882ee521a7c5a39d33ecf1009a72ee4e3.zip | |
Fix types and specs
Diffstat (limited to 'lib/dialyzer/src/dialyzer_coordinator.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_coordinator.erl | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/lib/dialyzer/src/dialyzer_coordinator.erl b/lib/dialyzer/src/dialyzer_coordinator.erl index 1ae30d9862..8ebbb11137 100644 --- a/lib/dialyzer/src/dialyzer_coordinator.erl +++ b/lib/dialyzer/src/dialyzer_coordinator.erl @@ -69,6 +69,10 @@ -type result() :: compile_result() | typesig_result() | dataflow_result() | warnings_result(). +-type job() :: scc() | module() | file:filename(). +-type job_result() :: dialyzer_analysis_callgraph:one_file_result() | + typesig_result() | dataflow_result() | warnings_result(). + -record(state, {active = 0 :: integer(), result :: result(), next_label = 0 :: integer(), @@ -226,7 +230,7 @@ pid_partition(SCC, {Pids, Unknown}) -> _:_ -> {Pids, [SCC|Unknown]} end. --spec job_done(scc() | module() | file:filename(), term(), coordinator()) -> ok. +-spec job_done(job(), job_result(), coordinator()) -> ok. job_done(Job, Result, Coordinator) -> Coordinator ! {done, Job, Result}, |