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}