1
//! Lexing of netdoc elements
2

            
3
use super::*;
4

            
5
/// Linear whitespace as defined by torspec
6
// Only pub via internal_prelude, for benefit of macros
7
pub const WS: &[char] = &[' ', '\t'];
8

            
9
define_derive_deftly! {
10
    /// Define `parse_options` accessor
11
    ///
12
    /// The driver must have a lifetime named `'s`, which is suitable for the returned
13
    /// `&'s ParseOptions`.
14
    ///
15
    /// # Top-level attributes:
16
    ///
17
    ///  * **`#[deftly(parse_options(field = ".field.field"))]`**, default `.options`
18
    ParseOptions beta_deftly, expect items:
19

            
20
    $impl {
21
        /// Examine the parsing options
22
592095
        pub fn parse_options(&self) -> &'s ParseOptions {
23
            &self
24
                ${tmeta(parse_options(field))
25
                  as token_stream,
26
                  default { .options }}
27
        }
28
    }
29
}
30

            
31
/// Top-level reader: Netdoc text interpreted as a stream of items
32
#[derive(Debug, Clone, Deftly)]
33
#[derive_deftly(ParseOptions)]
34
pub struct ItemStream<'s> {
35
    /// The whole input document.
36
    whole_input: &'s str,
37
    /// Remaining document, as a stream of lines
38
    lines: Lines<'s>,
39
    /// If we have peeked ahead, what we discovered
40
    peeked: PeekState<'s>,
41
    /// Parsing options.
42
    options: &'s ParseOptions,
43
}
44

            
45
/// Whether an `ItemStream` has peeked ahead, and if so what it discovered
46
#[derive(Debug, Clone)]
47
enum PeekState<'s> {
48
    /// We've peeked a line
49
    Some(ItemStreamPeeked<'s>),
50
    /// We've not peeked, or peeking gave `None`
51
    None {
52
        /// Line number of the last item we yielded.
53
        ///
54
        /// `0` at the start.
55
        yielded_item_lno: usize,
56
    },
57
}
58

            
59
/// If an `ItemStream` has peeked ahead, what it discovered
60
#[derive(Debug, Clone)]
61
struct ItemStreamPeeked<'s> {
62
    /// The next keyword
63
    keyword: KeywordRef<'s>,
64
    /// Token proving that we
65
    line: lines::Peeked,
66
    /// Length of the suffix of the line that is the arguments rather than the keyword
67
    ///
68
    /// Does not include the first whitespace, that terminated the keyword.
69
    args_len: usize,
70
}
71

            
72
/// An Item that has been lexed but not parsed
73
#[derive(Debug, Clone, amplify::Getters, Deftly)]
74
#[derive_deftly(ParseOptions)]
75
#[deftly(parse_options(field = ".args.options"))]
76
pub struct UnparsedItem<'s> {
77
    /// The item's Keyword
78
    #[getter(as_copy)]
79
    keyword: KeywordRef<'s>,
80
    /// The Item's Arguments
81
    #[getter(skip)]
82
    args: ArgumentStream<'s>,
83
    /// The Item's Object, if there was one
84
    #[getter(as_clone)]
85
    object: Option<UnparsedObject<'s>>,
86
}
87

            
88
/// Reader for arguments on an Item
89
///
90
/// Represents the (remaining) arguments.
91
#[derive(Debug, Clone, Deftly)]
92
#[derive_deftly(ParseOptions)]
93
pub struct ArgumentStream<'s> {
94
    /// The remaining unparsed arguments
95
    ///
96
    /// Can start with WS, which is usually trimmed
97
    rest: &'s str,
98

            
99
    /// Original line length
100
    ///
101
    /// Used for reporting column of argument errors.
102
    whole_line_len: usize,
103

            
104
    /// Remaining length *before* we last yielded.
105
    previous_rest_len: usize,
106

            
107
    /// Parsing options.
108
    options: &'s ParseOptions,
109
}
110

            
111
/// An Object that has been lexed but not parsed
112
#[derive(Debug, Clone, amplify::Getters, Deftly)]
113
#[derive_deftly(ParseOptions)]
114
pub struct UnparsedObject<'s> {
115
    /// The Label
116
    #[getter(as_copy)]
117
    label: &'s str,
118

            
119
    /// The portion of the input document which is base64 data (and newlines)
120
    #[getter(skip)]
121
    data_b64: &'s str,
122

            
123
    /// Parsing options.
124
    options: &'s ParseOptions,
125
}
126

            
127
impl<'s> ItemStream<'s> {
128
    /// Start reading a network document as a series of Items
129
37843
    pub fn new(input: &'s ParseInput<'s>) -> Self {
130
37843
        ItemStream {
131
37843
            whole_input: input.input,
132
37843
            lines: Lines::new(input.input),
133
37843
            peeked: PeekState::None {
134
37843
                yielded_item_lno: 0,
135
37843
            },
136
37843
            options: &input.options,
137
37843
        }
138
37843
    }
139

            
140
    /// Line number for reporting an error we have just discovered
141
    ///
142
    /// If we have recent peeked, we report the line number of the peeked keyword line.
143
    ///
144
    /// Otherwise, we report the line number of the most-recently yielded item.
145
58
    pub fn lno_for_error(&self) -> usize {
146
58
        match self.peeked {
147
            PeekState::Some { .. } => {
148
                // The error was presumably caused by whatever was seen in the peek.
149
                // That's the current line number.
150
9
                self.lines.peek_lno()
151
            }
152
49
            PeekState::None { yielded_item_lno } => {
153
                // The error was presumably caused by the results of next_item().
154
49
                yielded_item_lno
155
            }
156
        }
157
58
    }
158

            
159
    /// Core of peeking.  Tries to make `.peeked` be `Some`.
160
6371970
    fn peek_internal<'i>(&'i mut self) -> Result<(), EP> {
161
6371970
        if matches!(self.peeked, PeekState::None { .. }) {
162
2861498
            let Some(peeked) = self.lines.peek() else {
163
75256
                return Ok(());
164
            };
165

            
166
2786242
            let peeked_line = self.lines.peeked_line(&peeked);
167

            
168
2786242
            let (keyword, args) = peeked_line.split_once(WS).unwrap_or((peeked_line, ""));
169
2786242
            let keyword = KeywordRef::new(keyword)?;
170

            
171
2786242
            self.peeked = PeekState::Some(ItemStreamPeeked {
172
2786242
                keyword,
173
2786242
                line: peeked,
174
2786242
                args_len: args.len(),
175
2786242
            });
176
3510472
        }
177

            
178
6296714
        Ok(())
179
6371970
    }
180

            
181
    /// Peek the next keyword
182
3429298
    pub fn peek_keyword(&mut self) -> Result<Option<KeywordRef<'s>>, EP> {
183
3429298
        self.peek_internal()?;
184
3429298
        let PeekState::Some(peeked) = &self.peeked else {
185
75251
            return Ok(None);
186
        };
187
3354047
        Ok(Some(peeked.keyword))
188
3429298
    }
189

            
190
    /// Obtain the body so far, suitable for hashing for an Orderly signature
191
    #[allow(clippy::string_slice)] // TODO
192
206038
    pub fn body_sofar_for_signature(&self) -> SignedDocumentBody<'s> {
193
206038
        let body = &self.whole_input[0..self.byte_position()];
194
206038
        SignedDocumentBody { body }
195
206038
    }
196

            
197
    /// Byte position, pointing to the start of the next item to yield
198
    ///
199
    /// Offset in bytes from the start of the original input string
200
    /// to the "current" position,
201
    /// ie to just after the item we yielded and just before the next item (or EOF).
202
370925
    pub fn byte_position(&self) -> usize {
203
370925
        self.whole_input.len() - self.lines.remaining().len()
204
370925
    }
205

            
206
    /// Access for the entire input string
207
    ///
208
    /// The original `input: &str` argument to [`ParseInput::new`].
209
    ///
210
    /// Includes both yielded and unyielded items.
211
126729
    pub fn whole_input(&self) -> &'s str {
212
126729
        self.whole_input
213
126729
    }
214

            
215
    /// Access the inner lines reader, mutably
216
    ///
217
    /// For special-purpose parsing situations (including unpleasant hacks).
218
    /// For example, this can be used to skip `@`-annotations in C Tor document files.
219
    ///
220
    /// Pre- and post-condition: the `Lines` points at the next item to read.
221
5
    pub fn with_inner_lines_mut<F, R>(&mut self, call: F) -> R
222
5
    where
223
5
        F: FnOnce(&mut Lines<'s>) -> R + std::panic::UnwindSafe,
224
    {
225
        use std::panic::{AssertUnwindSafe, catch_unwind, resume_unwind};
226

            
227
        // The peeked state might be invalidated by `call`, so we must clear it.
228
        // Let's take care to do this even if `call` panics.
229

            
230
5
        let r = catch_unwind(AssertUnwindSafe(|| call(&mut self.lines)));
231
5
        self.peeked = PeekState::None {
232
5
            yielded_item_lno: self.lines.peek_lno(),
233
5
        };
234
5
        r.unwrap_or_else(|e| resume_unwind(e))
235
5
    }
236

            
237
    /// Parse a (sub-)document with its own signatures
238
    ///
239
    /// Used (mostly) by the
240
    /// [`NetdocParseableUnverified`](derive_deftly_template_NetdocParseableUnverified)
241
    /// derive macro.
242
    ///
243
    /// Generic parameters:
244
    ///
245
    ///  * **`B`**: the body type: the type to which `NetdocParseableUnverified` is applied.
246
    ///  * **`S`**: the signatures section type.
247
    ///  * **`O`**: the `FooUnverified` type, which embodies the parsed body and signatures.
248
    #[allow(clippy::string_slice)] // TODO
249
49182
    pub fn parse_signed<
250
49182
        B: HasUnverifiedParsedBody,
251
49182
        S: NetdocParseableSignatures,
252
49182
        O: NetdocParseableUnverified<Body = B, Signatures = S>,
253
49182
    >(
254
49182
        &mut self,
255
49182
        outer_stop: stop_at!(),
256
49182
    ) -> Result<O, EP> {
257
49182
        let mut input = ItemStream {
258
49182
            whole_input: &self.whole_input[self.whole_input.len() - self.lines.remaining().len()..],
259
49182
            ..self.clone()
260
49182
        };
261
49182
        let r = (|| {
262
49182
            let inner_always_stop = outer_stop | StopAt::doc_intro::<B::UnverifiedParsedBody>();
263
49182
            let body = B::UnverifiedParsedBody::from_items(
264
49182
                &mut input,
265
49182
                inner_always_stop | StopAt(S::is_item_keyword),
266
1
            )?;
267
49181
            let signed_doc_body = input.body_sofar_for_signature();
268
49181
            let unsigned_body_len = signed_doc_body.body().len();
269
49181
            let mut hashes = S::HashesAccu::default();
270
49181
            let sigs = S::from_items(&mut input, signed_doc_body, &mut hashes, inner_always_stop)?;
271
49181
            let sigs = SignaturesData {
272
49181
                sigs,
273
49181
                unsigned_body_len,
274
49181
                hashes,
275
49181
            };
276
            // SECURITY
277
            // We unwrap the UnverifiedParsedBody and immediately wrap it up again
278
            // in FooUnverified, passing on the obligation to verify the signatures,
279
            // and still enforcing that with a newtype.
280
49181
            let signed = O::from_parts(B::unverified_into_inner_unchecked(body), sigs);
281
49181
            Ok(signed)
282
        })(); // don't exit here
283

            
284
49182
        *self = ItemStream {
285
49182
            whole_input: self.whole_input,
286
49182
            ..input
287
49182
        };
288

            
289
49182
        r
290
49182
    }
291

            
292
    /// Obtain the inputs that would be needed to hash any (even Disorderly) signature
293
    ///
294
    /// These are the hash inputs which would be needed for the next item,
295
    /// assuming it's a signature keyword.
296
156857
    pub fn peek_signature_hash_inputs(
297
156857
        &mut self,
298
156857
        body: SignedDocumentBody<'s>,
299
156857
    ) -> Result<Option<SignatureHashInputs<'s>>, EP> {
300
156857
        self.peek_internal()?;
301
156857
        let PeekState::Some(peeked) = &self.peeked else {
302
            return Ok(None);
303
        };
304
156857
        let document_sofar = self.body_sofar_for_signature().body();
305
156857
        let signature_item_line = self.lines.peeked_line(&peeked.line);
306
156857
        let signature_item_kw_spc = signature_item_line.strip_end_counted(peeked.args_len);
307
156857
        Ok(Some(SignatureHashInputs {
308
156857
            body,
309
156857
            document_sofar,
310
156857
            signature_item_kw_spc,
311
156857
            signature_item_line,
312
156857
        }))
313
156857
    }
314

            
315
    /// Yield the next item.
316
    #[allow(clippy::string_slice)] // TODO
317
2785815
    pub fn next_item(&mut self) -> Result<Option<UnparsedItem<'s>>, EP> {
318
2785815
        self.peek_internal()?;
319
2785815
        let peeked = match self.peeked {
320
5
            PeekState::None { .. } => return Ok(None),
321
2785810
            PeekState::Some { .. } => match mem::replace(
322
2785810
                &mut self.peeked,
323
2785810
                PeekState::None {
324
2785810
                    yielded_item_lno: self.lines.peek_lno(),
325
2785810
                },
326
2785810
            ) {
327
2785810
                PeekState::Some(peeked) => peeked,
328
                PeekState::None { .. } => panic!("it was Some just now"),
329
            },
330
        };
331

            
332
2785810
        let keyword = peeked.keyword;
333
2785810
        let line = self.lines.consume_peeked(peeked.line);
334
2785810
        let args = &line[keyword.len()..];
335
2785810
        let options = self.options;
336
2785810
        let args = ArgumentStream::new(args, line.len(), options);
337

            
338
2785810
        let object = if self.lines.remaining().starts_with('-') {
339
            // Swap out self.lines, so that if we do not find matching delimiters, we don't
340
            // ever yield any more items.  Otherwise, if we continue reading after an error, we
341
            // might get a framing mismatch where we treat base64 contents as if it were item
342
            // keyword lines.
343
227177
            let leave_if_error = self.lines.clone_entirely_consumed();
344
227177
            let mut lines = mem::replace(&mut self.lines, leave_if_error);
345
227177
            let self_lines_prevent = &mut self.lines;
346

            
347
454353
            fn pem_delimiter<'s>(lines: &mut Lines<'s>, start: &str) -> Result<&'s str, EP> {
348
454353
                let line = lines.next().ok_or(
349
                    // If this is the *header*, we already know there's a line,
350
                    // so this error path is only for footers.
351
454353
                    EP::ObjectMissingFooter,
352
                )?;
353
454353
                let label = line
354
454353
                    .strip_prefix(start)
355
454353
                    .ok_or(EP::InvalidObjectDelimiters)?
356
454352
                    .strip_suffix(PEM_AFTER_LABEL)
357
454352
                    .ok_or(EP::InvalidObjectDelimiters)?;
358
454351
                Ok(label)
359
454353
            }
360

            
361
227177
            let label1 = pem_delimiter(&mut lines, PEM_HEADER_START)?;
362
227176
            let base64_start_remaining = lines.remaining();
363
1374025
            while !lines.remaining().starts_with('-') {
364
1146849
                let _: &str = lines.next().ok_or(EP::ObjectMissingFooter)?;
365
            }
366
227176
            let data_b64 = base64_start_remaining.strip_end_counted(lines.remaining().len());
367
227176
            let label2 = pem_delimiter(&mut lines, PEM_FOOTER_START)?;
368
227175
            let label = [label1, label2]
369
227175
                .into_iter()
370
227175
                .all_equal_value()
371
227175
                .map_err(|_| EP::ObjectMismatchedLabels)?;
372

            
373
            // Proves that self.lines isn't used between setup and here: we have it borrowed.
374
227174
            let _: &mut Lines = self_lines_prevent;
375
227174
            self.lines = lines;
376

            
377
227174
            Some(UnparsedObject {
378
227174
                label,
379
227174
                data_b64,
380
227174
                options,
381
227174
            })
382
        } else {
383
2558633
            None
384
        };
385

            
386
2785807
        Ok(Some(UnparsedItem {
387
2785807
            keyword,
388
2785807
            args,
389
2785807
            object,
390
2785807
        }))
391
2785815
    }
392
}
393

            
394
impl<'s> UnparsedItem<'s> {
395
    /// Access the arguments, mutably (for consuming and parsing them)
396
1713454
    pub fn args_mut(&mut self) -> &mut ArgumentStream<'s> {
397
1713454
        &mut self.args
398
1713454
    }
399
    /// Access a copy of the arguments
400
    ///
401
    /// When using this, be careful not to process any arguments twice.
402
911093
    pub fn args_copy(&self) -> ArgumentStream<'s> {
403
911093
        self.args.clone()
404
911093
    }
405

            
406
    /// Access the arguments (readonly)
407
    ///
408
    /// When using this, be careful not to process any arguments twice.
409
3565044
    pub fn args(&self) -> &ArgumentStream<'s> {
410
3565044
        &self.args
411
3565044
    }
412

            
413
    /// Check that this item has no Object.
414
2220107
    pub fn check_no_object(&self) -> Result<(), EP> {
415
2220107
        if self.object.is_some() {
416
1
            return Err(EP::ObjectUnexpected);
417
2220106
        }
418
2220106
        Ok(())
419
2220107
    }
420
    /// Convenience method for handling an error parsing an argument
421
    ///
422
    /// Returns a closure that converts every error into [`ArgumentError::Invalid`]
423
    /// and then to an [`ErrorProblem`] using
424
    /// [`.args().handle_error()`](ArgumentStream::handle_error).
425
    ///
426
    /// Useful in manual `ItemValueParseable` impls, when parsing arguments ad-hoc.
427
3079757
    pub fn invalid_argument_handler<E>(
428
3079757
        &self,
429
3079757
        field: &'static str,
430
3079757
    ) -> impl FnOnce(E) -> ErrorProblem {
431
3079757
        let error = self.args().handle_error(field, AE::Invalid);
432
        move |_any_error| error
433
3079757
    }
434
}
435

            
436
#[deprecated = "use types::NoFurtherArguments"]
437
pub use crate::types::NoMoreArguments as NoFurtherArguments;
438

            
439
impl<'s> Iterator for ItemStream<'s> {
440
    type Item = Result<UnparsedItem<'s>, EP>;
441
56976
    fn next(&mut self) -> Option<Result<UnparsedItem<'s>, EP>> {
442
56976
        self.next_item().transpose()
443
56976
    }
444
}
445

            
446
impl<'s> ArgumentStream<'s> {
447
    /// Make a new `ArgumentStream` from a string
448
    ///
449
    /// The string may start with whitespace (which will be ignored).
450
2903814
    pub fn new(rest: &'s str, whole_line_len: usize, options: &'s ParseOptions) -> Self {
451
2903814
        let previous_rest_len = whole_line_len;
452
2903814
        ArgumentStream {
453
2903814
            rest,
454
2903814
            whole_line_len,
455
2903814
            previous_rest_len,
456
2903814
            options,
457
2903814
        }
458
2903814
    }
459

            
460
    /// Consume this whole `ArgumentStream`, giving the remaining arguments as a string
461
    ///
462
    /// The returned string won't start with whitespace.
463
    //
464
    /// `self` will be empty on return.
465
    // (We don't take `self` by value because that makes use with `UnparsedItem` annoying.)
466
1133854
    pub fn into_remaining(&mut self) -> &'s str {
467
1133854
        self.prep_yield();
468
1133854
        mem::take(&mut self.rest)
469
1133854
    }
470

            
471
    /// Return the component parts of this `ArgumentStream`
472
    ///
473
    /// The returned string might start with whitespace.
474
118004
    pub fn whole_line_len(&self) -> usize {
475
118004
        self.whole_line_len
476
118004
    }
477

            
478
    /// Prepares to yield an argument (or the rest)
479
    ///
480
    ///  * Trims leading WS from `rest`.
481
    ///  * Records the `previous_rest_len`
482
7645435
    fn prep_yield(&mut self) {
483
7645435
        self.rest = self.rest.trim_start_matches(WS);
484
7645435
        self.previous_rest_len = self.rest.len();
485
7645435
    }
486

            
487
    /// Prepares to yield, and then determines if there *is* anything to yield.
488
    ///
489
    ///  * Trim leading whitespace
490
    ///  * Records the `previous_rest_len`
491
    ///  * See if we're now empty
492
6511581
    pub fn something_to_yield(&mut self) -> bool {
493
6511581
        self.prep_yield();
494
6511581
        !self.rest.is_empty()
495
6511581
    }
496

            
497
    /// Throw and error if there are further arguments
498
    //
499
    // (We don't take `self` by value because that makes use with `UnparsedItem` annoying.)
500
44960
    pub fn reject_extra_args(&mut self) -> Result<NoFurtherArguments, UnexpectedArgument> {
501
44960
        if self.something_to_yield() {
502
2
            let column = self.next_arg_column();
503
2
            Err(UnexpectedArgument { column })
504
        } else {
505
44958
            Ok(NoFurtherArguments)
506
        }
507
44960
    }
508

            
509
    /// Convert a "length of `rest`" into the corresponding column number.
510
6673249
    fn arg_column_from_rest_len(&self, rest_len: usize) -> usize {
511
        // Can't underflow since rest is always part of the whole.
512
        // Can't overflow since that would mean the document was as big as the address space.
513
6673249
        self.whole_line_len - rest_len + 1
514
6673249
    }
515

            
516
    /// Obtain the column number of the previously yielded argument.
517
    ///
518
    /// (After `into_remaining`, gives the column number
519
    /// of the start of the returned remaining argument string.)
520
6673247
    pub fn prev_arg_column(&self) -> usize {
521
6673247
        self.arg_column_from_rest_len(self.previous_rest_len)
522
6673247
    }
523

            
524
    /// Obtains the column number of the *next* argument.
525
    ///
526
    /// Should be called after `something_to_yield`; otherwise the returned value
527
    /// may point to whitespace which is going to be skipped.
528
    // ^ this possible misuse doesn't seem worth defending against with type-fu,
529
    //   for a private function with few call sites.
530
2
    fn next_arg_column(&self) -> usize {
531
2
        self.arg_column_from_rest_len(self.rest.len())
532
2
    }
533

            
534
    /// Convert an `ArgumentError` to an `ErrorProblem`.
535
    ///
536
    /// The caller must supply the field name.
537
3079757
    pub fn handle_error(&self, field: &'static str, ae: ArgumentError) -> ErrorProblem {
538
3079757
        self.error_handler(field)(ae)
539
3079757
    }
540

            
541
    /// Return a converter from `ArgumentError` to `ErrorProblem`.
542
    ///
543
    /// Useful in `.map_err`.
544
6673247
    pub fn error_handler(
545
6673247
        &self,
546
6673247
        field: &'static str,
547
6673247
    ) -> impl Fn(ArgumentError) -> ErrorProblem + 'static {
548
6673247
        let column = self.prev_arg_column();
549
3079774
        move |ae| match ae {
550
2
            AE::Missing => EP::MissingArgument { field },
551
3079772
            AE::Invalid => EP::InvalidArgument { field, column },
552
            AE::Unexpected => EP::UnexpectedArgument { column },
553
3079774
        }
554
6673247
    }
555
}
556

            
557
impl<'s> Iterator for ArgumentStream<'s> {
558
    type Item = &'s str;
559
6447084
    fn next(&mut self) -> Option<&'s str> {
560
6447084
        if !self.something_to_yield() {
561
345091
            return None;
562
6101993
        }
563
        let arg;
564
6101993
        (arg, self.rest) = self.rest.split_once(WS).unwrap_or((self.rest, ""));
565
6101993
        Some(arg)
566
6447084
    }
567
}
568

            
569
impl<'s> UnparsedObject<'s> {
570
    /// Obtain the Object data, as decoded bytes
571
201739
    pub fn decode_data(&self) -> Result<Vec<u8>, EP> {
572
201739
        crate::parse::tokenize::base64_decode_multiline(self.data_b64)
573
201739
            .map_err(|_e| EP::ObjectInvalidBase64)
574
201739
    }
575
}