Skip to main content

pest/iterators/
pairs.rs

1// pest. The Elegant Parser
2// Copyright (c) 2018 DragoČ™ Tiselice
3//
4// Licensed under the Apache License, Version 2.0
5// <LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0> or the MIT
6// license <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
7// option. All files in the project carrying such notice may not be copied,
8// modified, or distributed except according to those terms.
9
10use alloc::format;
11use alloc::rc::Rc;
12use alloc::string::String;
13use alloc::vec::Vec;
14use core::fmt;
15use core::hash::{Hash, Hasher};
16use core::iter::Filter;
17use core::ptr;
18use core::str;
19
20#[cfg(feature = "pretty-print")]
21use serde::ser::SerializeStruct;
22
23use super::flat_pairs::{self, FlatPairs};
24use super::line_index::LineIndex;
25use super::pair::{self, Pair};
26use super::queueable_token::QueueableToken;
27use super::tokens::{self, Tokens};
28use crate::RuleType;
29
30/// An iterator over [`Pair`]s. It is created by [`pest::state`] and [`Pair::into_inner`].
31///
32/// [`Pair`]: struct.Pair.html
33/// [`pest::state`]: ../fn.state.html
34/// [`Pair::into_inner`]: struct.Pair.html#method.into_inner
35#[derive(Clone)]
36pub struct Pairs<'i, R> {
37    queue: Rc<Vec<QueueableToken<'i, R>>>,
38    input: &'i str,
39    start: usize,
40    end: usize,
41    pairs_count: usize,
42    line_index: Rc<LineIndex>,
43}
44
45pub fn new<'i, R: RuleType>(
46    queue: Rc<Vec<QueueableToken<'i, R>>>,
47    input: &'i str,
48    line_index: Option<Rc<LineIndex>>,
49    start: usize,
50    end: usize,
51) -> Pairs<'i, R> {
52    let line_index = match line_index {
53        Some(line_index) => line_index,
54        None => {
55            let last_input_pos = queue
56                .last()
57                .map(|token| match *token {
58                    QueueableToken::Start { input_pos, .. }
59                    | QueueableToken::End { input_pos, .. } => input_pos,
60                })
61                .unwrap_or(0);
62
63            Rc::new(LineIndex::new(&input[..last_input_pos]))
64        }
65    };
66
67    let mut pairs_count = 0;
68    let mut cursor = start;
69    while cursor < end {
70        cursor = match queue[cursor] {
71            QueueableToken::Start {
72                end_token_index, ..
73            } => end_token_index,
74            _ => unreachable!(),
75        } + 1;
76        pairs_count += 1;
77    }
78
79    Pairs {
80        queue,
81        input,
82        start,
83        end,
84        pairs_count,
85        line_index,
86    }
87}
88
89impl<'i, R: RuleType> Pairs<'i, R> {
90    /// Captures a slice from the `&str` defined by the starting position of the first token `Pair`
91    /// and the ending position of the last token `Pair` of the `Pairs`. This also captures
92    /// the input between those two token `Pair`s.
93    ///
94    /// # Examples
95    ///
96    /// ```
97    /// # use std::rc::Rc;
98    /// # use pest;
99    /// # #[allow(non_camel_case_types)]
100    /// # #[derive(Clone, Copy, Debug, Eq, Hash, Ord, PartialEq, PartialOrd)]
101    /// enum Rule {
102    ///     a,
103    ///     b
104    /// }
105    ///
106    /// let input = "a b";
107    /// let pairs = pest::state(input, |state| {
108    ///     // generating Token pairs with Rule::a and Rule::b ...
109    /// #     state.rule(Rule::a, |s| s.match_string("a")).and_then(|s| s.skip(1))
110    /// #         .and_then(|s| s.rule(Rule::b, |s| s.match_string("b")))
111    /// }).unwrap();
112    ///
113    /// assert_eq!(pairs.as_str(), "a b");
114    /// ```
115    #[inline]
116    pub fn as_str(&self) -> &'i str {
117        if self.start < self.end {
118            let start = self.pos(self.start);
119            let end = self.pos(self.end - 1);
120            // Generated positions always come from Positions and are UTF-8 borders.
121            &self.input[start..end]
122        } else {
123            ""
124        }
125    }
126
127    /// Returns the input string of `Pairs`.
128    ///
129    /// This function returns the input string of `Pairs` as a `&str`. This is the source string
130    /// from which `Pairs` was created. The returned `&str` can be used to examine the contents of
131    /// `Pairs` or to perform further processing on the string.
132    ///
133    /// # Examples
134    ///
135    /// ```
136    /// # use std::rc::Rc;
137    /// # use pest;
138    /// # #[allow(non_camel_case_types)]
139    /// # #[derive(Clone, Copy, Debug, Eq, Hash, Ord, PartialEq, PartialOrd)]
140    /// enum Rule {
141    ///     a,
142    ///     b
143    /// }
144    ///
145    /// // Example: Get input string from Pairs
146    ///
147    /// let input = "a b";
148    /// let pairs = pest::state(input, |state| {
149    ///     // generating Token pairs with Rule::a and Rule::b ...
150    /// #     state.rule(Rule::a, |s| s.match_string("a")).and_then(|s| s.skip(1))
151    /// #         .and_then(|s| s.rule(Rule::b, |s| s.match_string("b")))
152    /// }).unwrap();
153    ///
154    /// assert_eq!(pairs.as_str(), "a b");
155    /// assert_eq!(input, pairs.get_input());
156    /// ```
157    pub fn get_input(&self) -> &'i str {
158        self.input
159    }
160
161    /// Captures inner token `Pair`s and concatenates resulting `&str`s. This does not capture
162    /// the input between token `Pair`s.
163    ///
164    /// # Examples
165    ///
166    /// ```
167    /// # use std::rc::Rc;
168    /// # use pest;
169    /// # #[allow(non_camel_case_types)]
170    /// # #[derive(Clone, Copy, Debug, Eq, Hash, Ord, PartialEq, PartialOrd)]
171    /// enum Rule {
172    ///     a,
173    ///     b
174    /// }
175    ///
176    /// let input = "a b";
177    /// let pairs = pest::state(input, |state| {
178    ///     // generating Token pairs with Rule::a and Rule::b ...
179    /// #     state.rule(Rule::a, |s| s.match_string("a")).and_then(|s| s.skip(1))
180    /// #         .and_then(|s| s.rule(Rule::b, |s| s.match_string("b")))
181    /// }).unwrap();
182    ///
183    /// assert_eq!(pairs.concat(), "ab");
184    /// ```
185    #[inline]
186    pub fn concat(&self) -> String {
187        self.clone()
188            .fold(String::new(), |string, pair| string + pair.as_str())
189    }
190
191    /// Flattens the `Pairs`.
192    ///
193    /// # Examples
194    ///
195    /// ```
196    /// # use std::rc::Rc;
197    /// # use pest;
198    /// # #[allow(non_camel_case_types)]
199    /// # #[derive(Clone, Copy, Debug, Eq, Hash, Ord, PartialEq, PartialOrd)]
200    /// enum Rule {
201    ///     a,
202    ///     b
203    /// }
204    ///
205    /// let input = "";
206    /// let pairs = pest::state(input, |state| {
207    ///     // generating nested Token pair with Rule::b inside Rule::a
208    /// #     state.rule(Rule::a, |state| {
209    /// #         state.rule(Rule::b, |s| Ok(s))
210    /// #     })
211    /// }).unwrap();
212    /// let tokens: Vec<_> = pairs.flatten().tokens().collect();
213    ///
214    /// assert_eq!(tokens.len(), 4);
215    /// ```
216    #[inline]
217    pub fn flatten(self) -> FlatPairs<'i, R> {
218        flat_pairs::new(
219            self.queue,
220            self.input,
221            self.line_index,
222            self.start,
223            self.end,
224        )
225    }
226
227    /// Finds the first pair that has its node or branch tagged with the provided
228    /// label. Searches in the flattened [`Pairs`] iterator.
229    ///
230    /// # Examples
231    ///
232    /// Try to recognize the branch between add and mul
233    /// ```
234    /// use pest::{state, ParseResult, ParserState};
235    /// #[allow(non_camel_case_types)]
236    /// #[derive(Clone, Copy, Debug, Eq, Hash, Ord, PartialEq, PartialOrd)]
237    /// enum Rule {
238    ///     number, // 0..9
239    ///     add,    // num + num
240    ///     mul,    // num * num
241    /// }
242    /// fn mark_branch(
243    ///     state: Box<ParserState<'_, Rule>>,
244    /// ) -> ParseResult<Box<ParserState<'_, Rule>>> {
245    ///     expr(state, Rule::mul, "*")
246    ///         .and_then(|state| state.tag_node("mul"))
247    ///         .or_else(|state| expr(state, Rule::add, "+"))
248    ///         .and_then(|state| state.tag_node("add"))
249    /// }
250    /// fn expr<'a>(
251    ///     state: Box<ParserState<'a, Rule>>,
252    ///     r: Rule,
253    ///     o: &'static str,
254    /// ) -> ParseResult<Box<ParserState<'a, Rule>>> {
255    ///     state.rule(r, |state| {
256    ///         state.sequence(|state| {
257    ///             number(state)
258    ///                 .and_then(|state| state.tag_node("lhs"))
259    ///                 .and_then(|state| state.match_string(o))
260    ///                 .and_then(number)
261    ///                 .and_then(|state| state.tag_node("rhs"))
262    ///         })
263    ///     })
264    /// }
265    /// fn number(state: Box<ParserState<'_, Rule>>) -> ParseResult<Box<ParserState<'_, Rule>>> {
266    ///     state.rule(Rule::number, |state| state.match_range('0'..'9'))
267    /// }
268    /// let input = "1+2";
269    /// let pairs = state(input, mark_branch).unwrap();
270    /// assert_eq!(pairs.find_first_tagged("add").unwrap().as_rule(), Rule::add);
271    /// assert_eq!(pairs.find_first_tagged("mul"), None);
272    /// ```
273    #[inline]
274    pub fn find_first_tagged(&self, tag: &'i str) -> Option<Pair<'i, R>> {
275        self.clone().find_tagged(tag).next()
276    }
277
278    /// Returns the iterator over pairs that have their node or branch tagged
279    /// with the provided label. The iterator is built from a flattened [`Pairs`] iterator.
280    ///
281    /// # Examples
282    ///
283    /// Try to recognize the node between left and right hand side
284    /// ```
285    /// use pest::{state, ParseResult, ParserState};
286    /// #[allow(non_camel_case_types)]
287    /// #[derive(Clone, Copy, Debug, Eq, Hash, Ord, PartialEq, PartialOrd)]
288    /// enum Rule {
289    ///     number, // 0..9
290    ///     add,    // num + num
291    ///     mul,    // num * num
292    /// }
293    /// fn mark_branch(
294    ///     state: Box<ParserState<'_, Rule>>,
295    /// ) -> ParseResult<Box<ParserState<'_, Rule>>> {
296    ///     expr(state, Rule::mul, "*")
297    ///         .and_then(|state| state.tag_node("mul"))
298    ///         .or_else(|state| expr(state, Rule::add, "+"))
299    ///         .and_then(|state| state.tag_node("add"))
300    /// }
301    /// fn expr<'a>(
302    ///     state: Box<ParserState<'a, Rule>>,
303    ///     r: Rule,
304    ///     o: &'static str,
305    /// ) -> ParseResult<Box<ParserState<'a, Rule>>> {
306    ///     state.rule(r, |state| {
307    ///         state.sequence(|state| {
308    ///             number(state)
309    ///                 .and_then(|state| state.tag_node("lhs"))
310    ///                 .and_then(|state| state.match_string(o))
311    ///                 .and_then(number)
312    ///                 .and_then(|state| state.tag_node("rhs"))
313    ///         })
314    ///     })
315    /// }
316    /// fn number(state: Box<ParserState<'_, Rule>>) -> ParseResult<Box<ParserState<'_, Rule>>> {
317    ///     state.rule(Rule::number, |state| state.match_range('0'..'9'))
318    /// }
319    ///
320    /// let input = "1+2";
321    /// let pairs = state(input, mark_branch).unwrap();
322    /// let mut left_numbers = pairs.find_tagged("lhs");
323    /// assert_eq!(left_numbers.next().unwrap().as_str(), "1");
324    /// assert_eq!(left_numbers.next(), None);
325    /// ```
326    #[inline]
327    pub fn find_tagged(
328        self,
329        tag: &'i str,
330    ) -> Filter<FlatPairs<'i, R>, impl FnMut(&Pair<'i, R>) -> bool + 'i> {
331        self.flatten()
332            .filter(move |pair: &Pair<'i, R>| matches!(pair.as_node_tag(), Some(nt) if nt == tag))
333    }
334
335    /// Returns the `Tokens` for the `Pairs`.
336    ///
337    /// # Examples
338    ///
339    /// ```
340    /// # use std::rc::Rc;
341    /// # use pest;
342    /// # #[allow(non_camel_case_types)]
343    /// # #[derive(Clone, Copy, Debug, Eq, Hash, Ord, PartialEq, PartialOrd)]
344    /// enum Rule {
345    ///     a
346    /// }
347    ///
348    /// let input = "";
349    /// let pairs = pest::state(input, |state| {
350    ///     // generating Token pair with Rule::a ...
351    /// #     state.rule(Rule::a, |s| Ok(s))
352    /// }).unwrap();
353    /// let tokens: Vec<_> = pairs.tokens().collect();
354    ///
355    /// assert_eq!(tokens.len(), 2);
356    /// ```
357    #[inline]
358    pub fn tokens(self) -> Tokens<'i, R> {
359        tokens::new(self.queue, self.input, self.start, self.end)
360    }
361
362    /// Peek at the first inner `Pair` without changing the position of this iterator.
363    #[inline]
364    pub fn peek(&self) -> Option<Pair<'i, R>> {
365        if self.start < self.end {
366            Some(pair::new(
367                Rc::clone(&self.queue),
368                self.input,
369                Rc::clone(&self.line_index),
370                self.start,
371            ))
372        } else {
373            None
374        }
375    }
376
377    /// Returns `true` if the iterator contains no `Pair`s.
378    pub fn is_empty(&self) -> bool {
379        self.pairs_count == 0
380    }
381
382    /// Generates a string that stores the lexical information of `self` in
383    /// a pretty-printed JSON format.
384    #[cfg(feature = "pretty-print")]
385    pub fn to_json(&self) -> String {
386        ::serde_json::to_string_pretty(self).expect("Failed to pretty-print Pairs to json.")
387    }
388
389    fn pair(&self) -> usize {
390        match self.queue[self.start] {
391            QueueableToken::Start {
392                end_token_index, ..
393            } => end_token_index,
394            _ => unreachable!(),
395        }
396    }
397
398    fn pair_from_end(&self) -> usize {
399        match self.queue[self.end - 1] {
400            QueueableToken::End {
401                start_token_index, ..
402            } => start_token_index,
403            _ => unreachable!(),
404        }
405    }
406
407    fn pos(&self, index: usize) -> usize {
408        match self.queue[index] {
409            QueueableToken::Start { input_pos, .. } | QueueableToken::End { input_pos, .. } => {
410                input_pos
411            }
412        }
413    }
414}
415
416impl<R: RuleType> ExactSizeIterator for Pairs<'_, R> {
417    #[inline]
418    fn len(&self) -> usize {
419        self.pairs_count
420    }
421}
422
423impl<'i, R: RuleType> Iterator for Pairs<'i, R> {
424    type Item = Pair<'i, R>;
425
426    fn next(&mut self) -> Option<Self::Item> {
427        let pair = self.peek()?;
428
429        self.start = self.pair() + 1;
430        self.pairs_count -= 1;
431        Some(pair)
432    }
433
434    fn size_hint(&self) -> (usize, Option<usize>) {
435        let len = <Self as ExactSizeIterator>::len(self);
436        (len, Some(len))
437    }
438}
439
440impl<R: RuleType> DoubleEndedIterator for Pairs<'_, R> {
441    fn next_back(&mut self) -> Option<Self::Item> {
442        if self.end <= self.start {
443            return None;
444        }
445
446        self.end = self.pair_from_end();
447        self.pairs_count -= 1;
448
449        let pair = pair::new(
450            Rc::clone(&self.queue),
451            self.input,
452            Rc::clone(&self.line_index),
453            self.end,
454        );
455
456        Some(pair)
457    }
458}
459
460impl<R: RuleType> fmt::Debug for Pairs<'_, R> {
461    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
462        f.debug_list().entries(self.clone()).finish()
463    }
464}
465
466impl<R: RuleType> fmt::Display for Pairs<'_, R> {
467    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
468        let inner = self
469            .clone()
470            .map(|pair| {
471                if f.alternate() {
472                    format!("{pair:#}")
473                } else {
474                    format!("{pair}")
475                }
476            })
477            .collect::<Vec<_>>()
478            .join(", ");
479        write!(f, "[{inner}]")
480    }
481}
482
483impl<'i, R: PartialEq> PartialEq for Pairs<'i, R> {
484    fn eq(&self, other: &Pairs<'i, R>) -> bool {
485        Rc::ptr_eq(&self.queue, &other.queue)
486            && ptr::eq(self.input, other.input)
487            && self.start == other.start
488            && self.end == other.end
489    }
490}
491
492impl<R: Eq> Eq for Pairs<'_, R> {}
493
494impl<'i, R: Hash> Hash for Pairs<'i, R> {
495    fn hash<H: Hasher>(&self, state: &mut H) {
496        (&*self.queue as *const Vec<QueueableToken<'i, R>>).hash(state);
497        (self.input as *const str).hash(state);
498        self.start.hash(state);
499        self.end.hash(state);
500    }
501}
502
503#[cfg(feature = "pretty-print")]
504impl<R: RuleType> ::serde::Serialize for Pairs<'_, R> {
505    fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
506    where
507        S: ::serde::Serializer,
508    {
509        let start = self.pos(self.start);
510        let end = self.pos(self.end - 1);
511        let pairs = self.clone().collect::<Vec<_>>();
512
513        let mut ser = serializer.serialize_struct("Pairs", 2)?;
514        ser.serialize_field("pos", &(start, end))?;
515        ser.serialize_field("pairs", &pairs)?;
516        ser.end()
517    }
518}
519
520#[cfg(test)]
521mod tests {
522    use super::super::super::macros::tests::*;
523    use super::super::super::Parser;
524    use alloc::borrow::ToOwned;
525    use alloc::boxed::Box;
526    use alloc::format;
527    use alloc::vec;
528    use alloc::vec::Vec;
529
530    #[test]
531    #[cfg(feature = "pretty-print")]
532    fn test_pretty_print() {
533        let pairs = AbcParser::parse(Rule::a, "abcde").unwrap();
534
535        let expected = r#"{
536  "pos": [
537    0,
538    5
539  ],
540  "pairs": [
541    {
542      "pos": [
543        0,
544        3
545      ],
546      "rule": "a",
547      "inner": {
548        "pos": [
549          1,
550          2
551        ],
552        "pairs": [
553          {
554            "pos": [
555              1,
556              2
557            ],
558            "rule": "b",
559            "inner": "b"
560          }
561        ]
562      }
563    },
564    {
565      "pos": [
566        4,
567        5
568      ],
569      "rule": "c",
570      "inner": "e"
571    }
572  ]
573}"#;
574
575        assert_eq!(expected, pairs.to_json());
576    }
577
578    #[test]
579    fn as_str() {
580        let pairs = AbcParser::parse(Rule::a, "abcde").unwrap();
581
582        assert_eq!(pairs.as_str(), "abcde");
583    }
584
585    #[test]
586    fn get_input_of_pairs() {
587        let input = "abcde";
588        let pairs = AbcParser::parse(Rule::a, input).unwrap();
589
590        assert_eq!(pairs.get_input(), input);
591    }
592
593    #[test]
594    fn as_str_empty() {
595        let mut pairs = AbcParser::parse(Rule::a, "abcde").unwrap();
596
597        assert_eq!(pairs.nth(1).unwrap().into_inner().as_str(), "");
598    }
599
600    #[test]
601    fn concat() {
602        let pairs = AbcParser::parse(Rule::a, "abcde").unwrap();
603
604        assert_eq!(pairs.concat(), "abce");
605    }
606
607    #[test]
608    fn pairs_debug() {
609        let pairs = AbcParser::parse(Rule::a, "abcde").unwrap();
610
611        #[rustfmt::skip]
612        assert_eq!(
613            format!("{:?}", pairs),
614            "[\
615                Pair { rule: a, span: Span { str: \"abc\", range: 0..3 }, inner: [\
616                    Pair { rule: b, span: Span { str: \"b\", range: 1..2 }, inner: [] }\
617                ] }, \
618                Pair { rule: c, span: Span { str: \"e\", range: 4..5 }, inner: [] }\
619            ]"
620            .to_owned()
621        );
622    }
623
624    #[test]
625    fn pairs_display() {
626        let pairs = AbcParser::parse(Rule::a, "abcde").unwrap();
627
628        assert_eq!(format!("{}", pairs), "[abc, e]".to_owned());
629        assert_eq!(
630            format!("{:#}", pairs),
631            "[a(0, 3, [b(1, 2)]), c(4, 5)]".to_owned()
632        );
633    }
634
635    #[test]
636    fn iter_for_pairs() {
637        let pairs = AbcParser::parse(Rule::a, "abcde").unwrap();
638        assert_eq!(
639            pairs.map(|p| p.as_rule()).collect::<Vec<Rule>>(),
640            vec![Rule::a, Rule::c]
641        );
642    }
643
644    #[test]
645    fn double_ended_iter_for_pairs() {
646        let pairs = AbcParser::parse(Rule::a, "abcde").unwrap();
647        assert_eq!(
648            pairs.rev().map(|p| p.as_rule()).collect::<Vec<Rule>>(),
649            vec![Rule::c, Rule::a]
650        );
651    }
652
653    #[test]
654    fn test_line_col() {
655        let mut pairs = AbcParser::parse(Rule::a, "abc\nefgh").unwrap();
656        let pair = pairs.next().unwrap();
657        assert_eq!(pair.as_str(), "abc");
658        assert_eq!(pair.line_col(), (1, 1));
659
660        let pair = pairs.next().unwrap();
661        assert_eq!(pair.as_str(), "e");
662        assert_eq!(pair.line_col(), (2, 1));
663
664        let pair = pairs.next().unwrap();
665        assert_eq!(pair.as_str(), "fgh");
666        assert_eq!(pair.line_col(), (2, 2));
667    }
668
669    #[test]
670    fn test_rev_iter_line_col() {
671        let mut pairs = AbcParser::parse(Rule::a, "abc\nefgh").unwrap().rev();
672        let pair = pairs.next().unwrap();
673        assert_eq!(pair.as_str(), "fgh");
674        assert_eq!(pair.line_col(), (2, 2));
675
676        let pair = pairs.next().unwrap();
677        assert_eq!(pair.as_str(), "e");
678        assert_eq!(pair.line_col(), (2, 1));
679
680        let pair = pairs.next().unwrap();
681        assert_eq!(pair.as_str(), "abc");
682        assert_eq!(pair.line_col(), (1, 1));
683    }
684
685    #[test]
686    // false positive: pest uses `..` as a complete range (historically)
687    #[allow(clippy::almost_complete_range)]
688    fn test_tag_node_branch() {
689        use crate::{state, ParseResult, ParserState};
690        #[allow(non_camel_case_types)]
691        #[derive(Clone, Copy, Debug, Eq, Hash, Ord, PartialEq, PartialOrd)]
692        enum Rule {
693            number, // 0..9
694            add,    // num + num
695            mul,    // num * num
696        }
697        fn mark_branch(
698            state: Box<ParserState<'_, Rule>>,
699        ) -> ParseResult<Box<ParserState<'_, Rule>>> {
700            expr(state, Rule::mul, "*")
701                .and_then(|state| state.tag_node("mul"))
702                .or_else(|state| expr(state, Rule::add, "+"))
703                .and_then(|state| state.tag_node("add"))
704        }
705        fn expr<'a>(
706            state: Box<ParserState<'a, Rule>>,
707            r: Rule,
708            o: &'static str,
709        ) -> ParseResult<Box<ParserState<'a, Rule>>> {
710            state.rule(r, |state| {
711                state.sequence(|state| {
712                    number(state)
713                        .and_then(|state| state.tag_node("lhs"))
714                        .and_then(|state| state.match_string(o))
715                        .and_then(number)
716                        .and_then(|state| state.tag_node("rhs"))
717                })
718            })
719        }
720        fn number(state: Box<ParserState<'_, Rule>>) -> ParseResult<Box<ParserState<'_, Rule>>> {
721            state.rule(Rule::number, |state| state.match_range('0'..'9'))
722        }
723        let input = "1+2";
724        let pairs = state(input, mark_branch).unwrap();
725        assert_eq!(pairs.find_first_tagged("add").unwrap().as_rule(), Rule::add);
726        assert_eq!(pairs.find_first_tagged("mul"), None);
727
728        let mut left_numbers = pairs.clone().find_tagged("lhs");
729
730        assert_eq!(left_numbers.next().unwrap().as_str(), "1");
731        assert_eq!(left_numbers.next(), None);
732        let mut right_numbers = pairs.find_tagged("rhs");
733
734        assert_eq!(right_numbers.next().unwrap().as_str(), "2");
735        assert_eq!(right_numbers.next(), None);
736    }
737
738    #[test]
739    fn exact_size_iter_for_pairs() {
740        let pairs = AbcParser::parse(Rule::a, "abc\nefgh").unwrap();
741        assert_eq!(pairs.len(), pairs.count());
742
743        let pairs = AbcParser::parse(Rule::a, "abc\nefgh").unwrap().rev();
744        assert_eq!(pairs.len(), pairs.count());
745
746        let mut pairs = AbcParser::parse(Rule::a, "abc\nefgh").unwrap();
747        let pairs_len = pairs.len();
748        let _ = pairs.next().unwrap();
749        assert_eq!(pairs.count() + 1, pairs_len);
750    }
751}