File 2845-snmp-Types-and-specs-for-snmp-universal_ti... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 2845-snmp-Types-and-specs-for-snmp-universal_time_to_date.patch of Package erlang

From 2ef85f4f0ddae4585f1d860bb5dc9ade8af11c2f Mon Sep 17 00:00:00 2001
From: Micael Karlberg <bmk@erlang.org>
Date: Thu, 11 Jan 2024 09:21:05 +0100
Subject: [PATCH 25/67] [snmp] Types and specs for
 snmp:universal_time_to_date_and_time/1

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

diff --git a/lib/snmp/doc/src/snmp.xml b/lib/snmp/doc/src/snmp.xml
index 70d4499a0d..ca9a8f6f19 100644
--- a/lib/snmp/doc/src/snmp.xml
+++ b/lib/snmp/doc/src/snmp.xml
@@ -347,15 +347,11 @@
     </func>
 
     <func>
-      <name since="">universal_time_to_date_and_time(UTC) -> DateAndTime</name>
+      <name name="universal_time_to_date_and_time" arity="1" clause_i="1" since=""/>
       <fsummary>Convert a UTC value to DateAndTime</fsummary>
-      <type>
-        <v>UTC = {{Y,Mo,D},{H,M,S}}</v>
-        <v>DateAndTime = [int()]</v>
-      </type>
       <desc>
         <p>Converts a universal time value to a DateAndTime list.  The
-          universal time value on the same format as defined in calendar(3).</p>
+	universal time value on the same format as defined in calendar(3).</p>
 
         <marker id="vdat"></marker>
       </desc>
diff --git a/lib/snmp/src/app/snmp.erl b/lib/snmp/src/app/snmp.erl
index af63a05a28..46a4f18adf 100644
--- a/lib/snmp/src/app/snmp.erl
+++ b/lib/snmp/src/app/snmp.erl
@@ -863,6 +863,11 @@ diff(Secs) ->
 	        [$-, H, M]
     end.
 
+
+-spec universal_time_to_date_and_time(UTC) -> DateAndTime when
+      UTC         :: calendar:datetime(),
+      DateAndTime :: rfc1903_date_and_time().
+
 universal_time_to_date_and_time(UTC) ->
     short_time(UTC) ++ [$+, 0, 0].
 
-- 
2.35.3

Places

File 2845-snmp-Types-and-specs-for-snmp-universal_time_to_date.patch of Package erlang

Places