diff options
author | Stavros Aronis <[email protected]> | 2011-10-28 16:54:29 +0200 |
---|---|---|
committer | Stavros Aronis <[email protected]> | 2011-11-18 15:06:39 +0100 |
commit | d101155c5dc115a51725b52e500c9a981845f2da (patch) | |
tree | c433d52c42da87a03a1aba58bc9b23c1a51bd19f /lib/dialyzer/test/behaviour_SUITE_data/results/gen_server_incorrect_args | |
parent | 7fde343786329e7465a53c1d2f36e9436343e387 (diff) | |
download | otp-d101155c5dc115a51725b52e500c9a981845f2da.tar.gz otp-d101155c5dc115a51725b52e500c9a981845f2da.tar.bz2 otp-d101155c5dc115a51725b52e500c9a981845f2da.zip |
Behaviour callback discrepancy detection for Dialyzer
Diffstat (limited to 'lib/dialyzer/test/behaviour_SUITE_data/results/gen_server_incorrect_args')
-rw-r--r-- | lib/dialyzer/test/behaviour_SUITE_data/results/gen_server_incorrect_args | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/lib/dialyzer/test/behaviour_SUITE_data/results/gen_server_incorrect_args b/lib/dialyzer/test/behaviour_SUITE_data/results/gen_server_incorrect_args new file mode 100644 index 0000000000..333216bc5c --- /dev/null +++ b/lib/dialyzer/test/behaviour_SUITE_data/results/gen_server_incorrect_args @@ -0,0 +1,8 @@ + +gen_server_incorrect_args.erl:3: Undefined callback function code_change/3 (behaviour 'gen_server') +gen_server_incorrect_args.erl:3: Undefined callback function handle_cast/2 (behaviour 'gen_server') +gen_server_incorrect_args.erl:3: Undefined callback function handle_info/2 (behaviour 'gen_server') +gen_server_incorrect_args.erl:3: Undefined callback function init/1 (behaviour 'gen_server') +gen_server_incorrect_args.erl:3: Undefined callback function terminate/2 (behaviour 'gen_server') +gen_server_incorrect_args.erl:7: The inferred return type for handle_call/3 is {'no'} | {'ok'} which is not valid return for the callback of the gen_server behaviour +gen_server_incorrect_args.erl:7: The inferred type for the 2nd argument of handle_call/3 is 'boo' | 'foo' which is not valid for the callback of the gen_server behaviour |