diff options
| author | Stavros Aronis <[email protected]> | 2011-11-11 16:35:28 +0100 |
|---|---|---|
| committer | Stavros Aronis <[email protected]> | 2011-11-18 15:06:46 +0100 |
| commit | 8682e6b3db55f7f021e529b2134f223b4cc70ace (patch) | |
| tree | d2d45e62bd65229a2bd6f9dffa067357c16255a8 /lib/dialyzer/test/behaviour_SUITE_data/src/callbacks_and_specs/my_behaviour.erl | |
| parent | fc075ff9064eccd3ea2da0c067ec9ef01aaeb183 (diff) | |
| download | otp-8682e6b3db55f7f021e529b2134f223b4cc70ace.tar.gz otp-8682e6b3db55f7f021e529b2134f223b4cc70ace.tar.bz2 otp-8682e6b3db55f7f021e529b2134f223b4cc70ace.zip | |
Detection of callback-spec discrepancies
Diffstat (limited to 'lib/dialyzer/test/behaviour_SUITE_data/src/callbacks_and_specs/my_behaviour.erl')
| -rw-r--r-- | lib/dialyzer/test/behaviour_SUITE_data/src/callbacks_and_specs/my_behaviour.erl | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lib/dialyzer/test/behaviour_SUITE_data/src/callbacks_and_specs/my_behaviour.erl b/lib/dialyzer/test/behaviour_SUITE_data/src/callbacks_and_specs/my_behaviour.erl new file mode 100644 index 0000000000..c4e5203448 --- /dev/null +++ b/lib/dialyzer/test/behaviour_SUITE_data/src/callbacks_and_specs/my_behaviour.erl @@ -0,0 +1,11 @@ +-module(my_behaviour). + +-callback callback_init(Parent :: pid()) -> {'ok', State::term()}. + +-callback callback_cast(State::term(), From::pid(), Msg::term()) -> + {'noreply', NewState::term()}. + +-callback callback_call(State::term(), From::pid(), Msg::term()) -> + {'reply', NewState::term(), Reply::term()}. + +-callback callback_exit(State::term()) -> 'ok'. |