yatce

Code pulled with hg from http://bitbucket.org/kuenishi/yatce on Mon Feb 13 04:12:24 EET 2012

These are Current warnings for yatce. 

dialyzer -n -q -Wno_improper_lists ebin
perf_controller.erl:36: Call to missing or unexported function yatce:newdb/2
perf_controller.erl:77: The inferred return type of handle_cast/2 ({'ok',_}) has nothing in common with {'noreply',_} | {'noreply',_,'hibernate' | 'infinity' | non_neg_integer()} | {'stop',_,_}, which is the expected return type for the callback of gen_server behaviour
perf_controller.erl:80: The inferred return type of handle_info/2 ({'ok',_}) has nothing in common with {'noreply',_} | {'noreply',_,'hibernate' | 'infinity' | non_neg_integer()} | {'stop',_,_}, which is the expected return type for the callback of gen_server behaviour
perf_sup.erl:54: Invalid type specification for function perf_sup:start/2. The success typing is (atom() | string(),_) -> 'ignore' | {'error',_} | {'ok',pid()}
perf_sup.erl:63: The return type [any()] in the specification of init/1 is not a subtype of 'ignore' | {'ok',{{'one_for_all',non_neg_integer(),non_neg_integer()} | {'one_for_one',non_neg_integer(),non_neg_integer()} | {'rest_for_one',non_neg_integer(),non_neg_integer()} | {'simple_one_for_one',non_neg_integer(),non_neg_integer()},[{_,{atom() | tuple(),atom(),'undefined' | [any()]},'permanent' | 'temporary' | 'transient','brutal_kill' | 'infinity' | non_neg_integer(),'supervisor' | 'worker','dynamic' | [atom() | tuple()]}]}}, which is the expected return type for the callback of supervisor behaviour
perf_sup.erl:63: Invalid type specification for function perf_sup:init/1. The success typing is ([any(),...]) -> {'ok',{{'one_for_one',1,1},[{_,_,_,_,_,_},...]}}
perf_sup.erl:93: Invalid type specification for function perf_sup:generate_children/3. The success typing is (non_neg_integer(),[atom()],[{atom(),{_,_,_},'permanent',2000,'worker',[any(),...]}]) -> {[atom()],[{_,_,_,_,_,_}]}
performer.erl:29: Call to missing or unexported function yatce:init/1
performer.erl:30: Call to missing or unexported function yatce:newdb/2
performer.erl:38: Call to missing or unexported function yatce:fini/0
tcadb.erl:40: Contract for function that does not exist: tcadb:open/0
tcadb.erl:44: Contract for function that does not exist: tcadb:close/0
tcadb.erl:48: Contract for function that does not exist: tcadb:put/2
tcadb.erl:52: Contract for function that does not exist: tcadb:putkeep/2
tcadb.erl:60: Contract for function that does not exist: tcadb:out/1
tcadb.erl:64: Contract for function that does not exist: tcadb:get/1
tcadb.erl:68: Contract for function that does not exist: tcadb:iterinit/0
tcadb.erl:72: Contract for function that does not exist: tcadb:iternext/0
tcadb.erl:82: Contract for function that does not exist: tcadb:sync/0
tcadb.erl:89: Contract for function that does not exist: tcadb:vanish/0
tcadb.erl:99: Contract for function that does not exist: tcadb:path/0
tcadb.erl:103: Contract for function that does not exist: tcadb:rnum/0
tcadb.erl:107: Contract for function that does not exist: tcadb:size/0
yatce.erl:16: The pattern {'error', 'already_loaded'} can never match the type {'error','inconsistent' | 'permanent'} | {'ok','pending_driver',reference()}
yatce_server.erl:138: The return type 'ok' | {'error','inconsistent' | 'linked_in_driver' | 'not_loaded' | 'not_loaded_by_this_process' | 'pending_process' | 'pending_reload' | 'permanent'} in the specification of init/1 is not a subtype of 'ignore' | {'ok',_} | {'stop',_} | {'ok',_,'hibernate' | 'infinity' | non_neg_integer()}, which is the expected return type for the callback of gen_server behaviour
yatce_server.erl:138: Invalid type specification for function yatce_server:init/1. The success typing is (_) -> {'ok',#yatce{port::port(),shared_lib::[97 | 98 | 99 | 101 | 105 | 108 | 116 | 121,...]}}

Applications