diff options
author | Stavros Aronis <[email protected]> | 2011-11-29 18:17:50 +0100 |
---|---|---|
committer | Stavros Aronis <[email protected]> | 2011-12-01 11:55:09 +0100 |
commit | 3f55d396eed67ce75b35aa0be4d8b1a456f174de (patch) | |
tree | 0a94e35d75f2d95c4ebdc534922db0f98c93c4f2 /lib/dialyzer/test | |
parent | 9949c1e03cdde87548371d5a9b53a997e3088dc6 (diff) | |
download | otp-3f55d396eed67ce75b35aa0be4d8b1a456f174de.tar.gz otp-3f55d396eed67ce75b35aa0be4d8b1a456f174de.tar.bz2 otp-3f55d396eed67ce75b35aa0be4d8b1a456f174de.zip |
Fix bug in Dialyzer's behaviours analysis
Diffstat (limited to 'lib/dialyzer/test')
-rw-r--r-- | lib/dialyzer/test/behaviour_SUITE_data/results/vars_in_beh_spec | 6 | ||||
-rw-r--r-- | lib/dialyzer/test/behaviour_SUITE_data/src/vars_in_beh_spec.erl | 10 |
2 files changed, 16 insertions, 0 deletions
diff --git a/lib/dialyzer/test/behaviour_SUITE_data/results/vars_in_beh_spec b/lib/dialyzer/test/behaviour_SUITE_data/results/vars_in_beh_spec new file mode 100644 index 0000000000..5284e412f0 --- /dev/null +++ b/lib/dialyzer/test/behaviour_SUITE_data/results/vars_in_beh_spec @@ -0,0 +1,6 @@ + +vars_in_beh_spec.erl:3: Undefined callback function handle_call/3 (behaviour 'gen_server') +vars_in_beh_spec.erl:3: Undefined callback function handle_cast/2 (behaviour 'gen_server') +vars_in_beh_spec.erl:3: Undefined callback function handle_info/2 (behaviour 'gen_server') +vars_in_beh_spec.erl:3: Undefined callback function init/1 (behaviour 'gen_server') +vars_in_beh_spec.erl:3: Undefined callback function terminate/2 (behaviour 'gen_server') diff --git a/lib/dialyzer/test/behaviour_SUITE_data/src/vars_in_beh_spec.erl b/lib/dialyzer/test/behaviour_SUITE_data/src/vars_in_beh_spec.erl new file mode 100644 index 0000000000..dc75b30d0e --- /dev/null +++ b/lib/dialyzer/test/behaviour_SUITE_data/src/vars_in_beh_spec.erl @@ -0,0 +1,10 @@ +-module(vars_in_beh_spec). + +-behaviour(gen_server). + +-export([code_change/3]). + +-spec code_change(_, State, _) -> {ok, State}. + +code_change(_, State, _) -> + {ok, State}. |