rustdoc: Remove iface. Causing random crashes in resolve?

This commit is contained in:
Brian Anderson 2012-01-17 16:12:31 -08:00
parent c1bf17ed4f
commit a6bdaee7f9
6 changed files with 52 additions and 51 deletions

View File

@ -5,9 +5,10 @@ import rustc::middle::ast_map;
export ctxt; export ctxt;
export ctxt_handler; export ctxt_handler;
export srv, seq_srv; export srv;
export mk_seq_srv_from_str; export mk_srv_from_str;
export mk_seq_srv_from_file; export mk_srv_from_file;
export exec;
type ctxt = { type ctxt = {
ast: @ast::crate, ast: @ast::crate,
@ -16,25 +17,20 @@ type ctxt = {
type ctxt_handler<T> = fn~(ctxt: ctxt) -> T; type ctxt_handler<T> = fn~(ctxt: ctxt) -> T;
iface srv { type srv = {
fn exec<T>(f: ctxt_handler<T>) -> T; ctxt: ctxt
} };
#[doc = "The single-task service"] fn mk_srv_from_str(source: str) -> srv {
tag seq_srv = ctxt; {
ctxt: build_ctxt(parse::from_str(source))
impl seq_srv of srv for seq_srv {
fn exec<T>(f: ctxt_handler<T>) -> T {
f(*self)
} }
} }
fn mk_seq_srv_from_str(source: str) -> seq_srv { fn mk_srv_from_file(file: str) -> srv {
seq_srv(build_ctxt(parse::from_str(source))) {
} ctxt: build_ctxt(parse::from_file(file))
}
fn mk_seq_srv_from_file(file: str) -> seq_srv {
seq_srv(build_ctxt(parse::from_file(file)))
} }
fn build_ctxt(ast: @ast::crate) -> ctxt { fn build_ctxt(ast: @ast::crate) -> ctxt {
@ -44,23 +40,30 @@ fn build_ctxt(ast: @ast::crate) -> ctxt {
} }
} }
fn exec<T>(
srv: srv,
f: fn~(ctxt: ctxt) -> T
) -> T {
f(srv.ctxt)
}
#[cfg(test)] #[cfg(test)]
mod tests { mod tests {
#[test] #[test]
fn seq_srv_should_build_ast_map() { fn srv_should_build_ast_map() {
let source = "fn a() { }"; let source = "fn a() { }";
let srv = mk_seq_srv_from_str(source); let srv = mk_srv_from_str(source);
srv.exec {|ctxt| exec(srv) {|ctxt|
assert ctxt.map.size() != 0u assert ctxt.map.size() != 0u
}; };
} }
#[test] #[test]
fn seq_srv_should_return_request_result() { fn srv_should_return_request_result() {
let source = "fn a() { }"; let source = "fn a() { }";
let srv = mk_seq_srv_from_str(source); let srv = mk_srv_from_str(source);
let result = srv.exec {|_ctxt| 1000}; let result = exec(srv) {|_ctxt| 1000};
assert result == 1000; assert result == 1000;
} }
} }

View File

@ -4,12 +4,12 @@ import rustc::middle::ast_map;
export run; export run;
fn run( fn run(
srv: astsrv::seq_srv, srv: astsrv::srv,
doc: doc::cratedoc doc: doc::cratedoc
) -> doc::cratedoc { ) -> doc::cratedoc {
let fold = fold::fold({ let fold = fold::fold({
fold_fn: fn~( fold_fn: fn~(
f: fold::fold<astsrv::seq_srv>, f: fold::fold<astsrv::srv>,
d: doc::fndoc d: doc::fndoc
) -> doc::fndoc { ) -> doc::fndoc {
fold_fn(f, d) fold_fn(f, d)
@ -20,16 +20,18 @@ fn run(
} }
fn fold_fn( fn fold_fn(
fold: fold::fold<astsrv::seq_srv>, fold: fold::fold<astsrv::srv>,
doc: doc::fndoc doc: doc::fndoc
) -> doc::fndoc { ) -> doc::fndoc {
let srv = fold.ctxt; let srv = fold.ctxt;
let attrs = alt srv.map.get(doc.id) { let attrs = astsrv::exec(srv) {|ctxt|
ast_map::node_item(item) { item.attrs } let attrs = alt ctxt.map.get(doc.id) {
ast_map::node_item(item) { item.attrs }
};
attr_parser::parse_fn(attrs)
}; };
let attrs = attr_parser::parse_fn(attrs);
ret merge_fn_attrs(doc, attrs); ret merge_fn_attrs(doc, attrs);
fn merge_fn_attrs( fn merge_fn_attrs(
@ -66,7 +68,7 @@ fn fold_fn(
#[test] #[test]
fn fold_fn_should_extract_fn_attributes() { fn fold_fn_should_extract_fn_attributes() {
let source = "#[doc = \"test\"] fn a() -> int { }"; let source = "#[doc = \"test\"] fn a() -> int { }";
let srv = astsrv::mk_seq_srv_from_str(source); let srv = astsrv::mk_srv_from_str(source);
let doc = extract::from_srv(srv, ""); let doc = extract::from_srv(srv, "");
let fold = fold::default_seq_fold(srv); let fold = fold::default_seq_fold(srv);
let doc = fold_fn(fold, doc.topmod.fns[0]); let doc = fold_fn(fold, doc.topmod.fns[0]);

View File

@ -4,11 +4,10 @@ export from_srv, extract;
// FIXME: Want this to be from_srv<T:ast::srv> but it crashes // FIXME: Want this to be from_srv<T:ast::srv> but it crashes
fn from_srv( fn from_srv(
srv: astsrv::seq_srv, srv: astsrv::srv,
default_name: str default_name: str
) -> doc::cratedoc { ) -> doc::cratedoc {
import astsrv::seq_srv; astsrv::exec(srv) {|ctxt|
srv.exec {|ctxt|
extract(ctxt.ast, default_name) extract(ctxt.ast, default_name)
} }
} }
@ -137,9 +136,8 @@ mod tests {
#[test] #[test]
fn extract_from_seq_srv() { fn extract_from_seq_srv() {
import astsrv::seq_srv;
let source = ""; let source = "";
let srv = astsrv::mk_seq_srv_from_str(source); let srv = astsrv::mk_srv_from_str(source);
let doc = from_srv(srv, "name"); let doc = from_srv(srv, "name");
assert doc.topmod.name == "name"; assert doc.topmod.name == "name";
} }

View File

@ -5,7 +5,7 @@ type ctxt = {
}; };
fn run( fn run(
_srv: astsrv::seq_srv, _srv: astsrv::srv,
doc: doc::cratedoc doc: doc::cratedoc
) -> doc::cratedoc { ) -> doc::cratedoc {
let ctxt = { let ctxt = {
@ -59,7 +59,7 @@ mod tests {
#[test] #[test]
fn should_elide_undocumented_fns() { fn should_elide_undocumented_fns() {
let source = "fn a() { }"; let source = "fn a() { }";
let srv = astsrv::mk_seq_srv_from_str(source); let srv = astsrv::mk_srv_from_str(source);
let doc = extract::from_srv(srv, ""); let doc = extract::from_srv(srv, "");
let doc = run(srv, doc); let doc = run(srv, doc);
assert vec::is_empty(*doc.topmod.fns); assert vec::is_empty(*doc.topmod.fns);

View File

@ -5,10 +5,10 @@
use std; use std;
use rustc; use rustc;
type pass = fn~(srv: astsrv::seq_srv, doc: doc::cratedoc) -> doc::cratedoc; type pass = fn~(srv: astsrv::srv, doc: doc::cratedoc) -> doc::cratedoc;
fn run_passes( fn run_passes(
srv: astsrv::seq_srv, srv: astsrv::srv,
doc: doc::cratedoc, doc: doc::cratedoc,
passes: [pass] passes: [pass]
) -> doc::cratedoc { ) -> doc::cratedoc {
@ -19,9 +19,8 @@ fn run_passes(
#[test] #[test]
fn test_run_passes() { fn test_run_passes() {
import astsrv::seq_srv;
fn pass1( fn pass1(
_srv: astsrv::seq_srv, _srv: astsrv::srv,
doc: doc::cratedoc doc: doc::cratedoc
) -> doc::cratedoc { ) -> doc::cratedoc {
~{ ~{
@ -33,7 +32,7 @@ fn test_run_passes() {
} }
} }
fn pass2( fn pass2(
_srv: astsrv::seq_srv, _srv: astsrv::srv,
doc: doc::cratedoc doc: doc::cratedoc
) -> doc::cratedoc { ) -> doc::cratedoc {
~{ ~{
@ -45,7 +44,7 @@ fn test_run_passes() {
} }
} }
let source = ""; let source = "";
let srv = astsrv::mk_seq_srv_from_str(source); let srv = astsrv::mk_srv_from_str(source);
let passes = [pass1, pass2]; let passes = [pass1, pass2];
let doc = extract::from_srv(srv, "one"); let doc = extract::from_srv(srv, "one");
let doc = run_passes(srv, doc, passes); let doc = run_passes(srv, doc, passes);
@ -73,7 +72,7 @@ fn main(argv: [str]) {
fn run(source_file: str) { fn run(source_file: str) {
let default_name = source_file; let default_name = source_file;
let srv = astsrv::mk_seq_srv_from_file(source_file); let srv = astsrv::mk_srv_from_file(source_file);
let doc = extract::from_srv(srv, default_name); let doc = extract::from_srv(srv, default_name);
let doc = run_passes(srv, doc, [ let doc = run_passes(srv, doc, [
attr_pass::run, attr_pass::run,

View File

@ -1,17 +1,16 @@
import rustc::syntax::ast; import rustc::syntax::ast;
import rustc::syntax::print::pprust; import rustc::syntax::print::pprust;
import rustc::middle::ast_map; import rustc::middle::ast_map;
import astsrv::seq_srv;
export run; export run;
fn run( fn run(
srv: astsrv::seq_srv, srv: astsrv::srv,
doc: doc::cratedoc doc: doc::cratedoc
) -> doc::cratedoc { ) -> doc::cratedoc {
let fold = fold::fold({ let fold = fold::fold({
fold_fn: fn~( fold_fn: fn~(
f: fold::fold<astsrv::seq_srv>, f: fold::fold<astsrv::srv>,
d: doc::fndoc d: doc::fndoc
) -> doc::fndoc { ) -> doc::fndoc {
fold_fn(f, d) fold_fn(f, d)
@ -22,7 +21,7 @@ fn run(
} }
fn fold_fn( fn fold_fn(
fold: fold::fold<astsrv::seq_srv>, fold: fold::fold<astsrv::srv>,
doc: doc::fndoc doc: doc::fndoc
) -> doc::fndoc { ) -> doc::fndoc {
@ -45,7 +44,7 @@ fn fold_fn(
} }
} }
let retty = srv.exec {|ctxt| let retty = astsrv::exec(srv) {|ctxt|
alt ctxt.map.get(doc.id) { alt ctxt.map.get(doc.id) {
ast_map::node_item(@{ ast_map::node_item(@{
node: ast::item_fn(decl, _, _), _ node: ast::item_fn(decl, _, _), _
@ -67,7 +66,7 @@ mod tests {
#[test] #[test]
fn should_add_fn_ret_types() { fn should_add_fn_ret_types() {
let source = "fn a() -> int { }"; let source = "fn a() -> int { }";
let srv = astsrv::mk_seq_srv_from_str(source); let srv = astsrv::mk_srv_from_str(source);
let doc = extract::from_srv(srv, ""); let doc = extract::from_srv(srv, "");
let doc = run(srv, doc); let doc = run(srv, doc);
assert option::get(doc.topmod.fns[0].return).ty == some("int"); assert option::get(doc.topmod.fns[0].return).ty == some("int");