blob: a826de5aae8a52fa6c891d0c4a8505f04f3b35d0 [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
Alex Crichtonccbb45d2017-05-23 10:58:24 -070030use std::iter::FromIterator;
David Tolnaybb987132018-01-08 13:51:19 -080031use std::ops::{Index, IndexMut};
Alex Crichtonccbb45d2017-05-23 10:58:24 -070032use std::slice;
33use std::vec;
Nika Layzelld73a3652017-10-24 08:57:05 -040034#[cfg(feature = "extra-traits")]
35use std::fmt::{self, Debug};
Alex Crichtonccbb45d2017-05-23 10:58:24 -070036
David Tolnayf3198012018-01-06 20:00:42 -080037#[cfg(feature = "parsing")]
38use synom::{Synom, PResult};
39#[cfg(feature = "parsing")]
40use buffer::Cursor;
41#[cfg(feature = "parsing")]
42use parse_error;
43
44/// A punctuated sequence of syntax tree nodes of type `T` separated by
45/// punctuation of type `P`.
46///
47/// Refer to the [module documentation] for details about punctuated sequences.
48///
49/// [module documentation]: index.html
Nika Layzelld73a3652017-10-24 08:57:05 -040050#[cfg_attr(feature = "extra-traits", derive(Eq, PartialEq, Hash))]
Alex Crichton7b9e02f2017-05-30 15:54:33 -070051#[cfg_attr(feature = "clone-impls", derive(Clone))]
David Tolnayf2cfd722017-12-31 18:02:51 -050052pub struct Punctuated<T, P> {
53 inner: Vec<(T, Option<P>)>,
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> {
59 Punctuated { inner: Vec::new() }
Alex Crichtonccbb45d2017-05-23 10:58:24 -070060 }
61
David Tolnayf3198012018-01-06 20:00:42 -080062 /// Determines whether this punctuated sequence is empty, meaning it
63 /// contains no syntax tree nodes or punctuation.
Alex Crichtonccbb45d2017-05-23 10:58:24 -070064 pub fn is_empty(&self) -> bool {
65 self.inner.len() == 0
66 }
67
David Tolnayf3198012018-01-06 20:00:42 -080068 /// Returns the number of syntax tree nodes in this punctuated sequence.
69 ///
70 /// This is the number of nodes of type `T`, not counting the punctuation of
71 /// type `P`.
Alex Crichtonccbb45d2017-05-23 10:58:24 -070072 pub fn len(&self) -> usize {
73 self.inner.len()
74 }
75
David Tolnayf3198012018-01-06 20:00:42 -080076 /// Borrows the first punctuated pair in this sequence.
David Tolnay56080682018-01-06 14:01:52 -080077 pub fn first(&self) -> Option<Pair<&T, &P>> {
David Tolnay51382052017-12-27 13:46:21 -050078 self.inner.first().map(|&(ref t, ref d)| match *d {
David Tolnay56080682018-01-06 14:01:52 -080079 Some(ref d) => Pair::Punctuated(t, d),
80 None => Pair::End(t),
Alex Crichton0aa50e02017-07-07 20:59:03 -070081 })
82 }
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>> {
David Tolnay51382052017-12-27 13:46:21 -050086 self.inner.last().map(|&(ref t, ref d)| match *d {
David Tolnay56080682018-01-06 14:01:52 -080087 Some(ref d) => Pair::Punctuated(t, d),
88 None => Pair::End(t),
Alex Crichton0aa50e02017-07-07 20:59:03 -070089 })
90 }
91
David Tolnayf3198012018-01-06 20:00:42 -080092 /// Mutably borrows the last punctuated pair in this sequence.
David Tolnay56080682018-01-06 14:01:52 -080093 pub fn last_mut(&mut self) -> Option<Pair<&mut T, &mut P>> {
David Tolnay51382052017-12-27 13:46:21 -050094 self.inner
95 .last_mut()
96 .map(|&mut (ref mut t, ref mut d)| match *d {
David Tolnay56080682018-01-06 14:01:52 -080097 Some(ref mut d) => Pair::Punctuated(t, d),
98 None => Pair::End(t),
David Tolnay51382052017-12-27 13:46:21 -050099 })
Alex Crichton0aa50e02017-07-07 20:59:03 -0700100 }
101
David Tolnayf3198012018-01-06 20:00:42 -0800102 /// Returns an iterator over borrowed syntax tree nodes of type `&T`.
David Tolnayf2cfd722017-12-31 18:02:51 -0500103 pub fn iter(&self) -> Iter<T, P> {
David Tolnay51382052017-12-27 13:46:21 -0500104 Iter {
105 inner: self.inner.iter(),
106 }
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700107 }
108
David Tolnayf3198012018-01-06 20:00:42 -0800109 /// Returns an iterator over mutably borrowed syntax tree nodes of type
110 /// `&mut T`.
David Tolnaya0834b42018-01-01 21:30:02 -0800111 pub fn iter_mut(&mut self) -> IterMut<T, P> {
112 IterMut {
113 inner: self.inner.iter_mut(),
114 }
115 }
116
David Tolnayf3198012018-01-06 20:00:42 -0800117 /// Returns an iterator over the contents of this sequence as borrowed
118 /// punctuated pairs.
David Tolnay56080682018-01-06 14:01:52 -0800119 pub fn pairs(&self) -> Pairs<T, P> {
120 Pairs {
David Tolnay6eff4da2018-01-01 20:27:45 -0800121 inner: self.inner.iter(),
122 }
123 }
124
David Tolnayf3198012018-01-06 20:00:42 -0800125 /// Returns an iterator over the contents of this sequence as mutably
126 /// borrowed punctuated pairs.
David Tolnay56080682018-01-06 14:01:52 -0800127 pub fn pairs_mut(&mut self) -> PairsMut<T, P> {
128 PairsMut {
David Tolnay51382052017-12-27 13:46:21 -0500129 inner: self.inner.iter_mut(),
130 }
Alex Crichton164c5332017-07-06 13:18:34 -0700131 }
132
David Tolnayf3198012018-01-06 20:00:42 -0800133 /// Returns an iterator over the contents of this sequence as owned
134 /// punctuated pairs.
David Tolnay56080682018-01-06 14:01:52 -0800135 pub fn into_pairs(self) -> IntoPairs<T, P> {
136 IntoPairs {
David Tolnay6eff4da2018-01-01 20:27:45 -0800137 inner: self.inner.into_iter(),
138 }
139 }
140
David Tolnayf3198012018-01-06 20:00:42 -0800141 /// Appends a syntax tree node onto the end of this punctuated sequence. The
142 /// sequence must previously have a trailing punctuation.
143 ///
144 /// Use [`push`] instead if the punctuated sequence may or may not already
145 /// have trailing punctuation.
146 ///
147 /// [`push`]: #method.push
148 ///
149 /// # Panics
150 ///
151 /// Panics if the sequence does not already have a trailing punctuation when
152 /// this method is called.
David Tolnay56080682018-01-06 14:01:52 -0800153 pub fn push_value(&mut self, value: T) {
David Tolnaydc03aec2017-12-30 01:54:18 -0500154 assert!(self.empty_or_trailing());
David Tolnay56080682018-01-06 14:01:52 -0800155 self.inner.push((value, None));
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700156 }
157
David Tolnayf3198012018-01-06 20:00:42 -0800158 /// Appends a trailing punctuation onto the end of this punctuated sequence.
159 /// The sequence must be non-empty and must not already have trailing
160 /// punctuation.
161 ///
162 /// # Panics
163 ///
164 /// Panics if the sequence is empty or already has a trailing punctuation.
David Tolnaya0834b42018-01-01 21:30:02 -0800165 pub fn push_punct(&mut self, punctuation: P) {
David Tolnay660fd1f2017-12-31 01:52:57 -0500166 assert!(!self.is_empty());
167 let last = self.inner.last_mut().unwrap();
168 assert!(last.1.is_none());
David Tolnayf2cfd722017-12-31 18:02:51 -0500169 last.1 = Some(punctuation);
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700170 }
171
David Tolnayf3198012018-01-06 20:00:42 -0800172 /// Removes the last punctuated pair from this sequence, or `None` if the
173 /// sequence is empty.
David Tolnay56080682018-01-06 14:01:52 -0800174 pub fn pop(&mut self) -> Option<Pair<T, P>> {
175 self.inner.pop().map(|(t, d)| Pair::new(t, d))
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700176 }
177
David Tolnayf3198012018-01-06 20:00:42 -0800178 /// Determines whether this punctuated sequence ends with a trailing
179 /// punctuation.
David Tolnaya0834b42018-01-01 21:30:02 -0800180 pub fn trailing_punct(&self) -> bool {
David Tolnay61037c62018-01-05 16:21:03 -0800181 self.inner
182 .last()
183 .map(|last| last.1.is_some())
184 .unwrap_or(false)
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700185 }
Michael Layzell3936ceb2017-07-08 00:28:36 -0400186
David Tolnayf2cfd722017-12-31 18:02:51 -0500187 /// Returns true if either this `Punctuated` is empty, or it has a trailing
188 /// punctuation.
David Tolnaydc03aec2017-12-30 01:54:18 -0500189 ///
David Tolnaya0834b42018-01-01 21:30:02 -0800190 /// Equivalent to `punctuated.is_empty() || punctuated.trailing_punct()`.
Michael Layzell3936ceb2017-07-08 00:28:36 -0400191 pub fn empty_or_trailing(&self) -> bool {
David Tolnay61037c62018-01-05 16:21:03 -0800192 self.inner
193 .last()
194 .map(|last| last.1.is_some())
195 .unwrap_or(true)
Michael Layzell3936ceb2017-07-08 00:28:36 -0400196 }
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700197}
198
David Tolnaya0834b42018-01-01 21:30:02 -0800199impl<T, P> Punctuated<T, P>
200where
201 P: Default,
202{
David Tolnayf3198012018-01-06 20:00:42 -0800203 /// Appends a syntax tree node onto the end of this punctuated sequence.
204 ///
205 /// If there is not a trailing punctuation in this sequence when this method
206 /// is called, the default value of punctuation type `P` is inserted before
207 /// the given value of type `T`.
David Tolnay56080682018-01-06 14:01:52 -0800208 pub fn push(&mut self, value: T) {
David Tolnaya0834b42018-01-01 21:30:02 -0800209 if !self.empty_or_trailing() {
210 self.push_punct(Default::default());
211 }
David Tolnay56080682018-01-06 14:01:52 -0800212 self.push_value(value);
David Tolnaya0834b42018-01-01 21:30:02 -0800213 }
David Tolnayb77d1802018-01-11 16:18:35 -0800214
215 /// Inserts an element at position `index`.
216 ///
217 /// # Panics
218 ///
219 /// Panics if `index` is greater than the number of elements previously in
220 /// this punctuated sequence.
221 pub fn insert(&mut self, index: usize, value: T) {
222 assert!(index <= self.len());
223
224 if index == self.len() {
225 self.push(value);
226 } else {
227 self.inner.insert(index, (value, Some(Default::default())));
228 }
229 }
David Tolnaya0834b42018-01-01 21:30:02 -0800230}
231
Nika Layzelld73a3652017-10-24 08:57:05 -0400232#[cfg(feature = "extra-traits")]
David Tolnayf2cfd722017-12-31 18:02:51 -0500233impl<T: Debug, P: Debug> Debug for Punctuated<T, P> {
Nika Layzelld73a3652017-10-24 08:57:05 -0400234 fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
235 self.inner.fmt(f)
236 }
237}
238
David Tolnay9ef24bc2018-01-09 10:43:55 -0800239impl<T, P> FromIterator<T> for Punctuated<T, P>
240where
241 P: Default,
242{
243 fn from_iter<I: IntoIterator<Item = T>>(i: I) -> Self {
244 let mut ret = Punctuated::new();
245 ret.extend(i);
246 ret
247 }
248}
249
250impl<T, P> Extend<T> for Punctuated<T, P>
251where
252 P: Default,
253{
254 fn extend<I: IntoIterator<Item = T>>(&mut self, i: I) {
255 for value in i {
256 self.push(value);
257 }
258 }
259}
260
David Tolnay56080682018-01-06 14:01:52 -0800261impl<T, P> FromIterator<Pair<T, P>> for Punctuated<T, P> {
262 fn from_iter<I: IntoIterator<Item = Pair<T, P>>>(i: I) -> Self {
David Tolnayf2cfd722017-12-31 18:02:51 -0500263 let mut ret = Punctuated::new();
Alex Crichton24f12822017-07-14 07:15:32 -0700264 ret.extend(i);
Alex Crichton954046c2017-05-30 21:49:42 -0700265 ret
266 }
267}
268
David Tolnay56080682018-01-06 14:01:52 -0800269impl<T, P> Extend<Pair<T, P>> for Punctuated<T, P> {
270 fn extend<I: IntoIterator<Item = Pair<T, P>>>(&mut self, i: I) {
271 for pair in i {
272 match pair {
273 Pair::Punctuated(a, b) => self.inner.push((a, Some(b))),
274 Pair::End(a) => self.inner.push((a, None)),
Alex Crichton24f12822017-07-14 07:15:32 -0700275 }
276 }
277 }
278}
279
David Tolnayf2cfd722017-12-31 18:02:51 -0500280impl<T, P> IntoIterator for Punctuated<T, P> {
David Tolnay6eff4da2018-01-01 20:27:45 -0800281 type Item = T;
David Tolnayf2cfd722017-12-31 18:02:51 -0500282 type IntoIter = IntoIter<T, P>;
Alex Crichton954046c2017-05-30 21:49:42 -0700283
David Tolnaybb4ca9f2017-12-26 12:28:58 -0500284 fn into_iter(self) -> Self::IntoIter {
David Tolnay51382052017-12-27 13:46:21 -0500285 IntoIter {
286 inner: self.inner.into_iter(),
287 }
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700288 }
289}
290
David Tolnay6eff4da2018-01-01 20:27:45 -0800291impl<'a, T, P> IntoIterator for &'a Punctuated<T, P> {
292 type Item = &'a T;
293 type IntoIter = Iter<'a, T, P>;
294
295 fn into_iter(self) -> Self::IntoIter {
296 Punctuated::iter(self)
297 }
298}
299
David Tolnaya0834b42018-01-01 21:30:02 -0800300impl<'a, T, P> IntoIterator for &'a mut Punctuated<T, P> {
301 type Item = &'a mut T;
302 type IntoIter = IterMut<'a, T, P>;
303
304 fn into_iter(self) -> Self::IntoIter {
305 Punctuated::iter_mut(self)
306 }
307}
308
David Tolnayf2cfd722017-12-31 18:02:51 -0500309impl<T, P> Default for Punctuated<T, P> {
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700310 fn default() -> Self {
David Tolnayf2cfd722017-12-31 18:02:51 -0500311 Punctuated::new()
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700312 }
313}
314
David Tolnayf3198012018-01-06 20:00:42 -0800315/// An iterator over borrowed pairs of type `Pair<&T, &P>`.
316///
317/// Refer to the [module documentation] for details about punctuated sequences.
318///
319/// [module documentation]: index.html
David Tolnay56080682018-01-06 14:01:52 -0800320pub struct Pairs<'a, T: 'a, P: 'a> {
David Tolnayf2cfd722017-12-31 18:02:51 -0500321 inner: slice::Iter<'a, (T, Option<P>)>,
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700322}
323
David Tolnay56080682018-01-06 14:01:52 -0800324impl<'a, T, P> Iterator for Pairs<'a, T, P> {
325 type Item = Pair<&'a T, &'a P>;
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700326
David Tolnay6eff4da2018-01-01 20:27:45 -0800327 fn next(&mut self) -> Option<Self::Item> {
David Tolnay51382052017-12-27 13:46:21 -0500328 self.inner.next().map(|pair| match pair.1 {
David Tolnay56080682018-01-06 14:01:52 -0800329 Some(ref p) => Pair::Punctuated(&pair.0, p),
330 None => Pair::End(&pair.0),
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700331 })
332 }
333}
334
David Tolnayf3198012018-01-06 20:00:42 -0800335/// An iterator over mutably borrowed pairs of type `Pair<&mut T, &mut P>`.
336///
337/// Refer to the [module documentation] for details about punctuated sequences.
338///
339/// [module documentation]: index.html
David Tolnay56080682018-01-06 14:01:52 -0800340pub struct PairsMut<'a, T: 'a, P: 'a> {
David Tolnayf2cfd722017-12-31 18:02:51 -0500341 inner: slice::IterMut<'a, (T, Option<P>)>,
Alex Crichton164c5332017-07-06 13:18:34 -0700342}
343
David Tolnay56080682018-01-06 14:01:52 -0800344impl<'a, T, P> Iterator for PairsMut<'a, T, P> {
345 type Item = Pair<&'a mut T, &'a mut P>;
Alex Crichton164c5332017-07-06 13:18:34 -0700346
David Tolnay6eff4da2018-01-01 20:27:45 -0800347 fn next(&mut self) -> Option<Self::Item> {
David Tolnay51382052017-12-27 13:46:21 -0500348 self.inner.next().map(|pair| match pair.1 {
David Tolnay56080682018-01-06 14:01:52 -0800349 Some(ref mut p) => Pair::Punctuated(&mut pair.0, p),
350 None => Pair::End(&mut pair.0),
Alex Crichton164c5332017-07-06 13:18:34 -0700351 })
352 }
353}
354
David Tolnayf3198012018-01-06 20:00:42 -0800355/// An iterator over owned pairs of type `Pair<T, P>`.
356///
357/// Refer to the [module documentation] for details about punctuated sequences.
358///
359/// [module documentation]: index.html
David Tolnay56080682018-01-06 14:01:52 -0800360pub struct IntoPairs<T, P> {
David Tolnay6eff4da2018-01-01 20:27:45 -0800361 inner: vec::IntoIter<(T, Option<P>)>,
362}
363
David Tolnay56080682018-01-06 14:01:52 -0800364impl<T, P> Iterator for IntoPairs<T, P> {
365 type Item = Pair<T, P>;
David Tolnay6eff4da2018-01-01 20:27:45 -0800366
367 fn next(&mut self) -> Option<Self::Item> {
368 self.inner.next().map(|pair| match pair.1 {
David Tolnay56080682018-01-06 14:01:52 -0800369 Some(p) => Pair::Punctuated(pair.0, p),
370 None => Pair::End(pair.0),
David Tolnay6eff4da2018-01-01 20:27:45 -0800371 })
372 }
373}
374
David Tolnayf3198012018-01-06 20:00:42 -0800375/// An iterator over owned values of type `T`.
376///
377/// Refer to the [module documentation] for details about punctuated sequences.
378///
379/// [module documentation]: index.html
David Tolnayf2cfd722017-12-31 18:02:51 -0500380pub struct IntoIter<T, P> {
381 inner: vec::IntoIter<(T, Option<P>)>,
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700382}
383
David Tolnayf2cfd722017-12-31 18:02:51 -0500384impl<T, P> Iterator for IntoIter<T, P> {
David Tolnay6eff4da2018-01-01 20:27:45 -0800385 type Item = T;
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700386
David Tolnay6eff4da2018-01-01 20:27:45 -0800387 fn next(&mut self) -> Option<Self::Item> {
388 self.inner.next().map(|pair| pair.0)
389 }
390}
391
David Tolnayf3198012018-01-06 20:00:42 -0800392/// An iterator over borrowed values of type `&T`.
393///
394/// Refer to the [module documentation] for details about punctuated sequences.
395///
396/// [module documentation]: index.html
David Tolnay6eff4da2018-01-01 20:27:45 -0800397pub struct Iter<'a, T: 'a, P: 'a> {
398 inner: slice::Iter<'a, (T, Option<P>)>,
399}
400
David Tolnay96a09d92018-01-16 22:24:03 -0800401#[cfg(any(feature = "full", feature = "derive"))]
402impl<'a, T, P> Iter<'a, T, P> {
403 // Not public API.
404 #[doc(hidden)]
405 pub fn private_empty() -> Self {
406 Iter {
407 inner: [].iter(),
408 }
409 }
410}
411
David Tolnay6eff4da2018-01-01 20:27:45 -0800412impl<'a, T, P> Iterator for Iter<'a, T, P> {
413 type Item = &'a T;
414
415 fn next(&mut self) -> Option<Self::Item> {
416 self.inner.next().map(|pair| &pair.0)
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700417 }
418}
419
David Tolnayf3198012018-01-06 20:00:42 -0800420/// An iterator over mutably borrowed values of type `&mut T`.
421///
422/// Refer to the [module documentation] for details about punctuated sequences.
423///
424/// [module documentation]: index.html
David Tolnaya0834b42018-01-01 21:30:02 -0800425pub struct IterMut<'a, T: 'a, P: 'a> {
426 inner: slice::IterMut<'a, (T, Option<P>)>,
427}
428
429impl<'a, T, P> Iterator for IterMut<'a, T, P> {
430 type Item = &'a mut T;
431
432 fn next(&mut self) -> Option<Self::Item> {
433 self.inner.next().map(|pair| &mut pair.0)
434 }
435}
436
David Tolnayf3198012018-01-06 20:00:42 -0800437/// A single syntax tree node of type `T` followed by its trailing punctuation
438/// of type `P` if any.
439///
440/// Refer to the [module documentation] for details about punctuated sequences.
441///
442/// [module documentation]: index.html
David Tolnay56080682018-01-06 14:01:52 -0800443pub enum Pair<T, P> {
David Tolnayf2cfd722017-12-31 18:02:51 -0500444 Punctuated(T, P),
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700445 End(T),
446}
447
David Tolnay56080682018-01-06 14:01:52 -0800448impl<T, P> Pair<T, P> {
David Tolnayf3198012018-01-06 20:00:42 -0800449 /// Extracts the syntax tree node from this punctuated pair, discarding the
450 /// following punctuation.
David Tolnay56080682018-01-06 14:01:52 -0800451 pub fn into_value(self) -> T {
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700452 match self {
David Tolnay56080682018-01-06 14:01:52 -0800453 Pair::Punctuated(t, _) | Pair::End(t) => t,
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700454 }
455 }
456
David Tolnayf3198012018-01-06 20:00:42 -0800457 /// Borrows the syntax tree node from this punctuated pair.
David Tolnay56080682018-01-06 14:01:52 -0800458 pub fn value(&self) -> &T {
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700459 match *self {
David Tolnay56080682018-01-06 14:01:52 -0800460 Pair::Punctuated(ref t, _) | Pair::End(ref t) => t,
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700461 }
462 }
463
David Tolnayf3198012018-01-06 20:00:42 -0800464 /// Mutably borrows the syntax tree node from this punctuated pair.
David Tolnay56080682018-01-06 14:01:52 -0800465 pub fn value_mut(&mut self) -> &mut T {
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700466 match *self {
David Tolnay56080682018-01-06 14:01:52 -0800467 Pair::Punctuated(ref mut t, _) | Pair::End(ref mut t) => t,
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700468 }
469 }
470
David Tolnayf3198012018-01-06 20:00:42 -0800471 /// Borrows the punctuation from this punctuated pair, unless this pair is
472 /// the final one and there is no trailing punctuation.
David Tolnayf2cfd722017-12-31 18:02:51 -0500473 pub fn punct(&self) -> Option<&P> {
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700474 match *self {
David Tolnay56080682018-01-06 14:01:52 -0800475 Pair::Punctuated(_, ref d) => Some(d),
476 Pair::End(_) => None,
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700477 }
478 }
Nika Layzellcda7ebd2017-10-24 23:10:44 -0400479
David Tolnayf3198012018-01-06 20:00:42 -0800480 /// Creates a punctuated pair out of a syntax tree node and an optional
481 /// following punctuation.
David Tolnayf2cfd722017-12-31 18:02:51 -0500482 pub fn new(t: T, d: Option<P>) -> Self {
David Tolnay660fd1f2017-12-31 01:52:57 -0500483 match d {
David Tolnay56080682018-01-06 14:01:52 -0800484 Some(d) => Pair::Punctuated(t, d),
485 None => Pair::End(t),
David Tolnay660fd1f2017-12-31 01:52:57 -0500486 }
487 }
488
David Tolnayf3198012018-01-06 20:00:42 -0800489 /// Produces this punctuated pair as a tuple of syntax tree node and
490 /// optional following punctuation.
David Tolnayf2cfd722017-12-31 18:02:51 -0500491 pub fn into_tuple(self) -> (T, Option<P>) {
Nika Layzellcda7ebd2017-10-24 23:10:44 -0400492 match self {
David Tolnay56080682018-01-06 14:01:52 -0800493 Pair::Punctuated(t, d) => (t, Some(d)),
494 Pair::End(t) => (t, None),
Nika Layzellcda7ebd2017-10-24 23:10:44 -0400495 }
496 }
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700497}
498
David Tolnaybb987132018-01-08 13:51:19 -0800499impl<T, P> Index<usize> for Punctuated<T, P> {
500 type Output = T;
501
502 fn index(&self, index: usize) -> &Self::Output {
503 &self.inner[index].0
504 }
505}
506
507impl<T, P> IndexMut<usize> for Punctuated<T, P> {
508 fn index_mut(&mut self, index: usize) -> &mut Self::Output {
509 &mut self.inner[index].0
510 }
511}
512
Alex Crichton7b9e02f2017-05-30 15:54:33 -0700513#[cfg(feature = "parsing")]
David Tolnayf3198012018-01-06 20:00:42 -0800514impl<T, P> Punctuated<T, P>
515where
516 T: Synom,
517 P: Synom,
518{
519 /// Parse **zero or more** syntax tree nodes with punctuation in between and
520 /// **no trailing** punctuation.
521 pub fn parse_separated(input: Cursor) -> PResult<Self> {
522 Self::parse_separated_with(input, T::parse)
523 }
Alex Crichton7b9e02f2017-05-30 15:54:33 -0700524
David Tolnayf3198012018-01-06 20:00:42 -0800525 /// Parse **one or more** syntax tree nodes with punctuation in bewteen and
526 /// **no trailing** punctuation.
527 /// allowing trailing punctuation.
528 pub fn parse_separated_nonempty(input: Cursor) -> PResult<Self> {
529 Self::parse_separated_nonempty_with(input, T::parse)
530 }
Alex Crichton954046c2017-05-30 21:49:42 -0700531
David Tolnayf3198012018-01-06 20:00:42 -0800532 /// Parse **zero or more** syntax tree nodes with punctuation in between and
533 /// **optional trailing** punctuation.
534 pub fn parse_terminated(input: Cursor) -> PResult<Self> {
535 Self::parse_terminated_with(input, T::parse)
536 }
Alex Crichton7b9e02f2017-05-30 15:54:33 -0700537
David Tolnayf3198012018-01-06 20:00:42 -0800538 /// Parse **one or more** syntax tree nodes with punctuation in between and
539 /// **optional trailing** punctuation.
540 pub fn parse_terminated_nonempty(input: Cursor) -> PResult<Self> {
541 Self::parse_terminated_nonempty_with(input, T::parse)
542 }
543}
Nika Layzellb49a9e52017-12-05 13:31:52 -0500544
David Tolnayf3198012018-01-06 20:00:42 -0800545#[cfg(feature = "parsing")]
546impl<T, P> Punctuated<T, P>
547where
548 P: Synom,
549{
550 /// Parse **zero or more** syntax tree nodes using the given parser with
551 /// punctuation in between and **no trailing** punctuation.
552 pub fn parse_separated_with(
553 input: Cursor,
554 parse: fn(Cursor) -> PResult<T>,
555 ) -> PResult<Self> {
556 Self::parse(input, parse, false)
557 }
558
559 /// Parse **one or more** syntax tree nodes using the given parser with
560 /// punctuation in between and **no trailing** punctuation.
561 pub fn parse_separated_nonempty_with(
562 input: Cursor,
563 parse: fn(Cursor) -> PResult<T>,
564 ) -> PResult<Self> {
565 match Self::parse(input, parse, false) {
566 Ok((ref b, _)) if b.is_empty() => parse_error(),
567 other => other,
Nika Layzellb49a9e52017-12-05 13:31:52 -0500568 }
Alex Crichton954046c2017-05-30 21:49:42 -0700569 }
570
David Tolnayf3198012018-01-06 20:00:42 -0800571 /// Parse **zero or more** syntax tree nodes using the given parser with
572 /// punctuation in between and **optional trailing** punctuation.
573 pub fn parse_terminated_with(
574 input: Cursor,
575 parse: fn(Cursor) -> PResult<T>,
576 ) -> PResult<Self> {
577 Self::parse(input, parse, true)
578 }
579
580 /// Parse **one or more** syntax tree nodes using the given parser with
581 /// punctuation in between and **optional trailing** punctuation.
582 pub fn parse_terminated_nonempty_with(
583 input: Cursor,
584 parse: fn(Cursor) -> PResult<T>,
585 ) -> PResult<Self> {
586 match Self::parse(input, parse, true) {
587 Ok((ref b, _)) if b.is_empty() => parse_error(),
588 other => other,
David Tolnaydc03aec2017-12-30 01:54:18 -0500589 }
David Tolnayf3198012018-01-06 20:00:42 -0800590 }
David Tolnaydc03aec2017-12-30 01:54:18 -0500591
David Tolnayf3198012018-01-06 20:00:42 -0800592 fn parse(
593 mut input: Cursor,
594 parse: fn(Cursor) -> PResult<T>,
595 terminated: bool,
596 ) -> PResult<Self> {
597 let mut res = Punctuated::new();
Alex Crichton7b9e02f2017-05-30 15:54:33 -0700598
David Tolnayf3198012018-01-06 20:00:42 -0800599 // get the first element
600 match parse(input) {
601 Err(_) => Ok((res, input)),
602 Ok((o, i)) => {
603 if i == input {
604 return parse_error();
Alex Crichton7b9e02f2017-05-30 15:54:33 -0700605 }
David Tolnayf3198012018-01-06 20:00:42 -0800606 input = i;
607 res.push_value(o);
608
609 // get the separator first
610 while let Ok((s, i2)) = P::parse(input) {
611 if i2 == input {
612 break;
613 }
614
615 // get the element next
616 if let Ok((o3, i3)) = parse(i2) {
617 if i3 == i2 {
618 break;
619 }
620 res.push_punct(s);
621 res.push_value(o3);
622 input = i3;
623 } else {
624 break;
625 }
626 }
627 if terminated {
628 if let Ok((sep, after)) = P::parse(input) {
629 res.push_punct(sep);
630 input = after;
631 }
632 }
633 Ok((res, input))
Alex Crichton7b9e02f2017-05-30 15:54:33 -0700634 }
635 }
636 }
637}
638
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700639#[cfg(feature = "printing")]
640mod printing {
641 use super::*;
David Tolnay51382052017-12-27 13:46:21 -0500642 use quote::{ToTokens, Tokens};
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700643
David Tolnayf2cfd722017-12-31 18:02:51 -0500644 impl<T, P> ToTokens for Punctuated<T, P>
David Tolnay51382052017-12-27 13:46:21 -0500645 where
646 T: ToTokens,
David Tolnayf2cfd722017-12-31 18:02:51 -0500647 P: ToTokens,
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700648 {
649 fn to_tokens(&self, tokens: &mut Tokens) {
David Tolnay56080682018-01-06 14:01:52 -0800650 tokens.append_all(self.pairs())
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700651 }
652 }
653
David Tolnay56080682018-01-06 14:01:52 -0800654 impl<T, P> ToTokens for Pair<T, P>
David Tolnay51382052017-12-27 13:46:21 -0500655 where
656 T: ToTokens,
David Tolnayf2cfd722017-12-31 18:02:51 -0500657 P: ToTokens,
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700658 {
659 fn to_tokens(&self, tokens: &mut Tokens) {
660 match *self {
David Tolnay56080682018-01-06 14:01:52 -0800661 Pair::Punctuated(ref a, ref b) => {
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700662 a.to_tokens(tokens);
663 b.to_tokens(tokens);
664 }
David Tolnay56080682018-01-06 14:01:52 -0800665 Pair::End(ref a) => a.to_tokens(tokens),
Alex Crichtonccbb45d2017-05-23 10:58:24 -0700666 }
667 }
668 }
669}