rust/src/librustdoc/attr_pass.rs

323 lines
8.8 KiB
Rust
Raw Normal View History

// Copyright 2012 The Rust Project Developers. See the COPYRIGHT
// file at the top-level directory of this distribution and at
// http://rust-lang.org/COPYRIGHT.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.
/*!
The attribute parsing pass
Traverses the document tree, pulling relevant documention out of the
corresponding AST nodes. The information gathered here is the basis
of the natural-language documentation for a crate.
*/
2012-01-17 17:44:32 -08:00
use astsrv;
use attr_parser;
2012-09-18 16:48:40 -07:00
use doc::ItemUtils;
use doc;
2012-09-05 10:41:47 -07:00
use extract::to_str;
use fold::Fold;
use fold;
use pass::Pass;
2012-09-05 10:41:47 -07:00
use syntax::ast;
use syntax::ast_map;
2012-11-19 18:00:12 -08:00
pub fn mk_pass() -> Pass {
Pass {
name: ~"attr",
2012-02-27 18:07:16 -08:00
f: run
}
}
pub fn run(
2012-09-18 16:48:40 -07:00
srv: astsrv::Srv,
2013-01-30 19:32:36 -08:00
doc: doc::Doc
2012-09-18 16:48:40 -07:00
) -> doc::Doc {
let fold = Fold {
2013-01-31 20:24:03 -08:00
ctxt: srv.clone(),
2012-01-19 00:14:41 -08:00
fold_crate: fold_crate,
2012-02-17 16:52:27 -08:00
fold_item: fold_item,
fold_enum: fold_enum,
fold_trait: fold_trait,
2012-09-04 13:29:32 -07:00
fold_impl: fold_impl,
.. fold::default_any_fold(srv)
};
(fold.fold_doc)(&fold, doc)
}
fn fold_crate(
2012-11-19 18:48:46 -08:00
fold: &fold::Fold<astsrv::Srv>,
2013-01-30 19:32:36 -08:00
doc: doc::CrateDoc
2012-09-18 16:48:40 -07:00
) -> doc::CrateDoc {
2013-01-31 20:24:03 -08:00
let srv = fold.ctxt.clone();
let doc = fold::default_seq_fold_crate(fold, doc);
2012-06-30 16:19:07 -07:00
let attrs = do astsrv::exec(srv) |ctxt| {
2013-01-30 13:14:35 -08:00
let attrs = copy ctxt.ast.node.attrs;
attr_parser::parse_crate(attrs)
};
doc::CrateDoc {
topmod: doc::ModDoc {
item: doc::ItemDoc {
name: (copy attrs.name).get_or_default(doc.topmod.name()),
2013-01-30 13:14:35 -08:00
.. copy doc.topmod.item
2012-09-04 13:29:32 -07:00
},
2013-01-30 13:14:35 -08:00
.. copy doc.topmod
}
}
}
2012-02-17 16:52:27 -08:00
fn fold_item(
2012-11-19 18:48:46 -08:00
fold: &fold::Fold<astsrv::Srv>,
2013-01-30 19:32:36 -08:00
doc: doc::ItemDoc
2012-09-18 16:48:40 -07:00
) -> doc::ItemDoc {
2012-02-17 16:52:27 -08:00
2013-01-31 20:24:03 -08:00
let srv = fold.ctxt.clone();
2012-02-17 16:52:27 -08:00
let doc = fold::default_seq_fold_item(fold, doc);
2012-03-09 18:12:15 -08:00
let desc = if doc.id == ast::crate_node_id {
2012-02-17 16:52:27 -08:00
// This is the top-level mod, use the crate attributes
2012-06-30 16:19:07 -07:00
do astsrv::exec(srv) |ctxt| {
2013-01-30 13:14:35 -08:00
attr_parser::parse_desc(copy ctxt.ast.node.attrs)
2012-02-17 16:52:27 -08:00
}
} else {
2012-03-09 18:12:15 -08:00
parse_item_attrs(srv, doc.id, attr_parser::parse_desc)
2012-02-17 16:52:27 -08:00
};
doc::ItemDoc {
2012-09-04 13:29:32 -07:00
desc: desc,
.. doc
2012-02-17 16:52:27 -08:00
}
}
2012-12-11 13:50:04 -08:00
fn parse_item_attrs<T:Owned>(
2012-09-18 16:48:40 -07:00
srv: astsrv::Srv,
id: doc::AstId,
parse_attrs: ~fn(a: ~[ast::attribute]) -> T) -> T {
2013-02-15 00:37:08 -08:00
do astsrv::exec(srv) |ctxt| {
2013-03-23 21:45:27 -04:00
let attrs = match *ctxt.ast_map.get(&id) {
ast_map::node_item(item, _) => copy item.attrs,
ast_map::node_foreign_item(item, _, _, _) => copy item.attrs,
_ => fail!("parse_item_attrs: not an item")
2012-01-24 00:38:21 -08:00
};
parse_attrs(attrs)
}
}
fn fold_enum(
2012-11-19 18:48:46 -08:00
fold: &fold::Fold<astsrv::Srv>,
2013-01-30 19:32:36 -08:00
doc: doc::EnumDoc
2012-09-18 16:48:40 -07:00
) -> doc::EnumDoc {
2013-01-31 20:24:03 -08:00
let srv = fold.ctxt.clone();
let doc_id = doc.id();
2012-02-17 16:52:27 -08:00
let doc = fold::default_seq_fold_enum(fold, doc);
doc::EnumDoc {
2013-01-31 20:24:03 -08:00
variants: do vec::map(doc.variants) |variant| {
2013-01-30 13:14:35 -08:00
let variant = copy *variant;
let desc = {
let variant = copy variant;
2013-01-31 20:24:03 -08:00
do astsrv::exec(srv.clone()) |ctxt| {
2013-03-23 21:45:27 -04:00
match *ctxt.ast_map.get(&doc_id) {
ast_map::node_item(@ast::item {
node: ast::item_enum(ref enum_definition, _), _
}, _) => {
let ast_variant =
vec::find(enum_definition.variants, |v| {
to_str(v.node.name) == variant.name
}).get();
attr_parser::parse_desc(
copy ast_variant.node.attrs)
}
_ => {
2013-05-09 13:52:07 +02:00
fail!("Enum variant %s has id that's not bound to an enum item",
variant.name)
}
}
}
};
doc::VariantDoc {
2012-09-04 13:29:32 -07:00
desc: desc,
.. variant
}
2012-09-04 13:29:32 -07:00
},
.. doc
}
}
fn fold_trait(
2012-11-19 18:48:46 -08:00
fold: &fold::Fold<astsrv::Srv>,
2013-01-30 19:32:36 -08:00
doc: doc::TraitDoc
2012-09-18 16:48:40 -07:00
) -> doc::TraitDoc {
2013-01-31 20:24:03 -08:00
let srv = fold.ctxt.clone();
let doc = fold::default_seq_fold_trait(fold, doc);
doc::TraitDoc {
2013-01-30 13:14:35 -08:00
methods: merge_method_attrs(srv, doc.id(), copy doc.methods),
2012-09-04 13:29:32 -07:00
.. doc
}
}
fn merge_method_attrs(
2012-09-18 16:48:40 -07:00
srv: astsrv::Srv,
item_id: doc::AstId,
2013-01-30 19:32:36 -08:00
docs: ~[doc::MethodDoc]
2012-09-18 16:48:40 -07:00
) -> ~[doc::MethodDoc] {
2012-02-17 16:52:27 -08:00
// Create an assoc list from method name to attributes
2012-08-20 12:23:37 -07:00
let attrs: ~[(~str, Option<~str>)] = do astsrv::exec(srv) |ctxt| {
2013-03-23 21:45:27 -04:00
match *ctxt.ast_map.get(&item_id) {
ast_map::node_item(@ast::item {
node: ast::item_trait(_, _, ref methods), _
}, _) => {
vec::map(*methods, |method| {
match copy *method {
ast::required(ty_m) => {
(to_str(ty_m.ident),
attr_parser::parse_desc(copy ty_m.attrs))
}
ast::provided(m) => {
(to_str(m.ident), attr_parser::parse_desc(copy m.attrs))
}
}
})
}
ast_map::node_item(@ast::item {
node: ast::item_impl(_, _, _, ref methods), _
}, _) => {
vec::map(*methods, |method| {
(to_str(method.ident),
attr_parser::parse_desc(copy method.attrs))
})
}
_ => fail!("unexpected item")
}
};
2013-04-25 01:38:44 -04:00
do vec::map_zip(docs, attrs) |doc, attrs| {
2013-03-28 18:39:09 -07:00
assert!(doc.name == attrs.first());
let desc = attrs.second();
doc::MethodDoc {
2012-09-04 13:29:32 -07:00
desc: desc,
2013-01-30 13:14:35 -08:00
.. copy *doc
}
}
}
fn fold_impl(
2012-11-19 18:48:46 -08:00
fold: &fold::Fold<astsrv::Srv>,
2013-01-30 19:32:36 -08:00
doc: doc::ImplDoc
2012-09-18 16:48:40 -07:00
) -> doc::ImplDoc {
2013-01-31 20:24:03 -08:00
let srv = fold.ctxt.clone();
let doc = fold::default_seq_fold_impl(fold, doc);
doc::ImplDoc {
2013-01-30 13:14:35 -08:00
methods: merge_method_attrs(srv, doc.id(), copy doc.methods),
2012-09-04 13:29:32 -07:00
.. doc
}
}
2012-01-31 18:32:37 -08:00
#[cfg(test)]
mod test {
use astsrv;
use attr_pass::run;
use doc;
use extract;
fn mk_doc(source: ~str) -> doc::Doc {
2013-01-30 13:14:35 -08:00
do astsrv::from_str(copy source) |srv| {
2013-01-31 20:24:03 -08:00
let doc = extract::from_srv(srv.clone(), ~"");
run(srv.clone(), doc)
}
2012-01-31 18:32:37 -08:00
}
#[test]
fn should_replace_top_module_name_with_crate_name() {
let doc = mk_doc(~"#[link(name = \"bond\")];");
assert!(doc.cratemod().name() == ~"bond");
}
#[test]
fn should_should_extract_mod_attributes() {
let doc = mk_doc(~"#[doc = \"test\"] mod a { }");
assert!(doc.cratemod().mods()[0].desc() == Some(~"test"));
}
#[test]
fn should_extract_top_mod_attributes() {
let doc = mk_doc(~"#[doc = \"test\"];");
assert!(doc.cratemod().desc() == Some(~"test"));
}
#[test]
fn should_extract_foreign_fn_attributes() {
let doc = mk_doc(~"extern { #[doc = \"test\"] fn a(); }");
assert!(doc.cratemod().nmods()[0].fns[0].desc() == Some(~"test"));
}
#[test]
fn should_extract_fn_attributes() {
let doc = mk_doc(~"#[doc = \"test\"] fn a() -> int { }");
assert!(doc.cratemod().fns()[0].desc() == Some(~"test"));
}
#[test]
fn should_extract_enum_docs() {
let doc = mk_doc(~"#[doc = \"b\"]\
enum a { v }");
assert!(doc.cratemod().enums()[0].desc() == Some(~"b"));
}
#[test]
fn should_extract_variant_docs() {
let doc = mk_doc(~"enum a { #[doc = \"c\"] v }");
assert!(doc.cratemod().enums()[0].variants[0].desc == Some(~"c"));
}
#[test]
fn should_extract_trait_docs() {
let doc = mk_doc(~"#[doc = \"whatever\"] trait i { fn a(); }");
assert!(doc.cratemod().traits()[0].desc() == Some(~"whatever"));
}
#[test]
fn should_extract_trait_method_docs() {
let doc = mk_doc(
~"trait i {\
#[doc = \"desc\"]\
fn f(a: bool) -> bool;\
}");
assert!(doc.cratemod().traits()[0].methods[0].desc == Some(~"desc"));
}
#[test]
fn should_extract_impl_docs() {
let doc = mk_doc(
~"#[doc = \"whatever\"] impl int { fn a() { } }");
assert!(doc.cratemod().impls()[0].desc() == Some(~"whatever"));
}
#[test]
fn should_extract_impl_method_docs() {
let doc = mk_doc(
~"impl int {\
#[doc = \"desc\"]\
fn f(a: bool) -> bool { }\
}");
assert!(doc.cratemod().impls()[0].methods[0].desc == Some(~"desc"));
}
}