maud/maud_macros/src/parse.rs

463 lines
16 KiB
Rust
Raw Normal View History

2015-02-27 14:34:57 +13:00
use std::mem;
2015-11-08 18:59:11 +13:00
use syntax::ast::{Expr, ExprParen, Lit, Stmt, TokenTree};
2015-03-15 16:23:19 +13:00
use syntax::ext::quote::rt::ToTokens;
2015-01-11 11:50:52 +13:00
use syntax::codemap::Span;
2015-12-20 22:18:44 +11:00
use syntax::errors::FatalError;
2014-12-18 18:57:55 +13:00
use syntax::ext::base::ExtCtxt;
2015-09-15 13:26:13 +12:00
use syntax::parse::{self, PResult};
2015-01-07 17:43:37 +13:00
use syntax::parse::parser::Parser as RustParser;
2015-09-28 21:40:37 +13:00
use syntax::parse::token::{BinOpToken, DelimToken, IdentStyle, Token};
2015-09-28 20:16:23 +13:00
use syntax::parse::token::keywords::Keyword;
2014-12-18 18:57:55 +13:00
use syntax::ptr::P;
use super::render::Renderer;
2014-12-19 11:53:40 +13:00
2015-09-15 13:26:13 +12:00
macro_rules! error {
($cx:expr, $sp:expr, $msg:expr) => ({
$cx.span_err($sp, $msg);
2015-12-20 22:18:44 +11:00
return Err(::syntax::errors::FatalError);
2015-09-15 13:26:13 +12:00
})
}
macro_rules! parse_error {
($self_:expr, $sp:expr, $msg:expr) => (error!($self_.render.cx, $sp, $msg))
}
2015-01-07 17:43:37 +13:00
macro_rules! dollar {
2015-11-08 18:59:11 +13:00
() => (TokenTree::Token(_, Token::Dollar))
2015-01-07 17:43:37 +13:00
}
macro_rules! pound {
2015-11-08 18:59:11 +13:00
() => (TokenTree::Token(_, Token::Pound))
}
2015-01-18 20:18:21 +13:00
macro_rules! dot {
2015-11-08 18:59:11 +13:00
() => (TokenTree::Token(_, Token::Dot))
2015-01-18 20:18:21 +13:00
}
2015-01-07 17:43:37 +13:00
macro_rules! eq {
2015-11-08 18:59:11 +13:00
() => (TokenTree::Token(_, Token::Eq))
2015-01-07 17:43:37 +13:00
}
2015-01-13 16:46:37 +13:00
macro_rules! not {
2015-11-08 18:59:11 +13:00
() => (TokenTree::Token(_, Token::Not))
2015-01-13 16:46:37 +13:00
}
macro_rules! question {
2015-11-08 18:59:11 +13:00
() => (TokenTree::Token(_, Token::Question))
}
2015-01-07 17:43:37 +13:00
macro_rules! semi {
2015-11-08 18:59:11 +13:00
() => (TokenTree::Token(_, Token::Semi))
2015-01-07 17:43:37 +13:00
}
macro_rules! minus {
2015-11-08 18:59:11 +13:00
() => (TokenTree::Token(_, Token::BinOp(BinOpToken::Minus)))
2015-01-07 17:43:37 +13:00
}
2015-01-11 12:51:35 +13:00
macro_rules! slash {
2015-11-08 18:59:11 +13:00
() => (TokenTree::Token(_, Token::BinOp(BinOpToken::Slash)))
2015-01-11 12:51:35 +13:00
}
2015-01-07 17:43:37 +13:00
macro_rules! literal {
2015-11-08 18:59:11 +13:00
() => (TokenTree::Token(_, Token::Literal(..)))
2015-01-07 17:43:37 +13:00
}
macro_rules! ident {
2015-11-08 18:59:11 +13:00
($sp:pat, $x:pat) => (TokenTree::Token($sp, Token::Ident($x, IdentStyle::Plain)))
2015-01-07 17:43:37 +13:00
}
macro_rules! substnt {
2015-11-08 18:59:11 +13:00
($sp:pat, $x:pat) => (TokenTree::Token($sp, Token::SubstNt($x, IdentStyle::Plain)))
}
2015-09-28 20:16:23 +13:00
macro_rules! keyword {
2015-11-08 18:59:11 +13:00
($sp:pat, $x:ident) => (TokenTree::Token($sp, ref $x @ Token::Ident(..)))
2015-09-28 20:16:23 +13:00
}
2015-01-07 17:43:37 +13:00
pub fn parse(cx: &ExtCtxt, sp: Span, write: &[TokenTree], input: &[TokenTree])
2015-09-15 13:26:13 +12:00
-> PResult<P<Expr>>
{
let mut parser = Parser {
in_attr: false,
input: input,
span: sp,
render: Renderer::new(cx),
};
2015-09-15 13:26:13 +12:00
try!(parser.markups());
Ok(parser.into_render().into_expr(write.to_vec()))
2015-01-07 17:43:37 +13:00
}
2015-09-15 13:26:13 +12:00
pub fn split_comma<'a>(cx: &ExtCtxt, sp: Span, mac_name: &str, args: &'a [TokenTree])
-> PResult<(&'a [TokenTree], &'a [TokenTree])>
{
2015-09-01 18:26:50 +12:00
fn is_comma(t: &TokenTree) -> bool {
match *t {
2015-11-08 18:59:11 +13:00
TokenTree::Token(_, Token::Comma) => true,
2015-09-01 18:26:50 +12:00
_ => false,
}
}
match args.iter().position(is_comma) {
2015-09-15 13:26:13 +12:00
Some(i) => Ok((&args[..i], &args[1+i..])),
None => error!(cx, sp, &format!("expected two arguments to `{}!`", mac_name)),
2015-09-01 18:26:50 +12:00
}
}
2015-04-04 10:27:44 +13:00
struct Parser<'cx, 'i> {
in_attr: bool,
2015-01-07 17:43:37 +13:00
input: &'i [TokenTree],
span: Span,
2015-04-04 10:27:44 +13:00
render: Renderer<'cx>,
2015-01-07 17:43:37 +13:00
}
2015-04-04 10:27:44 +13:00
impl<'cx, 'i> Parser<'cx, 'i> {
2015-09-14 11:31:40 +12:00
/// Finalizes the `Parser`, returning the `Renderer` underneath.
2015-04-04 10:27:44 +13:00
fn into_render(self) -> Renderer<'cx> {
let Parser { render, .. } = self;
render
}
2015-09-14 11:31:40 +12:00
/// Consumes `n` items from the input.
fn shift(&mut self, n: usize) {
2015-01-25 20:05:43 +13:00
self.input = &self.input[n..];
2014-12-21 16:47:40 +13:00
}
2015-01-07 17:43:37 +13:00
2015-09-14 11:31:40 +12:00
/// Constructs a Rust AST parser from the given token tree.
fn with_rust_parser<F, T>(&self, tts: Vec<TokenTree>, callback: F) -> T where
2015-04-04 10:27:44 +13:00
F: FnOnce(&mut RustParser<'cx>) -> T
{
let mut parser = parse::tts_to_parser(self.render.cx.parse_sess, tts,
self.render.cx.cfg.clone());
let result = callback(&mut parser);
// Make sure all tokens were consumed
2015-09-28 21:40:37 +13:00
if parser.token != Token::Eof {
let token = parser.this_token_to_string();
self.render.cx.span_err(parser.span,
&format!("unexpected token: `{}`", token));
}
result
2014-12-20 20:53:38 +13:00
}
2015-01-07 17:43:37 +13:00
2015-09-14 11:31:40 +12:00
/// Parses and renders multiple blocks of markup.
2015-09-15 13:26:13 +12:00
fn markups(&mut self) -> PResult<()> {
2015-01-07 17:43:37 +13:00
loop {
match self.input {
2015-09-15 13:26:13 +12:00
[] => return Ok(()),
2015-01-07 17:43:37 +13:00
[semi!(), ..] => self.shift(1),
2015-09-15 13:26:13 +12:00
[_, ..] => try!(self.markup()),
2015-01-07 17:43:37 +13:00
}
}
2014-12-20 20:53:38 +13:00
}
2015-09-14 11:31:40 +12:00
/// Parses and renders a single block of markup.
2015-09-15 13:26:13 +12:00
fn markup(&mut self) -> PResult<()> {
2015-01-11 11:50:52 +13:00
match self.input {
// Literal
[minus!(), ref tt @ literal!(), ..] => {
2015-01-07 17:43:37 +13:00
self.shift(2);
2015-09-15 13:26:13 +12:00
try!(self.literal(tt, true));
},
[ref tt @ literal!(), ..] => {
2015-01-07 17:43:37 +13:00
self.shift(1);
2015-09-15 13:26:13 +12:00
try!(self.literal(tt, false))
},
2015-02-27 09:27:45 +13:00
// If
2015-09-28 20:16:23 +13:00
[pound!(), keyword!(sp, k), ..] if k.is_keyword(Keyword::If) => {
2015-02-27 09:27:45 +13:00
self.shift(2);
2015-09-15 13:26:13 +12:00
try!(self.if_expr(sp));
2015-02-27 09:27:45 +13:00
},
2015-03-14 21:08:08 +13:00
// For
2015-09-28 20:16:23 +13:00
[pound!(), keyword!(sp, k), ..] if k.is_keyword(Keyword::For) => {
2015-03-14 21:08:08 +13:00
self.shift(2);
2015-09-15 13:26:13 +12:00
try!(self.for_expr(sp));
2015-03-14 21:08:08 +13:00
},
2015-09-23 14:29:45 +12:00
// Call
2015-09-28 20:16:23 +13:00
[pound!(), ident!(sp, name), ..] if name.name.as_str() == "call" => {
2015-09-23 14:29:45 +12:00
self.shift(2);
let func = try!(self.splice(sp));
self.render.emit_call(func);
},
2015-01-11 11:50:52 +13:00
// Splice
[ref tt @ dollar!(), ..] => {
self.shift(1);
2015-09-15 13:26:13 +12:00
let expr = try!(self.splice(tt.get_span()));
self.render.splice(expr);
2015-01-11 11:50:52 +13:00
},
[substnt!(sp, ident), ..] => {
self.shift(1);
// Parse `SubstNt` as `[Dollar, Ident]`
// See <https://github.com/lfairy/maud/issues/23>
2015-11-08 18:59:11 +13:00
let prefix = TokenTree::Token(sp, Token::Ident(ident, IdentStyle::Plain));
let expr = try!(self.splice_with_prefix(prefix));
self.render.splice(expr);
},
2015-01-11 11:50:52 +13:00
// Element
[ident!(sp, _), ..] => {
let name = try!(self.name());
try!(self.element(sp, &name));
2015-01-11 11:50:52 +13:00
},
// Block
2015-11-08 18:59:11 +13:00
[TokenTree::Delimited(_, ref d), ..] if d.delim == DelimToken::Brace => {
2015-01-11 11:50:52 +13:00
self.shift(1);
{
// Parse the contents of the block, emitting the
// result inline
let mut i = &*d.tts;
mem::swap(&mut self.input, &mut i);
2015-09-15 13:26:13 +12:00
try!(self.markups());
mem::swap(&mut self.input, &mut i);
}
2015-01-11 11:50:52 +13:00
},
// ???
_ => {
if let [ref tt, ..] = self.input {
2015-09-15 13:26:13 +12:00
parse_error!(self, tt.get_span(), "invalid syntax");
} else {
2015-09-15 13:26:13 +12:00
parse_error!(self, self.span, "unexpected end of block");
2015-01-11 11:50:52 +13:00
}
},
}
2015-09-15 13:26:13 +12:00
Ok(())
2015-01-11 11:50:52 +13:00
}
2015-09-14 11:31:40 +12:00
/// Parses and renders a literal string or number.
2015-09-15 13:26:13 +12:00
fn literal(&mut self, tt: &TokenTree, minus: bool) -> PResult<()> {
let lit = try!(self.with_rust_parser(vec![tt.clone()], RustParser::parse_lit));
let s = try!(lit_to_string(self.render.cx, lit, minus));
self.render.string(&s);
2015-09-15 13:26:13 +12:00
Ok(())
2015-01-07 17:43:37 +13:00
}
2015-09-14 11:31:40 +12:00
/// Parses and renders an `#if` expression.
///
/// The leading `#if` should already be consumed.
2015-09-15 13:26:13 +12:00
fn if_expr(&mut self, sp: Span) -> PResult<()> {
2015-03-01 19:34:08 -05:00
// Parse the initial if
2015-03-15 16:23:19 +13:00
let mut if_cond = vec![];
2015-02-27 09:27:45 +13:00
let if_body;
loop { match self.input {
2015-11-08 18:59:11 +13:00
[TokenTree::Delimited(sp, ref d), ..] if d.delim == DelimToken::Brace => {
2015-02-27 09:27:45 +13:00
self.shift(1);
2015-09-15 13:26:13 +12:00
if_body = try!(self.block(sp, &d.tts));
2015-02-27 09:27:45 +13:00
break;
},
[ref tt, ..] => {
self.shift(1);
2015-03-15 16:23:19 +13:00
if_cond.push(tt.clone());
2015-02-27 09:27:45 +13:00
},
2015-09-15 13:26:13 +12:00
[] => parse_error!(self, sp, "expected body for this #if"),
2015-02-27 09:27:45 +13:00
}}
2015-03-01 19:34:08 -05:00
// Parse the (optional) else
2015-02-27 09:27:45 +13:00
let else_body = match self.input {
2015-09-28 20:16:23 +13:00
[pound!(), keyword!(_, k), ..] if k.is_keyword(Keyword::Else) => {
2015-02-27 09:27:45 +13:00
self.shift(2);
2015-03-01 19:34:08 -05:00
match self.input {
2015-09-28 20:16:23 +13:00
[keyword!(sp, k), ..] if k.is_keyword(Keyword::If) => {
2015-03-01 19:34:08 -05:00
self.shift(1);
let else_body = {
// Parse an if expression, but capture the result
// rather than emitting it right away
2015-04-10 19:01:32 +12:00
let mut r = self.render.fork();
mem::swap(&mut self.render, &mut r);
2015-09-15 13:26:13 +12:00
try!(self.if_expr(sp));
2015-04-10 19:01:32 +12:00
mem::swap(&mut self.render, &mut r);
r.into_stmts()
2015-03-01 19:34:08 -05:00
};
Some(else_body)
},
2015-11-08 18:59:11 +13:00
[TokenTree::Delimited(sp, ref d), ..] if d.delim == DelimToken::Brace => {
2015-03-01 19:34:08 -05:00
self.shift(1);
2015-09-15 13:26:13 +12:00
Some(try!(self.block(sp, &d.tts)))
2015-03-01 19:34:08 -05:00
},
2015-09-15 13:26:13 +12:00
_ => parse_error!(self, sp, "expected body for this #else"),
2015-03-01 19:34:08 -05:00
}
2015-02-27 09:27:45 +13:00
},
_ => None,
};
2015-03-01 19:34:08 -05:00
self.render.emit_if(if_cond, if_body, else_body);
2015-09-15 13:26:13 +12:00
Ok(())
2015-02-27 09:27:45 +13:00
}
2015-09-14 11:31:40 +12:00
/// Parses and renders a `#for` expression.
///
/// The leading `#for` should already be consumed.
2015-09-15 13:26:13 +12:00
fn for_expr(&mut self, sp: Span) -> PResult<()> {
2015-03-14 21:08:08 +13:00
let mut pattern = vec![];
loop { match self.input {
2015-09-28 20:16:23 +13:00
[keyword!(_, k), ..] if k.is_keyword(Keyword::In) => {
2015-03-14 21:08:08 +13:00
self.shift(1);
break;
},
[ref tt, ..] => {
self.shift(1);
pattern.push(tt.clone());
},
2015-09-15 13:26:13 +12:00
_ => parse_error!(self, sp, "invalid #for"),
2015-03-14 21:08:08 +13:00
}}
2015-11-20 10:56:29 +13:00
let pattern = try!(self.with_rust_parser(pattern, RustParser::parse_pat));
2015-03-14 21:08:08 +13:00
let mut iterable = vec![];
let body;
loop { match self.input {
2015-11-08 18:59:11 +13:00
[TokenTree::Delimited(sp, ref d), ..] if d.delim == DelimToken::Brace => {
2015-03-14 21:08:08 +13:00
self.shift(1);
2015-09-15 13:26:13 +12:00
body = try!(self.block(sp, &d.tts));
2015-03-14 21:08:08 +13:00
break;
},
[ref tt, ..] => {
self.shift(1);
iterable.push(tt.clone());
},
2015-09-15 13:26:13 +12:00
_ => parse_error!(self, sp, "invalid #for"),
2015-03-14 21:08:08 +13:00
}}
2015-11-20 10:56:29 +13:00
let iterable = try!(self.with_rust_parser(iterable, RustParser::parse_expr));
2015-03-14 21:08:08 +13:00
self.render.emit_for(pattern, iterable, body);
2015-09-15 13:26:13 +12:00
Ok(())
2015-03-14 21:08:08 +13:00
}
2015-09-14 11:31:40 +12:00
/// Parses and renders a `$splice`.
///
/// The leading `$` should already be consumed.
2015-09-15 13:26:13 +12:00
fn splice(&mut self, sp: Span) -> PResult<P<Expr>> {
2015-01-18 20:18:21 +13:00
// First, munch a single token tree
let prefix = match self.input {
2015-09-14 11:31:40 +12:00
[ref tt, ..] => {
self.shift(1);
tt.clone()
2015-09-14 11:31:40 +12:00
},
2015-09-15 13:26:13 +12:00
[] => parse_error!(self, sp, "expected expression for this splice"),
2015-09-14 11:31:40 +12:00
};
self.splice_with_prefix(prefix)
}
/// Parses and renders a `$splice`, given a prefix that we've already
/// consumed.
fn splice_with_prefix(&mut self, prefix: TokenTree) -> PResult<P<Expr>> {
let mut tts = vec![prefix];
2015-03-15 16:42:34 +13:00
loop { match self.input {
// Munch attribute lookups e.g. `$person.address.street`
2015-09-28 20:16:23 +13:00
[ref dot @ dot!(), ref ident @ ident!(_, _), ..] => {
2015-03-15 16:42:34 +13:00
self.shift(2);
tts.push(dot.clone());
tts.push(ident.clone());
},
// Munch function calls `()` and indexing operations `[]`
2015-11-08 18:59:11 +13:00
[TokenTree::Delimited(sp, ref d), ..] if d.delim != DelimToken::Brace => {
2015-03-15 16:42:34 +13:00
self.shift(1);
2015-11-08 18:59:11 +13:00
tts.push(TokenTree::Delimited(sp, d.clone()));
2015-03-15 16:42:34 +13:00
},
_ => break,
}}
2015-11-20 10:56:29 +13:00
self.with_rust_parser(tts, RustParser::parse_expr)
2015-01-07 17:43:37 +13:00
}
2015-09-14 11:31:40 +12:00
/// Parses and renders an element node.
///
/// The element name should already be consumed.
2015-09-15 13:26:13 +12:00
fn element(&mut self, sp: Span, name: &str) -> PResult<()> {
2015-01-11 11:50:52 +13:00
if self.in_attr {
2015-09-15 13:26:13 +12:00
parse_error!(self, sp, "unexpected element, you silly bumpkin");
2015-01-11 11:50:52 +13:00
}
self.render.element_open_start(name);
2015-09-15 13:26:13 +12:00
try!(self.attrs());
self.render.element_open_end();
2015-01-11 12:51:35 +13:00
if let [slash!(), ..] = self.input {
self.shift(1);
} else {
2015-09-15 13:26:13 +12:00
try!(self.markup());
2015-01-11 12:51:35 +13:00
self.render.element_close(name);
}
2015-09-15 13:26:13 +12:00
Ok(())
2014-12-18 18:57:55 +13:00
}
2015-01-07 17:43:37 +13:00
2015-09-14 11:31:40 +12:00
/// Parses and renders the attributes of an element.
2015-09-15 13:26:13 +12:00
fn attrs(&mut self) -> PResult<()> {
loop {
let old_input = self.input;
let maybe_name = self.name();
match (maybe_name, self.input) {
(Ok(name), [eq!(), ..]) => {
// Non-empty attribute
self.shift(1);
self.render.attribute_start(&name);
{
// Parse a value under an attribute context
let mut in_attr = true;
mem::swap(&mut self.in_attr, &mut in_attr);
try!(self.markup());
mem::swap(&mut self.in_attr, &mut in_attr);
}
self.render.attribute_end();
},
(Ok(name), [question!(), ..]) => {
// Empty attribute
self.shift(1);
if let [ref tt @ eq!(), ..] = self.input {
// Toggle the attribute based on a boolean expression
self.shift(1);
let cond = try!(self.splice(tt.get_span()));
// Silence "unnecessary parentheses" warnings
let cond = strip_outer_parens(cond).to_tokens(self.render.cx);
let body = {
let mut r = self.render.fork();
r.attribute_empty(&name);
r.into_stmts()
};
self.render.emit_if(cond, body, None);
} else {
// Write the attribute unconditionally
self.render.attribute_empty(&name);
}
},
_ => {
self.input = old_input;
break;
},
}}
Ok(())
}
/// Parses a HTML element or attribute name.
fn name(&mut self) -> PResult<String> {
let mut s = match self.input {
2015-09-28 20:16:23 +13:00
[ident!(_, name), ..] => {
self.shift(1);
String::from(&name.name.as_str() as &str)
},
_ => return Err(FatalError),
};
2015-09-28 20:16:23 +13:00
while let [minus!(), ident!(_, name), ..] = self.input {
self.shift(2);
s.push('-');
s.push_str(&name.name.as_str());
}
Ok(s)
2014-12-18 18:57:55 +13:00
}
2015-09-14 11:31:40 +12:00
/// Parses the given token tree, returning a vector of statements.
2015-09-15 13:26:13 +12:00
fn block(&mut self, sp: Span, tts: &[TokenTree]) -> PResult<Vec<P<Stmt>>> {
let mut parse = Parser {
2015-01-11 11:50:52 +13:00
in_attr: self.in_attr,
input: tts,
2015-02-07 17:05:36 +13:00
span: sp,
2015-02-27 14:34:57 +13:00
render: self.render.fork(),
};
2015-09-15 13:26:13 +12:00
try!(parse.markups());
Ok(parse.into_render().into_stmts())
2015-01-07 17:43:37 +13:00
}
2014-12-18 18:57:55 +13:00
}
2015-09-14 11:31:40 +12:00
/// Converts a literal to a string.
2015-09-15 13:26:13 +12:00
fn lit_to_string(cx: &ExtCtxt, lit: Lit, minus: bool) -> PResult<String> {
2014-12-18 18:57:55 +13:00
use syntax::ast::Lit_::*;
let mut result = String::new();
if minus {
result.push('-');
}
match lit.node {
2015-02-09 15:03:54 +13:00
LitStr(s, _) => result.push_str(&s),
LitByteStr(..) | LitByte(..) => {
2015-09-15 13:26:13 +12:00
error!(cx, lit.span, "cannot splice binary data");
2014-12-18 18:57:55 +13:00
},
LitChar(c) => result.push(c),
2015-02-02 20:53:47 +13:00
LitInt(x, _) => result.push_str(&x.to_string()),
2015-02-09 15:03:54 +13:00
LitFloat(s, _) | LitFloatUnsuffixed(s) => result.push_str(&s),
2014-12-18 18:57:55 +13:00
LitBool(b) => result.push_str(if b { "true" } else { "false" }),
};
2015-09-15 13:26:13 +12:00
Ok(result)
2014-12-18 18:57:55 +13:00
}
2015-02-09 15:05:50 +13:00
/// If the expression is wrapped in parentheses, strip them off.
fn strip_outer_parens(expr: P<Expr>) -> P<Expr> {
expr.and_then(|expr| match expr {
Expr { node: ExprParen(inner), .. } => inner,
expr => P(expr),
})
}