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
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
use crate::error::Error;
use crate::generators::CodeGen;
use std::fs::File;
use std::io::Write;

/// Generates the [Exceptions](https://datatracker.ietf.org/doc/html/rfc8264#section-9.6)
/// table requried by the PRECIS framework.
pub struct ExceptionsGen {}

impl ExceptionsGen {
    pub fn new() -> Self {
        Self {}
    }
}

impl Default for ExceptionsGen {
    fn default() -> Self {
        Self::new()
    }
}

impl CodeGen for ExceptionsGen {
    fn generate_code(&mut self, file: &mut File) -> Result<(), Error> {
        writeln!(
            file,
            "static EXCEPTIONS: [(Codepoints, DerivedPropertyValue); 41] = [",
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x00B7), DerivedPropertyValue::ContextO),"
        )?;

        writeln!(
            file,
            "\t(Codepoints::Single(0x00DF), DerivedPropertyValue::PValid),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x0375), DerivedPropertyValue::ContextO),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x03C2), DerivedPropertyValue::PValid),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x05F3), DerivedPropertyValue::ContextO),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x05F4), DerivedPropertyValue::ContextO),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x0640), DerivedPropertyValue::Disallowed),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x0660), DerivedPropertyValue::ContextO),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x0661), DerivedPropertyValue::ContextO),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x0662), DerivedPropertyValue::ContextO),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x0663), DerivedPropertyValue::ContextO),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x0664), DerivedPropertyValue::ContextO),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x0665), DerivedPropertyValue::ContextO),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x0666), DerivedPropertyValue::ContextO),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x0667), DerivedPropertyValue::ContextO),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x0668), DerivedPropertyValue::ContextO),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x0669), DerivedPropertyValue::ContextO),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x06F0), DerivedPropertyValue::ContextO),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x06F1), DerivedPropertyValue::ContextO),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x06F2), DerivedPropertyValue::ContextO),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x06F3), DerivedPropertyValue::ContextO),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x06F4), DerivedPropertyValue::ContextO),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x06F5), DerivedPropertyValue::ContextO),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x06F6), DerivedPropertyValue::ContextO),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x06F7), DerivedPropertyValue::ContextO),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x06F8), DerivedPropertyValue::ContextO),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x06F9), DerivedPropertyValue::ContextO),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x06FD), DerivedPropertyValue::PValid),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x06FE), DerivedPropertyValue::PValid),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x07FA), DerivedPropertyValue::Disallowed),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x0F0B), DerivedPropertyValue::PValid),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x3007), DerivedPropertyValue::PValid),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x302E), DerivedPropertyValue::Disallowed),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x302F), DerivedPropertyValue::Disallowed),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x3031), DerivedPropertyValue::Disallowed),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x3032), DerivedPropertyValue::Disallowed),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x3033), DerivedPropertyValue::Disallowed),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x3034), DerivedPropertyValue::Disallowed),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x3035), DerivedPropertyValue::Disallowed),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x303B), DerivedPropertyValue::Disallowed),"
        )?;
        writeln!(
            file,
            "\t(Codepoints::Single(0x30FB), DerivedPropertyValue::ContextO),"
        )?;

        writeln!(file, "];")?;
        Ok(writeln!(file)?)
    }
}