これは正しい子の仕様ですか？

Question

カウボーイにhttps://github.com/extend/cowboy

supervisor:start_child(cowboy_sup, child_spec(Ref, NbAcceptors, 
    Transport, TransOpts, Protocol, ProtoOpts)). 

child_spec(Ref, NbAcceptors, Transport, TransOpts, Protocol, ProtoOpts) -> 
{{cowboy_listener_sup, Ref}, {cowboy_listener_sup, start_link, [ NbAcceptors, Transport, 
TransOpts, Protocol, ProtoOpts ]}, permanent, 5000, supervisor,[cowboy_listener_sup]}. 

http://www.erlang.org/doc/man/supervisor.html#start_child-2

を次のように私は私はあなたがそれについてどう思いますか、それは正しい子の仕様だと思いませんか？コードがある気づきますか

Answer 1

supervisor:check_childspecs/1機能を使用すると、子の仕様の正しさを確認できます。

そして、はい、それは有効な子の仕様のようになります。

child_spec() = 
    {Id :: child_id(), 
    StartFunc :: mfargs(), 
    Restart :: restart(), 
    Shutdown :: shutdown(), 
    Type :: worker(), 
    Modules :: modules()} 

：

Id -> {cowboy_listener_sup, Ref} 
StartFunc -> {cowboy_listener_sup, start_link, [ ... ]} 
Restart -> permanent 
Shutdown -> 5000 
Type -> supervisor 
Modules -> [cowboy_listener_sup] 

は正確に、疑いは何ですか？