/rust/registry/src/index.crates.io-1949cf8c6b5b557f/jiff-0.2.23/src/tz/tzif.rs
Line | Count | Source |
1 | | /*! |
2 | | This module provides support for TZif binary files from the [Time Zone |
3 | | Database]. |
4 | | |
5 | | These binary files are the ones commonly found in Unix distributions in the |
6 | | `/usr/share/zoneinfo` directory. |
7 | | |
8 | | [Time Zone Database]: https://www.iana.org/time-zones |
9 | | */ |
10 | | |
11 | | use core::{fmt::Debug, ops::Range}; |
12 | | |
13 | | #[cfg(feature = "alloc")] |
14 | | use alloc::{string::String, vec::Vec}; |
15 | | |
16 | | use crate::{ |
17 | | civil::DateTime, |
18 | | error::Error, |
19 | | shared::{self, util::array_str::Abbreviation}, |
20 | | timestamp::Timestamp, |
21 | | tz::{ |
22 | | posix::PosixTimeZone, timezone::TimeZoneAbbreviation, AmbiguousOffset, |
23 | | Dst, Offset, TimeZoneOffsetInfo, TimeZoneTransition, |
24 | | }, |
25 | | }; |
26 | | |
27 | | /// The owned variant of `Tzif`. |
28 | | #[cfg(feature = "alloc")] |
29 | | pub(crate) type TzifOwned = Tzif< |
30 | | String, |
31 | | Abbreviation, |
32 | | Vec<shared::TzifLocalTimeType>, |
33 | | Vec<i64>, |
34 | | Vec<shared::TzifDateTime>, |
35 | | Vec<shared::TzifDateTime>, |
36 | | Vec<shared::TzifTransitionInfo>, |
37 | | >; |
38 | | |
39 | | /// The static variant of `Tzif`. |
40 | | pub(crate) type TzifStatic = Tzif< |
41 | | &'static str, |
42 | | &'static str, |
43 | | &'static [shared::TzifLocalTimeType], |
44 | | &'static [i64], |
45 | | &'static [shared::TzifDateTime], |
46 | | &'static [shared::TzifDateTime], |
47 | | &'static [shared::TzifTransitionInfo], |
48 | | >; |
49 | | |
50 | | /// A time zone based on IANA TZif formatted data. |
51 | | /// |
52 | | /// TZif is a binary format described by RFC 8536. Its typical structure is to |
53 | | /// define a single time zone per file in the `/usr/share/zoneinfo` directory |
54 | | /// on Unix systems. The name of a time zone is its file path with the |
55 | | /// `/usr/share/zoneinfo/` prefix stripped from it. |
56 | | /// |
57 | | /// This type doesn't provide any facilities for dealing with files on disk |
58 | | /// or the `/usr/share/zoneinfo` directory. This type is just for parsing the |
59 | | /// contents of TZif formatted data in memory, and turning it into a data type |
60 | | /// that can be used as a time zone. |
61 | | #[derive(Debug)] |
62 | | // not part of Jiff's public API |
63 | | #[doc(hidden)] |
64 | | // This ensures the alignment of this type is always *at least* 8 bytes. This |
65 | | // is required for the pointer tagging inside of `TimeZone` to be sound. At |
66 | | // time of writing (2024-02-24), this explicit `repr` isn't required on 64-bit |
67 | | // systems since the type definition is such that it will have an alignment of |
68 | | // at least 8 bytes anyway. But this *is* required for 32-bit systems, where |
69 | | // the type definition at present only has an alignment of 4 bytes. |
70 | | #[repr(align(8))] |
71 | | pub struct Tzif<STR, ABBREV, TYPES, TIMESTAMPS, STARTS, ENDS, INFOS> { |
72 | | inner: shared::Tzif<STR, ABBREV, TYPES, TIMESTAMPS, STARTS, ENDS, INFOS>, |
73 | | /// The POSIX time zone for this TZif data, if present. |
74 | | /// |
75 | | /// Note that this is also present on `shared::Tzif`, but uses the |
76 | | /// `shared::PosixTimeZone` type, which isn't quite what we want here. |
77 | | /// |
78 | | /// For now we just duplicate it, which is slightly unfortunate. But this |
79 | | /// is small and not a huge deal. Ideally we can clean this up later. |
80 | | posix_tz: Option<PosixTimeZone<ABBREV>>, |
81 | | } |
82 | | |
83 | | impl TzifStatic { |
84 | | /// Converts from the shared-but-internal API for use in proc macros. |
85 | | /// |
86 | | /// This specifically works in a `const` context. And it requires that |
87 | | /// caller to pass in the parsed `Tzif` in its fixed form along with the |
88 | | /// variable length local time types and transitions. (Technically, the |
89 | | /// TZ identifier and the designations are also variable length despite |
90 | | /// being parsed of `TzifFixed`, but in practice they can be handled just |
91 | | /// fine via `&'static str`.) |
92 | | /// |
93 | | /// Notice that the `types` and `transitions` are *not* from the `shared` |
94 | | /// API, but rather, from the types defined in this module. They have to |
95 | | /// be this way because there's a conversion step that occurs. In practice, |
96 | | /// this sort of thing is embedded as a literal in source code via a proc |
97 | | /// macro. Like this: |
98 | | /// |
99 | | /// ```text |
100 | | /// static TZIF: Tzif<&str, &str, &[LocalTimeType], &[Transition]> = |
101 | | /// Tzif::from_shared_const( |
102 | | /// shared::TzifFixed { |
103 | | /// name: Some("America/New_York"), |
104 | | /// version: b'3', |
105 | | /// checksum: 0xDEADBEEF, |
106 | | /// designations: "ESTEDT", |
107 | | /// posix_tz: None, |
108 | | /// }, |
109 | | /// &[ |
110 | | /// shared::TzifLocalTimeType { |
111 | | /// offset: -5 * 60 * 60, |
112 | | /// is_dst: false, |
113 | | /// designation: 0..3, |
114 | | /// indicator: shared::TzifIndicator::LocalWall, |
115 | | /// }.to_jiff(), |
116 | | /// ], |
117 | | /// &[ |
118 | | /// shared::TzifTransition { |
119 | | /// timestamp: 123456789, |
120 | | /// type_index: 0, |
121 | | /// }.to_jiff(-5, -5), |
122 | | /// ], |
123 | | /// ); |
124 | | /// ``` |
125 | | /// |
126 | | /// Or something like that anyway. The point is, our `static` slices are |
127 | | /// variable length and they need to be the right types. At least, I |
128 | | /// couldn't see a simpler way to arrange this. |
129 | 0 | pub(crate) const fn from_shared_const( |
130 | 0 | sh: shared::TzifStatic, |
131 | 0 | ) -> TzifStatic { |
132 | 0 | let posix_tz = match sh.fixed.posix_tz { |
133 | 0 | None => None, |
134 | 0 | Some(posix_tz) => Some(PosixTimeZone::from_shared_const(posix_tz)), |
135 | | }; |
136 | 0 | Tzif { inner: sh, posix_tz } |
137 | 0 | } |
138 | | } |
139 | | |
140 | | #[cfg(feature = "alloc")] |
141 | | impl TzifOwned { |
142 | | /// Parses the given data as a TZif formatted file. |
143 | | /// |
144 | | /// The name given is attached to the `Tzif` value returned, but is |
145 | | /// otherwise not significant. |
146 | | /// |
147 | | /// If the given data is not recognized to be valid TZif, then an error is |
148 | | /// returned. |
149 | | /// |
150 | | /// In general, callers may assume that it is safe to pass arbitrary or |
151 | | /// even untrusted data to this function and count on it not panicking |
152 | | /// or using resources that aren't limited to a small constant factor of |
153 | | /// the size of the data itself. That is, callers can reliably limit the |
154 | | /// resources used by limiting the size of the data given to this parse |
155 | | /// function. |
156 | 0 | pub(crate) fn parse( |
157 | 0 | name: Option<String>, |
158 | 0 | bytes: &[u8], |
159 | 0 | ) -> Result<Self, Error> { |
160 | 0 | let sh = shared::TzifOwned::parse(name, bytes).map_err(Error::tzif)?; |
161 | 0 | Ok(TzifOwned::from_shared_owned(sh)) |
162 | 0 | } |
163 | | |
164 | | /// Converts from the shared-but-internal API for use in proc macros. |
165 | | /// |
166 | | /// This is not `const` since it accepts owned values on the heap for |
167 | | /// variable length data inside `Tzif`. |
168 | 0 | pub(crate) fn from_shared_owned(sh: shared::TzifOwned) -> TzifOwned { |
169 | 0 | let posix_tz = match sh.fixed.posix_tz { |
170 | 0 | None => None, |
171 | 0 | Some(posix_tz) => Some(PosixTimeZone::from_shared_owned(posix_tz)), |
172 | | }; |
173 | 0 | Tzif { inner: sh, posix_tz } |
174 | 0 | } |
175 | | } |
176 | | |
177 | | impl< |
178 | | STR: AsRef<str>, |
179 | | ABBREV: AsRef<str> + Debug, |
180 | | TYPES: AsRef<[shared::TzifLocalTimeType]>, |
181 | | TIMESTAMPS: AsRef<[i64]>, |
182 | | STARTS: AsRef<[shared::TzifDateTime]>, |
183 | | ENDS: AsRef<[shared::TzifDateTime]>, |
184 | | INFOS: AsRef<[shared::TzifTransitionInfo]>, |
185 | | > Tzif<STR, ABBREV, TYPES, TIMESTAMPS, STARTS, ENDS, INFOS> |
186 | | { |
187 | | /// Returns the name given to this TZif data in its constructor. |
188 | 0 | pub(crate) fn name(&self) -> Option<&str> { |
189 | 0 | self.inner.fixed.name.as_ref().map(|n| n.as_ref()) Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::name::{closure#0}Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::name::{closure#0} |
190 | 0 | } Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::name Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::name |
191 | | |
192 | | /// Returns the appropriate time zone offset to use for the given |
193 | | /// timestamp. |
194 | 0 | pub(crate) fn to_offset(&self, timestamp: Timestamp) -> Offset { |
195 | 0 | match self.to_local_time_type(timestamp) { |
196 | 0 | Ok(typ) => Offset::from_seconds_unchecked(typ.offset), |
197 | 0 | Err(tz) => tz.to_offset(timestamp), |
198 | | } |
199 | 0 | } Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::to_offset Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::to_offset Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::to_offset Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::to_offset Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::to_offset Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::to_offset Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::to_offset Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::to_offset Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::to_offset Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::to_offset |
200 | | |
201 | | /// Returns the appropriate time zone offset to use for the given |
202 | | /// timestamp. |
203 | | /// |
204 | | /// This also includes whether the offset returned should be considered to |
205 | | /// be DST or not, along with the time zone abbreviation (e.g., EST for |
206 | | /// standard time in New York, and EDT for DST in New York). |
207 | 0 | pub(crate) fn to_offset_info( |
208 | 0 | &self, |
209 | 0 | timestamp: Timestamp, |
210 | 0 | ) -> TimeZoneOffsetInfo<'_> { |
211 | 0 | let typ = match self.to_local_time_type(timestamp) { |
212 | 0 | Ok(typ) => typ, |
213 | 0 | Err(tz) => return tz.to_offset_info(timestamp), |
214 | | }; |
215 | 0 | let abbreviation = |
216 | 0 | TimeZoneAbbreviation::Borrowed(self.designation(typ)); |
217 | 0 | TimeZoneOffsetInfo { |
218 | 0 | offset: Offset::from_seconds_unchecked(typ.offset), |
219 | 0 | dst: Dst::from(typ.is_dst), |
220 | 0 | abbreviation, |
221 | 0 | } |
222 | 0 | } Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::to_offset_info Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::to_offset_info |
223 | | |
224 | | /// Returns the local time type for the timestamp given. |
225 | | /// |
226 | | /// If one could not be found, then this implies that the caller should |
227 | | /// use the POSIX time zone returned in the error variant. |
228 | 0 | fn to_local_time_type( |
229 | 0 | &self, |
230 | 0 | timestamp: Timestamp, |
231 | 0 | ) -> Result<&shared::TzifLocalTimeType, &PosixTimeZone<ABBREV>> { |
232 | 0 | let timestamp = timestamp.as_second(); |
233 | | // This is guaranteed because we always push at least one transition. |
234 | | // This isn't guaranteed by TZif since it might have 0 transitions, |
235 | | // but we always add a "dummy" first transition with our minimum |
236 | | // `Timestamp` value. TZif doesn't do this because there is no |
237 | | // universal minimum timestamp. (`i64::MIN` is a candidate, but that's |
238 | | // likely to cause overflow in readers that don't do error checking.) |
239 | | // |
240 | | // The result of the dummy transition is that the code below is simpler |
241 | | // with fewer special cases. |
242 | 0 | let timestamps = self.timestamps(); |
243 | 0 | assert!(!timestamps.is_empty(), "transitions is non-empty"); |
244 | 0 | let index = if timestamp > *timestamps.last().unwrap() { |
245 | 0 | timestamps.len() - 1 |
246 | | } else { |
247 | 0 | let search = self.timestamps().binary_search(×tamp); |
248 | 0 | match search { |
249 | | // Since the first transition is always Timestamp::MIN, it's |
250 | | // impossible for any timestamp to sort before it. |
251 | | Err(0) => { |
252 | 0 | unreachable!("impossible to come before Timestamp::MIN") |
253 | | } |
254 | 0 | Ok(i) => i, |
255 | | // i points to the position immediately after the matching |
256 | | // timestamp. And since we know that i>0 because of the i==0 |
257 | | // check above, we can safely subtract 1. |
258 | 0 | Err(i) => i.checked_sub(1).expect("i is non-zero"), |
259 | | } |
260 | | }; |
261 | | // Our index is always in bounds. The only way it couldn't be is if |
262 | | // binary search returns an Err(len) for a time greater than the |
263 | | // maximum transition. But we account for that above by converting |
264 | | // Err(len) to Err(len-1). |
265 | 0 | debug_assert!(index < timestamps.len()); |
266 | | // RFC 8536 says: "Local time for timestamps on or after the last |
267 | | // transition is specified by the TZ string in the footer (Section 3.3) |
268 | | // if present and nonempty; otherwise, it is unspecified." |
269 | | // |
270 | | // Subtracting 1 is OK because we know self.transitions is not empty. |
271 | 0 | let index = if index < timestamps.len() - 1 { |
272 | | // This is the typical case in "fat" TZif files: we found a |
273 | | // matching transition. |
274 | 0 | index |
275 | | } else { |
276 | 0 | match self.posix_tz() { |
277 | | // This is the typical case in "slim" TZif files, where the |
278 | | // last transition is, as I understand it, the transition at |
279 | | // which a consistent rule started that a POSIX TZ string can |
280 | | // fully describe. For example, (as of 2024-03-27) the last |
281 | | // transition in the "fat" America/New_York TZif file is |
282 | | // in 2037, where as in the "slim" version it is 2007. |
283 | | // |
284 | | // This is likely why some things break with the "slim" |
285 | | // version: they don't support POSIX TZ strings (or don't |
286 | | // support them correctly). |
287 | 0 | Some(tz) => return Err(tz), |
288 | | // This case is technically unspecified, but I think the |
289 | | // typical thing to do is to just use the last transition. |
290 | | // I'm not 100% sure on this one. |
291 | 0 | None => index, |
292 | | } |
293 | | }; |
294 | 0 | Ok(self.local_time_type(index)) |
295 | 0 | } Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::to_local_time_type Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::to_local_time_type Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::to_local_time_type Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::to_local_time_type Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::to_local_time_type Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::to_local_time_type Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::to_local_time_type Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::to_local_time_type Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::to_local_time_type Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::to_local_time_type |
296 | | |
297 | | /// Returns a possibly ambiguous timestamp for the given civil datetime. |
298 | | /// |
299 | | /// The given datetime should correspond to the "wall" clock time of what |
300 | | /// humans use to tell time for this time zone. |
301 | | /// |
302 | | /// Note that "ambiguous timestamp" is represented by the possible |
303 | | /// selection of offsets that could be applied to the given datetime. In |
304 | | /// general, it is only ambiguous around transitions to-and-from DST. The |
305 | | /// ambiguity can arise as a "fold" (when a particular wall clock time is |
306 | | /// repeated) or as a "gap" (when a particular wall clock time is skipped |
307 | | /// entirely). |
308 | 0 | pub(crate) fn to_ambiguous_kind(&self, dt: DateTime) -> AmbiguousOffset { |
309 | | // This implementation very nearly mirrors `to_local_time_type` |
310 | | // above in the beginning: we do a binary search to find transition |
311 | | // applicable for the given datetime. Except, we do it on wall clock |
312 | | // times instead of timestamps. And in particular, each transition |
313 | | // begins with a possibly ambiguous range of wall clock times |
314 | | // corresponding to either a "gap" or "fold" in time. |
315 | 0 | let dtt = shared::TzifDateTime::new( |
316 | 0 | dt.year(), |
317 | 0 | dt.month(), |
318 | 0 | dt.day(), |
319 | 0 | dt.hour(), |
320 | 0 | dt.minute(), |
321 | 0 | dt.second(), |
322 | | ); |
323 | 0 | let (starts, ends) = (self.civil_starts(), self.civil_ends()); |
324 | 0 | assert!(!starts.is_empty(), "transitions is non-empty"); |
325 | 0 | let this_index = match starts.binary_search(&dtt) { |
326 | 0 | Err(0) => unreachable!("impossible to come before DateTime::MIN"), |
327 | 0 | Ok(i) => i, |
328 | 0 | Err(i) => i.checked_sub(1).expect("i is non-zero"), |
329 | | }; |
330 | 0 | debug_assert!(this_index < starts.len()); |
331 | | |
332 | 0 | let this_offset = self.local_time_type(this_index).offset; |
333 | | // This is a little tricky, but we need to check for ambiguous civil |
334 | | // datetimes before possibly using the POSIX TZ string. Namely, a |
335 | | // datetime could be ambiguous with respect to the last transition, |
336 | | // and we should handle that according to the gap/fold determined for |
337 | | // that transition. We cover this case in tests in tz/mod.rs for the |
338 | | // Pacific/Honolulu time zone, whose last transition begins with a gap. |
339 | 0 | match self.transition_kind(this_index) { |
340 | 0 | shared::TzifTransitionKind::Gap if dtt < ends[this_index] => { |
341 | | // A gap/fold can only appear when there exists a previous |
342 | | // transition. |
343 | 0 | let prev_index = this_index.checked_sub(1).unwrap(); |
344 | 0 | let prev_offset = self.local_time_type(prev_index).offset; |
345 | 0 | return AmbiguousOffset::Gap { |
346 | 0 | before: Offset::from_seconds_unchecked(prev_offset), |
347 | 0 | after: Offset::from_seconds_unchecked(this_offset), |
348 | 0 | }; |
349 | | } |
350 | 0 | shared::TzifTransitionKind::Fold if dtt < ends[this_index] => { |
351 | | // A gap/fold can only appear when there exists a previous |
352 | | // transition. |
353 | 0 | let prev_index = this_index.checked_sub(1).unwrap(); |
354 | 0 | let prev_offset = self.local_time_type(prev_index).offset; |
355 | 0 | return AmbiguousOffset::Fold { |
356 | 0 | before: Offset::from_seconds_unchecked(prev_offset), |
357 | 0 | after: Offset::from_seconds_unchecked(this_offset), |
358 | 0 | }; |
359 | | } |
360 | 0 | _ => {} |
361 | | } |
362 | | // The datetime given is not ambiguous with respect to any of the |
363 | | // transitions in the TZif data. But, if we matched at or after the |
364 | | // last transition, then we need to use the POSIX TZ string (which |
365 | | // could still return an ambiguous offset). |
366 | 0 | if this_index == starts.len() - 1 { |
367 | 0 | if let Some(tz) = self.posix_tz() { |
368 | 0 | return tz.to_ambiguous_kind(dt); |
369 | 0 | } |
370 | | // This case is unspecified according to RFC 8536. It means that |
371 | | // the given datetime exceeds all transitions *and* there is no |
372 | | // POSIX TZ string. So this can happen in V1 files for example. |
373 | | // But those should hopefully be essentially non-existent nowadays |
374 | | // (2024-03). In any case, we just fall through to using the last |
375 | | // transition, which does seem likely to be wrong ~half the time |
376 | | // in time zones with DST. But there really isn't much else we can |
377 | | // do I think. |
378 | 0 | } |
379 | 0 | AmbiguousOffset::Unambiguous { |
380 | 0 | offset: Offset::from_seconds_unchecked(this_offset), |
381 | 0 | } |
382 | 0 | } Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::to_ambiguous_kind Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::to_ambiguous_kind Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::to_ambiguous_kind Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::to_ambiguous_kind Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::to_ambiguous_kind Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::to_ambiguous_kind Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::to_ambiguous_kind Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::to_ambiguous_kind Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::to_ambiguous_kind Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::to_ambiguous_kind |
383 | | |
384 | | /// Returns the timestamp of the most recent time zone transition prior |
385 | | /// to the timestamp given. If one doesn't exist, `None` is returned. |
386 | 0 | pub(crate) fn previous_transition<'t>( |
387 | 0 | &'t self, |
388 | 0 | ts: Timestamp, |
389 | 0 | ) -> Option<TimeZoneTransition<'t>> { |
390 | 0 | assert!(!self.timestamps().is_empty(), "transitions is non-empty"); |
391 | 0 | let mut timestamp = ts.as_second(); |
392 | 0 | if ts.subsec_nanosecond() != 0 { |
393 | 0 | timestamp = timestamp.saturating_add(1); |
394 | 0 | } |
395 | 0 | let search = self.timestamps().binary_search(×tamp); |
396 | 0 | let index = match search { |
397 | 0 | Ok(i) | Err(i) => i.checked_sub(1)?, |
398 | | }; |
399 | 0 | let index = if index == 0 { |
400 | | // The first transition is a dummy that we insert, so if we land on |
401 | | // it here, treat it as if it doesn't exist. |
402 | 0 | return None; |
403 | 0 | } else if index == self.timestamps().len() - 1 { |
404 | 0 | if let Some(ref posix_tz) = self.posix_tz() { |
405 | | // Since the POSIX TZ must be consistent with the last |
406 | | // transition, it must be the case that tzif_last <= |
407 | | // posix_prev_trans in all cases. So the transition according |
408 | | // to the POSIX TZ is always correct here. |
409 | | // |
410 | | // What if this returns `None` though? I'm not sure in which |
411 | | // cases that could matter, and I think it might be a violation |
412 | | // of the TZif format if it does. |
413 | | // |
414 | | // It can return `None`! In the case of a time zone that |
415 | | // has eliminated DST, it might have historical time zone |
416 | | // transitions but a POSIX time zone without DST. (For example, |
417 | | // `America/Sao_Paulo`.) And thus, this would return `None`. |
418 | | // So if it does, we pretend as if the POSIX time zone doesn't |
419 | | // exist. |
420 | 0 | if let Some(trans) = posix_tz.previous_transition(ts) { |
421 | 0 | return Some(trans); |
422 | 0 | } |
423 | 0 | } |
424 | 0 | index |
425 | | } else { |
426 | 0 | index |
427 | | }; |
428 | 0 | let timestamp = self.timestamps()[index]; |
429 | 0 | let typ = self.local_time_type(index); |
430 | 0 | Some(TimeZoneTransition { |
431 | 0 | timestamp: Timestamp::constant(timestamp, 0), |
432 | 0 | offset: Offset::from_seconds_unchecked(typ.offset), |
433 | 0 | abbrev: self.designation(typ), |
434 | 0 | dst: Dst::from(typ.is_dst), |
435 | 0 | }) |
436 | 0 | } Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::previous_transition Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::previous_transition |
437 | | |
438 | | /// Returns the timestamp of the soonest time zone transition after the |
439 | | /// timestamp given. If one doesn't exist, `None` is returned. |
440 | 0 | pub(crate) fn next_transition<'t>( |
441 | 0 | &'t self, |
442 | 0 | ts: Timestamp, |
443 | 0 | ) -> Option<TimeZoneTransition<'t>> { |
444 | 0 | assert!(!self.timestamps().is_empty(), "transitions is non-empty"); |
445 | 0 | let timestamp = ts.as_second(); |
446 | 0 | let search = self.timestamps().binary_search(×tamp); |
447 | 0 | let index = match search { |
448 | 0 | Ok(i) => i.checked_add(1)?, |
449 | 0 | Err(i) => i, |
450 | | }; |
451 | 0 | let index = if index == 0 { |
452 | | // The first transition is a dummy that we insert, so if we land on |
453 | | // it here, treat it as if it doesn't exist. |
454 | 0 | return None; |
455 | 0 | } else if index >= self.timestamps().len() { |
456 | 0 | if let Some(posix_tz) = self.posix_tz() { |
457 | | // Since the POSIX TZ must be consistent with the last |
458 | | // transition, it must be the case that next.timestamp <= |
459 | | // posix_next_tans in all cases. So the transition according to |
460 | | // the POSIX TZ is always correct here. |
461 | | // |
462 | | // What if this returns `None` though? I'm not sure in which |
463 | | // cases that could matter, and I think it might be a violation |
464 | | // of the TZif format if it does. |
465 | | // |
466 | | // In the "previous" case above, this could return `None` even |
467 | | // when there are historical time zone transitions in the case |
468 | | // of a time zone eliminating DST (e.g., `America/Sao_Paulo`). |
469 | | // But unlike the previous case, if we get `None` here, then |
470 | | // that is the real answer because there are no other known |
471 | | // future time zone transitions. |
472 | | // |
473 | | // 2025-05-05: OK, this could return `None` and this is fine. |
474 | | // It happens for time zones that had DST but then stopped |
475 | | // it at some point in the past. The POSIX time zone has no |
476 | | // DST and thus returns `None`. That's fine. But there was a |
477 | | // problem: we were using the POSIX time zone even when there |
478 | | // was a historical time zone transition after the timestamp |
479 | | // given. That was fixed by changing the condition when we get |
480 | | // here: it can only happen when the timestamp given comes at |
481 | | // or after all historical time zone transitions. |
482 | 0 | return posix_tz.next_transition(ts); |
483 | 0 | } |
484 | 0 | self.timestamps().len() - 1 |
485 | | } else { |
486 | 0 | index |
487 | | }; |
488 | 0 | let timestamp = self.timestamps()[index]; |
489 | 0 | let typ = self.local_time_type(index); |
490 | 0 | Some(TimeZoneTransition { |
491 | 0 | timestamp: Timestamp::constant(timestamp, 0), |
492 | 0 | offset: Offset::from_seconds_unchecked(typ.offset), |
493 | 0 | abbrev: self.designation(typ), |
494 | 0 | dst: Dst::from(typ.is_dst), |
495 | 0 | }) |
496 | 0 | } Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::next_transition Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::next_transition |
497 | | |
498 | 0 | fn designation(&self, typ: &shared::TzifLocalTimeType) -> &str { |
499 | | // OK because we verify that the designation range on every local |
500 | | // time type is a valid range into `self.designations`. |
501 | 0 | &self.designations()[typ.designation()] |
502 | 0 | } Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::designation Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::designation |
503 | | |
504 | 0 | fn local_time_type( |
505 | 0 | &self, |
506 | 0 | transition_index: usize, |
507 | 0 | ) -> &shared::TzifLocalTimeType { |
508 | | // OK because we require that `type_index` always points to a valid |
509 | | // local time type. |
510 | 0 | &self.types()[usize::from(self.infos()[transition_index].type_index)] |
511 | 0 | } Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::local_time_type Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::local_time_type Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::local_time_type Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::local_time_type Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::local_time_type Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::local_time_type Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::local_time_type Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::local_time_type Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::local_time_type Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::local_time_type |
512 | | |
513 | 0 | fn transition_kind( |
514 | 0 | &self, |
515 | 0 | transition_index: usize, |
516 | 0 | ) -> shared::TzifTransitionKind { |
517 | 0 | self.infos()[transition_index].kind |
518 | 0 | } Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::transition_kind Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::transition_kind Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::transition_kind Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::transition_kind Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::transition_kind Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::transition_kind Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::transition_kind Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::transition_kind Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::transition_kind Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::transition_kind |
519 | | |
520 | 0 | fn posix_tz(&self) -> Option<&PosixTimeZone<ABBREV>> { |
521 | 0 | self.posix_tz.as_ref() |
522 | 0 | } Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::posix_tz Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::posix_tz Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::posix_tz Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::posix_tz Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::posix_tz Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::posix_tz Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::posix_tz Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::posix_tz Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::posix_tz Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::posix_tz |
523 | | |
524 | 0 | fn designations(&self) -> &str { |
525 | 0 | self.inner.fixed.designations.as_ref() |
526 | 0 | } Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::designations Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::designations |
527 | | |
528 | 0 | fn types(&self) -> &[shared::TzifLocalTimeType] { |
529 | 0 | self.inner.types.as_ref() |
530 | 0 | } Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::types Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::types Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::types Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::types Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::types Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::types Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::types Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::types Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::types Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::types |
531 | | |
532 | 0 | fn timestamps(&self) -> &[i64] { |
533 | 0 | self.inner.transitions.timestamps.as_ref() |
534 | 0 | } Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::timestamps Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::timestamps Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::timestamps Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::timestamps Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::timestamps Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::timestamps Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::timestamps Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::timestamps Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::timestamps Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::timestamps |
535 | | |
536 | 0 | fn civil_starts(&self) -> &[shared::TzifDateTime] { |
537 | 0 | self.inner.transitions.civil_starts.as_ref() |
538 | 0 | } Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::civil_starts Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::civil_starts Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::civil_starts Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::civil_starts Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::civil_starts Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::civil_starts Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::civil_starts Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::civil_starts Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::civil_starts Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::civil_starts |
539 | | |
540 | 0 | fn civil_ends(&self) -> &[shared::TzifDateTime] { |
541 | 0 | self.inner.transitions.civil_ends.as_ref() |
542 | 0 | } Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::civil_ends Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::civil_ends Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::civil_ends Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::civil_ends Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::civil_ends Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::civil_ends Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::civil_ends Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::civil_ends Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::civil_ends Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::civil_ends |
543 | | |
544 | 0 | fn infos(&self) -> &[shared::TzifTransitionInfo] { |
545 | 0 | self.inner.transitions.infos.as_ref() |
546 | 0 | } Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::infos Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::infos Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::infos Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::infos Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::infos Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::infos Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::infos Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::infos Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>>>::infos Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]>>::infos |
547 | | } |
548 | | |
549 | | impl<STR: AsRef<str>, ABBREV, TYPES, TIMESTAMPS, STARTS, ENDS, INFOS> Eq |
550 | | for Tzif<STR, ABBREV, TYPES, TIMESTAMPS, STARTS, ENDS, INFOS> |
551 | | { |
552 | | } |
553 | | |
554 | | impl<STR: AsRef<str>, ABBREV, TYPES, TIMESTAMPS, STARTS, ENDS, INFOS> PartialEq |
555 | | for Tzif<STR, ABBREV, TYPES, TIMESTAMPS, STARTS, ENDS, INFOS> |
556 | | { |
557 | 0 | fn eq(&self, rhs: &Self) -> bool { |
558 | 0 | self.inner.fixed.name.as_ref().map(|n| n.as_ref()) Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>> as core::cmp::PartialEq>::eq::{closure#0}Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]> as core::cmp::PartialEq>::eq::{closure#0} |
559 | 0 | == rhs.inner.fixed.name.as_ref().map(|n| n.as_ref()) Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>> as core::cmp::PartialEq>::eq::{closure#1}Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]> as core::cmp::PartialEq>::eq::{closure#1} |
560 | 0 | && self.inner.fixed.checksum == rhs.inner.fixed.checksum |
561 | 0 | } Unexecuted instantiation: <jiff::tz::tzif::Tzif<alloc::string::String, jiff::shared::util::array_str::ArrayStr<30>, alloc::vec::Vec<jiff::shared::TzifLocalTimeType>, alloc::vec::Vec<i64>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifDateTime>, alloc::vec::Vec<jiff::shared::TzifTransitionInfo>> as core::cmp::PartialEq>::eq Unexecuted instantiation: <jiff::tz::tzif::Tzif<&str, &str, &[jiff::shared::TzifLocalTimeType], &[i64], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifDateTime], &[jiff::shared::TzifTransitionInfo]> as core::cmp::PartialEq>::eq |
562 | | } |
563 | | |
564 | | impl shared::TzifLocalTimeType { |
565 | 0 | fn designation(&self) -> Range<usize> { |
566 | 0 | usize::from(self.designation.0)..usize::from(self.designation.1) |
567 | 0 | } |
568 | | } |
569 | | |
570 | | impl core::fmt::Display for shared::TzifIndicator { |
571 | 0 | fn fmt(&self, f: &mut core::fmt::Formatter) -> core::fmt::Result { |
572 | 0 | match *self { |
573 | 0 | shared::TzifIndicator::LocalWall => f.write_str("local/wall"), |
574 | 0 | shared::TzifIndicator::LocalStandard => f.write_str("local/std"), |
575 | 0 | shared::TzifIndicator::UTStandard => f.write_str("ut/std"), |
576 | | } |
577 | 0 | } |
578 | | } |
579 | | |
580 | | /// Does a quick check that returns true if the data might be in TZif format. |
581 | | /// |
582 | | /// It is possible that this returns true even if the given data is not in TZif |
583 | | /// format. However, it is impossible for this to return false when the given |
584 | | /// data is TZif. That is, a false positive is allowed but a false negative is |
585 | | /// not. |
586 | | #[cfg(feature = "tzdb-zoneinfo")] |
587 | 0 | pub(crate) fn is_possibly_tzif(data: &[u8]) -> bool { |
588 | 0 | data.starts_with(b"TZif") |
589 | 0 | } |
590 | | |
591 | | #[cfg(all(test, feature = "alloc"))] |
592 | | mod tests { |
593 | | use alloc::{string::ToString, vec}; |
594 | | |
595 | | #[cfg(not(miri))] |
596 | | use crate::tz::testdata::TZIF_TEST_FILES; |
597 | | |
598 | | use super::*; |
599 | | |
600 | | /// This converts TZif data into a human readable format. |
601 | | /// |
602 | | /// This is useful for debugging (via `./scripts/jiff-debug tzif`), but we |
603 | | /// also use it for snapshot testing to make reading the test output at |
604 | | /// least *somewhat* comprehensible for humans. Otherwise, one needs to |
605 | | /// read and understand Unix timestamps. That ain't going to fly. |
606 | | /// |
607 | | /// For this to work, we make sure everything in a `Tzif` value is |
608 | | /// represented in some way in this output. |
609 | | fn tzif_to_human_readable(tzif: &TzifOwned) -> String { |
610 | | use std::io::Write; |
611 | | |
612 | | fn datetime(dt: shared::TzifDateTime) -> DateTime { |
613 | | DateTime::constant( |
614 | | dt.year(), |
615 | | dt.month(), |
616 | | dt.day(), |
617 | | dt.hour(), |
618 | | dt.minute(), |
619 | | dt.second(), |
620 | | 0, |
621 | | ) |
622 | | } |
623 | | |
624 | | let mut out = tabwriter::TabWriter::new(vec![]) |
625 | | .alignment(tabwriter::Alignment::Left); |
626 | | |
627 | | writeln!(out, "TIME ZONE NAME").unwrap(); |
628 | | writeln!(out, " {}", tzif.name().unwrap_or("UNNAMED")).unwrap(); |
629 | | |
630 | | writeln!(out, "TIME ZONE VERSION").unwrap(); |
631 | | writeln!( |
632 | | out, |
633 | | " {}", |
634 | | char::try_from(tzif.inner.fixed.version).unwrap() |
635 | | ) |
636 | | .unwrap(); |
637 | | |
638 | | writeln!(out, "LOCAL TIME TYPES").unwrap(); |
639 | | for (i, typ) in tzif.inner.types.iter().enumerate() { |
640 | | writeln!( |
641 | | out, |
642 | | " {i:03}:\toffset={off}\t\ |
643 | | designation={desig}\t{dst}\tindicator={ind}", |
644 | | off = Offset::from_seconds_unchecked(typ.offset), |
645 | | desig = tzif.designation(&typ), |
646 | | dst = if typ.is_dst { "dst" } else { "" }, |
647 | | ind = typ.indicator, |
648 | | ) |
649 | | .unwrap(); |
650 | | } |
651 | | if !tzif.timestamps().is_empty() { |
652 | | writeln!(out, "TRANSITIONS").unwrap(); |
653 | | for i in 0..tzif.timestamps().len() { |
654 | | let timestamp = Timestamp::constant(tzif.timestamps()[i], 0); |
655 | | let dt = Offset::UTC.to_datetime(timestamp); |
656 | | let typ = tzif.local_time_type(i); |
657 | | let wall = |
658 | | alloc::format!("{}", datetime(tzif.civil_starts()[i])); |
659 | | let ambiguous = match tzif.transition_kind(i) { |
660 | | shared::TzifTransitionKind::Unambiguous => { |
661 | | "unambiguous".to_string() |
662 | | } |
663 | | shared::TzifTransitionKind::Gap => { |
664 | | let end = datetime(tzif.civil_ends()[i]); |
665 | | alloc::format!(" gap-until({end})") |
666 | | } |
667 | | shared::TzifTransitionKind::Fold => { |
668 | | let end = datetime(tzif.civil_ends()[i]); |
669 | | alloc::format!("fold-until({end})") |
670 | | } |
671 | | }; |
672 | | |
673 | | writeln!( |
674 | | out, |
675 | | " {i:04}:\t{dt:?}Z\tunix={ts}\twall={wall}\t\ |
676 | | {ambiguous}\t\ |
677 | | type={type_index}\t{off}\t\ |
678 | | {desig}\t{dst}", |
679 | | ts = timestamp.as_second(), |
680 | | type_index = tzif.infos()[i].type_index, |
681 | | off = Offset::from_seconds_unchecked(typ.offset), |
682 | | desig = tzif.designation(typ), |
683 | | dst = if typ.is_dst { "dst" } else { "" }, |
684 | | ) |
685 | | .unwrap(); |
686 | | } |
687 | | } |
688 | | if let Some(ref posix_tz) = tzif.posix_tz { |
689 | | writeln!(out, "POSIX TIME ZONE STRING").unwrap(); |
690 | | writeln!(out, " {}", posix_tz).unwrap(); |
691 | | } |
692 | | String::from_utf8(out.into_inner().unwrap()).unwrap() |
693 | | } |
694 | | |
695 | | /// DEBUG COMMAND |
696 | | /// |
697 | | /// Takes environment variable `JIFF_DEBUG_TZIF_PATH` as input, and treats |
698 | | /// the value as a TZif file path. This test will open the file, parse it |
699 | | /// as a TZif and then dump debug data about the file in a human readable |
700 | | /// plain text format. |
701 | | #[cfg(feature = "std")] |
702 | | #[test] |
703 | | fn debug_tzif() -> anyhow::Result<()> { |
704 | | use anyhow::Context; |
705 | | |
706 | | let _ = crate::logging::Logger::init(); |
707 | | |
708 | | const ENV: &str = "JIFF_DEBUG_TZIF_PATH"; |
709 | | let Some(val) = std::env::var_os(ENV) else { return Ok(()) }; |
710 | | let Ok(val) = val.into_string() else { |
711 | | anyhow::bail!("{ENV} has invalid UTF-8") |
712 | | }; |
713 | | let bytes = |
714 | | std::fs::read(&val).with_context(|| alloc::format!("{val:?}"))?; |
715 | | let tzif = Tzif::parse(Some(val.to_string()), &bytes)?; |
716 | | std::eprint!("{}", tzif_to_human_readable(&tzif)); |
717 | | Ok(()) |
718 | | } |
719 | | |
720 | | #[cfg(not(miri))] |
721 | | #[test] |
722 | | fn tzif_parse_v2plus() { |
723 | | for tzif_test in TZIF_TEST_FILES { |
724 | | insta::assert_snapshot!( |
725 | | alloc::format!("{}_v2+", tzif_test.name), |
726 | | tzif_to_human_readable(&tzif_test.parse()) |
727 | | ); |
728 | | } |
729 | | } |
730 | | |
731 | | #[cfg(not(miri))] |
732 | | #[test] |
733 | | fn tzif_parse_v1() { |
734 | | for tzif_test in TZIF_TEST_FILES { |
735 | | insta::assert_snapshot!( |
736 | | alloc::format!("{}_v1", tzif_test.name), |
737 | | tzif_to_human_readable(&tzif_test.parse_v1()) |
738 | | ); |
739 | | } |
740 | | } |
741 | | |
742 | | /// This tests walks the /usr/share/zoneinfo directory (if it exists) and |
743 | | /// tries to parse every TZif formatted file it can find. We don't really |
744 | | /// do much with it other than to ensure we don't panic or return an error. |
745 | | /// That is, we check that we can parse each file, but not that we do so |
746 | | /// correctly. |
747 | | #[cfg(not(miri))] |
748 | | #[cfg(feature = "tzdb-zoneinfo")] |
749 | | #[cfg(target_os = "linux")] |
750 | | #[test] |
751 | | fn zoneinfo() { |
752 | | const TZDIR: &str = "/usr/share/zoneinfo"; |
753 | | |
754 | | for result in walkdir::WalkDir::new(TZDIR) { |
755 | | // Just skip if we got an error traversing the directory tree. |
756 | | // These aren't related to our parsing, so it's some other problem |
757 | | // (like the directory not existing). |
758 | | let Ok(dent) = result else { continue }; |
759 | | // This test can take some time in debug mode, so skip parsing |
760 | | // some of the less frequently used TZif files. |
761 | | let Some(name) = dent.path().to_str() else { continue }; |
762 | | if name.contains("right/") || name.contains("posix/") { |
763 | | continue; |
764 | | } |
765 | | // Again, skip if we can't read. Not my monkeys, not my circus. |
766 | | let Ok(bytes) = std::fs::read(dent.path()) else { continue }; |
767 | | if !is_possibly_tzif(&bytes) { |
768 | | continue; |
769 | | } |
770 | | let tzname = dent |
771 | | .path() |
772 | | .strip_prefix(TZDIR) |
773 | | .unwrap_or_else(|_| { |
774 | | panic!("all paths in TZDIR have {TZDIR:?} prefix") |
775 | | }) |
776 | | .to_str() |
777 | | .expect("all paths to be valid UTF-8") |
778 | | .to_string(); |
779 | | // OK at this point, we're pretty sure `bytes` should be a TZif |
780 | | // binary file. So try to parse it and fail the test if it fails. |
781 | | if let Err(err) = Tzif::parse(Some(tzname), &bytes) { |
782 | | panic!("failed to parse TZif file {:?}: {err}", dent.path()); |
783 | | } |
784 | | } |
785 | | } |
786 | | } |