From 8682e6b3db55f7f021e529b2134f223b4cc70ace Mon Sep 17 00:00:00 2001 From: Stavros Aronis Date: Fri, 11 Nov 2011 16:35:28 +0100 Subject: Detection of callback-spec discrepancies --- .../src/callbacks_and_specs/my_behaviour.erl | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 lib/dialyzer/test/behaviour_SUITE_data/src/callbacks_and_specs/my_behaviour.erl (limited to 'lib/dialyzer/test/behaviour_SUITE_data/src/callbacks_and_specs/my_behaviour.erl') 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'. -- cgit v1.2.3