#![crate_name = "docopt_macros"]
#![crate_type = "dylib"]
#![feature(collections, core, plugin_registrar, quote, rustc_private)]
extern crate syntax;
extern crate rustc;
extern crate docopt;
use std::collections::HashMap;
use rustc::plugin::Registry;
use syntax::{ast, codemap};
use syntax::ext::base::{ExtCtxt, MacResult, MacEager, DummyResult};
use syntax::ext::build::AstBuilder;
use syntax::fold::Folder;
use syntax::owned_slice::OwnedSlice;
use syntax::parse::common::SeqSep;
use syntax::parse::parser::Parser;
use syntax::parse::token;
use syntax::print::pprust;
use syntax::ptr::P;
use syntax::util::small_vector::SmallVector;
use docopt::{Docopt, ArgvMap};
use docopt::parse::{Options, Atom, Positional, Zero, One};
#[plugin_registrar]
pub fn plugin_registrar(reg: &mut Registry) {
reg.register_macro("docopt", expand);
}
fn expand(cx: &mut ExtCtxt, span: codemap::Span, tts: &[ast::TokenTree])
-> Box<MacResult+'static> {
let parsed = match MacParser::new(cx, tts).parse() {
Ok(parsed) => parsed,
Err(_) => return DummyResult::any(span),
};
parsed.items(cx)
}
struct Parsed {
struct_info: StructInfo,
doc: Docopt,
types: HashMap<Atom, P<ast::Ty>>,
}
impl Parsed {
fn items(&self, cx: &ExtCtxt) -> Box<MacResult+'static> {
let mut its = vec!();
its.push(self.struct_decl(cx));
let struct_name = self.struct_info.name;
let full_doc = &*self.doc.parser().full_doc;
its.push(quote_item!(cx,
impl $struct_name {
#[allow(dead_code)]
fn docopt() -> docopt::Docopt {
docopt::Docopt::new($full_doc).unwrap()
}
}
).unwrap());
MacEager::items(SmallVector::many(its))
}
fn struct_decl(&self, cx: &ExtCtxt) -> P<ast::Item> {
let name = self.struct_info.name.clone();
let vis = if self.struct_info.public { ast::Public }
else { ast::Inherited };
let def = ast::StructDef {
fields: self.struct_fields(cx),
ctor_id: None
};
let mut traits = vec!["RustcDecodable".to_string()];
traits.push_all(&*self.struct_info.deriving);
let attrs = vec![attribute(cx, "allow", vec!["non_snake_case"]),
attribute(cx, "derive", traits)];
let st = cx.item_struct(codemap::DUMMY_SP, name.clone(), def);
cx.item(codemap::DUMMY_SP, name, attrs, st.node.clone()).map(|mut it| {
it.vis = vis;
it
})
}
fn struct_fields(&self, cx: &ExtCtxt) -> Vec<ast::StructField> {
let mut fields: Vec<ast::StructField> = vec!();
for (atom, opts) in self.doc.parser().descs.iter() {
let name = ArgvMap::key_to_struct_field(&*atom.to_string());
let ty = match self.types.get(atom) {
None => self.pat_type(cx, atom, opts),
Some(ty) => ty.clone(),
};
fields.push(self.mk_struct_field(&*name, ty));
}
fields
}
fn pat_type(&self, cx: &ExtCtxt, atom: &Atom, opts: &Options) -> P<ast::Ty> {
let sp = codemap::DUMMY_SP;
match (opts.repeats, &opts.arg) {
(false, &Zero) => {
match atom {
&Positional(_) => cx.ty_ident(sp, ident("String")),
_ => cx.ty_ident(sp, ident("bool")),
}
}
(true, &Zero) => {
match atom {
&Positional(_) => ty_vec_string(cx),
_ => cx.ty_ident(sp, ident("uint")),
}
}
(false, &One(_)) => cx.ty_ident(sp, ident("String")),
(true, &One(_)) => ty_vec_string(cx),
}
}
fn mk_struct_field(&self, name: &str, ty: P<ast::Ty>) -> ast::StructField {
codemap::dummy_spanned(ast::StructField_ {
kind: ast::NamedField(ident(name), ast::Public),
id: ast::DUMMY_NODE_ID,
ty: ty,
attrs: vec!(),
})
}
}
struct MacParser<'a, 'b:'a> {
cx: &'a mut ExtCtxt<'b>,
p: Parser<'b>,
}
impl<'a, 'b> MacParser<'a, 'b> {
fn new(cx: &'a mut ExtCtxt<'b>, tts: &[ast::TokenTree]) -> MacParser<'a, 'b> {
let p = cx.new_parser_from_tts(tts);
MacParser { cx: cx, p: p }
}
fn parse(&mut self) -> Result<Parsed, ()> {
if self.p.token == token::Eof {
self.cx.span_err(self.cx.call_site(), "macro expects arguments");
return Err(());
}
let struct_info = try!(self.parse_struct_info());
let docstr = try!(self.parse_str());
let sep = SeqSep {
sep: Some(token::Comma),
trailing_sep_allowed: true,
};
let types = self.p.parse_seq_to_end(
&token::Eof, sep, |p| MacParser::parse_type_annotation(p)
).into_iter()
.map(|(ident, ty)| {
let field_name = token::get_ident(ident).to_string();
let key = ArgvMap::struct_field_to_key(&*field_name);
(Atom::new(&*key), ty)
})
.collect::<HashMap<Atom, P<ast::Ty>>>();
self.p.expect(&token::Eof);
let doc = match Docopt::new(docstr) {
Ok(doc) => doc,
Err(err) => {
self.cx.span_err(self.cx.call_site(),
&*format!("Invalid Docopt usage: {}", err));
return Err(());
}
};
Ok(Parsed {
struct_info: struct_info,
doc: doc,
types: types,
})
}
fn parse_str(&mut self) -> Result<String, ()> {
fn lit_is_str(lit: &ast::Lit) -> bool {
match lit.node {
ast::LitStr(_, _) => true,
_ => false,
}
}
fn lit_to_string(lit: &ast::Lit) -> String {
match lit.node {
ast::LitStr(ref s, _) => s.to_string(),
_ => panic!("BUG: expected string literal"),
}
}
let exp = self.cx.expander().fold_expr(self.p.parse_expr());
let s = match exp.node {
ast::ExprLit(ref lit) if lit_is_str(&**lit) => {
lit_to_string(&**lit)
}
_ => {
let err = format!("Expected string literal but got {}",
pprust::expr_to_string(&*exp));
self.cx.span_err(exp.span, &*err);
return Err(());
}
};
self.p.bump();
Ok(s)
}
fn parse_type_annotation(p: &mut Parser) -> (ast::Ident, P<ast::Ty>) {
let ident = p.parse_ident();
p.expect(&token::Colon);
let ty = p.parse_ty();
(ident, ty)
}
fn parse_struct_info(&mut self) -> Result<StructInfo, ()> {
let public = self.p.eat_keyword(token::keywords::Pub);
let mut info = StructInfo {
name: self.p.parse_ident(),
public: public,
deriving: vec![],
};
if self.p.eat(&token::Comma) { return Ok(info); }
let deriving = self.p.parse_ident();
if deriving.as_str() != "derive" {
let err = format!("Expected 'derive' keyword but got '{}'",
deriving);
self.cx.span_err(self.cx.call_site(), &*err);
return Err(());
}
while !self.p.eat(&token::Comma) {
info.deriving.push(self.p.parse_ident().as_str().to_string());
}
Ok(info)
}
}
struct StructInfo {
name: ast::Ident,
public: bool,
deriving: Vec<String>,
}
fn ident(s: &str) -> ast::Ident {
ast::Ident::new(token::intern(s))
}
fn attribute<S, T>(cx: &ExtCtxt, name: S, items: Vec<T>) -> ast::Attribute
where S: Str, T: Str {
let sp = codemap::DUMMY_SP;
let its = items.into_iter().map(|s| meta_item(cx, s.as_slice())).collect();
let mi = cx.meta_list(sp, intern(name.as_slice()), its);
cx.attribute(sp, mi)
}
fn meta_item(cx: &ExtCtxt, s: &str) -> P<ast::MetaItem> {
cx.meta_word(codemap::DUMMY_SP, intern(s))
}
fn intern(s: &str) -> token::InternedString {
token::intern_and_get_ident(s)
}
fn ty_vec_string(cx: &ExtCtxt) -> P<ast::Ty> {
let sp = codemap::DUMMY_SP;
let tystr = ast::AngleBracketedParameterData {
lifetimes: vec![],
types: OwnedSlice::from_vec(vec![cx.ty_ident(sp, ident("String"))]),
bindings: OwnedSlice::empty(),
};
cx.ty_path(ast::Path {
span: sp,
global: false,
segments: vec![ast::PathSegment {
identifier: ident("Vec"),
parameters: ast::PathParameters::AngleBracketedParameters(tystr),
}]
})
}