aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src
diff options
context:
space:
mode:
Diffstat (limited to 'lib/dialyzer/src')
-rw-r--r--lib/dialyzer/src/Makefile4
-rw-r--r--lib/dialyzer/src/dialyzer_coordinator.erl (renamed from lib/dialyzer/src/dialyzer_typesig_coordinator.erl)12
-rw-r--r--lib/dialyzer/src/dialyzer_succ_typings.erl8
-rw-r--r--lib/dialyzer/src/dialyzer_worker.erl (renamed from lib/dialyzer/src/dialyzer_typesig_worker.erl)8
4 files changed, 16 insertions, 16 deletions
diff --git a/lib/dialyzer/src/Makefile b/lib/dialyzer/src/Makefile
index 2f1eaf5754..39b1b3eb3e 100644
--- a/lib/dialyzer/src/Makefile
+++ b/lib/dialyzer/src/Makefile
@@ -64,8 +64,8 @@ MODULES = \
dialyzer_races \
dialyzer_succ_typings \
dialyzer_typesig \
- dialyzer_typesig_coordinator \
- dialyzer_typesig_worker \
+ dialyzer_coordinator \
+ dialyzer_worker \
dialyzer_utils
HRL_FILES= dialyzer.hrl dialyzer_gui_wx.hrl
diff --git a/lib/dialyzer/src/dialyzer_typesig_coordinator.erl b/lib/dialyzer/src/dialyzer_coordinator.erl
index 9475bc6895..a72d383365 100644
--- a/lib/dialyzer/src/dialyzer_typesig_coordinator.erl
+++ b/lib/dialyzer/src/dialyzer_coordinator.erl
@@ -19,7 +19,7 @@
%%
%%%-------------------------------------------------------------------
-%%% File : dialyzer_typesig_coordinator.erl
+%%% File : dialyzer_coordinator.erl
%%% Authors : Stavros Aronis <[email protected]>
%%%
%%% Description:
@@ -32,8 +32,8 @@
%%%
%%% - The original Dialyzer backend (in succ_typings module)
%%% - The worker process for the typesig analysis (in typesig and
-%%% typesig_worker)
-%%% - A coordinator of the worker processes (in typesig_coordinator)
+%%% worker)
+%%% - A coordinator of the worker processes (in coordinator)
%%%
%%% Operation guidelines:
%%%
@@ -44,7 +44,7 @@
%%%
%%%-------------------------------------------------------------------
--module(dialyzer_typesig_coordinator).
+-module(dialyzer_coordinator).
-export([
all_spawned/1,
@@ -98,7 +98,7 @@ scc_to_pids_request_handle(Worker, SCCs, SCCtoPID) ->
Worker ! {sccs_to_pids, Pids},
ok.
--spec sccs_to_pids_reply() -> [dialyzer_typesig_worker:worker()].
+-spec sccs_to_pids_reply() -> [dialyzer_worker:worker()].
sccs_to_pids_reply() ->
receive {sccs_to_pids, Pids} -> Pids end.
@@ -179,7 +179,7 @@ handle_cast({scc_spawn, SCC},
spawn_count = SpawnCount,
scc_to_pid = SCCtoPID
} = State) ->
- Pid = dialyzer_typesig_worker:launch(SCC, Servers),
+ Pid = dialyzer_worker:launch(SCC, Servers),
{noreply,
State#state{spawn_count = SpawnCount + 1,
scc_to_pid = store_map(SCC, Pid, SCCtoPID)}
diff --git a/lib/dialyzer/src/dialyzer_succ_typings.erl b/lib/dialyzer/src/dialyzer_succ_typings.erl
index 76b6d8954b..237adb36ea 100644
--- a/lib/dialyzer/src/dialyzer_succ_typings.erl
+++ b/lib/dialyzer/src/dialyzer_succ_typings.erl
@@ -303,18 +303,18 @@ compare_types_1([], [], _Strict, NotFixpoint) ->
find_succ_typings(SCCs, #st{codeserver = Codeserver, callgraph = Callgraph,
plt = Plt} = State) ->
Servers = {Codeserver, dialyzer_callgraph:mini_callgraph(Callgraph), Plt},
- Coordinator = dialyzer_typesig_coordinator:start(Servers),
+ Coordinator = dialyzer_coordinator:start(Servers),
find_succ_typings(SCCs, State, Coordinator).
find_succ_typings([SCC|Rest], #st{parent = Parent} = State, Coordinator) ->
Msg = io_lib:format("Typesig analysis for SCC: ~w\n", [format_scc(SCC)]),
?debug("~s", [Msg]),
send_log(Parent, Msg),
- dialyzer_typesig_coordinator:scc_spawn(SCC, Coordinator),
+ dialyzer_coordinator:scc_spawn(SCC, Coordinator),
find_succ_typings(Rest, State, Coordinator);
find_succ_typings([], State, Coordinator) ->
- dialyzer_typesig_coordinator:all_spawned(Coordinator),
- NotFixpoint = dialyzer_typesig_coordinator:receive_not_fixpoint(),
+ dialyzer_coordinator:all_spawned(Coordinator),
+ NotFixpoint = dialyzer_coordinator:receive_not_fixpoint(),
?debug("==================== Typesig done ====================\n\n", []),
case NotFixpoint =:= [] of
true -> {fixpoint, State};
diff --git a/lib/dialyzer/src/dialyzer_typesig_worker.erl b/lib/dialyzer/src/dialyzer_worker.erl
index 3a7cd22eed..0bfdcf6bdb 100644
--- a/lib/dialyzer/src/dialyzer_typesig_worker.erl
+++ b/lib/dialyzer/src/dialyzer_worker.erl
@@ -18,7 +18,7 @@
%% %CopyrightEnd%
%%
--module(dialyzer_typesig_worker).
+-module(dialyzer_worker).
-export([launch/2]).
@@ -112,10 +112,10 @@ ask_coordinator_for_callers(#state{scc = SCC,
RequiredBy = dialyzer_succ_typings:find_required_by(SCC, Servers),
WithoutSelf = RequiredBy -- [SCC],
?debug("Waiting for me~p: ~p\n",[SCC, WithoutSelf]),
- dialyzer_typesig_coordinator:sccs_to_pids_request(WithoutSelf, Coordinator).
+ dialyzer_coordinator:sccs_to_pids_request(WithoutSelf, Coordinator).
get_callers_reply_from_coordinator() ->
- dialyzer_typesig_coordinator:sccs_to_pids_reply().
+ dialyzer_coordinator:sccs_to_pids_reply().
broadcast_own_succ_typings(#state{scc = SCC}, Callers) ->
?debug("Sending ~p: ~p\n",[SCC, Callers]),
@@ -139,4 +139,4 @@ find_succ_typings(#state{scc_data = SCCData}) ->
report_to_coordinator(NotFixpoint,
#state{scc = SCC, coordinator = Coordinator}) ->
?debug("Done: ~p\n",[SCC]),
- dialyzer_typesig_coordinator:scc_done(SCC, NotFixpoint, Coordinator).
+ dialyzer_coordinator:scc_done(SCC, NotFixpoint, Coordinator).