让透析器支持自定义行为

Question

我使用透析器与一些自定义行为，问题是，当我这样做时，透析器给我这个错误:

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.

更多信息在这里和这里