aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src/dialyzer_explanation.erl
diff options
context:
space:
mode:
authorErlang/OTP <[email protected]>2009-11-20 14:54:40 +0000
committerErlang/OTP <[email protected]>2009-11-20 14:54:40 +0000
commit84adefa331c4159d432d22840663c38f155cd4c1 (patch)
treebff9a9c66adda4df2106dfd0e5c053ab182a12bd /lib/dialyzer/src/dialyzer_explanation.erl
downloadotp-84adefa331c4159d432d22840663c38f155cd4c1.tar.gz
otp-84adefa331c4159d432d22840663c38f155cd4c1.tar.bz2
otp-84adefa331c4159d432d22840663c38f155cd4c1.zip
The R13B03 release.OTP_R13B03
Diffstat (limited to 'lib/dialyzer/src/dialyzer_explanation.erl')
-rw-r--r--lib/dialyzer/src/dialyzer_explanation.erl52
1 files changed, 52 insertions, 0 deletions
diff --git a/lib/dialyzer/src/dialyzer_explanation.erl b/lib/dialyzer/src/dialyzer_explanation.erl
new file mode 100644
index 0000000000..afc2c1965f
--- /dev/null
+++ b/lib/dialyzer/src/dialyzer_explanation.erl
@@ -0,0 +1,52 @@
+%% -*- erlang-indent-level: 2 -*-
+%%-----------------------------------------------------------------------
+%% %CopyrightBegin%
+%%
+%% Copyright Ericsson AB 2009. All Rights Reserved.
+%%
+%% The contents of this file are subject to the Erlang Public License,
+%% Version 1.1, (the "License"); you may not use this file except in
+%% compliance with the License. You should have received a copy of the
+%% Erlang Public License along with this software. If not, it can be
+%% retrieved online at http://www.erlang.org/.
+%%
+%% Software distributed under the License is distributed on an "AS IS"
+%% basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See
+%% the License for the specific language governing rights and limitations
+%% under the License.
+%%
+%% %CopyrightEnd%
+%%
+
+%%%-------------------------------------------------------------------
+%%% File : dialyzer_explanation.erl
+%%% Author : Elli Fragkaki <[email protected]>
+%%% Description :
+%%%-------------------------------------------------------------------
+
+-module(dialyzer_explanation).
+
+-export([expl_loop/3]).
+
+-include("dialyzer.hrl").
+
+-spec expl_loop(pid(), dialyzer_codeserver:codeserver(), dialyzer_plt:plt()) ->
+ no_return().
+
+expl_loop(Parent, CServer, Plt) ->
+ receive
+ {Parent, warning, _Warning} ->
+ send_explanation(Parent, none),
+ expl_loop(Parent, CServer, Plt);
+ {Parent, further, _Explanation} ->
+ Parent ! {self(), further, none},
+ expl_loop(Parent, CServer, Plt);
+ Other ->
+ io:format("Unknown message: ~p\n", [Other]),
+ expl_loop(Parent, CServer, Plt)
+ end.
+
+send_explanation(Parent, Expl) ->
+ Parent ! {self(), explanation, Expl},
+ ok.
+