2012-01-16 15:33:06 -08:00
|
|
|
import rustc::syntax::ast;
|
2012-01-16 18:21:34 -08:00
|
|
|
import rustc::syntax::print::pprust;
|
|
|
|
import rustc::middle::ast_map;
|
|
|
|
import astsrv::seq_srv;
|
2012-01-16 15:33:06 -08:00
|
|
|
|
|
|
|
export run;
|
|
|
|
|
2012-01-16 15:44:10 -08:00
|
|
|
fn run(
|
2012-01-16 18:21:34 -08:00
|
|
|
srv: astsrv::seq_srv,
|
|
|
|
doc: doc::cratedoc
|
2012-01-16 15:44:10 -08:00
|
|
|
) -> doc::cratedoc {
|
2012-01-16 15:33:06 -08:00
|
|
|
let fold = fold::fold({
|
|
|
|
fold_fn: fn~(
|
2012-01-16 18:21:34 -08:00
|
|
|
f: fold::fold<astsrv::seq_srv>,
|
2012-01-16 15:33:06 -08:00
|
|
|
d: doc::fndoc
|
|
|
|
) -> doc::fndoc {
|
|
|
|
fold_fn(f, d)
|
|
|
|
}
|
2012-01-16 18:21:34 -08:00
|
|
|
with *fold::default_seq_fold(srv)
|
2012-01-16 15:33:06 -08:00
|
|
|
});
|
|
|
|
fold.fold_crate(fold, doc)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn fold_fn(
|
2012-01-16 18:21:34 -08:00
|
|
|
fold: fold::fold<astsrv::seq_srv>,
|
2012-01-16 15:33:06 -08:00
|
|
|
doc: doc::fndoc
|
|
|
|
) -> doc::fndoc {
|
|
|
|
|
2012-01-16 18:21:34 -08:00
|
|
|
let srv = fold.ctxt;
|
2012-01-16 15:33:06 -08:00
|
|
|
|
|
|
|
fn add_ret_ty(
|
|
|
|
doc: option<doc::retdoc>,
|
|
|
|
tystr: str
|
|
|
|
) -> option<doc::retdoc> {
|
|
|
|
alt doc {
|
|
|
|
some(doc) {
|
|
|
|
fail "unimplemented";
|
|
|
|
}
|
|
|
|
none. {
|
|
|
|
some({
|
|
|
|
desc: none,
|
|
|
|
ty: some(tystr)
|
|
|
|
})
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-01-16 18:21:34 -08:00
|
|
|
let retty = srv.exec {|ctxt|
|
|
|
|
alt ctxt.map.get(doc.id) {
|
2012-01-16 15:33:06 -08:00
|
|
|
ast_map::node_item(@{
|
|
|
|
node: ast::item_fn(decl, _, _), _
|
|
|
|
}) {
|
2012-01-16 18:21:34 -08:00
|
|
|
pprust::ty_to_str(decl.output)
|
2012-01-16 15:33:06 -08:00
|
|
|
}
|
|
|
|
}
|
2012-01-16 18:21:34 -08:00
|
|
|
};
|
|
|
|
|
|
|
|
~{
|
|
|
|
return: add_ret_ty(doc.return, retty)
|
2012-01-16 15:33:06 -08:00
|
|
|
with *doc
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[cfg(test)]
|
|
|
|
mod tests {
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn should_add_fn_ret_types() {
|
|
|
|
let source = "fn a() -> int { }";
|
2012-01-16 18:21:34 -08:00
|
|
|
let srv = astsrv::mk_seq_srv_from_str(source);
|
|
|
|
let doc = extract::from_srv(srv, "");
|
|
|
|
let doc = run(srv, doc);
|
2012-01-16 15:33:06 -08:00
|
|
|
assert option::get(doc.topmod.fns[0].return).ty == some("int");
|
|
|
|
}
|
|
|
|
}
|