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/src/undefined_callbacks | |
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/src/undefined_callbacks')
2 files changed, 23 insertions, 0 deletions
diff --git a/lib/dialyzer/test/behaviour_SUITE_data/src/undefined_callbacks/undefined_beh_callback.erl b/lib/dialyzer/test/behaviour_SUITE_data/src/undefined_callbacks/undefined_beh_callback.erl new file mode 100644 index 0000000000..8223225b4b --- /dev/null +++ b/lib/dialyzer/test/behaviour_SUITE_data/src/undefined_callbacks/undefined_beh_callback.erl @@ -0,0 +1,13 @@ +%%% This is a correct callback module for the correct_behaviour. + +-module(undefined_beh_callback). + +-behaviour(undefined_behaviour). + +-export([foo/0, bar/2]). + +foo() -> + yes. + +bar({'reply', _Any}, yes) -> + yes. diff --git a/lib/dialyzer/test/behaviour_SUITE_data/src/undefined_callbacks/undefined_behaviour.erl b/lib/dialyzer/test/behaviour_SUITE_data/src/undefined_callbacks/undefined_behaviour.erl new file mode 100644 index 0000000000..fb3d4c5e03 --- /dev/null +++ b/lib/dialyzer/test/behaviour_SUITE_data/src/undefined_callbacks/undefined_behaviour.erl @@ -0,0 +1,10 @@ +%%% This is a behaviour with undefined info about its calllbacks. + +-module(undefined_behaviour). + +-export([behaviour_info/1]). + +behaviour_info(callbacks) -> + [{foo, 0}, {bar, 2}]; +behaviour_info(_Other) -> + undefined. |