Remove the boolean dance

This commit is contained in:
Chris Wong 2015-01-12 16:46:12 +13:00
parent 270781b255
commit 77fa50fdef
2 changed files with 29 additions and 46 deletions
maud_macros/src

View file

@ -8,17 +8,14 @@ extern crate maud;
use syntax::ast::TokenTree; use syntax::ast::TokenTree;
use syntax::codemap::Span; use syntax::codemap::Span;
use syntax::ext::base::{DummyResult, ExtCtxt, MacExpr, MacResult}; use syntax::ext::base::{ExtCtxt, MacExpr, MacResult};
use rustc::plugin::Registry; use rustc::plugin::Registry;
mod parse; mod parse;
mod render; mod render;
fn expand_html<'cx>(cx: &'cx mut ExtCtxt, sp: Span, args: &[TokenTree]) -> Box<MacResult + 'cx> { fn expand_html<'cx>(cx: &'cx mut ExtCtxt, sp: Span, args: &[TokenTree]) -> Box<MacResult + 'cx> {
match parse::parse(cx, args, sp) { MacExpr::new(parse::parse(cx, args, sp))
Some(expr) => MacExpr::new(expr),
None => DummyResult::any(sp),
}
} }
#[plugin_registrar] #[plugin_registrar]

View file

@ -8,10 +8,6 @@ use syntax::ptr::P;
use super::render::{Escape, Renderer}; use super::render::{Escape, Renderer};
macro_rules! guard {
($e:expr) => (if !$e { return false; })
}
macro_rules! dollar { macro_rules! dollar {
() => (TtToken(_, token::Dollar)) () => (TtToken(_, token::Dollar))
} }
@ -35,22 +31,15 @@ macro_rules! ident {
($sp:pat, $x:pat) => (TtToken($sp, token::Ident($x, token::IdentStyle::Plain))) ($sp:pat, $x:pat) => (TtToken($sp, token::Ident($x, token::IdentStyle::Plain)))
} }
pub fn parse(cx: &mut ExtCtxt, input: &[TokenTree], sp: Span) -> Option<P<Expr>> { pub fn parse(cx: &mut ExtCtxt, input: &[TokenTree], sp: Span) -> P<Expr> {
let mut success = true; Renderer::with(cx, |render| {
let expr = Renderer::with(cx, |render| { Parser {
let mut parser = Parser {
in_attr: false, in_attr: false,
input: input, input: input,
span: sp, span: sp,
render: render, render: render,
}; }.markups();
success = parser.markups(); })
});
if success {
Some(expr)
} else {
None
}
} }
struct Parser<'cx: 'r, 's: 'cx, 'i, 'r, 'o: 'r> { struct Parser<'cx: 'r, 's: 'cx, 'i, 'r, 'o: 'r> {
@ -71,12 +60,12 @@ impl<'cx, 's, 'i, 'r, 'o> Parser<'cx, 's, 'i, 'r, 'o> {
parse::tts_to_parser(self.render.cx.parse_sess, tts, self.render.cx.cfg.clone()) parse::tts_to_parser(self.render.cx.parse_sess, tts, self.render.cx.cfg.clone())
} }
fn markups(&mut self) -> bool { fn markups(&mut self) {
loop { loop {
match self.input { match self.input {
[] => return true, [] => return,
[semi!(), ..] => self.shift(1), [semi!(), ..] => self.shift(1),
[_, ..] => guard!(self.markup()), [_, ..] => if !self.markup() { return },
} }
} }
} }
@ -118,21 +107,21 @@ impl<'cx, 's, 'i, 'r, 'o> Parser<'cx, 's, 'i, 'r, 'o> {
} else { } else {
self.render.cx.span_err(self.span, "unexpected end of block"); self.render.cx.span_err(self.span, "unexpected end of block");
} }
false return false;
}, },
} }
}
fn literal(&mut self, tt: &TokenTree, minus: bool) -> bool {
let lit = self.new_rust_parser(vec![tt.clone()]).parse_lit();
match lit_to_string(self.render.cx, lit, minus) {
Some(s) => self.render.string(s.as_slice(), Escape::Escape),
None => return false,
}
true true
} }
fn splice(&mut self, escape: Escape, sp: Span) -> bool { fn literal(&mut self, tt: &TokenTree, minus: bool) {
let lit = self.new_rust_parser(vec![tt.clone()]).parse_lit();
match lit_to_string(self.render.cx, lit, minus) {
Some(s) => self.render.string(s.as_slice(), Escape::Escape),
None => {},
}
}
fn splice(&mut self, escape: Escape, sp: Span) {
let tt = match self.input { let tt = match self.input {
[ref tt, ..] => { [ref tt, ..] => {
self.shift(1); self.shift(1);
@ -140,52 +129,49 @@ impl<'cx, 's, 'i, 'r, 'o> Parser<'cx, 's, 'i, 'r, 'o> {
}, },
_ => { _ => {
self.render.cx.span_err(sp, "expected expression for this splice"); self.render.cx.span_err(sp, "expected expression for this splice");
return false; return;
}, },
}; };
self.render.splice(tt, escape); self.render.splice(tt, escape);
true
} }
fn element(&mut self, name: &str, sp: Span) -> bool { fn element(&mut self, name: &str, sp: Span) {
if self.in_attr { if self.in_attr {
self.render.cx.span_err(sp, "unexpected element, you silly bumpkin"); self.render.cx.span_err(sp, "unexpected element, you silly bumpkin");
return false; return;
} }
self.render.element_open_start(name); self.render.element_open_start(name);
guard!(self.attrs()); self.attrs();
self.render.element_open_end(); self.render.element_open_end();
if let [slash!(), ..] = self.input { if let [slash!(), ..] = self.input {
self.shift(1); self.shift(1);
} else { } else {
guard!(self.markup()); self.markup();
self.render.element_close(name); self.render.element_close(name);
} }
true
} }
fn attrs(&mut self) -> bool { fn attrs(&mut self) {
while let [ident!(name), eq!(), ..] = self.input { while let [ident!(name), eq!(), ..] = self.input {
self.shift(2); self.shift(2);
self.render.attribute_start(name.as_str()); self.render.attribute_start(name.as_str());
{ {
let old_in_attr = self.in_attr; let old_in_attr = self.in_attr;
self.in_attr = true; self.in_attr = true;
guard!(self.markup()); self.markup();
self.in_attr = old_in_attr; self.in_attr = old_in_attr;
} }
self.render.attribute_end(); self.render.attribute_end();
} }
true
} }
fn block(&mut self, tts: &[TokenTree]) -> bool { fn block(&mut self, tts: &[TokenTree]) {
Parser { Parser {
in_attr: self.in_attr, in_attr: self.in_attr,
input: tts, input: tts,
span: self.span, span: self.span,
render: self.render, render: self.render,
}.markups() }.markups();
} }
} }