-
Notifications
You must be signed in to change notification settings - Fork 0
/
dialyzer-output-esl-dp_poc.txt
94 lines (78 loc) · 6.94 KB
/
dialyzer-output-esl-dp_poc.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
Verifying dependencies...
Fetching meck ({pkg,<<"meck">>,<<"0.8.6">>})
Downloaded package, caching at /root/.cache/rebar3/hex/default/packages/meck-0.8.6.tar
Linking _build/default/lib/elarm to _build/test/lib/elarm
Linking _build/default/lib/exometer_core to _build/test/lib/exometer_core
Linking _build/default/lib/gen_rpc to _build/test/lib/gen_rpc
Linking _build/default/plugins/rebar3_hex to _build/test/plugins/rebar3_hex
Linking _build/default/lib/lager to _build/test/lib/lager
Linking _build/default/lib/folsom to _build/test/lib/folsom
Linking _build/default/lib/goldrush to _build/test/lib/goldrush
Linking _build/default/lib/hut to _build/test/lib/hut
Linking _build/default/lib/parse_trans to _build/test/lib/parse_trans
Linking _build/default/lib/ssl_verify_fun to _build/test/lib/ssl_verify_fun
Linking _build/default/lib/bear to _build/test/lib/bear
Compiling meck
Compiling dp_router
apps/dp_router/src/dp_router_server.erl:39: Warning: variable 'Nodes' is unused
Compiling dp_dummy
apps/dp_dummy/src/dp_dummy_server.erl:70: Warning: function check_node/1 is unused
apps/dp_dummy/src/dp_dummy.erl:25: Warning: function metrics_name/2 is unused
Compiling dp_loader
Compiling dp
apps/dp/src/dp_sup.erl:18: Warning: type constraints_per_participant() is unused
_build/test/lib/dp/test/dp_metrics_SUITE.erl:11: Warning: export_all flag enabled - all functions will be exported
Compiling dp_shared_utils
apps/dp_shared_utils/src/dp_shared_utils.erl:56: Warning: variable 'Port' is unused
apps/dp_shared_utils/src/dp_shared_utils_server.erl:54: Warning: variable 'Map' is unused
Dialyzer starting, this may take a while...
Updating plt...
Resolving files...
Updating base plt...
Resolving files...
Building with 166 files in "/root/.cache/rebar3/rebar3_20.3.8.5_plt"...
Copying "/root/.cache/rebar3/rebar3_20.3.8.5_plt" to "/dp/_build/test/rebar3_20.3.8.5_plt"...
Checking 166 files in "/dp/_build/test/rebar3_20.3.8.5_plt"...
Adding 470 files to "/dp/_build/test/rebar3_20.3.8.5_plt"...
Doing success typing analysis...
Resolving files...
Analyzing 29 files with "/dp/_build/test/rebar3_20.3.8.5_plt"...
apps/dp/src/dp.erl
46: The call dp:report_failure('debit', Participant::string(), Amount::number(), TxId::any(), Options::any(), Reject::{'reject',_}) breaks the contract (request(), participant(), amount(), transaction_id(), options(), {'rejected',term()}) -> {'rejected',term()}
56: The call dp:report_failure('credit', Participant::string(), Amount::integer(), TxId::any(), Options::any(), Reject::{'reject',_}) breaks the contract (request(), participant(), amount(), transaction_id(), options(), {'rejected',term()}) -> {'rejected',term()}
69: Invalid type specification for function dp:report_failure/6. The success typing is ('credit' | 'debit',string(),number(),_,_,{'reject',_}) -> {'reject',_}
apps/dp/src/dp_app.erl
22: The inferred return type of start/2 ({'stop',_}) has nothing in common with {'error',_} | {'ok',pid()} | {'ok',pid(),_}, which is the expected return type for the callback of application behaviour
56: The call dp_sup:start_link(NodeCandidates::[atom()], PartsConstraints::[{'constraint',integer(),string(),'=<' | '>=',integer(),integer(),integer()}]) breaks the contract ([node()], {dp:participant(),dp_constraint:constraint()}) -> {'ok',pid()} | {'error',term()}
apps/dp/src/dp_constraint.erl
216: Function is_total_respected/2 has no local return
217: Record construction #constraint{total::'undefined',participant::'undefined',too_close_limit::'undefined',too_far_limit::'undefined',hard_limit::0} violates the declared type of field total::integer() and participant::string() and too_close_limit::integer() and too_far_limit::integer()
apps/dp/src/dp_db.erl
71: The variable Err can never match since previous clauses completely covered the type 'ok'
134: Function are_totals_respected/0 has no local return
140: The created fun has no local return
140: The call lists:all(fun((_) -> none()), [{_,_}]) will never return since the success typing arguments are (fun((_) -> boolean()),[any()])
180: Invalid type specification for function dp_db:init_funds/1. The success typing is ([boolean()]) -> maybe_improper_list()
188: Invalid type specification for function dp_db:init_fund/2. The success typing is ({string(),_,[{integer(),'=<' | '>=',integer(),integer(),integer()} | {integer(),'=<' | '>=',integer(),integer(),integer(),integer()},...]},[boolean(),...]) -> {string(),{{'constraint',integer(),[any()],'=<' | '>=',integer(),integer(),integer()},_}}
apps/dp/src/dp_policy.erl
335: The pattern {'ok', _} can never match the type 'ok' | {'reject',_}
348: The pattern {{'reject', _}, NewAccLimitChange} can never match the type 'ok' | {'reject',_}
apps/dp/src/dp_policy_halve_slack.erl
28: The return type {'ok' | {'reject',_},integer()} in the specification of on_value_change_conflicts_limit/4 is not a subtype of 'ok' | {'reject',_}, which is the expected return type for the callback of dp_policy behaviour
30: The inferred return type of on_value_change_conflicts_limit/4 ({'ok' | {'reject',_},number()}) has nothing in common with 'ok' | {'reject',_}, which is the expected return type for the callback of dp_policy behaviour
apps/dp/src/dp_protocol.erl
123: Invalid type specification for function dp_protocol:init/1. The success typing is ([any(),...]) -> {'stop',_}
132: The created fun has no local return
133: The call dp_protocol:handshake(Node::any(), Participant::string(), LCInfo::[{dp_constraint:key(),integer()}]) breaks the contract (node(), dp:participant(), constraint_info()) -> 'connected' | {'error',handshake_error_reason()}
219: The call dp_protocol:publish_change({'commit',{'partial',integer()}}, Constraint::{'constraint',integer(),string(),'=<' | '>=',integer(),integer(),integer()}, PartialChange::integer(), State::any()) breaks the contract (proto_result(), dp_constraint:constraint(), dp:amount(), state()) -> {'reply',proto_result(),state()}
241: The call dp_protocol:publish_change({'delay',{'partial',_}}, Constraint::{'constraint',integer(),string(),'=<' | '>=',integer(),integer(),integer()}, number(), State::#protocol_state{connected_nodes::[atom()],suspended::boolean()}) breaks the contract (proto_result(), dp_constraint:constraint(), dp:amount(), state()) -> {'reply',proto_result(),state()}
276: Call to missing or unexported function dp_db:get_all_local_limits/0
333: Invalid type specification for function dp_protocol:handshake_process_constraints/3. The success typing is (_,string(),[{_,_}]) -> 'ok' | {'error',{'conflicting_constraint',dp_constraint:key()}}
353: Invalid type specification for function dp_protocol:handshake_check_save_constraints/2. The success typing is (_,[{dp_constraint:key(),integer()}]) -> 'ok'
359: The pattern {'error', _} can never match the type integer()
apps/dp_dummy/src/dp_dummy.erl
25: Function metrics_name/2 will never be called
apps/dp_dummy/src/dp_dummy_server.erl
70: Function check_node/1 will never be called
Warnings written to /dp/_build/test/20.3.8.5.dialyzer_warnings
Warnings occurred running dialyzer: 28