aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src/dialyzer_cl.erl
diff options
context:
space:
mode:
authorStavros Aronis <aronisstav@gmail.com>2011-10-28 16:54:29 +0200
committerStavros Aronis <aronisstav@gmail.com>2011-11-18 15:06:39 +0100
commitd101155c5dc115a51725b52e500c9a981845f2da (patch)
treec433d52c42da87a03a1aba58bc9b23c1a51bd19f /lib/dialyzer/src/dialyzer_cl.erl
parent7fde343786329e7465a53c1d2f36e9436343e387 (diff)
downloadotp-d101155c5dc115a51725b52e500c9a981845f2da.tar.gz
otp-d101155c5dc115a51725b52e500c9a981845f2da.tar.bz2
otp-d101155c5dc115a51725b52e500c9a981845f2da.zip
Behaviour callback discrepancy detection for Dialyzer
Diffstat (limited to 'lib/dialyzer/src/dialyzer_cl.erl')
-rw-r--r--lib/dialyzer/src/dialyzer_cl.erl16
1 files changed, 7 insertions, 9 deletions
diff --git a/lib/dialyzer/src/dialyzer_cl.erl b/lib/dialyzer/src/dialyzer_cl.erl
index 8d61216b7a..e638e2fff2 100644
--- a/lib/dialyzer/src/dialyzer_cl.erl
+++ b/lib/dialyzer/src/dialyzer_cl.erl
@@ -754,15 +754,13 @@ print_unknown_behaviours(#cl_state{output = Output,
true -> io:nl(Output); %% Need to do a newline first
false -> ok
end,
- case Format of
- formatted ->
- io:put_chars(Output, "Unknown behaviours (behaviour_info(callbacks)"
- " does not return any specs):\n"),
- do_print_unknown_behaviours(Output, Behaviours, " ");
- raw ->
- io:put_chars(Output, "%% Unknown behaviours:\n"),
- do_print_unknown_behaviours(Output, Behaviours, "%% ")
- end
+ {Prompt, Prefix} =
+ case Format of
+ formatted -> {"Unknown behaviours:\n"," "};
+ raw -> {"%% Unknown behaviours:\n","%% "}
+ end,
+ io:put_chars(Output, Prompt),
+ do_print_unknown_behaviours(Output, Behaviours, Prefix)
end.
do_print_unknown_behaviours(Output, [B|T], Before) ->