blob: b4a0b3fb23ce9f93d9aa603bac657eba12354011 [file] [log] [blame]
David Tolnay55535012018-01-05 16:39:23 -08001// Copyright 2018 Syn Developers
2//
3// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
4// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
5// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
6// option. This file may not be copied, modified, or distributed
7// except according to those terms.
8
David Tolnayf3198012018-01-06 20:00:42 -08009//! A punctuated sequence of syntax tree nodes separated by punctuation.
10//!
11//! Lots of things in Rust are punctuated sequences.
12//!
13//! - The fields of a struct are `Punctuated<Field, Token![,]>`.
14//! - The segments of a path are `Punctuated<PathSegment, Token![::]>`.
15//! - The bounds on a generic parameter are `Punctuated<TypeParamBound, Token![+]>`.
16//! - The arguments to a function call are `Punctuated<Expr, Token![,]>`.
17//!
18//! This module provides a common representation for these punctuated sequences
19//! in the form of the [`Punctuated<T, P>`] type. We store a vector of pairs of
20//! syntax tree node + punctuation, where every node in the sequence is followed
21//! by punctuation except for possibly the final one.
22//!
23//! [`Punctuated<T, P>`]: struct.Punctuated.html
24//!
25//! ```text
26//! a_function_call(arg1, arg2, arg3);
27//! ^^^^^ ~~~~~ ^^^^
28//! ```
29
David Tolnay94d2b792018-04-29 12:26:10 -070030#[cfg(feature = "extra-traits")]
31use std::fmt::{self, Debug};
David Tolnay6c0a6092018-03-31 22:47:39 +020032#[cfg(any(feature = "full", feature = "derive"))]
33use std::iter;
34use std::iter::FromIterator;
David Tolnaybb987132018-01-08 13:51:19 -080035use std::ops::{Index, IndexMut};
Mateusz Naściszewski14111202018-04-11 21:17:41 +020036use std::option;
Alex Crichtonccbb45d2017-05-23 10:58:24 -070037use std::slice;
38use std::vec;
39
David Tolnayf3198012018-01-06 20:00:42 -080040#[cfg(feature = "parsing")]
David Tolnayf3198012018-01-06 20:00:42 -080041use buffer::Cursor;
42#[cfg(feature = "parsing")]
43use parse_error;
David Tolnay94d2b792018-04-29 12:26:10 -070044#[cfg(feature = "parsing")]
45use synom::{PResult, Synom};
David Tolnayf3198012018-01-06 20:00:42 -080046
47/// A punctuated sequence of syntax tree nodes of type `T` separated by
48/// punctuation of type `P`.
49///
50/// Refer to the [module documentation] for details about punctuated sequences.
51///
52/// [module documentation]: index.html
Nika Layzelld73a3652017-10-24 08:57:05 -040053#[cfg_attr(feature = "extra-traits", derive(Eq, PartialEq, Hash))]
Alex Crichton7b9e02f2017-05-30 15:54:33 -070054#[cfg_attr(feature = "clone-impls", derive(Clone))]
David Tolnayf2cfd722017-12-31 18:02:51 -050055pub struct Punctuated<T, P> {
Mateusz Naściszewski14111202018-04-11 21:17:41 +020056 inner: Vec<(T, P)>,
57 last: Option<Box<T>>,
Alex Crichtonccbb45d2017-05-23 10:58:24 -070058}
59
David Tolnayf2cfd722017-12-31 18:02:51 -050060impl<T, P> Punctuated<T, P> {
David Tolnayf3198012018-01-06 20:00:42 -080061 /// Creates an empty punctuated sequence.
David Tolnayf2cfd722017-12-31 18:02:51 -050062 pub fn new() -> Punctuated<T, P> {
David Tolnay94d2b792018-04-29 12:26:10 -070063 Punctuated {
64 inner: Vec::new(),
65 last: None,
66 }
Alex Crichtonccbb45d2017-05-23 10:58:24 -070067 }
68
David Tolnayf3198012018-01-06 20:00:42 -080069 /// Determines whether this punctuated sequence is empty, meaning it
70 /// contains no syntax tree nodes or punctuation.
Alex Crichtonccbb45d2017-05-23 10:58:24 -070071 pub fn is_empty(&self) -> bool {
Mateusz Naściszewski14111202018-04-11 21:17:41 +020072 self.inner.len() == 0 && self.last.is_none()
Alex Crichtonccbb45d2017-05-23 10:58:24 -070073 }
74
David Tolnayf3198012018-01-06 20:00:42 -080075 /// Returns the number of syntax tree nodes in this punctuated sequence.
76 ///
77 /// This is the number of nodes of type `T`, not counting the punctuation of
78 /// type `P`.
Alex Crichtonccbb45d2017-05-23 10:58:24 -070079 pub fn len(&self) -> usize {
Mateusz Naściszewski14111202018-04-11 21:17:41 +020080 self.inner.len() + if self.last.is_some() { 1 } else { 0 }
Alex Crichtonccbb45d2017-05-23 10:58:24 -070081 }
82
David Tolnayf3198012018-01-06 20:00:42 -080083 /// Borrows the first punctuated pair in this sequence.
David Tolnay56080682018-01-06 14:01:52 -080084 pub fn first(&self) -> Option<Pair<&T, &P>> {
Mateusz Naściszewski14111202018-04-11 21:17:41 +020085 self.pairs().next()
Alex Crichton0aa50e02017-07-07 20:59:03 -070086 }
87
David Tolnayf3198012018-01-06 20:00:42 -080088 /// Borrows the last punctuated pair in this sequence.
David Tolnay56080682018-01-06 14:01:52 -080089 pub fn last(&self) -> Option<Pair<&T, &P>> {
Mateusz Naściszewski14111202018-04-11 21:17:41 +020090 if self.last.is_some() {
David Tolnay94d2b792018-04-29 12:26:10 -070091 self.last.as_ref().map(|t| Pair::End(t.as_ref()))
Mateusz Naściszewski14111202018-04-11 21:17:41 +020092 } else {
David Tolnay94d2b792018-04-29 12:26:10 -070093 self.inner
94 .last()
Mateusz Naściszewski14111202018-04-11 21:17:41 +020095 .map(|&(ref t, ref d)| Pair::Punctuated(t, d))
96 }
Alex Crichton0aa50e02017-07-07 20:59:03 -070097 }
98
David Tolnayf3198012018-01-06 20:00:42 -080099 /// Mutably borrows the last punctuated pair in this sequence.
David Tolnay56080682018-01-06 14:01:52 -0800100 pub fn last_mut(&mut self) -> Option<Pair<&mut T, &mut P>> {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200101 if self.last.is_some() {
David Tolnay94d2b792018-04-29 12:26:10 -0700102 self.last.as_mut().map(|t| Pair::End(t.as_mut()))
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200103 } else {
David Tolnay94d2b792018-04-29 12:26:10 -0700104 self.inner
105 .last_mut()
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200106 .map(|&mut (ref mut t, ref mut d)| Pair::Punctuated(t, d))
107 }
Alex Crichton0aa50e02017-07-07 20:59:03 -0700108 }
109
David Tolnayf3198012018-01-06 20:00:42 -0800110 /// Returns an iterator over borrowed syntax tree nodes of type `&T`.
David Tolnay8095c302018-03-31 19:34:17 +0200111 pub fn iter(&self) -> Iter<T> {
David Tolnay51382052017-12-27 13:46:21 -0500112 Iter {
David Tolnay8095c302018-03-31 19:34:17 +0200113 inner: Box::new(PrivateIter {
114 inner: self.inner.iter(),
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200115 last: self.last.as_ref().map(|t| t.as_ref()).into_iter(),
David Tolnay8095c302018-03-31 19:34:17 +0200116 }),
David Tolnay51382052017-12-27 13:46:21 -0500117 }
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700118 }
119
David Tolnayf3198012018-01-06 20:00:42 -0800120 /// Returns an iterator over mutably borrowed syntax tree nodes of type
121 /// `&mut T`.
David Tolnay8095c302018-03-31 19:34:17 +0200122 pub fn iter_mut(&mut self) -> IterMut<T> {
David Tolnaya0834b42018-01-01 21:30:02 -0800123 IterMut {
David Tolnay8095c302018-03-31 19:34:17 +0200124 inner: Box::new(PrivateIterMut {
125 inner: self.inner.iter_mut(),
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200126 last: self.last.as_mut().map(|t| t.as_mut()).into_iter(),
David Tolnay8095c302018-03-31 19:34:17 +0200127 }),
David Tolnaya0834b42018-01-01 21:30:02 -0800128 }
129 }
130
David Tolnayf3198012018-01-06 20:00:42 -0800131 /// Returns an iterator over the contents of this sequence as borrowed
132 /// punctuated pairs.
David Tolnay56080682018-01-06 14:01:52 -0800133 pub fn pairs(&self) -> Pairs<T, P> {
134 Pairs {
David Tolnay6eff4da2018-01-01 20:27:45 -0800135 inner: self.inner.iter(),
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200136 last: self.last.as_ref().map(|t| t.as_ref()).into_iter(),
David Tolnay6eff4da2018-01-01 20:27:45 -0800137 }
138 }
139
David Tolnayf3198012018-01-06 20:00:42 -0800140 /// Returns an iterator over the contents of this sequence as mutably
141 /// borrowed punctuated pairs.
David Tolnay56080682018-01-06 14:01:52 -0800142 pub fn pairs_mut(&mut self) -> PairsMut<T, P> {
143 PairsMut {
David Tolnay51382052017-12-27 13:46:21 -0500144 inner: self.inner.iter_mut(),
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200145 last: self.last.as_mut().map(|t| t.as_mut()).into_iter(),
David Tolnay51382052017-12-27 13:46:21 -0500146 }
Alex Crichton164c5332017-07-06 13:18:34 -0700147 }
148
David Tolnayf3198012018-01-06 20:00:42 -0800149 /// Returns an iterator over the contents of this sequence as owned
150 /// punctuated pairs.
David Tolnay56080682018-01-06 14:01:52 -0800151 pub fn into_pairs(self) -> IntoPairs<T, P> {
152 IntoPairs {
David Tolnay6eff4da2018-01-01 20:27:45 -0800153 inner: self.inner.into_iter(),
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200154 last: self.last.map(|t| *t).into_iter(),
David Tolnay6eff4da2018-01-01 20:27:45 -0800155 }
156 }
157
David Tolnayf3198012018-01-06 20:00:42 -0800158 /// Appends a syntax tree node onto the end of this punctuated sequence. The
159 /// sequence must previously have a trailing punctuation.
160 ///
161 /// Use [`push`] instead if the punctuated sequence may or may not already
162 /// have trailing punctuation.
163 ///
164 /// [`push`]: #method.push
165 ///
166 /// # Panics
167 ///
168 /// Panics if the sequence does not already have a trailing punctuation when
169 /// this method is called.
David Tolnay56080682018-01-06 14:01:52 -0800170 pub fn push_value(&mut self, value: T) {
David Tolnaydc03aec2017-12-30 01:54:18 -0500171 assert!(self.empty_or_trailing());
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200172 self.last = Some(Box::new(value));
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700173 }
174
David Tolnayf3198012018-01-06 20:00:42 -0800175 /// Appends a trailing punctuation onto the end of this punctuated sequence.
176 /// The sequence must be non-empty and must not already have trailing
177 /// punctuation.
178 ///
179 /// # Panics
180 ///
181 /// Panics if the sequence is empty or already has a trailing punctuation.
David Tolnaya0834b42018-01-01 21:30:02 -0800182 pub fn push_punct(&mut self, punctuation: P) {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200183 assert!(self.last.is_some());
David Tolnay03163082018-04-11 12:10:18 -0700184 let last = self.last.take().unwrap();
185 self.inner.push((*last, punctuation));
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700186 }
187
David Tolnayf3198012018-01-06 20:00:42 -0800188 /// Removes the last punctuated pair from this sequence, or `None` if the
189 /// sequence is empty.
David Tolnay56080682018-01-06 14:01:52 -0800190 pub fn pop(&mut self) -> Option<Pair<T, P>> {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200191 if self.last.is_some() {
David Tolnay03163082018-04-11 12:10:18 -0700192 self.last.take().map(|t| Pair::End(*t))
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200193 } else {
194 self.inner.pop().map(|(t, d)| Pair::Punctuated(t, d))
195 }
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700196 }
197
David Tolnayf3198012018-01-06 20:00:42 -0800198 /// Determines whether this punctuated sequence ends with a trailing
199 /// punctuation.
David Tolnaya0834b42018-01-01 21:30:02 -0800200 pub fn trailing_punct(&self) -> bool {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200201 self.last.is_none() && !self.is_empty()
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700202 }
Michael Layzell3936ceb2017-07-08 00:28:36 -0400203
David Tolnayf2cfd722017-12-31 18:02:51 -0500204 /// Returns true if either this `Punctuated` is empty, or it has a trailing
205 /// punctuation.
David Tolnaydc03aec2017-12-30 01:54:18 -0500206 ///
David Tolnaya0834b42018-01-01 21:30:02 -0800207 /// Equivalent to `punctuated.is_empty() || punctuated.trailing_punct()`.
Michael Layzell3936ceb2017-07-08 00:28:36 -0400208 pub fn empty_or_trailing(&self) -> bool {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200209 self.last.is_none()
Michael Layzell3936ceb2017-07-08 00:28:36 -0400210 }
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700211}
212
David Tolnaya0834b42018-01-01 21:30:02 -0800213impl<T, P> Punctuated<T, P>
214where
215 P: Default,
216{
David Tolnayf3198012018-01-06 20:00:42 -0800217 /// Appends a syntax tree node onto the end of this punctuated sequence.
218 ///
219 /// If there is not a trailing punctuation in this sequence when this method
220 /// is called, the default value of punctuation type `P` is inserted before
221 /// the given value of type `T`.
David Tolnay56080682018-01-06 14:01:52 -0800222 pub fn push(&mut self, value: T) {
David Tolnaya0834b42018-01-01 21:30:02 -0800223 if !self.empty_or_trailing() {
224 self.push_punct(Default::default());
225 }
David Tolnay56080682018-01-06 14:01:52 -0800226 self.push_value(value);
David Tolnaya0834b42018-01-01 21:30:02 -0800227 }
David Tolnayb77d1802018-01-11 16:18:35 -0800228
229 /// Inserts an element at position `index`.
230 ///
231 /// # Panics
232 ///
233 /// Panics if `index` is greater than the number of elements previously in
234 /// this punctuated sequence.
235 pub fn insert(&mut self, index: usize, value: T) {
236 assert!(index <= self.len());
237
238 if index == self.len() {
239 self.push(value);
240 } else {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200241 self.inner.insert(index, (value, Default::default()));
David Tolnayb77d1802018-01-11 16:18:35 -0800242 }
243 }
David Tolnaya0834b42018-01-01 21:30:02 -0800244}
245
Nika Layzelld73a3652017-10-24 08:57:05 -0400246#[cfg(feature = "extra-traits")]
David Tolnayf2cfd722017-12-31 18:02:51 -0500247impl<T: Debug, P: Debug> Debug for Punctuated<T, P> {
Nika Layzelld73a3652017-10-24 08:57:05 -0400248 fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200249 let mut list = f.debug_list();
David Tolnay0c18c512018-07-22 10:39:10 -0700250 for &(ref t, ref p) in &self.inner {
251 list.entry(t);
252 list.entry(p);
253 }
254 if let Some(ref last) = self.last {
255 list.entry(last);
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200256 }
257 list.finish()
Nika Layzelld73a3652017-10-24 08:57:05 -0400258 }
259}
260
David Tolnay9ef24bc2018-01-09 10:43:55 -0800261impl<T, P> FromIterator<T> for Punctuated<T, P>
262where
263 P: Default,
264{
265 fn from_iter<I: IntoIterator<Item = T>>(i: I) -> Self {
266 let mut ret = Punctuated::new();
267 ret.extend(i);
268 ret
269 }
270}
271
272impl<T, P> Extend<T> for Punctuated<T, P>
273where
274 P: Default,
275{
276 fn extend<I: IntoIterator<Item = T>>(&mut self, i: I) {
277 for value in i {
278 self.push(value);
279 }
280 }
281}
282
David Tolnay56080682018-01-06 14:01:52 -0800283impl<T, P> FromIterator<Pair<T, P>> for Punctuated<T, P> {
284 fn from_iter<I: IntoIterator<Item = Pair<T, P>>>(i: I) -> Self {
David Tolnayf2cfd722017-12-31 18:02:51 -0500285 let mut ret = Punctuated::new();
Alex Crichton24f12822017-07-14 07:15:32 -0700286 ret.extend(i);
Alex Crichton954046c2017-05-30 21:49:42 -0700287 ret
288 }
289}
290
David Tolnay56080682018-01-06 14:01:52 -0800291impl<T, P> Extend<Pair<T, P>> for Punctuated<T, P> {
292 fn extend<I: IntoIterator<Item = Pair<T, P>>>(&mut self, i: I) {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200293 assert!(self.empty_or_trailing());
294 let mut nomore = false;
David Tolnay56080682018-01-06 14:01:52 -0800295 for pair in i {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200296 if nomore {
297 panic!("Punctuated extended with items after a Pair::End");
298 }
David Tolnay56080682018-01-06 14:01:52 -0800299 match pair {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200300 Pair::Punctuated(a, b) => self.inner.push((a, b)),
301 Pair::End(a) => {
302 self.last = Some(Box::new(a));
303 nomore = true;
304 }
Alex Crichton24f12822017-07-14 07:15:32 -0700305 }
306 }
307 }
308}
309
David Tolnayf2cfd722017-12-31 18:02:51 -0500310impl<T, P> IntoIterator for Punctuated<T, P> {
David Tolnay6eff4da2018-01-01 20:27:45 -0800311 type Item = T;
David Tolnayf2cfd722017-12-31 18:02:51 -0500312 type IntoIter = IntoIter<T, P>;
Alex Crichton954046c2017-05-30 21:49:42 -0700313
David Tolnaybb4ca9f2017-12-26 12:28:58 -0500314 fn into_iter(self) -> Self::IntoIter {
David Tolnay51382052017-12-27 13:46:21 -0500315 IntoIter {
316 inner: self.inner.into_iter(),
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200317 last: self.last.map(|t| *t).into_iter(),
David Tolnay51382052017-12-27 13:46:21 -0500318 }
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700319 }
320}
321
David Tolnay6eff4da2018-01-01 20:27:45 -0800322impl<'a, T, P> IntoIterator for &'a Punctuated<T, P> {
323 type Item = &'a T;
David Tolnay8095c302018-03-31 19:34:17 +0200324 type IntoIter = Iter<'a, T>;
David Tolnay6eff4da2018-01-01 20:27:45 -0800325
326 fn into_iter(self) -> Self::IntoIter {
327 Punctuated::iter(self)
328 }
329}
330
David Tolnaya0834b42018-01-01 21:30:02 -0800331impl<'a, T, P> IntoIterator for &'a mut Punctuated<T, P> {
332 type Item = &'a mut T;
David Tolnay8095c302018-03-31 19:34:17 +0200333 type IntoIter = IterMut<'a, T>;
David Tolnaya0834b42018-01-01 21:30:02 -0800334
335 fn into_iter(self) -> Self::IntoIter {
336 Punctuated::iter_mut(self)
337 }
338}
339
David Tolnayf2cfd722017-12-31 18:02:51 -0500340impl<T, P> Default for Punctuated<T, P> {
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700341 fn default() -> Self {
David Tolnayf2cfd722017-12-31 18:02:51 -0500342 Punctuated::new()
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700343 }
344}
345
David Tolnayf3198012018-01-06 20:00:42 -0800346/// An iterator over borrowed pairs of type `Pair<&T, &P>`.
347///
348/// Refer to the [module documentation] for details about punctuated sequences.
349///
350/// [module documentation]: index.html
David Tolnay56080682018-01-06 14:01:52 -0800351pub struct Pairs<'a, T: 'a, P: 'a> {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200352 inner: slice::Iter<'a, (T, P)>,
353 last: option::IntoIter<&'a T>,
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700354}
355
David Tolnay56080682018-01-06 14:01:52 -0800356impl<'a, T, P> Iterator for Pairs<'a, T, P> {
357 type Item = Pair<&'a T, &'a P>;
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700358
David Tolnay6eff4da2018-01-01 20:27:45 -0800359 fn next(&mut self) -> Option<Self::Item> {
David Tolnay94d2b792018-04-29 12:26:10 -0700360 self.inner
361 .next()
362 .map(|&(ref t, ref p)| Pair::Punctuated(t, p))
David Tolnay6e4a9c22018-04-11 12:20:08 -0700363 .or_else(|| self.last.next().map(Pair::End))
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700364 }
365}
366
David Tolnay9700be02018-04-30 00:51:15 -0700367impl<'a, T, P> ExactSizeIterator for Pairs<'a, T, P> {
368 fn len(&self) -> usize {
369 self.inner.len() + self.last.len()
370 }
371}
372
David Tolnayf3198012018-01-06 20:00:42 -0800373/// An iterator over mutably borrowed pairs of type `Pair<&mut T, &mut P>`.
374///
375/// Refer to the [module documentation] for details about punctuated sequences.
376///
377/// [module documentation]: index.html
David Tolnay56080682018-01-06 14:01:52 -0800378pub struct PairsMut<'a, T: 'a, P: 'a> {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200379 inner: slice::IterMut<'a, (T, P)>,
380 last: option::IntoIter<&'a mut T>,
Alex Crichton164c5332017-07-06 13:18:34 -0700381}
382
David Tolnay56080682018-01-06 14:01:52 -0800383impl<'a, T, P> Iterator for PairsMut<'a, T, P> {
384 type Item = Pair<&'a mut T, &'a mut P>;
Alex Crichton164c5332017-07-06 13:18:34 -0700385
David Tolnay6eff4da2018-01-01 20:27:45 -0800386 fn next(&mut self) -> Option<Self::Item> {
David Tolnay94d2b792018-04-29 12:26:10 -0700387 self.inner
388 .next()
389 .map(|&mut (ref mut t, ref mut p)| Pair::Punctuated(t, p))
David Tolnay6e4a9c22018-04-11 12:20:08 -0700390 .or_else(|| self.last.next().map(Pair::End))
Alex Crichton164c5332017-07-06 13:18:34 -0700391 }
392}
393
David Tolnay9700be02018-04-30 00:51:15 -0700394impl<'a, T, P> ExactSizeIterator for PairsMut<'a, T, P> {
395 fn len(&self) -> usize {
396 self.inner.len() + self.last.len()
397 }
398}
399
David Tolnayf3198012018-01-06 20:00:42 -0800400/// An iterator over owned pairs of type `Pair<T, P>`.
401///
402/// Refer to the [module documentation] for details about punctuated sequences.
403///
404/// [module documentation]: index.html
David Tolnay56080682018-01-06 14:01:52 -0800405pub struct IntoPairs<T, P> {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200406 inner: vec::IntoIter<(T, P)>,
407 last: option::IntoIter<T>,
David Tolnay6eff4da2018-01-01 20:27:45 -0800408}
409
David Tolnay56080682018-01-06 14:01:52 -0800410impl<T, P> Iterator for IntoPairs<T, P> {
411 type Item = Pair<T, P>;
David Tolnay6eff4da2018-01-01 20:27:45 -0800412
413 fn next(&mut self) -> Option<Self::Item> {
David Tolnay94d2b792018-04-29 12:26:10 -0700414 self.inner
415 .next()
416 .map(|(t, p)| Pair::Punctuated(t, p))
David Tolnay6e4a9c22018-04-11 12:20:08 -0700417 .or_else(|| self.last.next().map(Pair::End))
David Tolnay6eff4da2018-01-01 20:27:45 -0800418 }
419}
420
David Tolnay9700be02018-04-30 00:51:15 -0700421impl<T, P> ExactSizeIterator for IntoPairs<T, P> {
422 fn len(&self) -> usize {
423 self.inner.len() + self.last.len()
424 }
425}
426
David Tolnayf3198012018-01-06 20:00:42 -0800427/// An iterator over owned values of type `T`.
428///
429/// Refer to the [module documentation] for details about punctuated sequences.
430///
431/// [module documentation]: index.html
David Tolnayf2cfd722017-12-31 18:02:51 -0500432pub struct IntoIter<T, P> {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200433 inner: vec::IntoIter<(T, P)>,
434 last: option::IntoIter<T>,
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700435}
436
David Tolnayf2cfd722017-12-31 18:02:51 -0500437impl<T, P> Iterator for IntoIter<T, P> {
David Tolnay6eff4da2018-01-01 20:27:45 -0800438 type Item = T;
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700439
David Tolnay6eff4da2018-01-01 20:27:45 -0800440 fn next(&mut self) -> Option<Self::Item> {
David Tolnay94d2b792018-04-29 12:26:10 -0700441 self.inner
442 .next()
443 .map(|pair| pair.0)
444 .or_else(|| self.last.next())
David Tolnay6eff4da2018-01-01 20:27:45 -0800445 }
446}
447
David Tolnay9700be02018-04-30 00:51:15 -0700448impl<T, P> ExactSizeIterator for IntoIter<T, P> {
449 fn len(&self) -> usize {
450 self.inner.len() + self.last.len()
451 }
452}
453
David Tolnayf3198012018-01-06 20:00:42 -0800454/// An iterator over borrowed values of type `&T`.
455///
456/// Refer to the [module documentation] for details about punctuated sequences.
457///
458/// [module documentation]: index.html
David Tolnay8095c302018-03-31 19:34:17 +0200459pub struct Iter<'a, T: 'a> {
David Tolnay9700be02018-04-30 00:51:15 -0700460 inner: Box<ExactSizeIterator<Item = &'a T> + 'a>,
David Tolnay8095c302018-03-31 19:34:17 +0200461}
462
463struct PrivateIter<'a, T: 'a, P: 'a> {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200464 inner: slice::Iter<'a, (T, P)>,
465 last: option::IntoIter<&'a T>,
David Tolnay6eff4da2018-01-01 20:27:45 -0800466}
467
David Tolnay96a09d92018-01-16 22:24:03 -0800468#[cfg(any(feature = "full", feature = "derive"))]
David Tolnay8095c302018-03-31 19:34:17 +0200469impl<'a, T> Iter<'a, T> {
David Tolnay96a09d92018-01-16 22:24:03 -0800470 // Not public API.
471 #[doc(hidden)]
472 pub fn private_empty() -> Self {
473 Iter {
David Tolnay8095c302018-03-31 19:34:17 +0200474 inner: Box::new(iter::empty()),
David Tolnay96a09d92018-01-16 22:24:03 -0800475 }
476 }
477}
478
David Tolnay8095c302018-03-31 19:34:17 +0200479impl<'a, T> Iterator for Iter<'a, T> {
480 type Item = &'a T;
481
482 fn next(&mut self) -> Option<Self::Item> {
483 self.inner.next()
484 }
485}
486
David Tolnay9700be02018-04-30 00:51:15 -0700487impl<'a, T> ExactSizeIterator for Iter<'a, T> {
488 fn len(&self) -> usize {
489 self.inner.len()
490 }
491}
492
David Tolnay8095c302018-03-31 19:34:17 +0200493impl<'a, T, P> Iterator for PrivateIter<'a, T, P> {
David Tolnay6eff4da2018-01-01 20:27:45 -0800494 type Item = &'a T;
495
496 fn next(&mut self) -> Option<Self::Item> {
David Tolnay94d2b792018-04-29 12:26:10 -0700497 self.inner
498 .next()
499 .map(|pair| &pair.0)
500 .or_else(|| self.last.next())
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700501 }
502}
503
David Tolnay9700be02018-04-30 00:51:15 -0700504impl<'a, T, P> ExactSizeIterator for PrivateIter<'a, T, P> {
505 fn len(&self) -> usize {
506 self.inner.len() + self.last.len()
507 }
508}
509
David Tolnayf3198012018-01-06 20:00:42 -0800510/// An iterator over mutably borrowed values of type `&mut T`.
511///
512/// Refer to the [module documentation] for details about punctuated sequences.
513///
514/// [module documentation]: index.html
David Tolnay8095c302018-03-31 19:34:17 +0200515pub struct IterMut<'a, T: 'a> {
David Tolnay9700be02018-04-30 00:51:15 -0700516 inner: Box<ExactSizeIterator<Item = &'a mut T> + 'a>,
David Tolnay8095c302018-03-31 19:34:17 +0200517}
518
519struct PrivateIterMut<'a, T: 'a, P: 'a> {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200520 inner: slice::IterMut<'a, (T, P)>,
521 last: option::IntoIter<&'a mut T>,
David Tolnaya0834b42018-01-01 21:30:02 -0800522}
523
Michael Bradshaw0b13ae62018-08-02 23:43:15 -0600524#[cfg(any(feature = "full", feature = "derive"))]
525impl<'a, T> IterMut<'a, T> {
526 // Not public API.
527 #[doc(hidden)]
528 pub fn private_empty() -> Self {
529 IterMut {
530 inner: Box::new(iter::empty()),
531 }
532 }
533}
534
David Tolnay8095c302018-03-31 19:34:17 +0200535impl<'a, T> Iterator for IterMut<'a, T> {
536 type Item = &'a mut T;
537
538 fn next(&mut self) -> Option<Self::Item> {
539 self.inner.next()
540 }
541}
542
David Tolnay9700be02018-04-30 00:51:15 -0700543impl<'a, T> ExactSizeIterator for IterMut<'a, T> {
544 fn len(&self) -> usize {
545 self.inner.len()
546 }
547}
548
David Tolnay8095c302018-03-31 19:34:17 +0200549impl<'a, T, P> Iterator for PrivateIterMut<'a, T, P> {
David Tolnaya0834b42018-01-01 21:30:02 -0800550 type Item = &'a mut T;
551
552 fn next(&mut self) -> Option<Self::Item> {
David Tolnay94d2b792018-04-29 12:26:10 -0700553 self.inner
554 .next()
555 .map(|pair| &mut pair.0)
556 .or_else(|| self.last.next())
David Tolnaya0834b42018-01-01 21:30:02 -0800557 }
558}
559
David Tolnay9700be02018-04-30 00:51:15 -0700560impl<'a, T, P> ExactSizeIterator for PrivateIterMut<'a, T, P> {
561 fn len(&self) -> usize {
562 self.inner.len() + self.last.len()
563 }
564}
565
David Tolnayf3198012018-01-06 20:00:42 -0800566/// A single syntax tree node of type `T` followed by its trailing punctuation
567/// of type `P` if any.
568///
569/// Refer to the [module documentation] for details about punctuated sequences.
570///
571/// [module documentation]: index.html
David Tolnay56080682018-01-06 14:01:52 -0800572pub enum Pair<T, P> {
David Tolnayf2cfd722017-12-31 18:02:51 -0500573 Punctuated(T, P),
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700574 End(T),
575}
576
David Tolnay56080682018-01-06 14:01:52 -0800577impl<T, P> Pair<T, P> {
David Tolnayf3198012018-01-06 20:00:42 -0800578 /// Extracts the syntax tree node from this punctuated pair, discarding the
579 /// following punctuation.
David Tolnay56080682018-01-06 14:01:52 -0800580 pub fn into_value(self) -> T {
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700581 match self {
David Tolnay56080682018-01-06 14:01:52 -0800582 Pair::Punctuated(t, _) | Pair::End(t) => t,
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700583 }
584 }
585
David Tolnayf3198012018-01-06 20:00:42 -0800586 /// Borrows the syntax tree node from this punctuated pair.
David Tolnay56080682018-01-06 14:01:52 -0800587 pub fn value(&self) -> &T {
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700588 match *self {
David Tolnay56080682018-01-06 14:01:52 -0800589 Pair::Punctuated(ref t, _) | Pair::End(ref t) => t,
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700590 }
591 }
592
David Tolnayf3198012018-01-06 20:00:42 -0800593 /// Mutably borrows the syntax tree node from this punctuated pair.
David Tolnay56080682018-01-06 14:01:52 -0800594 pub fn value_mut(&mut self) -> &mut T {
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700595 match *self {
David Tolnay56080682018-01-06 14:01:52 -0800596 Pair::Punctuated(ref mut t, _) | Pair::End(ref mut t) => t,
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700597 }
598 }
599
David Tolnayf3198012018-01-06 20:00:42 -0800600 /// Borrows the punctuation from this punctuated pair, unless this pair is
601 /// the final one and there is no trailing punctuation.
David Tolnayf2cfd722017-12-31 18:02:51 -0500602 pub fn punct(&self) -> Option<&P> {
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700603 match *self {
David Tolnay56080682018-01-06 14:01:52 -0800604 Pair::Punctuated(_, ref d) => Some(d),
605 Pair::End(_) => None,
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700606 }
607 }
Nika Layzellcda7ebd2017-10-24 23:10:44 -0400608
David Tolnayf3198012018-01-06 20:00:42 -0800609 /// Creates a punctuated pair out of a syntax tree node and an optional
610 /// following punctuation.
David Tolnayf2cfd722017-12-31 18:02:51 -0500611 pub fn new(t: T, d: Option<P>) -> Self {
David Tolnay660fd1f2017-12-31 01:52:57 -0500612 match d {
David Tolnay56080682018-01-06 14:01:52 -0800613 Some(d) => Pair::Punctuated(t, d),
614 None => Pair::End(t),
David Tolnay660fd1f2017-12-31 01:52:57 -0500615 }
616 }
617
David Tolnayf3198012018-01-06 20:00:42 -0800618 /// Produces this punctuated pair as a tuple of syntax tree node and
619 /// optional following punctuation.
David Tolnayf2cfd722017-12-31 18:02:51 -0500620 pub fn into_tuple(self) -> (T, Option<P>) {
Nika Layzellcda7ebd2017-10-24 23:10:44 -0400621 match self {
David Tolnay56080682018-01-06 14:01:52 -0800622 Pair::Punctuated(t, d) => (t, Some(d)),
623 Pair::End(t) => (t, None),
Nika Layzellcda7ebd2017-10-24 23:10:44 -0400624 }
625 }
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700626}
627
David Tolnaybb987132018-01-08 13:51:19 -0800628impl<T, P> Index<usize> for Punctuated<T, P> {
629 type Output = T;
630
631 fn index(&self, index: usize) -> &Self::Output {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200632 if index == self.len() - 1 {
633 match self.last {
634 Some(ref t) => t,
David Tolnay94d2b792018-04-29 12:26:10 -0700635 None => &self.inner[index].0,
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200636 }
637 } else {
638 &self.inner[index].0
639 }
David Tolnaybb987132018-01-08 13:51:19 -0800640 }
641}
642
643impl<T, P> IndexMut<usize> for Punctuated<T, P> {
644 fn index_mut(&mut self, index: usize) -> &mut Self::Output {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200645 if index == self.len() - 1 {
646 match self.last {
647 Some(ref mut t) => t,
David Tolnay94d2b792018-04-29 12:26:10 -0700648 None => &mut self.inner[index].0,
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200649 }
650 } else {
651 &mut self.inner[index].0
652 }
David Tolnaybb987132018-01-08 13:51:19 -0800653 }
654}
655
Alex Crichton7b9e02f2017-05-30 15:54:33 -0700656#[cfg(feature = "parsing")]
David Tolnayf3198012018-01-06 20:00:42 -0800657impl<T, P> Punctuated<T, P>
658where
659 T: Synom,
660 P: Synom,
661{
662 /// Parse **zero or more** syntax tree nodes with punctuation in between and
663 /// **no trailing** punctuation.
664 pub fn parse_separated(input: Cursor) -> PResult<Self> {
665 Self::parse_separated_with(input, T::parse)
666 }
Alex Crichton7b9e02f2017-05-30 15:54:33 -0700667
David Tolnayf3198012018-01-06 20:00:42 -0800668 /// Parse **one or more** syntax tree nodes with punctuation in bewteen and
669 /// **no trailing** punctuation.
670 /// allowing trailing punctuation.
671 pub fn parse_separated_nonempty(input: Cursor) -> PResult<Self> {
672 Self::parse_separated_nonempty_with(input, T::parse)
673 }
Alex Crichton954046c2017-05-30 21:49:42 -0700674
David Tolnayf3198012018-01-06 20:00:42 -0800675 /// Parse **zero or more** syntax tree nodes with punctuation in between and
676 /// **optional trailing** punctuation.
677 pub fn parse_terminated(input: Cursor) -> PResult<Self> {
678 Self::parse_terminated_with(input, T::parse)
679 }
Alex Crichton7b9e02f2017-05-30 15:54:33 -0700680
David Tolnayf3198012018-01-06 20:00:42 -0800681 /// Parse **one or more** syntax tree nodes with punctuation in between and
682 /// **optional trailing** punctuation.
683 pub fn parse_terminated_nonempty(input: Cursor) -> PResult<Self> {
684 Self::parse_terminated_nonempty_with(input, T::parse)
685 }
686}
Nika Layzellb49a9e52017-12-05 13:31:52 -0500687
David Tolnayf3198012018-01-06 20:00:42 -0800688#[cfg(feature = "parsing")]
689impl<T, P> Punctuated<T, P>
690where
691 P: Synom,
692{
693 /// Parse **zero or more** syntax tree nodes using the given parser with
694 /// punctuation in between and **no trailing** punctuation.
David Tolnay94d2b792018-04-29 12:26:10 -0700695 pub fn parse_separated_with(input: Cursor, parse: fn(Cursor) -> PResult<T>) -> PResult<Self> {
David Tolnayf3198012018-01-06 20:00:42 -0800696 Self::parse(input, parse, false)
697 }
698
699 /// Parse **one or more** syntax tree nodes using the given parser with
700 /// punctuation in between and **no trailing** punctuation.
701 pub fn parse_separated_nonempty_with(
702 input: Cursor,
703 parse: fn(Cursor) -> PResult<T>,
704 ) -> PResult<Self> {
705 match Self::parse(input, parse, false) {
706 Ok((ref b, _)) if b.is_empty() => parse_error(),
707 other => other,
Nika Layzellb49a9e52017-12-05 13:31:52 -0500708 }
Alex Crichton954046c2017-05-30 21:49:42 -0700709 }
710
David Tolnayf3198012018-01-06 20:00:42 -0800711 /// Parse **zero or more** syntax tree nodes using the given parser with
712 /// punctuation in between and **optional trailing** punctuation.
David Tolnay94d2b792018-04-29 12:26:10 -0700713 pub fn parse_terminated_with(input: Cursor, parse: fn(Cursor) -> PResult<T>) -> PResult<Self> {
David Tolnayf3198012018-01-06 20:00:42 -0800714 Self::parse(input, parse, true)
715 }
716
717 /// Parse **one or more** syntax tree nodes using the given parser with
718 /// punctuation in between and **optional trailing** punctuation.
719 pub fn parse_terminated_nonempty_with(
720 input: Cursor,
721 parse: fn(Cursor) -> PResult<T>,
722 ) -> PResult<Self> {
723 match Self::parse(input, parse, true) {
724 Ok((ref b, _)) if b.is_empty() => parse_error(),
725 other => other,
David Tolnaydc03aec2017-12-30 01:54:18 -0500726 }
David Tolnayf3198012018-01-06 20:00:42 -0800727 }
David Tolnaydc03aec2017-12-30 01:54:18 -0500728
David Tolnayf3198012018-01-06 20:00:42 -0800729 fn parse(
730 mut input: Cursor,
731 parse: fn(Cursor) -> PResult<T>,
732 terminated: bool,
733 ) -> PResult<Self> {
734 let mut res = Punctuated::new();
Alex Crichton7b9e02f2017-05-30 15:54:33 -0700735
David Tolnayf3198012018-01-06 20:00:42 -0800736 // get the first element
737 match parse(input) {
738 Err(_) => Ok((res, input)),
739 Ok((o, i)) => {
740 if i == input {
741 return parse_error();
Alex Crichton7b9e02f2017-05-30 15:54:33 -0700742 }
David Tolnayf3198012018-01-06 20:00:42 -0800743 input = i;
744 res.push_value(o);
745
746 // get the separator first
747 while let Ok((s, i2)) = P::parse(input) {
748 if i2 == input {
749 break;
750 }
751
752 // get the element next
753 if let Ok((o3, i3)) = parse(i2) {
754 if i3 == i2 {
755 break;
756 }
757 res.push_punct(s);
758 res.push_value(o3);
759 input = i3;
760 } else {
761 break;
762 }
763 }
764 if terminated {
765 if let Ok((sep, after)) = P::parse(input) {
766 res.push_punct(sep);
767 input = after;
768 }
769 }
770 Ok((res, input))
Alex Crichton7b9e02f2017-05-30 15:54:33 -0700771 }
772 }
773 }
774}
775
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700776#[cfg(feature = "printing")]
777mod printing {
778 use super::*;
Alex Crichtona74a1c82018-05-16 10:20:44 -0700779 use proc_macro2::TokenStream;
David Tolnay65fb5662018-05-20 20:02:28 -0700780 use quote::{ToTokens, TokenStreamExt};
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700781
David Tolnayf2cfd722017-12-31 18:02:51 -0500782 impl<T, P> ToTokens for Punctuated<T, P>
David Tolnay51382052017-12-27 13:46:21 -0500783 where
784 T: ToTokens,
David Tolnayf2cfd722017-12-31 18:02:51 -0500785 P: ToTokens,
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700786 {
Alex Crichtona74a1c82018-05-16 10:20:44 -0700787 fn to_tokens(&self, tokens: &mut TokenStream) {
David Tolnay56080682018-01-06 14:01:52 -0800788 tokens.append_all(self.pairs())
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700789 }
790 }
791
David Tolnay56080682018-01-06 14:01:52 -0800792 impl<T, P> ToTokens for Pair<T, P>
David Tolnay51382052017-12-27 13:46:21 -0500793 where
794 T: ToTokens,
David Tolnayf2cfd722017-12-31 18:02:51 -0500795 P: ToTokens,
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700796 {
Alex Crichtona74a1c82018-05-16 10:20:44 -0700797 fn to_tokens(&self, tokens: &mut TokenStream) {
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700798 match *self {
David Tolnay56080682018-01-06 14:01:52 -0800799 Pair::Punctuated(ref a, ref b) => {
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700800 a.to_tokens(tokens);
801 b.to_tokens(tokens);
802 }
David Tolnay56080682018-01-06 14:01:52 -0800803 Pair::End(ref a) => a.to_tokens(tokens),
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700804 }
805 }
806 }
807}