1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
use super::{Position, Span};
#[derive(Copy, Clone, Debug)]
pub struct PositionIterator<'t> {
position_to_emit: Option<Position<'t>>,
}
impl<'t> Iterator for PositionIterator<'t> {
type Item = Position<'t>;
fn next(&mut self) -> Option<Position<'t>> {
match self.position_to_emit {
None => None,
Some(position) => {
self.position_to_emit = position.next();
Some(position)
}
}
}
}
impl<'t> PositionIterator<'t> {
pub fn new(position: Option<Position<'t>>) -> Self {
Self {
position_to_emit: position,
}
}
pub fn peek_exactly(&self, n: usize) -> Option<Span<'t>> {
debug_assert!(n >= 1);
match (self.position_to_emit, self.clone().nth(n - 1)) {
(Some(span_start), Some(span_end)) => Some(Span::new(span_start, span_end)),
_ => None,
}
}
pub fn peek_at_most(&self, n: usize) -> Option<Span<'t>> {
debug_assert!(n >= 1);
match self.position_to_emit {
None => None,
Some(span_start) => {
let span_end = self.take(n).last().unwrap();
Some(Span::new(span_start, span_end))
}
}
}
pub fn matches(&self, wanted: &str) -> bool {
match self.peek_exactly(wanted.len()) {
None => wanted == "",
Some(span) => span.as_str() == wanted,
}
}
pub fn peek(&self) -> Option<Position<'t>> {
self.position_to_emit
}
pub fn eof_reached(&self) -> bool {
self.peek().is_none()
}
}
#[derive(Copy, Clone, Debug)]
pub struct ReversePositionIterator<'t> {
position_to_emit: Option<Position<'t>>,
}
impl<'t> Iterator for ReversePositionIterator<'t> {
type Item = Position<'t>;
fn next(&mut self) -> Option<Position<'t>> {
match self.position_to_emit {
None => None,
Some(position) => {
self.position_to_emit = position.prev();
Some(position)
}
}
}
}
impl<'t> ReversePositionIterator<'t> {
pub fn new(position: Option<Position<'t>>) -> Self {
Self {
position_to_emit: position,
}
}
}