blob: fe5135ec77004298b603a8f7b887647843e617b2 [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 Tolnayecf0fbc2018-08-30 18:28:33 -070041use parse::{Parse, ParseStream, Result};
David Tolnayf3198012018-01-06 20:00:42 -080042
43/// A punctuated sequence of syntax tree nodes of type `T` separated by
44/// punctuation of type `P`.
45///
46/// Refer to the [module documentation] for details about punctuated sequences.
47///
48/// [module documentation]: index.html
Nika Layzelld73a3652017-10-24 08:57:05 -040049#[cfg_attr(feature = "extra-traits", derive(Eq, PartialEq, Hash))]
Alex Crichton7b9e02f2017-05-30 15:54:33 -070050#[cfg_attr(feature = "clone-impls", derive(Clone))]
David Tolnayf2cfd722017-12-31 18:02:51 -050051pub struct Punctuated<T, P> {
Mateusz Naściszewski14111202018-04-11 21:17:41 +020052 inner: Vec<(T, P)>,
53 last: Option<Box<T>>,
Alex Crichtonccbb45d2017-05-23 10:58:24 -070054}
55
David Tolnayf2cfd722017-12-31 18:02:51 -050056impl<T, P> Punctuated<T, P> {
David Tolnayf3198012018-01-06 20:00:42 -080057 /// Creates an empty punctuated sequence.
David Tolnayf2cfd722017-12-31 18:02:51 -050058 pub fn new() -> Punctuated<T, P> {
David Tolnay94d2b792018-04-29 12:26:10 -070059 Punctuated {
60 inner: Vec::new(),
61 last: None,
62 }
Alex Crichtonccbb45d2017-05-23 10:58:24 -070063 }
64
David Tolnayf3198012018-01-06 20:00:42 -080065 /// Determines whether this punctuated sequence is empty, meaning it
66 /// contains no syntax tree nodes or punctuation.
Alex Crichtonccbb45d2017-05-23 10:58:24 -070067 pub fn is_empty(&self) -> bool {
Mateusz Naściszewski14111202018-04-11 21:17:41 +020068 self.inner.len() == 0 && self.last.is_none()
Alex Crichtonccbb45d2017-05-23 10:58:24 -070069 }
70
David Tolnayf3198012018-01-06 20:00:42 -080071 /// Returns the number of syntax tree nodes in this punctuated sequence.
72 ///
73 /// This is the number of nodes of type `T`, not counting the punctuation of
74 /// type `P`.
Alex Crichtonccbb45d2017-05-23 10:58:24 -070075 pub fn len(&self) -> usize {
Mateusz Naściszewski14111202018-04-11 21:17:41 +020076 self.inner.len() + if self.last.is_some() { 1 } else { 0 }
Alex Crichtonccbb45d2017-05-23 10:58:24 -070077 }
78
David Tolnayf3198012018-01-06 20:00:42 -080079 /// Borrows the first punctuated pair in this sequence.
David Tolnay56080682018-01-06 14:01:52 -080080 pub fn first(&self) -> Option<Pair<&T, &P>> {
Mateusz Naściszewski14111202018-04-11 21:17:41 +020081 self.pairs().next()
Alex Crichton0aa50e02017-07-07 20:59:03 -070082 }
83
David Tolnayf3198012018-01-06 20:00:42 -080084 /// Borrows the last punctuated pair in this sequence.
David Tolnay56080682018-01-06 14:01:52 -080085 pub fn last(&self) -> Option<Pair<&T, &P>> {
Mateusz Naściszewski14111202018-04-11 21:17:41 +020086 if self.last.is_some() {
David Tolnay94d2b792018-04-29 12:26:10 -070087 self.last.as_ref().map(|t| Pair::End(t.as_ref()))
Mateusz Naściszewski14111202018-04-11 21:17:41 +020088 } else {
David Tolnay94d2b792018-04-29 12:26:10 -070089 self.inner
90 .last()
Mateusz Naściszewski14111202018-04-11 21:17:41 +020091 .map(|&(ref t, ref d)| Pair::Punctuated(t, d))
92 }
Alex Crichton0aa50e02017-07-07 20:59:03 -070093 }
94
David Tolnayf3198012018-01-06 20:00:42 -080095 /// Mutably borrows the last punctuated pair in this sequence.
David Tolnay56080682018-01-06 14:01:52 -080096 pub fn last_mut(&mut self) -> Option<Pair<&mut T, &mut P>> {
Mateusz Naściszewski14111202018-04-11 21:17:41 +020097 if self.last.is_some() {
David Tolnay94d2b792018-04-29 12:26:10 -070098 self.last.as_mut().map(|t| Pair::End(t.as_mut()))
Mateusz Naściszewski14111202018-04-11 21:17:41 +020099 } else {
David Tolnay94d2b792018-04-29 12:26:10 -0700100 self.inner
101 .last_mut()
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200102 .map(|&mut (ref mut t, ref mut d)| Pair::Punctuated(t, d))
103 }
Alex Crichton0aa50e02017-07-07 20:59:03 -0700104 }
105
David Tolnayf3198012018-01-06 20:00:42 -0800106 /// Returns an iterator over borrowed syntax tree nodes of type `&T`.
David Tolnay8095c302018-03-31 19:34:17 +0200107 pub fn iter(&self) -> Iter<T> {
David Tolnay51382052017-12-27 13:46:21 -0500108 Iter {
David Tolnay8095c302018-03-31 19:34:17 +0200109 inner: Box::new(PrivateIter {
110 inner: self.inner.iter(),
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200111 last: self.last.as_ref().map(|t| t.as_ref()).into_iter(),
David Tolnay8095c302018-03-31 19:34:17 +0200112 }),
David Tolnay51382052017-12-27 13:46:21 -0500113 }
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700114 }
115
David Tolnayf3198012018-01-06 20:00:42 -0800116 /// Returns an iterator over mutably borrowed syntax tree nodes of type
117 /// `&mut T`.
David Tolnay8095c302018-03-31 19:34:17 +0200118 pub fn iter_mut(&mut self) -> IterMut<T> {
David Tolnaya0834b42018-01-01 21:30:02 -0800119 IterMut {
David Tolnay8095c302018-03-31 19:34:17 +0200120 inner: Box::new(PrivateIterMut {
121 inner: self.inner.iter_mut(),
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200122 last: self.last.as_mut().map(|t| t.as_mut()).into_iter(),
David Tolnay8095c302018-03-31 19:34:17 +0200123 }),
David Tolnaya0834b42018-01-01 21:30:02 -0800124 }
125 }
126
David Tolnayf3198012018-01-06 20:00:42 -0800127 /// Returns an iterator over the contents of this sequence as borrowed
128 /// punctuated pairs.
David Tolnay56080682018-01-06 14:01:52 -0800129 pub fn pairs(&self) -> Pairs<T, P> {
130 Pairs {
David Tolnay6eff4da2018-01-01 20:27:45 -0800131 inner: self.inner.iter(),
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200132 last: self.last.as_ref().map(|t| t.as_ref()).into_iter(),
David Tolnay6eff4da2018-01-01 20:27:45 -0800133 }
134 }
135
David Tolnayf3198012018-01-06 20:00:42 -0800136 /// Returns an iterator over the contents of this sequence as mutably
137 /// borrowed punctuated pairs.
David Tolnay56080682018-01-06 14:01:52 -0800138 pub fn pairs_mut(&mut self) -> PairsMut<T, P> {
139 PairsMut {
David Tolnay51382052017-12-27 13:46:21 -0500140 inner: self.inner.iter_mut(),
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200141 last: self.last.as_mut().map(|t| t.as_mut()).into_iter(),
David Tolnay51382052017-12-27 13:46:21 -0500142 }
Alex Crichton164c5332017-07-06 13:18:34 -0700143 }
144
David Tolnayf3198012018-01-06 20:00:42 -0800145 /// Returns an iterator over the contents of this sequence as owned
146 /// punctuated pairs.
David Tolnay56080682018-01-06 14:01:52 -0800147 pub fn into_pairs(self) -> IntoPairs<T, P> {
148 IntoPairs {
David Tolnay6eff4da2018-01-01 20:27:45 -0800149 inner: self.inner.into_iter(),
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200150 last: self.last.map(|t| *t).into_iter(),
David Tolnay6eff4da2018-01-01 20:27:45 -0800151 }
152 }
153
David Tolnayf3198012018-01-06 20:00:42 -0800154 /// Appends a syntax tree node onto the end of this punctuated sequence. The
155 /// sequence must previously have a trailing punctuation.
156 ///
157 /// Use [`push`] instead if the punctuated sequence may or may not already
158 /// have trailing punctuation.
159 ///
160 /// [`push`]: #method.push
161 ///
162 /// # Panics
163 ///
164 /// Panics if the sequence does not already have a trailing punctuation when
165 /// this method is called.
David Tolnay56080682018-01-06 14:01:52 -0800166 pub fn push_value(&mut self, value: T) {
David Tolnaydc03aec2017-12-30 01:54:18 -0500167 assert!(self.empty_or_trailing());
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200168 self.last = Some(Box::new(value));
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700169 }
170
David Tolnayf3198012018-01-06 20:00:42 -0800171 /// Appends a trailing punctuation onto the end of this punctuated sequence.
172 /// The sequence must be non-empty and must not already have trailing
173 /// punctuation.
174 ///
175 /// # Panics
176 ///
177 /// Panics if the sequence is empty or already has a trailing punctuation.
David Tolnaya0834b42018-01-01 21:30:02 -0800178 pub fn push_punct(&mut self, punctuation: P) {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200179 assert!(self.last.is_some());
David Tolnay03163082018-04-11 12:10:18 -0700180 let last = self.last.take().unwrap();
181 self.inner.push((*last, punctuation));
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700182 }
183
David Tolnayf3198012018-01-06 20:00:42 -0800184 /// Removes the last punctuated pair from this sequence, or `None` if the
185 /// sequence is empty.
David Tolnay56080682018-01-06 14:01:52 -0800186 pub fn pop(&mut self) -> Option<Pair<T, P>> {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200187 if self.last.is_some() {
David Tolnay03163082018-04-11 12:10:18 -0700188 self.last.take().map(|t| Pair::End(*t))
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200189 } else {
190 self.inner.pop().map(|(t, d)| Pair::Punctuated(t, d))
191 }
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700192 }
193
David Tolnayf3198012018-01-06 20:00:42 -0800194 /// Determines whether this punctuated sequence ends with a trailing
195 /// punctuation.
David Tolnaya0834b42018-01-01 21:30:02 -0800196 pub fn trailing_punct(&self) -> bool {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200197 self.last.is_none() && !self.is_empty()
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700198 }
Michael Layzell3936ceb2017-07-08 00:28:36 -0400199
David Tolnayf2cfd722017-12-31 18:02:51 -0500200 /// Returns true if either this `Punctuated` is empty, or it has a trailing
201 /// punctuation.
David Tolnaydc03aec2017-12-30 01:54:18 -0500202 ///
David Tolnaya0834b42018-01-01 21:30:02 -0800203 /// Equivalent to `punctuated.is_empty() || punctuated.trailing_punct()`.
Michael Layzell3936ceb2017-07-08 00:28:36 -0400204 pub fn empty_or_trailing(&self) -> bool {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200205 self.last.is_none()
Michael Layzell3936ceb2017-07-08 00:28:36 -0400206 }
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700207}
208
David Tolnaya0834b42018-01-01 21:30:02 -0800209impl<T, P> Punctuated<T, P>
210where
211 P: Default,
212{
David Tolnayf3198012018-01-06 20:00:42 -0800213 /// Appends a syntax tree node onto the end of this punctuated sequence.
214 ///
215 /// If there is not a trailing punctuation in this sequence when this method
216 /// is called, the default value of punctuation type `P` is inserted before
217 /// the given value of type `T`.
David Tolnay56080682018-01-06 14:01:52 -0800218 pub fn push(&mut self, value: T) {
David Tolnaya0834b42018-01-01 21:30:02 -0800219 if !self.empty_or_trailing() {
220 self.push_punct(Default::default());
221 }
David Tolnay56080682018-01-06 14:01:52 -0800222 self.push_value(value);
David Tolnaya0834b42018-01-01 21:30:02 -0800223 }
David Tolnayb77d1802018-01-11 16:18:35 -0800224
225 /// Inserts an element at position `index`.
226 ///
227 /// # Panics
228 ///
229 /// Panics if `index` is greater than the number of elements previously in
230 /// this punctuated sequence.
231 pub fn insert(&mut self, index: usize, value: T) {
232 assert!(index <= self.len());
233
234 if index == self.len() {
235 self.push(value);
236 } else {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200237 self.inner.insert(index, (value, Default::default()));
David Tolnayb77d1802018-01-11 16:18:35 -0800238 }
239 }
David Tolnaya0834b42018-01-01 21:30:02 -0800240}
241
Nika Layzelld73a3652017-10-24 08:57:05 -0400242#[cfg(feature = "extra-traits")]
David Tolnayf2cfd722017-12-31 18:02:51 -0500243impl<T: Debug, P: Debug> Debug for Punctuated<T, P> {
Nika Layzelld73a3652017-10-24 08:57:05 -0400244 fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200245 let mut list = f.debug_list();
David Tolnay0c18c512018-07-22 10:39:10 -0700246 for &(ref t, ref p) in &self.inner {
247 list.entry(t);
248 list.entry(p);
249 }
250 if let Some(ref last) = self.last {
251 list.entry(last);
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200252 }
253 list.finish()
Nika Layzelld73a3652017-10-24 08:57:05 -0400254 }
255}
256
David Tolnay9ef24bc2018-01-09 10:43:55 -0800257impl<T, P> FromIterator<T> for Punctuated<T, P>
258where
259 P: Default,
260{
261 fn from_iter<I: IntoIterator<Item = T>>(i: I) -> Self {
262 let mut ret = Punctuated::new();
263 ret.extend(i);
264 ret
265 }
266}
267
268impl<T, P> Extend<T> for Punctuated<T, P>
269where
270 P: Default,
271{
272 fn extend<I: IntoIterator<Item = T>>(&mut self, i: I) {
273 for value in i {
274 self.push(value);
275 }
276 }
277}
278
David Tolnay56080682018-01-06 14:01:52 -0800279impl<T, P> FromIterator<Pair<T, P>> for Punctuated<T, P> {
280 fn from_iter<I: IntoIterator<Item = Pair<T, P>>>(i: I) -> Self {
David Tolnayf2cfd722017-12-31 18:02:51 -0500281 let mut ret = Punctuated::new();
Alex Crichton24f12822017-07-14 07:15:32 -0700282 ret.extend(i);
Alex Crichton954046c2017-05-30 21:49:42 -0700283 ret
284 }
285}
286
David Tolnay56080682018-01-06 14:01:52 -0800287impl<T, P> Extend<Pair<T, P>> for Punctuated<T, P> {
288 fn extend<I: IntoIterator<Item = Pair<T, P>>>(&mut self, i: I) {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200289 assert!(self.empty_or_trailing());
290 let mut nomore = false;
David Tolnay56080682018-01-06 14:01:52 -0800291 for pair in i {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200292 if nomore {
293 panic!("Punctuated extended with items after a Pair::End");
294 }
David Tolnay56080682018-01-06 14:01:52 -0800295 match pair {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200296 Pair::Punctuated(a, b) => self.inner.push((a, b)),
297 Pair::End(a) => {
298 self.last = Some(Box::new(a));
299 nomore = true;
300 }
Alex Crichton24f12822017-07-14 07:15:32 -0700301 }
302 }
303 }
304}
305
David Tolnayf2cfd722017-12-31 18:02:51 -0500306impl<T, P> IntoIterator for Punctuated<T, P> {
David Tolnay6eff4da2018-01-01 20:27:45 -0800307 type Item = T;
David Tolnayf2cfd722017-12-31 18:02:51 -0500308 type IntoIter = IntoIter<T, P>;
Alex Crichton954046c2017-05-30 21:49:42 -0700309
David Tolnaybb4ca9f2017-12-26 12:28:58 -0500310 fn into_iter(self) -> Self::IntoIter {
David Tolnay51382052017-12-27 13:46:21 -0500311 IntoIter {
312 inner: self.inner.into_iter(),
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200313 last: self.last.map(|t| *t).into_iter(),
David Tolnay51382052017-12-27 13:46:21 -0500314 }
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700315 }
316}
317
David Tolnay6eff4da2018-01-01 20:27:45 -0800318impl<'a, T, P> IntoIterator for &'a Punctuated<T, P> {
319 type Item = &'a T;
David Tolnay8095c302018-03-31 19:34:17 +0200320 type IntoIter = Iter<'a, T>;
David Tolnay6eff4da2018-01-01 20:27:45 -0800321
322 fn into_iter(self) -> Self::IntoIter {
323 Punctuated::iter(self)
324 }
325}
326
David Tolnaya0834b42018-01-01 21:30:02 -0800327impl<'a, T, P> IntoIterator for &'a mut Punctuated<T, P> {
328 type Item = &'a mut T;
David Tolnay8095c302018-03-31 19:34:17 +0200329 type IntoIter = IterMut<'a, T>;
David Tolnaya0834b42018-01-01 21:30:02 -0800330
331 fn into_iter(self) -> Self::IntoIter {
332 Punctuated::iter_mut(self)
333 }
334}
335
David Tolnayf2cfd722017-12-31 18:02:51 -0500336impl<T, P> Default for Punctuated<T, P> {
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700337 fn default() -> Self {
David Tolnayf2cfd722017-12-31 18:02:51 -0500338 Punctuated::new()
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700339 }
340}
341
David Tolnayf3198012018-01-06 20:00:42 -0800342/// An iterator over borrowed pairs of type `Pair<&T, &P>`.
343///
344/// Refer to the [module documentation] for details about punctuated sequences.
345///
346/// [module documentation]: index.html
David Tolnay56080682018-01-06 14:01:52 -0800347pub struct Pairs<'a, T: 'a, P: 'a> {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200348 inner: slice::Iter<'a, (T, P)>,
349 last: option::IntoIter<&'a T>,
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700350}
351
David Tolnay56080682018-01-06 14:01:52 -0800352impl<'a, T, P> Iterator for Pairs<'a, T, P> {
353 type Item = Pair<&'a T, &'a P>;
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700354
David Tolnay6eff4da2018-01-01 20:27:45 -0800355 fn next(&mut self) -> Option<Self::Item> {
David Tolnay94d2b792018-04-29 12:26:10 -0700356 self.inner
357 .next()
358 .map(|&(ref t, ref p)| Pair::Punctuated(t, p))
David Tolnay6e4a9c22018-04-11 12:20:08 -0700359 .or_else(|| self.last.next().map(Pair::End))
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700360 }
361}
362
David Tolnay9700be02018-04-30 00:51:15 -0700363impl<'a, T, P> ExactSizeIterator for Pairs<'a, T, P> {
364 fn len(&self) -> usize {
365 self.inner.len() + self.last.len()
366 }
367}
368
David Tolnayf3198012018-01-06 20:00:42 -0800369/// An iterator over mutably borrowed pairs of type `Pair<&mut T, &mut P>`.
370///
371/// Refer to the [module documentation] for details about punctuated sequences.
372///
373/// [module documentation]: index.html
David Tolnay56080682018-01-06 14:01:52 -0800374pub struct PairsMut<'a, T: 'a, P: 'a> {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200375 inner: slice::IterMut<'a, (T, P)>,
376 last: option::IntoIter<&'a mut T>,
Alex Crichton164c5332017-07-06 13:18:34 -0700377}
378
David Tolnay56080682018-01-06 14:01:52 -0800379impl<'a, T, P> Iterator for PairsMut<'a, T, P> {
380 type Item = Pair<&'a mut T, &'a mut P>;
Alex Crichton164c5332017-07-06 13:18:34 -0700381
David Tolnay6eff4da2018-01-01 20:27:45 -0800382 fn next(&mut self) -> Option<Self::Item> {
David Tolnay94d2b792018-04-29 12:26:10 -0700383 self.inner
384 .next()
385 .map(|&mut (ref mut t, ref mut p)| Pair::Punctuated(t, p))
David Tolnay6e4a9c22018-04-11 12:20:08 -0700386 .or_else(|| self.last.next().map(Pair::End))
Alex Crichton164c5332017-07-06 13:18:34 -0700387 }
388}
389
David Tolnay9700be02018-04-30 00:51:15 -0700390impl<'a, T, P> ExactSizeIterator for PairsMut<'a, T, P> {
391 fn len(&self) -> usize {
392 self.inner.len() + self.last.len()
393 }
394}
395
David Tolnayf3198012018-01-06 20:00:42 -0800396/// An iterator over owned pairs of type `Pair<T, P>`.
397///
398/// Refer to the [module documentation] for details about punctuated sequences.
399///
400/// [module documentation]: index.html
David Tolnay56080682018-01-06 14:01:52 -0800401pub struct IntoPairs<T, P> {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200402 inner: vec::IntoIter<(T, P)>,
403 last: option::IntoIter<T>,
David Tolnay6eff4da2018-01-01 20:27:45 -0800404}
405
David Tolnay56080682018-01-06 14:01:52 -0800406impl<T, P> Iterator for IntoPairs<T, P> {
407 type Item = Pair<T, P>;
David Tolnay6eff4da2018-01-01 20:27:45 -0800408
409 fn next(&mut self) -> Option<Self::Item> {
David Tolnay94d2b792018-04-29 12:26:10 -0700410 self.inner
411 .next()
412 .map(|(t, p)| Pair::Punctuated(t, p))
David Tolnay6e4a9c22018-04-11 12:20:08 -0700413 .or_else(|| self.last.next().map(Pair::End))
David Tolnay6eff4da2018-01-01 20:27:45 -0800414 }
415}
416
David Tolnay9700be02018-04-30 00:51:15 -0700417impl<T, P> ExactSizeIterator for IntoPairs<T, P> {
418 fn len(&self) -> usize {
419 self.inner.len() + self.last.len()
420 }
421}
422
David Tolnayf3198012018-01-06 20:00:42 -0800423/// An iterator over owned values of type `T`.
424///
425/// Refer to the [module documentation] for details about punctuated sequences.
426///
427/// [module documentation]: index.html
David Tolnayf2cfd722017-12-31 18:02:51 -0500428pub struct IntoIter<T, P> {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200429 inner: vec::IntoIter<(T, P)>,
430 last: option::IntoIter<T>,
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700431}
432
David Tolnayf2cfd722017-12-31 18:02:51 -0500433impl<T, P> Iterator for IntoIter<T, P> {
David Tolnay6eff4da2018-01-01 20:27:45 -0800434 type Item = T;
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700435
David Tolnay6eff4da2018-01-01 20:27:45 -0800436 fn next(&mut self) -> Option<Self::Item> {
David Tolnay94d2b792018-04-29 12:26:10 -0700437 self.inner
438 .next()
439 .map(|pair| pair.0)
440 .or_else(|| self.last.next())
David Tolnay6eff4da2018-01-01 20:27:45 -0800441 }
442}
443
David Tolnay9700be02018-04-30 00:51:15 -0700444impl<T, P> ExactSizeIterator for IntoIter<T, P> {
445 fn len(&self) -> usize {
446 self.inner.len() + self.last.len()
447 }
448}
449
David Tolnayf3198012018-01-06 20:00:42 -0800450/// An iterator over borrowed values of type `&T`.
451///
452/// Refer to the [module documentation] for details about punctuated sequences.
453///
454/// [module documentation]: index.html
David Tolnay8095c302018-03-31 19:34:17 +0200455pub struct Iter<'a, T: 'a> {
David Tolnay9700be02018-04-30 00:51:15 -0700456 inner: Box<ExactSizeIterator<Item = &'a T> + 'a>,
David Tolnay8095c302018-03-31 19:34:17 +0200457}
458
459struct PrivateIter<'a, T: 'a, P: 'a> {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200460 inner: slice::Iter<'a, (T, P)>,
461 last: option::IntoIter<&'a T>,
David Tolnay6eff4da2018-01-01 20:27:45 -0800462}
463
David Tolnay96a09d92018-01-16 22:24:03 -0800464#[cfg(any(feature = "full", feature = "derive"))]
David Tolnay8095c302018-03-31 19:34:17 +0200465impl<'a, T> Iter<'a, T> {
David Tolnay96a09d92018-01-16 22:24:03 -0800466 // Not public API.
467 #[doc(hidden)]
468 pub fn private_empty() -> Self {
469 Iter {
David Tolnay8095c302018-03-31 19:34:17 +0200470 inner: Box::new(iter::empty()),
David Tolnay96a09d92018-01-16 22:24:03 -0800471 }
472 }
473}
474
David Tolnay8095c302018-03-31 19:34:17 +0200475impl<'a, T> Iterator for Iter<'a, T> {
476 type Item = &'a T;
477
478 fn next(&mut self) -> Option<Self::Item> {
479 self.inner.next()
480 }
481}
482
David Tolnay9700be02018-04-30 00:51:15 -0700483impl<'a, T> ExactSizeIterator for Iter<'a, T> {
484 fn len(&self) -> usize {
485 self.inner.len()
486 }
487}
488
David Tolnay8095c302018-03-31 19:34:17 +0200489impl<'a, T, P> Iterator for PrivateIter<'a, T, P> {
David Tolnay6eff4da2018-01-01 20:27:45 -0800490 type Item = &'a T;
491
492 fn next(&mut self) -> Option<Self::Item> {
David Tolnay94d2b792018-04-29 12:26:10 -0700493 self.inner
494 .next()
495 .map(|pair| &pair.0)
496 .or_else(|| self.last.next())
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700497 }
498}
499
David Tolnay9700be02018-04-30 00:51:15 -0700500impl<'a, T, P> ExactSizeIterator for PrivateIter<'a, T, P> {
501 fn len(&self) -> usize {
502 self.inner.len() + self.last.len()
503 }
504}
505
David Tolnayf3198012018-01-06 20:00:42 -0800506/// An iterator over mutably borrowed values of type `&mut T`.
507///
508/// Refer to the [module documentation] for details about punctuated sequences.
509///
510/// [module documentation]: index.html
David Tolnay8095c302018-03-31 19:34:17 +0200511pub struct IterMut<'a, T: 'a> {
David Tolnay9700be02018-04-30 00:51:15 -0700512 inner: Box<ExactSizeIterator<Item = &'a mut T> + 'a>,
David Tolnay8095c302018-03-31 19:34:17 +0200513}
514
515struct PrivateIterMut<'a, T: 'a, P: 'a> {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200516 inner: slice::IterMut<'a, (T, P)>,
517 last: option::IntoIter<&'a mut T>,
David Tolnaya0834b42018-01-01 21:30:02 -0800518}
519
Michael Bradshaw0b13ae62018-08-02 23:43:15 -0600520#[cfg(any(feature = "full", feature = "derive"))]
521impl<'a, T> IterMut<'a, T> {
522 // Not public API.
523 #[doc(hidden)]
524 pub fn private_empty() -> Self {
525 IterMut {
526 inner: Box::new(iter::empty()),
527 }
528 }
529}
530
David Tolnay8095c302018-03-31 19:34:17 +0200531impl<'a, T> Iterator for IterMut<'a, T> {
532 type Item = &'a mut T;
533
534 fn next(&mut self) -> Option<Self::Item> {
535 self.inner.next()
536 }
537}
538
David Tolnay9700be02018-04-30 00:51:15 -0700539impl<'a, T> ExactSizeIterator for IterMut<'a, T> {
540 fn len(&self) -> usize {
541 self.inner.len()
542 }
543}
544
David Tolnay8095c302018-03-31 19:34:17 +0200545impl<'a, T, P> Iterator for PrivateIterMut<'a, T, P> {
David Tolnaya0834b42018-01-01 21:30:02 -0800546 type Item = &'a mut T;
547
548 fn next(&mut self) -> Option<Self::Item> {
David Tolnay94d2b792018-04-29 12:26:10 -0700549 self.inner
550 .next()
551 .map(|pair| &mut pair.0)
552 .or_else(|| self.last.next())
David Tolnaya0834b42018-01-01 21:30:02 -0800553 }
554}
555
David Tolnay9700be02018-04-30 00:51:15 -0700556impl<'a, T, P> ExactSizeIterator for PrivateIterMut<'a, T, P> {
557 fn len(&self) -> usize {
558 self.inner.len() + self.last.len()
559 }
560}
561
David Tolnayf3198012018-01-06 20:00:42 -0800562/// A single syntax tree node of type `T` followed by its trailing punctuation
563/// of type `P` if any.
564///
565/// Refer to the [module documentation] for details about punctuated sequences.
566///
567/// [module documentation]: index.html
David Tolnay56080682018-01-06 14:01:52 -0800568pub enum Pair<T, P> {
David Tolnayf2cfd722017-12-31 18:02:51 -0500569 Punctuated(T, P),
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700570 End(T),
571}
572
David Tolnay56080682018-01-06 14:01:52 -0800573impl<T, P> Pair<T, P> {
David Tolnayf3198012018-01-06 20:00:42 -0800574 /// Extracts the syntax tree node from this punctuated pair, discarding the
575 /// following punctuation.
David Tolnay56080682018-01-06 14:01:52 -0800576 pub fn into_value(self) -> T {
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700577 match self {
David Tolnay56080682018-01-06 14:01:52 -0800578 Pair::Punctuated(t, _) | Pair::End(t) => t,
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700579 }
580 }
581
David Tolnayf3198012018-01-06 20:00:42 -0800582 /// Borrows the syntax tree node from this punctuated pair.
David Tolnay56080682018-01-06 14:01:52 -0800583 pub fn value(&self) -> &T {
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700584 match *self {
David Tolnay56080682018-01-06 14:01:52 -0800585 Pair::Punctuated(ref t, _) | Pair::End(ref t) => t,
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700586 }
587 }
588
David Tolnayf3198012018-01-06 20:00:42 -0800589 /// Mutably borrows the syntax tree node from this punctuated pair.
David Tolnay56080682018-01-06 14:01:52 -0800590 pub fn value_mut(&mut self) -> &mut T {
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700591 match *self {
David Tolnay56080682018-01-06 14:01:52 -0800592 Pair::Punctuated(ref mut t, _) | Pair::End(ref mut t) => t,
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700593 }
594 }
595
David Tolnayf3198012018-01-06 20:00:42 -0800596 /// Borrows the punctuation from this punctuated pair, unless this pair is
597 /// the final one and there is no trailing punctuation.
David Tolnayf2cfd722017-12-31 18:02:51 -0500598 pub fn punct(&self) -> Option<&P> {
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700599 match *self {
David Tolnay56080682018-01-06 14:01:52 -0800600 Pair::Punctuated(_, ref d) => Some(d),
601 Pair::End(_) => None,
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700602 }
603 }
Nika Layzellcda7ebd2017-10-24 23:10:44 -0400604
David Tolnayf3198012018-01-06 20:00:42 -0800605 /// Creates a punctuated pair out of a syntax tree node and an optional
606 /// following punctuation.
David Tolnayf2cfd722017-12-31 18:02:51 -0500607 pub fn new(t: T, d: Option<P>) -> Self {
David Tolnay660fd1f2017-12-31 01:52:57 -0500608 match d {
David Tolnay56080682018-01-06 14:01:52 -0800609 Some(d) => Pair::Punctuated(t, d),
610 None => Pair::End(t),
David Tolnay660fd1f2017-12-31 01:52:57 -0500611 }
612 }
613
David Tolnayf3198012018-01-06 20:00:42 -0800614 /// Produces this punctuated pair as a tuple of syntax tree node and
615 /// optional following punctuation.
David Tolnayf2cfd722017-12-31 18:02:51 -0500616 pub fn into_tuple(self) -> (T, Option<P>) {
Nika Layzellcda7ebd2017-10-24 23:10:44 -0400617 match self {
David Tolnay56080682018-01-06 14:01:52 -0800618 Pair::Punctuated(t, d) => (t, Some(d)),
619 Pair::End(t) => (t, None),
Nika Layzellcda7ebd2017-10-24 23:10:44 -0400620 }
621 }
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700622}
623
David Tolnaybb987132018-01-08 13:51:19 -0800624impl<T, P> Index<usize> for Punctuated<T, P> {
625 type Output = T;
626
627 fn index(&self, index: usize) -> &Self::Output {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200628 if index == self.len() - 1 {
629 match self.last {
630 Some(ref t) => t,
David Tolnay94d2b792018-04-29 12:26:10 -0700631 None => &self.inner[index].0,
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200632 }
633 } else {
634 &self.inner[index].0
635 }
David Tolnaybb987132018-01-08 13:51:19 -0800636 }
637}
638
639impl<T, P> IndexMut<usize> for Punctuated<T, P> {
640 fn index_mut(&mut self, index: usize) -> &mut Self::Output {
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200641 if index == self.len() - 1 {
642 match self.last {
643 Some(ref mut t) => t,
David Tolnay94d2b792018-04-29 12:26:10 -0700644 None => &mut self.inner[index].0,
Mateusz Naściszewski14111202018-04-11 21:17:41 +0200645 }
646 } else {
647 &mut self.inner[index].0
648 }
David Tolnaybb987132018-01-08 13:51:19 -0800649 }
650}
651
Alex Crichton7b9e02f2017-05-30 15:54:33 -0700652#[cfg(feature = "parsing")]
David Tolnayf3198012018-01-06 20:00:42 -0800653impl<T, P> Punctuated<T, P>
654where
David Tolnay577d0332018-08-25 21:45:24 -0400655 P: Parse,
656{
David Tolnayecf0fbc2018-08-30 18:28:33 -0700657 pub fn parse_terminated(
David Tolnay577d0332018-08-25 21:45:24 -0400658 input: ParseStream,
659 parser: fn(ParseStream) -> Result<T>,
660 ) -> Result<Self> {
661 let mut res = Punctuated::new();
662
663 loop {
664 if input.is_empty() {
665 break;
666 }
667 let value = parser(input)?;
668 res.push_value(value);
669 if input.is_empty() {
670 break;
671 }
672 let punct = input.parse()?;
673 res.push_punct(punct);
674 }
675
676 Ok(res)
677 }
678}
679
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700680#[cfg(feature = "printing")]
681mod printing {
682 use super::*;
Alex Crichtona74a1c82018-05-16 10:20:44 -0700683 use proc_macro2::TokenStream;
David Tolnay65fb5662018-05-20 20:02:28 -0700684 use quote::{ToTokens, TokenStreamExt};
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700685
David Tolnayf2cfd722017-12-31 18:02:51 -0500686 impl<T, P> ToTokens for Punctuated<T, P>
David Tolnay51382052017-12-27 13:46:21 -0500687 where
688 T: ToTokens,
David Tolnayf2cfd722017-12-31 18:02:51 -0500689 P: ToTokens,
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700690 {
Alex Crichtona74a1c82018-05-16 10:20:44 -0700691 fn to_tokens(&self, tokens: &mut TokenStream) {
David Tolnay56080682018-01-06 14:01:52 -0800692 tokens.append_all(self.pairs())
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700693 }
694 }
695
David Tolnay56080682018-01-06 14:01:52 -0800696 impl<T, P> ToTokens for Pair<T, P>
David Tolnay51382052017-12-27 13:46:21 -0500697 where
698 T: ToTokens,
David Tolnayf2cfd722017-12-31 18:02:51 -0500699 P: ToTokens,
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700700 {
Alex Crichtona74a1c82018-05-16 10:20:44 -0700701 fn to_tokens(&self, tokens: &mut TokenStream) {
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700702 match *self {
David Tolnay56080682018-01-06 14:01:52 -0800703 Pair::Punctuated(ref a, ref b) => {
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700704 a.to_tokens(tokens);
705 b.to_tokens(tokens);
706 }
David Tolnay56080682018-01-06 14:01:52 -0800707 Pair::End(ref a) => a.to_tokens(tokens),
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700708 }
709 }
710 }
711}