diff options
author | Luca Favatella <[email protected]> | 2015-09-25 00:02:51 +0100 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2016-01-27 08:58:32 +0100 |
commit | 30361077904295cbc7471c44d4b15ae86bfb2f05 (patch) | |
tree | 9d7920fed0148aa75012965695f49d7b6faae755 /.gitignore | |
parent | 7a2fc5f7ace6f0c3fc03e1f74f6cedf95c7968fd (diff) | |
download | otp-30361077904295cbc7471c44d4b15ae86bfb2f05.tar.gz otp-30361077904295cbc7471c44d4b15ae86bfb2f05.tar.bz2 otp-30361077904295cbc7471c44d4b15ae86bfb2f05.zip |
Clarify usage of coordinator by analysis_callgraph
* Comment in dialyzer_analysis_callgraph what the call to
dialyzer_coordinator does;
* Delegate activation request to each dialyzer_worker;
* There is no reason for the dialyzer_coordinator to request
activation on behalf of the workers: let each worker request its
own activation as it leads to more consistent dialyzer_worker
module (activation is request as soon as status running is hit -
reguardless of mode) and it reduces lines of code.
* Clarify types in coordinator and worker e.g. make opaque and make
type more strict.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions