diff options
| author | Micael Karlberg <[email protected]> | 2019-07-08 14:51:57 +0200 |
|---|---|---|
| committer | Micael Karlberg <[email protected]> | 2019-07-08 14:51:57 +0200 |
| commit | c8854dd4ecfde41e89907620628138786e953229 (patch) | |
| tree | d74b6c3fbb2bfeab05b1c5a7309b633a22b7b8bc /lib/snmp/src/misc/snmp_conf.erl | |
| parent | fc9ba88b2f1304b6a6f1ca1ad014f1ff91fc890e (diff) | |
| parent | a9bd3c189f87a1138ca780956d27398f9d5a5aec (diff) | |
| download | otp-c8854dd4ecfde41e89907620628138786e953229.tar.gz otp-c8854dd4ecfde41e89907620628138786e953229.tar.bz2 otp-c8854dd4ecfde41e89907620628138786e953229.zip | |
Merge branch 'bmk/snmp/20190627/dialyzer/OTP-15932' into maint
Diffstat (limited to 'lib/snmp/src/misc/snmp_conf.erl')
| -rw-r--r-- | lib/snmp/src/misc/snmp_conf.erl | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/lib/snmp/src/misc/snmp_conf.erl b/lib/snmp/src/misc/snmp_conf.erl index d73291764d..20b7af0373 100644 --- a/lib/snmp/src/misc/snmp_conf.erl +++ b/lib/snmp/src/misc/snmp_conf.erl @@ -164,6 +164,14 @@ no_filter(X) -> X. %% An ordering function (A, B) shall return true iff %% A is less than or equal to B i.e shall return %% false iff A is to be ordered after B. + +-spec keyorder(N, A, B, Keys) -> + boolean() when + N :: integer(), + A :: tuple(), + B :: tuple(), + Keys :: maybe_improper_list(). + keyorder(N, A, B, _) when element(N, A) == element(N, B) -> true; keyorder(N, A, B, [Key | _]) |