让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.