1use super::*;
4
5pub const WS: &[char] = &[' ', '\t'];
8
9define_derive_deftly! {
10 ParseOptions beta_deftly, expect items:
19
20 impl<$tgens> $ttype {
21 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#[derive(Debug, Clone, Deftly)]
33#[derive_deftly(ParseOptions)]
34pub struct ItemStream<'s> {
35 whole_input: &'s str,
37 lines: Lines<'s>,
39 peeked: PeekState<'s>,
41 options: &'s ParseOptions,
43}
44
45#[derive(Debug, Clone)]
47enum PeekState<'s> {
48 Some(ItemStreamPeeked<'s>),
50 None {
52 yielded_item_lno: usize,
56 },
57}
58
59#[derive(Debug, Clone)]
61struct ItemStreamPeeked<'s> {
62 keyword: KeywordRef<'s>,
64 line: lines::Peeked,
66 args_len: usize,
70}
71
72#[derive(Debug, Clone, amplify::Getters, Deftly)]
74#[derive_deftly(ParseOptions)]
75#[deftly(parse_options(field = ".args.options"))]
76pub struct UnparsedItem<'s> {
77 #[getter(as_copy)]
79 keyword: KeywordRef<'s>,
80 #[getter(skip)]
82 args: ArgumentStream<'s>,
83 #[getter(as_clone)]
85 object: Option<UnparsedObject<'s>>,
86}
87
88#[derive(Debug, Clone, Deftly)]
92#[derive_deftly(ParseOptions)]
93pub struct ArgumentStream<'s> {
94 rest: &'s str,
98
99 whole_line_len: usize,
103
104 previous_rest_len: usize,
106
107 options: &'s ParseOptions,
109}
110
111#[derive(Debug, Clone, amplify::Getters, Deftly)]
113#[derive_deftly(ParseOptions)]
114pub struct UnparsedObject<'s> {
115 #[getter(as_copy)]
117 label: &'s str,
118
119 #[getter(skip)]
121 data_b64: &'s str,
122
123 options: &'s ParseOptions,
125}
126
127impl<'s> ItemStream<'s> {
128 pub fn new(input: &'s ParseInput<'s>) -> Result<Self, ParseError> {
130 Ok(ItemStream {
131 whole_input: input.input,
132 lines: Lines::new(input.input),
133 peeked: PeekState::None {
134 yielded_item_lno: 0,
135 },
136 options: &input.options,
137 })
138 }
139
140 pub fn lno_for_error(&self) -> usize {
146 match self.peeked {
147 PeekState::Some { .. } => {
148 self.lines.peek_lno()
151 }
152 PeekState::None { yielded_item_lno } => {
153 yielded_item_lno
155 }
156 }
157 }
158
159 fn peek_internal<'i>(&'i mut self) -> Result<(), EP> {
161 if matches!(self.peeked, PeekState::None { .. }) {
162 let Some(peeked) = self.lines.peek() else {
163 return Ok(());
164 };
165
166 let peeked_line = self.lines.peeked_line(&peeked);
167
168 let (keyword, args) = peeked_line.split_once(WS).unwrap_or((peeked_line, ""));
169 let keyword = KeywordRef::new(keyword)?;
170
171 self.peeked = PeekState::Some(ItemStreamPeeked {
172 keyword,
173 line: peeked,
174 args_len: args.len(),
175 });
176 }
177
178 Ok(())
179 }
180
181 pub fn peek_keyword(&mut self) -> Result<Option<KeywordRef<'s>>, EP> {
183 self.peek_internal()?;
184 let PeekState::Some(peeked) = &self.peeked else {
185 return Ok(None);
186 };
187 Ok(Some(peeked.keyword))
188 }
189
190 #[allow(clippy::string_slice)] pub fn body_sofar_for_signature(&self) -> SignedDocumentBody<'s> {
193 let body = &self.whole_input[0..self.byte_position()];
194 SignedDocumentBody { body }
195 }
196
197 pub fn byte_position(&self) -> usize {
203 self.whole_input.len() - self.lines.remaining().len()
204 }
205
206 pub fn whole_input(&self) -> &'s str {
212 self.whole_input
213 }
214
215 #[allow(clippy::string_slice)] pub fn parse_signed<
228 B: HasUnverifiedParsedBody,
229 S: NetdocParseableSignatures,
230 O: NetdocParseableUnverified<Body = B, Signatures = S>,
231 >(
232 &mut self,
233 outer_stop: stop_at!(),
234 ) -> Result<O, EP> {
235 let mut input = ItemStream {
236 whole_input: &self.whole_input[self.whole_input.len() - self.lines.remaining().len()..],
237 ..self.clone()
238 };
239 let r = (|| {
240 let inner_always_stop = outer_stop | StopAt::doc_intro::<B::UnverifiedParsedBody>();
241 let body = B::UnverifiedParsedBody::from_items(
242 &mut input,
243 inner_always_stop | StopAt(S::is_item_keyword),
244 )?;
245 let signed_doc_body = input.body_sofar_for_signature();
246 let unsigned_body_len = signed_doc_body.body().len();
247 let mut hashes = S::HashesAccu::default();
248 let sigs = S::from_items(&mut input, signed_doc_body, &mut hashes, inner_always_stop)?;
249 let sigs = SignaturesData {
250 sigs,
251 unsigned_body_len,
252 hashes,
253 };
254 let signed = O::from_parts(B::unverified_into_inner_unchecked(body), sigs);
259 Ok(signed)
260 })(); *self = ItemStream {
263 whole_input: self.whole_input,
264 ..input
265 };
266
267 r
268 }
269
270 pub fn peek_signature_hash_inputs(
275 &mut self,
276 body: SignedDocumentBody<'s>,
277 ) -> Result<Option<SignatureHashInputs<'s>>, EP> {
278 self.peek_internal()?;
279 let PeekState::Some(peeked) = &self.peeked else {
280 return Ok(None);
281 };
282 let document_sofar = self.body_sofar_for_signature().body();
283 let signature_item_line = self.lines.peeked_line(&peeked.line);
284 let signature_item_kw_spc = signature_item_line.strip_end_counted(peeked.args_len);
285 Ok(Some(SignatureHashInputs {
286 body,
287 document_sofar,
288 signature_item_kw_spc,
289 signature_item_line,
290 }))
291 }
292
293 #[allow(clippy::string_slice)] pub fn next_item(&mut self) -> Result<Option<UnparsedItem<'s>>, EP> {
296 self.peek_internal()?;
297 let peeked = match self.peeked {
298 PeekState::None { .. } => return Ok(None),
299 PeekState::Some { .. } => match mem::replace(
300 &mut self.peeked,
301 PeekState::None {
302 yielded_item_lno: self.lines.peek_lno(),
303 },
304 ) {
305 PeekState::Some(peeked) => peeked,
306 PeekState::None { .. } => panic!("it was Some just now"),
307 },
308 };
309
310 let keyword = peeked.keyword;
311 let line = self.lines.consume_peeked(peeked.line);
312 let args = &line[keyword.len()..];
313 let options = self.options;
314 let args = ArgumentStream::new(args, line.len(), options);
315
316 let object = if self.lines.remaining().starts_with('-') {
317 fn pem_delimiter<'s>(lines: &mut Lines<'s>, start: &str) -> Result<&'s str, EP> {
318 let line = lines.next().ok_or(
319 EP::ObjectMissingFooter,
322 )?;
323 let label = line
324 .strip_prefix(start)
325 .ok_or(EP::InvalidObjectDelimiters)?
326 .strip_suffix(PEM_AFTER_LABEL)
327 .ok_or(EP::InvalidObjectDelimiters)?;
328 Ok(label)
329 }
330
331 let label1 = pem_delimiter(&mut self.lines, PEM_HEADER_START)?;
332 let base64_start_remaining = self.lines.remaining();
333 while !self.lines.remaining().starts_with('-') {
334 let _: &str = self.lines.next().ok_or(EP::ObjectMissingFooter)?;
335 }
336 let data_b64 = base64_start_remaining.strip_end_counted(self.lines.remaining().len());
337 let label2 = pem_delimiter(&mut self.lines, PEM_FOOTER_START)?;
338 let label = [label1, label2]
339 .into_iter()
340 .all_equal_value()
341 .map_err(|_| EP::ObjectMismatchedLabels)?;
342 Some(UnparsedObject {
343 label,
344 data_b64,
345 options,
346 })
347 } else {
348 None
349 };
350
351 Ok(Some(UnparsedItem {
352 keyword,
353 args,
354 object,
355 }))
356 }
357}
358
359impl<'s> UnparsedItem<'s> {
360 pub fn args_mut(&mut self) -> &mut ArgumentStream<'s> {
362 &mut self.args
363 }
364 pub fn args_copy(&self) -> ArgumentStream<'s> {
368 self.args.clone()
369 }
370
371 pub fn args(&self) -> &ArgumentStream<'s> {
375 &self.args
376 }
377
378 pub fn check_no_object(&self) -> Result<(), EP> {
380 if self.object.is_some() {
381 return Err(EP::ObjectUnexpected);
382 }
383 Ok(())
384 }
385 pub fn invalid_argument_handler<E>(
393 &self,
394 field: &'static str,
395 ) -> impl FnOnce(E) -> ErrorProblem {
396 let error = self.args().handle_error(field, AE::Invalid);
397 move |_any_error| error
398 }
399}
400
401#[deprecated = "use types::NoFurtherArguments"]
402pub use crate::types::NoMoreArguments as NoFurtherArguments;
403
404impl<'s> Iterator for ItemStream<'s> {
405 type Item = Result<UnparsedItem<'s>, EP>;
406 fn next(&mut self) -> Option<Result<UnparsedItem<'s>, EP>> {
407 self.next_item().transpose()
408 }
409}
410
411impl<'s> ArgumentStream<'s> {
412 pub fn new(rest: &'s str, whole_line_len: usize, options: &'s ParseOptions) -> Self {
416 let previous_rest_len = whole_line_len;
417 ArgumentStream {
418 rest,
419 whole_line_len,
420 previous_rest_len,
421 options,
422 }
423 }
424
425 pub fn into_remaining(&mut self) -> &'s str {
432 self.prep_yield();
433 mem::take(&mut self.rest)
434 }
435
436 pub fn whole_line_len(&self) -> usize {
440 self.whole_line_len
441 }
442
443 fn prep_yield(&mut self) {
448 self.rest = self.rest.trim_start_matches(WS);
449 self.previous_rest_len = self.rest.len();
450 }
451
452 pub fn something_to_yield(&mut self) -> bool {
458 self.prep_yield();
459 !self.rest.is_empty()
460 }
461
462 pub fn reject_extra_args(&mut self) -> Result<NoFurtherArguments, UnexpectedArgument> {
466 if self.something_to_yield() {
467 let column = self.next_arg_column();
468 Err(UnexpectedArgument { column })
469 } else {
470 Ok(NoFurtherArguments)
471 }
472 }
473
474 fn arg_column_from_rest_len(&self, rest_len: usize) -> usize {
476 self.whole_line_len - rest_len + 1
479 }
480
481 pub fn prev_arg_column(&self) -> usize {
486 self.arg_column_from_rest_len(self.previous_rest_len)
487 }
488
489 fn next_arg_column(&self) -> usize {
496 self.arg_column_from_rest_len(self.rest.len())
497 }
498
499 pub fn handle_error(&self, field: &'static str, ae: ArgumentError) -> ErrorProblem {
503 self.error_handler(field)(ae)
504 }
505
506 pub fn error_handler(
510 &self,
511 field: &'static str,
512 ) -> impl Fn(ArgumentError) -> ErrorProblem + 'static {
513 let column = self.prev_arg_column();
514 move |ae| match ae {
515 AE::Missing => EP::MissingArgument { field },
516 AE::Invalid => EP::InvalidArgument { field, column },
517 AE::Unexpected => EP::UnexpectedArgument { column },
518 }
519 }
520}
521
522impl<'s> Iterator for ArgumentStream<'s> {
523 type Item = &'s str;
524 fn next(&mut self) -> Option<&'s str> {
525 if !self.something_to_yield() {
526 return None;
527 }
528 let arg;
529 (arg, self.rest) = self.rest.split_once(WS).unwrap_or((self.rest, ""));
530 Some(arg)
531 }
532}
533
534impl<'s> UnparsedObject<'s> {
535 pub fn decode_data(&self) -> Result<Vec<u8>, EP> {
537 crate::parse::tokenize::base64_decode_multiline(self.data_b64)
538 .map_err(|_e| EP::ObjectInvalidBase64)
539 }
540}