File 2837-snmp-Types-and-specs-for-snmp-read_mib-1.p... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 2837-snmp-Types-and-specs-for-snmp-read_mib-1.patch of Package erlang (Revision 2f15b05a39d64e5cba90e927e8665465)

Currently displaying revision 2f15b05a39d64e5cba90e927e8665465 , Show latest

From c90c8271914300a8e8eb1d42f4478e41ea3b8161 Mon Sep 17 00:00:00 2001
From: Micael Karlberg <bmk@erlang.org>
Date: Wed, 10 Jan 2024 17:30:24 +0100
Subject: [PATCH 17/67] [snmp] Types and specs for snmp:read_mib/1

---
 lib/snmp/doc/src/snmp.xml | 18 ++++++++++++------
 lib/snmp/src/app/snmp.erl |  5 +++++
 2 files changed, 17 insertions(+), 6 deletions(-)

diff --git a/lib/snmp/doc/src/snmp.xml b/lib/snmp/doc/src/snmp.xml
index ce067b6691..adee68c253 100644
--- a/lib/snmp/doc/src/snmp.xml
+++ b/lib/snmp/doc/src/snmp.xml
@@ -152,6 +152,17 @@
       -->
     </datatype>
 
+    <datatype>
+      <name name="mib"/>
+      
+    </datatype>
+
   </datatypes>
 
   <section>
@@ -416,13 +427,8 @@
     </func>
 
     <func>
-      <name since="">read_mib(FileName) -> {ok, mib()} | {error, Reason}</name>
+      <name name="read_mib" arity="1" clause_i="1" since=""/>
       <fsummary></fsummary>
-      <type>
-        <v>FileName = string()</v>
-        <v>mib() = #mib{}</v>
-        <v>Reason = term()</v>
-      </type>
       <desc>
         <p>Read a compiled mib.</p>
 
diff --git a/lib/snmp/src/app/snmp.erl b/lib/snmp/src/app/snmp.erl
index 53a3a46922..70166a362d 100644
--- a/lib/snmp/src/app/snmp.erl
+++ b/lib/snmp/src/app/snmp.erl
@@ -981,6 +981,11 @@ localize_key(Alg, Key, EngineID) ->
 %%% Read a mib
 %%%-----------------------------------------------------------------
 
+-spec read_mib(FileName) -> {ok, Mib} | {error, Reason} when
+      FileName :: string(),
+      Mib      :: mib(),
+      Reason   :: term().
+
 read_mib(FileName) ->
     snmp_misc:read_mib(FileName).
 
-- 
2.35.3

Places

File 2837-snmp-Types-and-specs-for-snmp-read_mib-1.patch of Package erlang (Revision 2f15b05a39d64e5cba90e927e8665465)

Places