blob: be38a71f2a93888fbeb640e385c88ad62f598032 [file] [log] [blame]
David Tolnay18c754c2018-08-21 23:26:58 -04001use std::cell::RefCell;
2
David Tolnay2d84a082018-08-25 16:31:38 -04003use proc_macro2::{Delimiter, Span};
David Tolnay18c754c2018-08-21 23:26:58 -04004
David Tolnayad4b2472018-08-25 08:25:24 -04005use buffer::Cursor;
6use error::{self, Error};
David Tolnay776f8e02018-08-24 22:32:10 -04007use span::IntoSpans;
David Tolnay776f8e02018-08-24 22:32:10 -04008use token::Token;
David Tolnay18c754c2018-08-21 23:26:58 -04009
10/// Support for checking the next token in a stream to decide how to parse.
11///
David Tolnay5c70ede2018-09-01 10:07:56 -070012/// An important advantage over [`ParseStream::peek`] is that here we
13/// automatically construct an appropriate error message based on the token
14/// alternatives that get peeked. If you are producing your own error message,
15/// go ahead and use `ParseStream::peek` instead.
16///
David Tolnay18c754c2018-08-21 23:26:58 -040017/// Use [`ParseStream::lookahead1`] to construct this object.
18///
David Tolnay5c70ede2018-09-01 10:07:56 -070019/// [`ParseStream::peek`]: struct.ParseBuffer.html#method.peek
David Tolnay18c754c2018-08-21 23:26:58 -040020/// [`ParseStream::lookahead1`]: struct.ParseBuffer.html#method.lookahead1
David Tolnay956449d2018-09-01 10:17:54 -070021///
22/// # Example
23///
24/// ```
David Tolnaya1c98072018-09-06 08:58:10 -070025/// #[macro_use]
26/// extern crate syn;
27///
28/// use syn::{ConstParam, Ident, Lifetime, LifetimeDef, TypeParam};
David Tolnay956449d2018-09-01 10:17:54 -070029/// use syn::parse::{Parse, ParseStream, Result};
30///
31/// // A generic parameter, a single one of the comma-separated elements inside
32/// // angle brackets in:
33/// //
34/// // fn f<T: Clone, 'a, 'b: 'a, const N: usize>() { ... }
35/// //
36/// // On invalid input, lookahead gives us a reasonable error message.
37/// //
38/// // error: expected one of: identifier, lifetime, `const`
39/// // |
40/// // 5 | fn f<!Sized>() {}
41/// // | ^
42/// enum GenericParam {
43/// Type(TypeParam),
44/// Lifetime(LifetimeDef),
45/// Const(ConstParam),
46/// }
47///
48/// impl Parse for GenericParam {
49/// fn parse(input: ParseStream) -> Result<Self> {
50/// let lookahead = input.lookahead1();
51/// if lookahead.peek(Ident) {
52/// input.parse().map(GenericParam::Type)
53/// } else if lookahead.peek(Lifetime) {
54/// input.parse().map(GenericParam::Lifetime)
55/// } else if lookahead.peek(Token![const]) {
56/// input.parse().map(GenericParam::Const)
57/// } else {
58/// Err(lookahead.error())
59/// }
60/// }
61/// }
62/// #
63/// # fn main() {}
64/// ```
David Tolnay18c754c2018-08-21 23:26:58 -040065pub struct Lookahead1<'a> {
66 scope: Span,
67 cursor: Cursor<'a>,
David Tolnay2d032802018-09-01 10:51:59 -070068 comparisons: RefCell<Vec<&'static str>>,
David Tolnay18c754c2018-08-21 23:26:58 -040069}
70
David Tolnay94f06632018-08-31 10:17:17 -070071pub fn new(scope: Span, cursor: Cursor) -> Lookahead1 {
72 Lookahead1 {
73 scope: scope,
74 cursor: cursor,
75 comparisons: RefCell::new(Vec::new()),
David Tolnay18c754c2018-08-21 23:26:58 -040076 }
David Tolnay94f06632018-08-31 10:17:17 -070077}
David Tolnay18c754c2018-08-21 23:26:58 -040078
David Tolnaycae851e2018-09-01 10:59:22 -070079fn peek_impl(
80 lookahead: &Lookahead1,
81 peek: fn(Cursor) -> bool,
82 display: fn() -> &'static str,
83) -> bool {
84 if peek(lookahead.cursor) {
85 return true;
86 }
87 lookahead.comparisons.borrow_mut().push(display());
88 false
89}
90
David Tolnay94f06632018-08-31 10:17:17 -070091impl<'a> Lookahead1<'a> {
David Tolnay6d829fc2018-09-01 14:20:32 -070092 /// Looks at the next token in the parse stream to determine whether it
93 /// matches the requested type of token.
David Tolnay7d229e82018-09-01 16:42:34 -070094 ///
95 /// # Syntax
96 ///
97 /// Note that this method does not use turbofish syntax. Pass the peek type
98 /// inside of parentheses.
99 ///
100 /// - `input.peek(Token![struct])`
101 /// - `input.peek(Token![==])`
102 /// - `input.peek(Ident)`
103 /// - `input.peek(Lifetime)`
104 /// - `input.peek(token::Brace)`
David Tolnay18c754c2018-08-21 23:26:58 -0400105 pub fn peek<T: Peek>(&self, token: T) -> bool {
106 let _ = token;
David Tolnaycae851e2018-09-01 10:59:22 -0700107 peek_impl(self, T::Token::peek, T::Token::display)
David Tolnay18c754c2018-08-21 23:26:58 -0400108 }
109
David Tolnay6d829fc2018-09-01 14:20:32 -0700110 /// Triggers an error at the current position of the parse stream.
111 ///
112 /// The error message will identify all of the expected token types that
113 /// have been peeked against this lookahead instance.
David Tolnay18c754c2018-08-21 23:26:58 -0400114 pub fn error(self) -> Error {
David Tolnayda1dc7c2018-08-24 11:57:28 -0400115 let comparisons = self.comparisons.borrow();
116 match comparisons.len() {
117 0 => if self.cursor.eof() {
118 Error::new(self.scope, "unexpected end of input")
119 } else {
120 Error::new(self.cursor.span(), "unexpected token")
121 },
122 1 => {
123 let message = format!("expected {}", comparisons[0]);
124 error::new_at(self.scope, self.cursor, message)
125 }
David Tolnayeade99e2018-09-01 21:35:51 -0700126 2 => {
127 let message = format!("expected {} or {}", comparisons[0], comparisons[1]);
128 error::new_at(self.scope, self.cursor, message)
129 }
David Tolnayda1dc7c2018-08-24 11:57:28 -0400130 _ => {
David Tolnayc6e86c72018-08-24 12:28:40 -0400131 let join = comparisons.join(", ");
132 let message = format!("expected one of: {}", join);
David Tolnayda1dc7c2018-08-24 11:57:28 -0400133 error::new_at(self.scope, self.cursor, message)
134 }
135 }
David Tolnay18c754c2018-08-21 23:26:58 -0400136 }
137}
138
139/// Types that can be parsed by looking at just one token.
140///
David Tolnay8a44dbf2018-09-01 10:00:43 -0700141/// Use [`ParseStream::peek`] to peek one of these types in a parse stream
142/// without consuming it from the stream.
143///
David Tolnay18c754c2018-08-21 23:26:58 -0400144/// This trait is sealed and cannot be implemented for types outside of Syn.
David Tolnay8a44dbf2018-09-01 10:00:43 -0700145///
146/// [`ParseStream::peek`]: struct.ParseBuffer.html#method.peek
David Tolnay18c754c2018-08-21 23:26:58 -0400147pub trait Peek: private::Sealed {
148 // Not public API.
149 #[doc(hidden)]
150 type Token: Token;
151}
152
David Tolnay2b687b02018-08-24 13:36:36 -0400153impl<F: FnOnce(TokenMarker) -> T, T: Token> Peek for F {
David Tolnay18c754c2018-08-21 23:26:58 -0400154 type Token = T;
155}
156
David Tolnay2b687b02018-08-24 13:36:36 -0400157pub enum TokenMarker {}
158
David Tolnay776f8e02018-08-24 22:32:10 -0400159impl<S> IntoSpans<S> for TokenMarker {
160 fn into_spans(self) -> S {
161 match self {}
162 }
163}
164
David Tolnay00f81fd2018-09-01 10:50:12 -0700165pub fn is_delimiter(cursor: Cursor, delimiter: Delimiter) -> bool {
166 cursor.group(delimiter).is_some()
David Tolnay2d84a082018-08-25 16:31:38 -0400167}
168
David Tolnay18c754c2018-08-21 23:26:58 -0400169mod private {
David Tolnay2b687b02018-08-24 13:36:36 -0400170 use super::{Token, TokenMarker};
David Tolnay18c754c2018-08-21 23:26:58 -0400171 pub trait Sealed {}
David Tolnay2b687b02018-08-24 13:36:36 -0400172 impl<F: FnOnce(TokenMarker) -> T, T: Token> Sealed for F {}
David Tolnay18c754c2018-08-21 23:26:58 -0400173}