Module syn::buffer
[−]
[src]
A stably addressed token buffer supporting efficient traversal based on a cheaply copyable cursor.
The Synom
trait is implemented for syntax tree types that can be parsed
from one of these token cursors.
This module is available if Syn is built with the "parsing"
feature.
Example
This example shows a basic token parser for parsing a token stream without using Syn's parser combinator macros.
#![feature(proc_macro_diagnostic)] extern crate syn; extern crate proc_macro; #[macro_use] extern crate quote; use syn::{token, ExprTuple}; use syn::buffer::{Cursor, TokenBuffer}; use syn::spanned::Spanned; use syn::synom::Synom; use proc_macro::{Diagnostic, Span, TokenStream}; /// A basic token parser for parsing a token stream without using Syn's /// parser combinator macros. pub struct Parser<'a> { cursor: Cursor<'a>, } impl<'a> Parser<'a> { pub fn new(cursor: Cursor<'a>) -> Self { Parser { cursor } } pub fn current_span(&self) -> Span { self.cursor.span().unstable() } pub fn parse<T: Synom>(&mut self) -> Result<T, Diagnostic> { let (val, rest) = T::parse(self.cursor) .map_err(|e| match T::description() { Some(desc) => { self.current_span().error(format!("{}: expected {}", e, desc)) } None => { self.current_span().error(e.to_string()) } })?; self.cursor = rest; Ok(val) } pub fn expect_eof(&mut self) -> Result<(), Diagnostic> { if !self.cursor.eof() { return Err(self.current_span().error("trailing characters; expected eof")); } Ok(()) } } fn eval(input: TokenStream) -> Result<TokenStream, Diagnostic> { let buffer = TokenBuffer::new(input); let mut parser = Parser::new(buffer.begin()); // Parse some syntax tree types out of the input tokens. In this case we // expect something like: // // (a, b, c) = (1, 2, 3) let a = parser.parse::<ExprTuple>()?; parser.parse::<token::Eq>()?; let b = parser.parse::<ExprTuple>()?; parser.expect_eof()?; // Perform some validation and report errors. let (a_len, b_len) = (a.elems.len(), b.elems.len()); if a_len != b_len { let diag = b.span().unstable() .error(format!("expected {} element(s), got {}", a_len, b_len)) .span_note(a.span().unstable(), "because of this"); return Err(diag); } // Build the output tokens. let out = quote! { println!("All good! Received two tuples of size {}", #a_len); }; Ok(out.into()) }
Structs
Cursor |
A cheaply copyable cursor into a |
TokenBuffer |
A buffer that can be efficiently traversed multiple times, unlike
|