erlang - Dialyzer にカスタム動作をサポートさせる

Question

私はいくつかのカスタム動作で Dialyzer を使用しています。問題は、それを行うと、Dialyzer が次のエラーを表示することです。

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

私が理解できないことの1つは、そのコールバック情報を作成する方法です。この情報を自分の行動に追加して、Dialyzer からより多くのテストを取得できるようにしたいと考えています。

Answer 1

Starting with R15B, The Erlang/OTP compiler was upgraded so that it now handles a new module attribute, named -callback.

Example:

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

More about that here and here