erlang - 让Dialyzer支持自定义行为

我在使用Dialyzer时有一些自定义行为，问题是当我这样做时，Dialyzer会给我这个错误：

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

我不知道的一件事是如何创建该回调信息。我想将此信息添加到我的行为中，这样我就可以从Dialyzer中获得更多的测试。

最佳答案

从R15B开始，对Erlang / OTP编译器进行了升级，现在可以处理名为-callback.的新模块属性。

例：

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

关于here和here的更多信息