standalone_syn/
punctuated.rs

1// 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
9//! 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
30use std::iter::FromIterator;
31use std::ops::{Index, IndexMut};
32use std::slice;
33use std::vec;
34#[cfg(feature = "extra-traits")]
35use std::fmt::{self, Debug};
36
37#[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
50#[cfg_attr(feature = "extra-traits", derive(Eq, PartialEq, Hash))]
51#[cfg_attr(feature = "clone-impls", derive(Clone))]
52pub struct Punctuated<T, P> {
53    inner: Vec<(T, Option<P>)>,
54}
55
56impl<T, P> Punctuated<T, P> {
57    /// Creates an empty punctuated sequence.
58    pub fn new() -> Punctuated<T, P> {
59        Punctuated { inner: Vec::new() }
60    }
61
62    /// Determines whether this punctuated sequence is empty, meaning it
63    /// contains no syntax tree nodes or punctuation.
64    pub fn is_empty(&self) -> bool {
65        self.inner.len() == 0
66    }
67
68    /// 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`.
72    pub fn len(&self) -> usize {
73        self.inner.len()
74    }
75
76    /// Borrows the first punctuated pair in this sequence.
77    pub fn first(&self) -> Option<Pair<&T, &P>> {
78        self.inner.first().map(|&(ref t, ref d)| match *d {
79            Some(ref d) => Pair::Punctuated(t, d),
80            None => Pair::End(t),
81        })
82    }
83
84    /// Borrows the last punctuated pair in this sequence.
85    pub fn last(&self) -> Option<Pair<&T, &P>> {
86        self.inner.last().map(|&(ref t, ref d)| match *d {
87            Some(ref d) => Pair::Punctuated(t, d),
88            None => Pair::End(t),
89        })
90    }
91
92    /// Mutably borrows the last punctuated pair in this sequence.
93    pub fn last_mut(&mut self) -> Option<Pair<&mut T, &mut P>> {
94        self.inner
95            .last_mut()
96            .map(|&mut (ref mut t, ref mut d)| match *d {
97                Some(ref mut d) => Pair::Punctuated(t, d),
98                None => Pair::End(t),
99            })
100    }
101
102    /// Returns an iterator over borrowed syntax tree nodes of type `&T`.
103    pub fn iter(&self) -> Iter<T, P> {
104        Iter {
105            inner: self.inner.iter(),
106        }
107    }
108
109    /// Returns an iterator over mutably borrowed syntax tree nodes of type
110    /// `&mut T`.
111    pub fn iter_mut(&mut self) -> IterMut<T, P> {
112        IterMut {
113            inner: self.inner.iter_mut(),
114        }
115    }
116
117    /// Returns an iterator over the contents of this sequence as borrowed
118    /// punctuated pairs.
119    pub fn pairs(&self) -> Pairs<T, P> {
120        Pairs {
121            inner: self.inner.iter(),
122        }
123    }
124
125    /// Returns an iterator over the contents of this sequence as mutably
126    /// borrowed punctuated pairs.
127    pub fn pairs_mut(&mut self) -> PairsMut<T, P> {
128        PairsMut {
129            inner: self.inner.iter_mut(),
130        }
131    }
132
133    /// Returns an iterator over the contents of this sequence as owned
134    /// punctuated pairs.
135    pub fn into_pairs(self) -> IntoPairs<T, P> {
136        IntoPairs {
137            inner: self.inner.into_iter(),
138        }
139    }
140
141    /// 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.
153    pub fn push_value(&mut self, value: T) {
154        assert!(self.empty_or_trailing());
155        self.inner.push((value, None));
156    }
157
158    /// 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.
165    pub fn push_punct(&mut self, punctuation: P) {
166        assert!(!self.is_empty());
167        let last = self.inner.last_mut().unwrap();
168        assert!(last.1.is_none());
169        last.1 = Some(punctuation);
170    }
171
172    /// Removes the last punctuated pair from this sequence, or `None` if the
173    /// sequence is empty.
174    pub fn pop(&mut self) -> Option<Pair<T, P>> {
175        self.inner.pop().map(|(t, d)| Pair::new(t, d))
176    }
177
178    /// Determines whether this punctuated sequence ends with a trailing
179    /// punctuation.
180    pub fn trailing_punct(&self) -> bool {
181        self.inner
182            .last()
183            .map(|last| last.1.is_some())
184            .unwrap_or(false)
185    }
186
187    /// Returns true if either this `Punctuated` is empty, or it has a trailing
188    /// punctuation.
189    ///
190    /// Equivalent to `punctuated.is_empty() || punctuated.trailing_punct()`.
191    pub fn empty_or_trailing(&self) -> bool {
192        self.inner
193            .last()
194            .map(|last| last.1.is_some())
195            .unwrap_or(true)
196    }
197}
198
199impl<T, P> Punctuated<T, P>
200where
201    P: Default,
202{
203    /// 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`.
208    pub fn push(&mut self, value: T) {
209        if !self.empty_or_trailing() {
210            self.push_punct(Default::default());
211        }
212        self.push_value(value);
213    }
214
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    }
230}
231
232#[cfg(feature = "extra-traits")]
233impl<T: Debug, P: Debug> Debug for Punctuated<T, P> {
234    fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
235        self.inner.fmt(f)
236    }
237}
238
239impl<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
261impl<T, P> FromIterator<Pair<T, P>> for Punctuated<T, P> {
262    fn from_iter<I: IntoIterator<Item = Pair<T, P>>>(i: I) -> Self {
263        let mut ret = Punctuated::new();
264        ret.extend(i);
265        ret
266    }
267}
268
269impl<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)),
275            }
276        }
277    }
278}
279
280impl<T, P> IntoIterator for Punctuated<T, P> {
281    type Item = T;
282    type IntoIter = IntoIter<T, P>;
283
284    fn into_iter(self) -> Self::IntoIter {
285        IntoIter {
286            inner: self.inner.into_iter(),
287        }
288    }
289}
290
291impl<'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
300impl<'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
309impl<T, P> Default for Punctuated<T, P> {
310    fn default() -> Self {
311        Punctuated::new()
312    }
313}
314
315/// 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
320pub struct Pairs<'a, T: 'a, P: 'a> {
321    inner: slice::Iter<'a, (T, Option<P>)>,
322}
323
324impl<'a, T, P> Iterator for Pairs<'a, T, P> {
325    type Item = Pair<&'a T, &'a P>;
326
327    fn next(&mut self) -> Option<Self::Item> {
328        self.inner.next().map(|pair| match pair.1 {
329            Some(ref p) => Pair::Punctuated(&pair.0, p),
330            None => Pair::End(&pair.0),
331        })
332    }
333}
334
335/// 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
340pub struct PairsMut<'a, T: 'a, P: 'a> {
341    inner: slice::IterMut<'a, (T, Option<P>)>,
342}
343
344impl<'a, T, P> Iterator for PairsMut<'a, T, P> {
345    type Item = Pair<&'a mut T, &'a mut P>;
346
347    fn next(&mut self) -> Option<Self::Item> {
348        self.inner.next().map(|pair| match pair.1 {
349            Some(ref mut p) => Pair::Punctuated(&mut pair.0, p),
350            None => Pair::End(&mut pair.0),
351        })
352    }
353}
354
355/// 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
360pub struct IntoPairs<T, P> {
361    inner: vec::IntoIter<(T, Option<P>)>,
362}
363
364impl<T, P> Iterator for IntoPairs<T, P> {
365    type Item = Pair<T, P>;
366
367    fn next(&mut self) -> Option<Self::Item> {
368        self.inner.next().map(|pair| match pair.1 {
369            Some(p) => Pair::Punctuated(pair.0, p),
370            None => Pair::End(pair.0),
371        })
372    }
373}
374
375/// 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
380pub struct IntoIter<T, P> {
381    inner: vec::IntoIter<(T, Option<P>)>,
382}
383
384impl<T, P> Iterator for IntoIter<T, P> {
385    type Item = T;
386
387    fn next(&mut self) -> Option<Self::Item> {
388        self.inner.next().map(|pair| pair.0)
389    }
390}
391
392/// 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
397pub struct Iter<'a, T: 'a, P: 'a> {
398    inner: slice::Iter<'a, (T, Option<P>)>,
399}
400
401#[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
412impl<'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)
417    }
418}
419
420/// 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
425pub 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
437/// 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
443pub enum Pair<T, P> {
444    Punctuated(T, P),
445    End(T),
446}
447
448impl<T, P> Pair<T, P> {
449    /// Extracts the syntax tree node from this punctuated pair, discarding the
450    /// following punctuation.
451    pub fn into_value(self) -> T {
452        match self {
453            Pair::Punctuated(t, _) | Pair::End(t) => t,
454        }
455    }
456
457    /// Borrows the syntax tree node from this punctuated pair.
458    pub fn value(&self) -> &T {
459        match *self {
460            Pair::Punctuated(ref t, _) | Pair::End(ref t) => t,
461        }
462    }
463
464    /// Mutably borrows the syntax tree node from this punctuated pair.
465    pub fn value_mut(&mut self) -> &mut T {
466        match *self {
467            Pair::Punctuated(ref mut t, _) | Pair::End(ref mut t) => t,
468        }
469    }
470
471    /// Borrows the punctuation from this punctuated pair, unless this pair is
472    /// the final one and there is no trailing punctuation.
473    pub fn punct(&self) -> Option<&P> {
474        match *self {
475            Pair::Punctuated(_, ref d) => Some(d),
476            Pair::End(_) => None,
477        }
478    }
479
480    /// Creates a punctuated pair out of a syntax tree node and an optional
481    /// following punctuation.
482    pub fn new(t: T, d: Option<P>) -> Self {
483        match d {
484            Some(d) => Pair::Punctuated(t, d),
485            None => Pair::End(t),
486        }
487    }
488
489    /// Produces this punctuated pair as a tuple of syntax tree node and
490    /// optional following punctuation.
491    pub fn into_tuple(self) -> (T, Option<P>) {
492        match self {
493            Pair::Punctuated(t, d) => (t, Some(d)),
494            Pair::End(t) => (t, None),
495        }
496    }
497}
498
499impl<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
513#[cfg(feature = "parsing")]
514impl<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    }
524
525    /// 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    }
531
532    /// 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    }
537
538    /// 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}
544
545#[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,
568        }
569    }
570
571    /// 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,
589        }
590    }
591
592    fn parse(
593        mut input: Cursor,
594        parse: fn(Cursor) -> PResult<T>,
595        terminated: bool,
596    ) -> PResult<Self> {
597        let mut res = Punctuated::new();
598
599        // 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();
605                }
606                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))
634            }
635        }
636    }
637}
638
639#[cfg(feature = "printing")]
640mod printing {
641    use super::*;
642    use quote::{ToTokens, Tokens};
643
644    impl<T, P> ToTokens for Punctuated<T, P>
645    where
646        T: ToTokens,
647        P: ToTokens,
648    {
649        fn to_tokens(&self, tokens: &mut Tokens) {
650            tokens.append_all(self.pairs())
651        }
652    }
653
654    impl<T, P> ToTokens for Pair<T, P>
655    where
656        T: ToTokens,
657        P: ToTokens,
658    {
659        fn to_tokens(&self, tokens: &mut Tokens) {
660            match *self {
661                Pair::Punctuated(ref a, ref b) => {
662                    a.to_tokens(tokens);
663                    b.to_tokens(tokens);
664                }
665                Pair::End(ref a) => a.to_tokens(tokens),
666            }
667        }
668    }
669}