Having Dialyzer support Custom Behaviours

4
votes

I am using Dialyzer with a few custom behaviors, the problem is that when I do that, Dialyzer gives me this error:

src/max.erl:3: Callback info about the gen_strategy behaviour is not available

One thing I can't figure out is how to create that callback info. I would like to add this information to my behaviour, so I can get that much more testing out of Dialyzer.

1
erlangdialyzer

1 Answers

8
votes

Starting with R15B, The Erlang/OTP compiler was upgraded so that it now handles a new module attribute, named -callback.

Example:

-callback init(Args :: term()) ->
    {ok, State :: term()} | {ok, State :: term(), timeout() | hibernate} |
    {stop, Reason :: term()} | ignore.

More about that here and here