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        write!(
469            f,
470            "[{}]",
471            self.clone()
472                .map(|pair| format!("{}", pair))
473                .collect::<Vec<_>>()
474                .join(", ")
475        )
476    }
477}
478
479impl<'i, R: PartialEq> PartialEq for Pairs<'i, R> {
480    fn eq(&self, other: &Pairs<'i, R>) -> bool {
481        Rc::ptr_eq(&self.queue, &other.queue)
482            && ptr::eq(self.input, other.input)
483            && self.start == other.start
484            && self.end == other.end
485    }
486}
487
488impl<R: Eq> Eq for Pairs<'_, R> {}
489
490impl<'i, R: Hash> Hash for Pairs<'i, R> {
491    fn hash<H: Hasher>(&self, state: &mut H) {
492        (&*self.queue as *const Vec<QueueableToken<'i, R>>).hash(state);
493        (self.input as *const str).hash(state);
494        self.start.hash(state);
495        self.end.hash(state);
496    }
497}
498
499#[cfg(feature = "pretty-print")]
500impl<R: RuleType> ::serde::Serialize for Pairs<'_, R> {
501    fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
502    where
503        S: ::serde::Serializer,
504    {
505        let start = self.pos(self.start);
506        let end = self.pos(self.end - 1);
507        let pairs = self.clone().collect::<Vec<_>>();
508
509        let mut ser = serializer.serialize_struct("Pairs", 2)?;
510        ser.serialize_field("pos", &(start, end))?;
511        ser.serialize_field("pairs", &pairs)?;
512        ser.end()
513    }
514}
515
516#[cfg(test)]
517mod tests {
518    use super::super::super::macros::tests::*;
519    use super::super::super::Parser;
520    use alloc::borrow::ToOwned;
521    use alloc::boxed::Box;
522    use alloc::format;
523    use alloc::vec;
524    use alloc::vec::Vec;
525
526    #[test]
527    #[cfg(feature = "pretty-print")]
528    fn test_pretty_print() {
529        let pairs = AbcParser::parse(Rule::a, "abcde").unwrap();
530
531        let expected = r#"{
532  "pos": [
533    0,
534    5
535  ],
536  "pairs": [
537    {
538      "pos": [
539        0,
540        3
541      ],
542      "rule": "a",
543      "inner": {
544        "pos": [
545          1,
546          2
547        ],
548        "pairs": [
549          {
550            "pos": [
551              1,
552              2
553            ],
554            "rule": "b",
555            "inner": "b"
556          }
557        ]
558      }
559    },
560    {
561      "pos": [
562        4,
563        5
564      ],
565      "rule": "c",
566      "inner": "e"
567    }
568  ]
569}"#;
570
571        assert_eq!(expected, pairs.to_json());
572    }
573
574    #[test]
575    fn as_str() {
576        let pairs = AbcParser::parse(Rule::a, "abcde").unwrap();
577
578        assert_eq!(pairs.as_str(), "abcde");
579    }
580
581    #[test]
582    fn get_input_of_pairs() {
583        let input = "abcde";
584        let pairs = AbcParser::parse(Rule::a, input).unwrap();
585
586        assert_eq!(pairs.get_input(), input);
587    }
588
589    #[test]
590    fn as_str_empty() {
591        let mut pairs = AbcParser::parse(Rule::a, "abcde").unwrap();
592
593        assert_eq!(pairs.nth(1).unwrap().into_inner().as_str(), "");
594    }
595
596    #[test]
597    fn concat() {
598        let pairs = AbcParser::parse(Rule::a, "abcde").unwrap();
599
600        assert_eq!(pairs.concat(), "abce");
601    }
602
603    #[test]
604    fn pairs_debug() {
605        let pairs = AbcParser::parse(Rule::a, "abcde").unwrap();
606
607        #[rustfmt::skip]
608        assert_eq!(
609            format!("{:?}", pairs),
610            "[\
611                Pair { rule: a, span: Span { str: \"abc\", start: 0, end: 3 }, inner: [\
612                    Pair { rule: b, span: Span { str: \"b\", start: 1, end: 2 }, inner: [] }\
613                ] }, \
614                Pair { rule: c, span: Span { str: \"e\", start: 4, end: 5 }, inner: [] }\
615            ]"
616            .to_owned()
617        );
618    }
619
620    #[test]
621    fn pairs_display() {
622        let pairs = AbcParser::parse(Rule::a, "abcde").unwrap();
623
624        assert_eq!(
625            format!("{}", pairs),
626            "[a(0, 3, [b(1, 2)]), c(4, 5)]".to_owned()
627        );
628    }
629
630    #[test]
631    fn iter_for_pairs() {
632        let pairs = AbcParser::parse(Rule::a, "abcde").unwrap();
633        assert_eq!(
634            pairs.map(|p| p.as_rule()).collect::<Vec<Rule>>(),
635            vec![Rule::a, Rule::c]
636        );
637    }
638
639    #[test]
640    fn double_ended_iter_for_pairs() {
641        let pairs = AbcParser::parse(Rule::a, "abcde").unwrap();
642        assert_eq!(
643            pairs.rev().map(|p| p.as_rule()).collect::<Vec<Rule>>(),
644            vec![Rule::c, Rule::a]
645        );
646    }
647
648    #[test]
649    fn test_line_col() {
650        let mut pairs = AbcParser::parse(Rule::a, "abc\nefgh").unwrap();
651        let pair = pairs.next().unwrap();
652        assert_eq!(pair.as_str(), "abc");
653        assert_eq!(pair.line_col(), (1, 1));
654
655        let pair = pairs.next().unwrap();
656        assert_eq!(pair.as_str(), "e");
657        assert_eq!(pair.line_col(), (2, 1));
658
659        let pair = pairs.next().unwrap();
660        assert_eq!(pair.as_str(), "fgh");
661        assert_eq!(pair.line_col(), (2, 2));
662    }
663
664    #[test]
665    fn test_rev_iter_line_col() {
666        let mut pairs = AbcParser::parse(Rule::a, "abc\nefgh").unwrap().rev();
667        let pair = pairs.next().unwrap();
668        assert_eq!(pair.as_str(), "fgh");
669        assert_eq!(pair.line_col(), (2, 2));
670
671        let pair = pairs.next().unwrap();
672        assert_eq!(pair.as_str(), "e");
673        assert_eq!(pair.line_col(), (2, 1));
674
675        let pair = pairs.next().unwrap();
676        assert_eq!(pair.as_str(), "abc");
677        assert_eq!(pair.line_col(), (1, 1));
678    }
679
680    #[test]
681    // false positive: pest uses `..` as a complete range (historically)
682    #[allow(clippy::almost_complete_range)]
683    fn test_tag_node_branch() {
684        use crate::{state, ParseResult, ParserState};
685        #[allow(non_camel_case_types)]
686        #[derive(Clone, Copy, Debug, Eq, Hash, Ord, PartialEq, PartialOrd)]
687        enum Rule {
688            number, // 0..9
689            add,    // num + num
690            mul,    // num * num
691        }
692        fn mark_branch(
693            state: Box<ParserState<'_, Rule>>,
694        ) -> ParseResult<Box<ParserState<'_, Rule>>> {
695            expr(state, Rule::mul, "*")
696                .and_then(|state| state.tag_node("mul"))
697                .or_else(|state| expr(state, Rule::add, "+"))
698                .and_then(|state| state.tag_node("add"))
699        }
700        fn expr<'a>(
701            state: Box<ParserState<'a, Rule>>,
702            r: Rule,
703            o: &'static str,
704        ) -> ParseResult<Box<ParserState<'a, Rule>>> {
705            state.rule(r, |state| {
706                state.sequence(|state| {
707                    number(state)
708                        .and_then(|state| state.tag_node("lhs"))
709                        .and_then(|state| state.match_string(o))
710                        .and_then(number)
711                        .and_then(|state| state.tag_node("rhs"))
712                })
713            })
714        }
715        fn number(state: Box<ParserState<'_, Rule>>) -> ParseResult<Box<ParserState<'_, Rule>>> {
716            state.rule(Rule::number, |state| state.match_range('0'..'9'))
717        }
718        let input = "1+2";
719        let pairs = state(input, mark_branch).unwrap();
720        assert_eq!(pairs.find_first_tagged("add").unwrap().as_rule(), Rule::add);
721        assert_eq!(pairs.find_first_tagged("mul"), None);
722
723        let mut left_numbers = pairs.clone().find_tagged("lhs");
724
725        assert_eq!(left_numbers.next().unwrap().as_str(), "1");
726        assert_eq!(left_numbers.next(), None);
727        let mut right_numbers = pairs.find_tagged("rhs");
728
729        assert_eq!(right_numbers.next().unwrap().as_str(), "2");
730        assert_eq!(right_numbers.next(), None);
731    }
732
733    #[test]
734    fn exact_size_iter_for_pairs() {
735        let pairs = AbcParser::parse(Rule::a, "abc\nefgh").unwrap();
736        assert_eq!(pairs.len(), pairs.count());
737
738        let pairs = AbcParser::parse(Rule::a, "abc\nefgh").unwrap().rev();
739        assert_eq!(pairs.len(), pairs.count());
740
741        let mut pairs = AbcParser::parse(Rule::a, "abc\nefgh").unwrap();
742        let pairs_len = pairs.len();
743        let _ = pairs.next().unwrap();
744        assert_eq!(pairs.count() + 1, pairs_len);
745    }
746}