我在使用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.


关于herehere的更多信息

07-26 09:30