blob: 27e74415d5518a8b68284f715a25ab735d0c45c8 [file] [log] [blame]
David Tolnay80a914f2018-08-30 23:49:53 -07001// 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 Tolnay18c754c2018-08-21 23:26:58 -04009//! Parsing interface for parsing a token stream into a syntax tree node.
David Tolnay80a914f2018-08-30 23:49:53 -070010//!
David Tolnaye0c51762018-08-31 11:05:22 -070011//! Parsing in Syn is built on parser functions that take in a [`ParseStream`]
12//! and produce a [`Result<T>`] where `T` is some syntax tree node. Underlying
13//! these parser functions is a lower level mechanism built around the
14//! [`Cursor`] type. `Cursor` is a cheaply copyable cursor over a range of
15//! tokens in a token stream.
David Tolnay80a914f2018-08-30 23:49:53 -070016//!
David Tolnaye0c51762018-08-31 11:05:22 -070017//! [`ParseStream`]: type.ParseStream.html
18//! [`Result<T>`]: type.Result.html
David Tolnay80a914f2018-08-30 23:49:53 -070019//! [`Cursor`]: ../buffer/index.html
David Tolnay80a914f2018-08-30 23:49:53 -070020//!
David Tolnaye0c51762018-08-31 11:05:22 -070021//! The `ParseStream`-based interface is convenient for parser implementations,
22//! but not necessarily when you just have some tokens that you want to parse.
23//! For that we expose the following two entry points.
David Tolnay80a914f2018-08-30 23:49:53 -070024//!
25//! ## The `syn::parse*` functions
26//!
27//! The [`syn::parse`], [`syn::parse2`], and [`syn::parse_str`] functions serve
28//! as an entry point for parsing syntax tree nodes that can be parsed in an
29//! obvious default way. These functions can return any syntax tree node that
David Tolnay8aacee12018-08-31 09:15:15 -070030//! implements the [`Parse`] trait, which includes most types in Syn.
David Tolnay80a914f2018-08-30 23:49:53 -070031//!
32//! [`syn::parse`]: ../fn.parse.html
33//! [`syn::parse2`]: ../fn.parse2.html
34//! [`syn::parse_str`]: ../fn.parse_str.html
David Tolnay8aacee12018-08-31 09:15:15 -070035//! [`Parse`]: trait.Parse.html
David Tolnay80a914f2018-08-30 23:49:53 -070036//!
37//! ```
38//! use syn::Type;
39//!
David Tolnay8aacee12018-08-31 09:15:15 -070040//! # fn run_parser() -> Result<(), syn::parse::Error> {
David Tolnay80a914f2018-08-30 23:49:53 -070041//! let t: Type = syn::parse_str("std::collections::HashMap<String, Value>")?;
42//! # Ok(())
43//! # }
44//! #
45//! # fn main() {
46//! # run_parser().unwrap();
47//! # }
48//! ```
49//!
50//! The [`parse_quote!`] macro also uses this approach.
51//!
52//! [`parse_quote!`]: ../macro.parse_quote.html
53//!
54//! ## The `Parser` trait
55//!
56//! Some types can be parsed in several ways depending on context. For example
57//! an [`Attribute`] can be either "outer" like `#[...]` or "inner" like
58//! `#![...]` and parsing the wrong one would be a bug. Similarly [`Punctuated`]
59//! may or may not allow trailing punctuation, and parsing it the wrong way
60//! would either reject valid input or accept invalid input.
61//!
62//! [`Attribute`]: ../struct.Attribute.html
63//! [`Punctuated`]: ../punctuated/index.html
64//!
David Tolnaye0c51762018-08-31 11:05:22 -070065//! The `Parse` trait is not implemented in these cases because there is no good
David Tolnay80a914f2018-08-30 23:49:53 -070066//! behavior to consider the default.
67//!
68//! ```ignore
69//! // Can't parse `Punctuated` without knowing whether trailing punctuation
70//! // should be allowed in this context.
71//! let path: Punctuated<PathSegment, Token![::]> = syn::parse(tokens)?;
72//! ```
73//!
74//! In these cases the types provide a choice of parser functions rather than a
David Tolnaye0c51762018-08-31 11:05:22 -070075//! single `Parse` implementation, and those parser functions can be invoked
David Tolnay80a914f2018-08-30 23:49:53 -070076//! through the [`Parser`] trait.
77//!
78//! [`Parser`]: trait.Parser.html
79//!
80//! ```
David Tolnay80a914f2018-08-30 23:49:53 -070081//! # extern crate syn;
82//! #
83//! # extern crate proc_macro2;
84//! # use proc_macro2::TokenStream;
85//! #
David Tolnay3e3f7752018-08-31 09:33:59 -070086//! use syn::parse::Parser;
David Tolnay80a914f2018-08-30 23:49:53 -070087//! use syn::punctuated::Punctuated;
David Tolnay9b00f652018-09-01 10:31:02 -070088//! use syn::{Attribute, Expr, PathSegment, Token};
David Tolnay80a914f2018-08-30 23:49:53 -070089//!
David Tolnay3e3f7752018-08-31 09:33:59 -070090//! # fn run_parsers() -> Result<(), syn::parse::Error> {
David Tolnay80a914f2018-08-30 23:49:53 -070091//! # let tokens = TokenStream::new().into();
92//! // Parse a nonempty sequence of path segments separated by `::` punctuation
93//! // with no trailing punctuation.
94//! let parser = Punctuated::<PathSegment, Token![::]>::parse_separated_nonempty;
95//! let path = parser.parse(tokens)?;
96//!
97//! # let tokens = TokenStream::new().into();
98//! // Parse a possibly empty sequence of expressions terminated by commas with
99//! // an optional trailing punctuation.
100//! let parser = Punctuated::<Expr, Token![,]>::parse_terminated;
101//! let args = parser.parse(tokens)?;
102//!
103//! # let tokens = TokenStream::new().into();
104//! // Parse zero or more outer attributes but not inner attributes.
David Tolnay3e3f7752018-08-31 09:33:59 -0700105//! let parser = Attribute::parse_outer;
106//! let attrs = parser.parse(tokens)?;
David Tolnay80a914f2018-08-30 23:49:53 -0700107//! #
108//! # Ok(())
109//! # }
110//! #
111//! # fn main() {}
112//! ```
113//!
David Tolnaye0c51762018-08-31 11:05:22 -0700114//! ---
David Tolnay80a914f2018-08-30 23:49:53 -0700115//!
116//! *This module is available if Syn is built with the `"parsing"` feature.*
David Tolnay18c754c2018-08-21 23:26:58 -0400117
118use std::cell::Cell;
119use std::fmt::Display;
120use std::marker::PhantomData;
121use std::mem;
122use std::ops::Deref;
David Tolnayeafc8052018-08-25 16:33:53 -0400123use std::rc::Rc;
David Tolnay80a914f2018-08-30 23:49:53 -0700124use std::str::FromStr;
David Tolnayeafc8052018-08-25 16:33:53 -0400125
David Tolnay80a914f2018-08-30 23:49:53 -0700126#[cfg(all(
127 not(all(target_arch = "wasm32", target_os = "unknown")),
128 feature = "proc-macro"
129))]
130use proc_macro;
David Tolnayf07b3342018-09-01 11:58:11 -0700131use proc_macro2::{self, Delimiter, Group, Literal, Punct, Span, TokenStream, TokenTree};
David Tolnay18c754c2018-08-21 23:26:58 -0400132
David Tolnay80a914f2018-08-30 23:49:53 -0700133use buffer::{Cursor, TokenBuffer};
David Tolnayb6254182018-08-25 08:44:54 -0400134use error;
David Tolnay94f06632018-08-31 10:17:17 -0700135use lookahead;
136use private;
David Tolnay577d0332018-08-25 21:45:24 -0400137use punctuated::Punctuated;
David Tolnay4fb71232018-08-25 23:14:50 -0400138use token::Token;
David Tolnay18c754c2018-08-21 23:26:58 -0400139
David Tolnayb6254182018-08-25 08:44:54 -0400140pub use error::{Error, Result};
141pub use lookahead::{Lookahead1, Peek};
David Tolnay18c754c2018-08-21 23:26:58 -0400142
143/// Parsing interface implemented by all types that can be parsed in a default
144/// way from a token stream.
145pub trait Parse: Sized {
146 fn parse(input: ParseStream) -> Result<Self>;
147}
148
149/// Input to a Syn parser function.
David Tolnaya0daa482018-09-01 02:09:40 -0700150///
151/// See the methods of this type under the documentation of [`ParseBuffer`]. For
152/// an overview of parsing in Syn, refer to the [module documentation].
153///
154/// [module documentation]: index.html
David Tolnay18c754c2018-08-21 23:26:58 -0400155pub type ParseStream<'a> = &'a ParseBuffer<'a>;
156
157/// Cursor position within a buffered token stream.
David Tolnay18c754c2018-08-21 23:26:58 -0400158pub struct ParseBuffer<'a> {
159 scope: Span,
160 cell: Cell<Cursor<'static>>,
161 marker: PhantomData<Cursor<'a>>,
David Tolnayeafc8052018-08-25 16:33:53 -0400162 unexpected: Rc<Cell<Option<Span>>>,
163}
164
165impl<'a> Drop for ParseBuffer<'a> {
166 fn drop(&mut self) {
167 if !self.is_empty() && self.unexpected.get().is_none() {
168 self.unexpected.set(Some(self.cursor().span()));
169 }
170 }
David Tolnay18c754c2018-08-21 23:26:58 -0400171}
172
David Tolnay18c754c2018-08-21 23:26:58 -0400173#[derive(Copy, Clone)]
174pub struct StepCursor<'c, 'a> {
175 scope: Span,
176 cursor: Cursor<'c>,
177 marker: PhantomData<fn(Cursor<'c>) -> Cursor<'a>>,
178}
179
180impl<'c, 'a> Deref for StepCursor<'c, 'a> {
181 type Target = Cursor<'c>;
182
183 fn deref(&self) -> &Self::Target {
184 &self.cursor
185 }
186}
187
188impl<'c, 'a> StepCursor<'c, 'a> {
David Tolnay18c754c2018-08-21 23:26:58 -0400189 pub fn advance(self, other: Cursor<'c>) -> Cursor<'a> {
190 unsafe { mem::transmute::<Cursor<'c>, Cursor<'a>>(other) }
191 }
192
David Tolnay18c754c2018-08-21 23:26:58 -0400193 pub fn error<T: Display>(self, message: T) -> Error {
194 error::new_at(self.scope, self.cursor, message)
195 }
196}
197
David Tolnay66cb0c42018-08-31 09:01:30 -0700198fn skip(input: ParseStream) -> bool {
David Tolnay4ac232d2018-08-31 10:18:03 -0700199 input
200 .step(|cursor| {
201 if let Some((_lifetime, rest)) = cursor.lifetime() {
202 Ok((true, rest))
203 } else if let Some((_token, rest)) = cursor.token_tree() {
204 Ok((true, rest))
205 } else {
206 Ok((false, *cursor))
207 }
208 }).unwrap()
David Tolnay66cb0c42018-08-31 09:01:30 -0700209}
210
David Tolnay10951d52018-08-31 10:27:39 -0700211impl private {
David Tolnay70f30e92018-09-01 02:04:17 -0700212 pub fn new_parse_buffer(
213 scope: Span,
214 cursor: Cursor,
215 unexpected: Rc<Cell<Option<Span>>>,
216 ) -> ParseBuffer {
David Tolnay94f06632018-08-31 10:17:17 -0700217 let extend = unsafe { mem::transmute::<Cursor, Cursor<'static>>(cursor) };
David Tolnay18c754c2018-08-21 23:26:58 -0400218 ParseBuffer {
219 scope: scope,
220 cell: Cell::new(extend),
221 marker: PhantomData,
David Tolnayeafc8052018-08-25 16:33:53 -0400222 unexpected: unexpected,
David Tolnay18c754c2018-08-21 23:26:58 -0400223 }
224 }
225
David Tolnay94f06632018-08-31 10:17:17 -0700226 pub fn get_unexpected(buffer: &ParseBuffer) -> Rc<Cell<Option<Span>>> {
227 buffer.unexpected.clone()
228 }
229}
230
231impl<'a> ParseBuffer<'a> {
David Tolnay725e1c62018-09-01 12:07:25 -0700232 /// Parses a syntax tree node of type `T`, advancing the position of our
233 /// parse stream past it.
David Tolnay18c754c2018-08-21 23:26:58 -0400234 pub fn parse<T: Parse>(&self) -> Result<T> {
235 T::parse(self)
236 }
237
David Tolnay725e1c62018-09-01 12:07:25 -0700238 /// Calls the given parser function to parse a syntax tree node of type `T`
239 /// from this stream.
David Tolnay3a515a02018-08-25 21:08:27 -0400240 pub fn call<T>(&self, function: fn(ParseStream) -> Result<T>) -> Result<T> {
241 function(self)
242 }
243
David Tolnay725e1c62018-09-01 12:07:25 -0700244 /// Looks at the next token in the parse stream to determine whether it
245 /// matches the requested type of token.
246 ///
247 /// Does not advance the position of the parse stream.
David Tolnayb77c8b62018-08-25 16:39:41 -0400248 pub fn peek<T: Peek>(&self, token: T) -> bool {
David Tolnay576779a2018-09-01 11:54:12 -0700249 let _ = token;
250 T::Token::peek(self.cursor())
David Tolnayb77c8b62018-08-25 16:39:41 -0400251 }
252
David Tolnay725e1c62018-09-01 12:07:25 -0700253 /// Looks at the second-next token in the parse stream.
David Tolnay4fb71232018-08-25 23:14:50 -0400254 pub fn peek2<T: Peek>(&self, token: T) -> bool {
David Tolnay4fb71232018-08-25 23:14:50 -0400255 let ahead = self.fork();
David Tolnay66cb0c42018-08-31 09:01:30 -0700256 skip(&ahead) && ahead.peek(token)
David Tolnay4fb71232018-08-25 23:14:50 -0400257 }
258
David Tolnay725e1c62018-09-01 12:07:25 -0700259 /// Looks at the third-next token in the parse stream.
David Tolnay4fb71232018-08-25 23:14:50 -0400260 pub fn peek3<T: Peek>(&self, token: T) -> bool {
David Tolnay4fb71232018-08-25 23:14:50 -0400261 let ahead = self.fork();
David Tolnay66cb0c42018-08-31 09:01:30 -0700262 skip(&ahead) && skip(&ahead) && ahead.peek(token)
David Tolnay4fb71232018-08-25 23:14:50 -0400263 }
264
David Tolnay725e1c62018-09-01 12:07:25 -0700265 /// Parses zero or more occurrences of `T` separated by punctuation of type
266 /// `P`, with optional trailing punctuation.
267 ///
268 /// Parsing continues until the end of this parse stream. The entire content
269 /// of this parse stream must consist of `T` and `P`.
David Tolnay577d0332018-08-25 21:45:24 -0400270 pub fn parse_terminated<T, P: Parse>(
271 &self,
272 parser: fn(ParseStream) -> Result<T>,
273 ) -> Result<Punctuated<T, P>> {
David Tolnayd0f80212018-08-30 18:32:14 -0700274 Punctuated::parse_terminated_with(self, parser)
David Tolnay577d0332018-08-25 21:45:24 -0400275 }
276
David Tolnay725e1c62018-09-01 12:07:25 -0700277 /// Returns whether there are tokens remaining in this stream.
278 ///
279 /// This method returns true at the end of the content of a set of
280 /// delimiters, as well as at the very end of the complete macro input.
David Tolnayf5d30452018-09-01 02:29:04 -0700281 pub fn is_empty(&self) -> bool {
282 self.cursor().eof()
283 }
284
David Tolnay725e1c62018-09-01 12:07:25 -0700285 /// Constructs a helper for peeking at the next token in this stream and
286 /// building an error message if it is not one of a set of expected tokens.
David Tolnayf5d30452018-09-01 02:29:04 -0700287 pub fn lookahead1(&self) -> Lookahead1<'a> {
288 lookahead::new(self.scope, self.cursor())
289 }
290
David Tolnay725e1c62018-09-01 12:07:25 -0700291 /// Forks a parse stream so that parsing tokens out of either the original
292 /// or the fork does not advance the position of the other.
293 ///
294 /// # Performance
295 ///
296 /// Forking a parse stream is a cheap fixed amount of work and does not
297 /// involve copying token buffers. Where you might hit performance problems
298 /// is if your macro ends up parsing a large amount of content more than
299 /// once.
300 ///
301 /// ```
302 /// # use syn::Expr;
303 /// # use syn::parse::{ParseStream, Result};
304 /// #
305 /// # fn bad(input: ParseStream) -> Result<Expr> {
306 /// // Do not do this.
307 /// if input.fork().parse::<Expr>().is_ok() {
308 /// return input.parse::<Expr>();
309 /// }
310 /// # unimplemented!()
311 /// # }
312 /// ```
313 ///
314 /// As a rule, avoid parsing an unbounded amount of tokens out of a forked
315 /// parse stream. Only use a fork when the amount of work performed against
316 /// the fork is small and bounded.
317 ///
318 /// For a lower level but generally more performant way to perform
319 /// speculative parsing, consider using [`ParseStream::step`] instead.
320 ///
321 /// [`ParseStream::step`]: #method.step
David Tolnayb77c8b62018-08-25 16:39:41 -0400322 pub fn fork(&self) -> Self {
David Tolnay6456a9d2018-08-26 08:11:18 -0400323 ParseBuffer {
324 scope: self.scope,
325 cell: self.cell.clone(),
326 marker: PhantomData,
327 // Not the parent's unexpected. Nothing cares whether the clone
328 // parses all the way.
329 unexpected: Rc::new(Cell::new(None)),
330 }
David Tolnayb77c8b62018-08-25 16:39:41 -0400331 }
332
David Tolnay725e1c62018-09-01 12:07:25 -0700333 /// Triggers an error at the current position of the parse stream.
David Tolnay4fb71232018-08-25 23:14:50 -0400334 pub fn error<T: Display>(&self, message: T) -> Error {
335 error::new_at(self.scope, self.cursor(), message)
336 }
337
David Tolnay725e1c62018-09-01 12:07:25 -0700338 /// Speculatively parses tokens from this parse stream, advancing the
339 /// position of this stream only if parsing succeeds.
David Tolnayb50c65a2018-08-30 21:14:57 -0700340 pub fn step<F, R>(&self, function: F) -> Result<R>
David Tolnay18c754c2018-08-21 23:26:58 -0400341 where
342 F: for<'c> FnOnce(StepCursor<'c, 'a>) -> Result<(R, Cursor<'c>)>,
343 {
David Tolnay6b65f852018-09-01 11:56:25 -0700344 let (node, rest) = function(StepCursor {
David Tolnay18c754c2018-08-21 23:26:58 -0400345 scope: self.scope,
346 cursor: self.cell.get(),
347 marker: PhantomData,
David Tolnay6b65f852018-09-01 11:56:25 -0700348 })?;
349 self.cell.set(rest);
350 Ok(node)
David Tolnay18c754c2018-08-21 23:26:58 -0400351 }
David Tolnayeafc8052018-08-25 16:33:53 -0400352
David Tolnay725e1c62018-09-01 12:07:25 -0700353 /// Provides low-level access to the token representation underlying this
354 /// parse stream.
355 ///
356 /// Cursors are immutable so no operations you perform against the cursor
357 /// will affect the state of this parse stream.
David Tolnayf5d30452018-09-01 02:29:04 -0700358 pub fn cursor(&self) -> Cursor<'a> {
359 self.cell.get()
360 }
361
David Tolnay94f06632018-08-31 10:17:17 -0700362 fn check_unexpected(&self) -> Result<()> {
David Tolnayeafc8052018-08-25 16:33:53 -0400363 match self.unexpected.get() {
364 Some(span) => Err(Error::new(span, "unexpected token")),
365 None => Ok(()),
366 }
367 }
David Tolnay18c754c2018-08-21 23:26:58 -0400368}
369
David Tolnaya7d69fc2018-08-26 13:30:24 -0400370impl<T: Parse> Parse for Box<T> {
371 fn parse(input: ParseStream) -> Result<Self> {
372 input.parse().map(Box::new)
373 }
374}
375
David Tolnay4fb71232018-08-25 23:14:50 -0400376impl<T: Parse + Token> Parse for Option<T> {
David Tolnay18c754c2018-08-21 23:26:58 -0400377 fn parse(input: ParseStream) -> Result<Self> {
David Tolnay00f81fd2018-09-01 10:50:12 -0700378 if T::peek(input.cursor()) {
David Tolnay4fb71232018-08-25 23:14:50 -0400379 Ok(Some(input.parse()?))
380 } else {
381 Ok(None)
David Tolnay18c754c2018-08-21 23:26:58 -0400382 }
David Tolnay18c754c2018-08-21 23:26:58 -0400383 }
384}
David Tolnay4ac232d2018-08-31 10:18:03 -0700385
David Tolnay80a914f2018-08-30 23:49:53 -0700386impl Parse for TokenStream {
387 fn parse(input: ParseStream) -> Result<Self> {
388 input.step(|cursor| Ok((cursor.token_stream(), Cursor::empty())))
389 }
390}
391
392impl Parse for TokenTree {
393 fn parse(input: ParseStream) -> Result<Self> {
394 input.step(|cursor| match cursor.token_tree() {
395 Some((tt, rest)) => Ok((tt, rest)),
396 None => Err(cursor.error("expected token tree")),
397 })
398 }
399}
400
401impl Parse for Group {
402 fn parse(input: ParseStream) -> Result<Self> {
403 input.step(|cursor| {
404 for delim in &[Delimiter::Parenthesis, Delimiter::Brace, Delimiter::Bracket] {
405 if let Some((inside, span, rest)) = cursor.group(*delim) {
406 let mut group = Group::new(*delim, inside.token_stream());
407 group.set_span(span);
408 return Ok((group, rest));
409 }
410 }
411 Err(cursor.error("expected group token"))
412 })
413 }
414}
415
416impl Parse for Punct {
417 fn parse(input: ParseStream) -> Result<Self> {
418 input.step(|cursor| match cursor.punct() {
419 Some((punct, rest)) => Ok((punct, rest)),
420 None => Err(cursor.error("expected punctuation token")),
421 })
422 }
423}
424
425impl Parse for Literal {
426 fn parse(input: ParseStream) -> Result<Self> {
427 input.step(|cursor| match cursor.literal() {
428 Some((literal, rest)) => Ok((literal, rest)),
429 None => Err(cursor.error("expected literal token")),
430 })
431 }
432}
433
434/// Parser that can parse Rust tokens into a particular syntax tree node.
435///
436/// Refer to the [module documentation] for details about parsing in Syn.
437///
438/// [module documentation]: index.html
439///
440/// *This trait is available if Syn is built with the `"parsing"` feature.*
441pub trait Parser: Sized {
442 type Output;
443
444 /// Parse a proc-macro2 token stream into the chosen syntax tree node.
445 fn parse2(self, tokens: TokenStream) -> Result<Self::Output>;
446
447 /// Parse tokens of source code into the chosen syntax tree node.
448 ///
449 /// *This method is available if Syn is built with both the `"parsing"` and
450 /// `"proc-macro"` features.*
451 #[cfg(all(
452 not(all(target_arch = "wasm32", target_os = "unknown")),
453 feature = "proc-macro"
454 ))]
455 fn parse(self, tokens: proc_macro::TokenStream) -> Result<Self::Output> {
456 self.parse2(proc_macro2::TokenStream::from(tokens))
457 }
458
459 /// Parse a string of Rust code into the chosen syntax tree node.
460 ///
461 /// # Hygiene
462 ///
463 /// Every span in the resulting syntax tree will be set to resolve at the
464 /// macro call site.
465 fn parse_str(self, s: &str) -> Result<Self::Output> {
466 self.parse2(proc_macro2::TokenStream::from_str(s)?)
467 }
468}
469
David Tolnay7b07aa12018-09-01 11:41:12 -0700470fn tokens_to_parse_buffer(tokens: &TokenBuffer) -> ParseBuffer {
471 let scope = Span::call_site();
472 let cursor = tokens.begin();
473 let unexpected = Rc::new(Cell::new(None));
474 private::new_parse_buffer(scope, cursor, unexpected)
475}
476
David Tolnay80a914f2018-08-30 23:49:53 -0700477impl<F, T> Parser for F
478where
479 F: FnOnce(ParseStream) -> Result<T>,
480{
481 type Output = T;
482
483 fn parse2(self, tokens: TokenStream) -> Result<T> {
484 let buf = TokenBuffer::new2(tokens);
David Tolnay7b07aa12018-09-01 11:41:12 -0700485 let state = tokens_to_parse_buffer(&buf);
David Tolnay80a914f2018-08-30 23:49:53 -0700486 let node = self(&state)?;
487 state.check_unexpected()?;
488 if state.is_empty() {
489 Ok(node)
490 } else {
491 Err(state.error("unexpected token"))
492 }
493 }
494}