tzif-codec 0.1.5

Codec, validator, and builder for RFC 9636 TZif files
Documentation 
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
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165

use crate::common::{AssertErr, AssertOk, TestResult};
use tzif_codec::{DataBlock, LeapSecond, TzifError, TzifFile, Version};

use super::support::ltt;

fn leap_second_block(leap_seconds: Vec<LeapSecond>) -> DataBlock {
    DataBlock {
        transition_times: vec![],
        transition_types: vec![],
        local_time_types: vec![ltt(0, false, 0)],
        designations: b"UTC\0".to_vec(),
        leap_seconds,
        standard_wall_indicators: vec![],
        ut_local_indicators: vec![],
    }
}

fn leap_second_file(version: Version, leap_seconds: Vec<LeapSecond>) -> TzifFile {
    let block = leap_second_block(leap_seconds);
    match version {
        Version::V3 => TzifFile::v3(DataBlock::placeholder(), block, ""),
        Version::V4 => TzifFile::v4(DataBlock::placeholder(), block, ""),
        _ => unreachable!(),
    }
}

fn assert_invalid_leap_second_table(
    version: Version,
    leap_seconds: Vec<LeapSecond>,
    expected: &TzifError,
) -> TestResult {
    let err = leap_second_file(version, leap_seconds)
        .to_bytes()
        .assert_err()?;
    assert_eq!(&err, expected);
    Ok(())
}

#[test]
fn writer_rejects_invalid_leap_second_tables() -> TestResult {
    assert_invalid_leap_second_table(
        Version::V4,
        vec![LeapSecond {
            occurrence: -1,
            correction: 1,
        }],
        &TzifError::FirstLeapSecondOccurrenceNegative { value: -1 },
    )?;
    assert_invalid_leap_second_table(
        Version::V4,
        vec![
            LeapSecond {
                occurrence: 78_796_800,
                correction: 1,
            },
            LeapSecond {
                occurrence: 78_796_800,
                correction: 2,
            },
        ],
        &TzifError::LeapSecondOccurrencesNotAscending { index: 1 },
    )?;
    assert_invalid_leap_second_table(
        Version::V3,
        vec![LeapSecond {
            occurrence: 94_694_401,
            correction: 2,
        }],
        &TzifError::LeapSecondTruncationRequiresVersion4 {
            version: Version::V3,
        },
    )?;
    assert_invalid_leap_second_table(
        Version::V3,
        vec![
            LeapSecond {
                occurrence: 78_796_800,
                correction: 1,
            },
            LeapSecond {
                occurrence: 94_694_401,
                correction: 1,
            },
        ],
        &TzifError::LeapSecondExpirationRequiresVersion4 {
            version: Version::V3,
        },
    )?;
    assert_invalid_leap_second_table(
        Version::V4,
        vec![
            LeapSecond {
                occurrence: 78_796_800,
                correction: 1,
            },
            LeapSecond {
                occurrence: 94_694_401,
                correction: 3,
            },
        ],
        &TzifError::InvalidLeapSecondCorrection { index: 1 },
    )?;
    Ok(())
}

#[test]
fn writer_rejects_leap_second_occurrences_outside_utc_month_end() -> TestResult {
    let err = leap_second_file(
        Version::V4,
        vec![LeapSecond {
            occurrence: 10,
            correction: 1,
        }],
    )
    .to_bytes()
    .assert_err()?;

    assert!(matches!(
        err,
        TzifError::LeapSecondOccurrenceNotAtMonthEnd { index: 0 }
    ));

    Ok(())
}

#[test]
fn writer_accepts_negative_leap_second_at_utc_month_end() -> TestResult {
    TzifFile::v1(DataBlock {
        transition_times: vec![],
        transition_types: vec![],
        local_time_types: vec![ltt(0, false, 0)],
        designations: b"UTC\0".to_vec(),
        leap_seconds: vec![LeapSecond {
            occurrence: 78_796_800,
            correction: -1,
        }],
        standard_wall_indicators: vec![],
        ut_local_indicators: vec![],
    })
    .to_bytes()
    .assert_ok()?;

    Ok(())
}

#[test]
fn writer_allows_version_four_truncated_and_expiring_leap_second_tables() -> TestResult {
    leap_second_file(
        Version::V4,
        vec![
            LeapSecond {
                occurrence: 126_230_402,
                correction: 3,
            },
            LeapSecond {
                occurrence: 1_719_532_827,
                correction: 3,
            },
        ],
    )
    .to_bytes()
    .assert_ok()?;

    Ok(())
}