让Dialyzer支持自定义行为

Question

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

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

我无法弄清楚的一件事是如何创建回调信息。我想将此信息添加到我的行为中，因此我可以从Dialyzer中获得更多的测试。

Answer 1

从R15B开始，Erlang / OTP编译器已升级，现在它处理一个名为-callback.的新模块属性

示例：

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

有关here和here

的更多信息