maud/maud_macros/src/parse.rs

604 lines
20 KiB
Rust
Raw Normal View History

2015-02-27 14:34:57 +13:00
use std::mem;
2016-07-10 20:02:03 +12:00
use std::rc::Rc;
2016-07-03 16:55:45 +12:00
use syntax::ast::{Expr, ExprKind, Lit, LitKind, Stmt};
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;
2016-01-01 11:43:59 +13:00
use syntax::errors::{DiagnosticBuilder, FatalError};
2014-12-18 18:57:55 +13:00
use syntax::ext::base::ExtCtxt;
2016-01-01 11:43:59 +13:00
use syntax::parse;
2015-01-07 17:43:37 +13:00
use syntax::parse::parser::Parser as RustParser;
2016-04-27 12:10:37 +12:00
use syntax::parse::token::{BinOpToken, DelimToken, Token, Lit as LitToken};
use syntax::parse::token::keywords;
2014-12-18 18:57:55 +13:00
use syntax::ptr::P;
2016-07-03 16:55:45 +12:00
use syntax::tokenstream::{Delimited, TokenTree};
2014-12-18 18:57:55 +13:00
use super::render::Renderer;
2016-01-01 11:43:59 +13:00
use super::PResult;
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))
}
2016-02-02 16:08:03 +01:00
macro_rules! at {
() => (TokenTree::Token(_, Token::At))
}
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
}
macro_rules! modsep {
() => (TokenTree::Token(_, Token::ModSep))
}
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
}
2016-06-03 23:06:39 +12:00
macro_rules! pound {
() => (TokenTree::Token(_, Token::Pound))
}
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
}
2016-02-01 20:05:50 +01:00
macro_rules! comma {
() => (TokenTree::Token(_, Token::Comma))
}
macro_rules! fat_arrow {
() => (TokenTree::Token(_, Token::FatArrow))
}
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
}
macro_rules! caret {
() => (TokenTree::Token(_, Token::BinOp(BinOpToken::Caret)))
}
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
}
2016-02-01 18:03:50 +01:00
macro_rules! integer {
() => (TokenTree::Token(_, Token::Literal(LitToken::Integer(_), _)))
}
2015-01-07 17:43:37 +13:00
macro_rules! ident {
2016-04-27 12:10:37 +12:00
($sp:pat, $x:pat) => (TokenTree::Token($sp, Token::Ident($x)))
2015-01-07 17:43:37 +13:00
}
macro_rules! substnt {
2016-04-27 12:10:37 +12:00
($sp:pat, $x:pat) => (TokenTree::Token($sp, Token::SubstNt($x)))
}
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),
};
2016-03-22 23:31:23 +13:00
parser.markups()?;
2015-09-15 13:26:13 +12:00
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
}
}
2016-06-12 15:05:49 +12:00
struct Parser<'cx, 'a: 'cx, 'i> {
in_attr: bool,
2015-01-07 17:43:37 +13:00
input: &'i [TokenTree],
span: Span,
2016-06-12 15:05:49 +12:00
render: Renderer<'cx, 'a>,
2015-01-07 17:43:37 +13:00
}
2016-06-12 15:05:49 +12:00
impl<'cx, 'a, 'i> Parser<'cx, 'a, 'i> {
2015-09-14 11:31:40 +12:00
/// Finalizes the `Parser`, returning the `Renderer` underneath.
2016-06-12 15:05:49 +12:00
fn into_render(self) -> Renderer<'cx, 'a> {
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.
2016-01-01 11:43:59 +13:00
fn with_rust_parser<F, T>(&self, tts: Vec<TokenTree>, callback: F) -> PResult<T> where
F: FnOnce(&mut RustParser<'cx>) -> Result<T, DiagnosticBuilder<'cx>>
{
let mut parser = parse::tts_to_parser(self.render.cx.parse_sess, tts,
self.render.cx.cfg.clone());
2016-01-01 11:43:59 +13:00
let result = callback(&mut parser).map_err(|mut e| { e.emit(); FatalError });
// 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 {
2016-06-12 15:05:49 +12:00
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),
2016-03-22 23:31:23 +13:00
[_, ..] => 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<()> {
2016-06-12 15:05:49 +12:00
match *self.input {
2015-01-11 11:50:52 +13:00
// Literal
[minus!(), ref tt @ literal!(), ..] => {
2015-01-07 17:43:37 +13:00
self.shift(2);
2016-03-22 23:31:23 +13:00
self.literal(tt, true)?;
},
[ref tt @ literal!(), ..] => {
2015-01-07 17:43:37 +13:00
self.shift(1);
2016-03-22 23:31:23 +13:00
self.literal(tt, false)?;
},
2015-02-27 09:27:45 +13:00
// If
2016-04-27 12:10:37 +12:00
[at!(), keyword!(sp, k), ..] if k.is_keyword(keywords::If) => {
2015-02-27 09:27:45 +13:00
self.shift(2);
2016-03-22 23:31:23 +13:00
self.if_expr(sp)?;
2015-02-27 09:27:45 +13:00
},
2015-03-14 21:08:08 +13:00
// For
2016-04-27 12:10:37 +12:00
[at!(), keyword!(sp, k), ..] if k.is_keyword(keywords::For) => {
2015-03-14 21:08:08 +13:00
self.shift(2);
2016-03-22 23:31:23 +13:00
self.for_expr(sp)?;
2015-03-14 21:08:08 +13:00
},
2016-02-01 20:05:50 +01:00
// Match
2016-04-27 12:10:37 +12:00
[at!(), keyword!(sp, k), ..] if k.is_keyword(keywords::Match) => {
2016-02-01 20:05:50 +01:00
self.shift(2);
2016-03-22 23:31:23 +13:00
self.match_expr(sp)?;
2016-02-01 20:05:50 +01:00
},
2015-09-23 14:29:45 +12:00
// Call
2016-02-02 16:08:03 +01:00
[at!(), ident!(sp, name), ..] if name.name.as_str() == "call" => {
2015-09-23 14:29:45 +12:00
self.shift(2);
2016-03-22 23:31:23 +13:00
let func = self.splice(sp)?;
2015-09-23 14:29:45 +12:00
self.render.emit_call(func);
},
2015-01-11 11:50:52 +13:00
// Splice
[ref tt @ caret!(), ..] => {
2015-01-11 11:50:52 +13:00
self.shift(1);
2016-03-22 23:31:23 +13:00
let expr = self.splice(tt.get_span())?;
self.render.splice(expr);
2015-01-11 11:50:52 +13:00
},
// Element
[ident!(sp, _), ..] => {
2016-03-22 23:31:23 +13:00
let name = self.name()?;
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);
2016-03-22 23:31:23 +13:00
self.markups()?;
mem::swap(&mut self.input, &mut i);
}
2015-01-11 11:50:52 +13:00
},
// ???
_ => {
2016-06-12 15:05:49 +12: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<()> {
2016-03-22 23:31:23 +13:00
let lit = self.with_rust_parser(vec![tt.clone()], RustParser::parse_lit)?;
let s = 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
}
2016-02-03 11:50:13 +01:00
/// Parses and renders an `@if` expression.
2015-09-14 11:31:40 +12:00
///
2016-02-03 11:50:13 +01:00
/// 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;
2016-06-12 15:05:49 +12:00
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);
2016-03-22 23:31:23 +13:00
if_body = 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
},
2016-02-03 11:50:13 +01:00
[] => parse_error!(self, sp, "expected body for this @if"),
2015-02-27 09:27:45 +13:00
}}
2016-02-07 11:02:27 +01:00
// Parse the (optional) @else
2016-06-12 15:05:49 +12:00
let else_body = match *self.input {
2016-04-27 12:10:37 +12:00
[at!(), keyword!(_, k), ..] if k.is_keyword(keywords::Else) => {
2015-02-27 09:27:45 +13:00
self.shift(2);
2016-06-12 15:05:49 +12:00
match *self.input {
2016-04-27 12:10:37 +12:00
[keyword!(sp, k), ..] if k.is_keyword(keywords::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);
2016-03-22 23:31:23 +13:00
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);
2016-03-22 23:31:23 +13:00
Some(self.block(sp, &d.tts)?)
2015-03-01 19:34:08 -05:00
},
2016-02-03 11:50:13 +01: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
}
2016-02-03 11:50:13 +01:00
/// Parses and renders a `@for` expression.
2015-09-14 11:31:40 +12:00
///
2016-02-03 11:50:13 +01:00
/// 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![];
2016-06-12 15:05:49 +12:00
loop { match *self.input {
2016-04-27 12:10:37 +12:00
[keyword!(_, k), ..] if k.is_keyword(keywords::In) => {
2015-03-14 21:08:08 +13:00
self.shift(1);
break;
},
[ref tt, ..] => {
self.shift(1);
pattern.push(tt.clone());
},
2016-02-03 11:50:13 +01:00
_ => parse_error!(self, sp, "invalid @for"),
2015-03-14 21:08:08 +13:00
}}
2016-03-22 23:31:23 +13:00
let pattern = self.with_rust_parser(pattern, RustParser::parse_pat)?;
2015-03-14 21:08:08 +13:00
let mut iterable = vec![];
let body;
2016-06-12 15:05:49 +12:00
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);
2016-03-22 23:31:23 +13:00
body = self.block(sp, &d.tts)?;
2015-03-14 21:08:08 +13:00
break;
},
[ref tt, ..] => {
self.shift(1);
iterable.push(tt.clone());
},
2016-02-03 11:50:13 +01:00
_ => parse_error!(self, sp, "invalid @for"),
2015-03-14 21:08:08 +13:00
}}
2016-03-22 23:31:23 +13:00
let iterable = 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
}
2016-02-01 20:05:50 +01:00
/// Parses and renders a `@match` expression.
///
/// The leading `@match` should already be consumed.
fn match_expr(&mut self, sp: Span) -> PResult<()> {
// Parse the initial match
let mut match_var = vec![];
let match_bodies;
2016-06-12 15:05:49 +12:00
loop { match *self.input {
2016-02-01 20:05:50 +01:00
[TokenTree::Delimited(sp, ref d), ..] if d.delim == DelimToken::Brace => {
self.shift(1);
2016-03-22 23:31:23 +13:00
match_bodies = Parser {
2016-02-01 20:05:50 +01:00
in_attr: self.in_attr,
input: &d.tts,
span: sp,
render: self.render.fork(),
2016-03-22 23:31:23 +13:00
}.match_bodies()?;
2016-02-01 20:05:50 +01:00
break;
},
[ref tt, ..] => {
self.shift(1);
match_var.push(tt.clone());
},
2016-02-10 11:47:22 +01:00
[] => parse_error!(self, sp, "expected body for this @match"),
2016-02-01 20:05:50 +01:00
}}
2016-03-22 23:31:23 +13:00
let match_var = self.with_rust_parser(match_var, RustParser::parse_expr)?;
2016-02-01 20:05:50 +01:00
self.render.emit_match(match_var, match_bodies);
Ok(())
}
fn match_bodies(&mut self) -> PResult<Vec<TokenTree>> {
let mut bodies = Vec::new();
2016-06-12 15:05:49 +12:00
loop { match *self.input {
[] => break,
[ref tt @ comma!(), ..] => {
self.shift(1);
bodies.push(tt.clone());
},
[TokenTree::Token(sp, _), ..] | [TokenTree::Delimited(sp, _), ..] | [TokenTree::Sequence(sp, _), ..] => {
bodies.append(&mut self.match_body(sp)?);
},
}}
2016-02-01 20:05:50 +01:00
Ok(bodies)
}
fn match_body(&mut self, sp: Span) -> PResult<Vec<TokenTree>> {
let mut body = vec![];
2016-06-12 15:05:49 +12:00
loop { match *self.input {
2016-02-01 20:05:50 +01:00
[ref tt @ fat_arrow!(), ..] => {
self.shift(1);
body.push(tt.clone());
break;
},
[ref tt, ..] => {
self.shift(1);
body.push(tt.clone());
},
2016-02-10 11:47:22 +01:00
_ => parse_error!(self, sp, "invalid @match pattern"),
2016-02-01 20:05:50 +01:00
}}
let mut expr = Vec::new();
2016-06-12 15:05:49 +12:00
loop { match *self.input {
2016-02-01 20:05:50 +01:00
[TokenTree::Delimited(sp, ref d), ..] if d.delim == DelimToken::Brace => {
if expr.is_empty() {
self.shift(1);
2016-03-22 23:31:23 +13:00
expr = self.block(sp, &d.tts)?.to_tokens(self.render.cx);
2016-02-01 20:05:50 +01:00
break;
} else {
self.shift(1);
expr.push(TokenTree::Delimited(sp, d.clone()));
}
},
[comma!(), ..] | [] => {
if expr.is_empty() {
2016-02-10 11:47:22 +01:00
parse_error!(self, sp, "expected body for this @match arm");
2016-02-01 20:05:50 +01:00
} else {
2016-03-22 23:31:23 +13:00
expr = self.block(sp, &expr)?.to_tokens(self.render.cx);
2016-02-01 20:05:50 +01:00
break;
}
},
[ref tt, ..] => {
self.shift(1);
expr.push(tt.clone());
},
}}
2016-07-10 20:02:03 +12:00
body.push(TokenTree::Delimited(sp, Rc::new(Delimited {
2016-07-03 16:55:45 +12:00
delim: DelimToken::Brace,
open_span: sp,
tts: expr,
close_span: sp,
2016-07-10 20:02:03 +12:00
})));
2016-02-01 20:05:50 +01:00
Ok(body)
}
/// Parses and renders a `^splice`.
2015-09-14 11:31:40 +12:00
///
/// 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
2016-06-12 15:05:49 +12:00
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];
2016-06-12 15:05:49 +12: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 tuple attribute lookups e.g. `^person.1.2`
2016-02-01 18:03:50 +01:00
[ref dot @ dot!(), ref num @ integer!(), ..] => {
self.shift(2);
tts.push(dot.clone());
tts.push(num.clone());
},
// Munch path lookups e.g. `^some_mod::Struct`
[ref sep @ modsep!(), ref ident @ ident!(_, _), ..] => {
self.shift(2);
tts.push(sep.clone());
tts.push(ident.clone());
},
2015-03-15 16:42:34 +13:00
// 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);
2016-03-22 23:31:23 +13:00
self.attrs()?;
self.render.element_open_end();
2016-06-12 15:05:49 +12:00
if let [slash!(), ..] = *self.input {
2015-01-11 12:51:35 +13:00
self.shift(1);
} else {
2016-03-22 23:31:23 +13:00
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<()> {
2016-06-03 23:06:39 +12:00
let mut classes = Vec::new();
let mut ids = Vec::new();
loop {
let old_input = self.input;
let maybe_name = self.name();
match (maybe_name, self.input) {
2016-06-12 15:05:49 +12:00
(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);
2016-03-22 23:31:23 +13:00
self.markup()?;
mem::swap(&mut self.in_attr, &mut in_attr);
}
self.render.attribute_end();
},
2016-06-12 15:05:49 +12:00
(Ok(name), &[question!(), ..]) => {
// Empty attribute
self.shift(1);
2016-06-12 15:05:49 +12:00
if let [ref tt @ eq!(), ..] = *self.input {
// Toggle the attribute based on a boolean expression
self.shift(1);
2016-03-22 23:31:23 +13:00
let cond = 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);
}
},
2016-06-12 15:05:49 +12:00
(Err(_), &[dot!(), ident!(_, _), ..]) => {
2016-06-03 23:06:39 +12:00
// Class shorthand
self.shift(1);
classes.push(self.name()?);
},
2016-06-12 15:05:49 +12:00
(Err(_), &[pound!(), ident!(_, _), ..]) => {
2016-06-03 23:06:39 +12:00
// ID shorthand
self.shift(1);
ids.push(self.name()?);
},
_ => {
self.input = old_input;
break;
},
2016-06-03 23:06:39 +12:00
}
}
if !classes.is_empty() {
self.render.attribute_start("class");
self.render.string(&classes.join(" "));
self.render.attribute_end();
}
if !ids.is_empty() {
self.render.attribute_start("id");
self.render.string(&ids.join(" "));
self.render.attribute_end();
}
Ok(())
}
/// Parses a HTML element or attribute name.
fn name(&mut self) -> PResult<String> {
2016-06-12 15:05:49 +12:00
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),
};
2016-06-12 15:05:49 +12: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.
2016-02-14 20:12:04 +11:00
fn block(&mut self, sp: Span, tts: &[TokenTree]) -> PResult<Vec<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(),
};
2016-03-22 23:31:23 +13:00
parse.markups()?;
2015-09-15 13:26:13 +12:00
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
let mut result = String::new();
if minus {
result.push('-');
}
match lit.node {
2016-02-13 13:48:09 +11:00
LitKind::Str(s, _) => result.push_str(&s),
LitKind::ByteStr(..) | LitKind::Byte(..) => {
2015-09-15 13:26:13 +12:00
error!(cx, lit.span, "cannot splice binary data");
2014-12-18 18:57:55 +13:00
},
2016-02-13 13:48:09 +11:00
LitKind::Char(c) => result.push(c),
LitKind::Int(x, _) => result.push_str(&x.to_string()),
LitKind::Float(s, _) | LitKind::FloatUnsuffixed(s) => result.push_str(&s),
LitKind::Bool(b) => result.push_str(if b { "true" } else { "false" }),
2014-12-18 18:57:55 +13:00
};
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 {
2016-02-13 13:48:09 +11:00
Expr { node: ExprKind::Paren(inner), .. } => inner,
2015-02-09 15:05:50 +13:00
expr => P(expr),
})
}