//! Generate markdown from a document tree

use doc::ItemUtils;
use markdown_writer::Writer;
use markdown_writer::WriterUtils;
use markdown_writer::WriterFactory;

export mk_pass;
export header_kind, header_name, header_text;

fn mk_pass(+writer_factory: WriterFactory) -> Pass {
    let f = fn~(srv: astsrv::Srv, doc: doc::Doc) -> doc::Doc {
        run(srv, doc, copy writer_factory)
    };

    {
        name: ~"markdown",
        f: f
    }
}

fn run(
    srv: astsrv::Srv,
    doc: doc::Doc,
    +writer_factory: WriterFactory
) -> doc::Doc {

    pure fn mods_last(item1: &doc::ItemTag, item2: &doc::ItemTag) -> bool {
        pure fn is_mod(item: &doc::ItemTag) -> bool {
            match *item {
              doc::ModTag(_) => true,
              _ => false
            }
        }

        let lteq = !is_mod(item1) || is_mod(item2);
        lteq
    }

    // Sort the items so mods come last. All mods will be
    // output at the same header level so sorting mods last
    // makes the headers come out nested correctly.
    let sorted_doc = sort_pass::mk_pass(
        ~"mods last", mods_last
    ).f(srv, doc);

    write_markdown(sorted_doc, writer_factory);

    return doc;
}

#[test]
fn should_write_modules_last() {
    /*
    Because the markdown pass writes all modules at the same level of
    indentation (it doesn't 'nest' them), we need to make sure that we
    write all of the modules contained in each module after all other
    types of items, or else the header nesting will end up wrong, with
    modules appearing to contain items that they do not.
    */
    let markdown = test::render(
        ~"mod a { }\
         fn b() { }\
         mod c {
             #[legacy_exports]; }\
         fn d() { }"
    );

    let idx_a = option::get(str::find_str(markdown, ~"# Module `a`"));
    let idx_b = option::get(str::find_str(markdown, ~"## Function `b`"));
    let idx_c = option::get(str::find_str(markdown, ~"# Module `c`"));
    let idx_d = option::get(str::find_str(markdown, ~"## Function `d`"));

    assert idx_b < idx_d;
    assert idx_d < idx_a;
    assert idx_a < idx_c;
}

type Ctxt = {
    w: Writer
};

fn write_markdown(
    doc: doc::Doc,
    +writer_factory: WriterFactory
) {
    // FIXME #2484: There is easy parallelism to be had here but
    // we don't want to spawn too many pandoc processes
    do doc.pages.map |page| {
        let ctxt = {
            w: writer_factory(page)
        };
        write_page(ctxt, page)
    };
}

fn write_page(ctxt: Ctxt, page: doc::Page) {
    write_title(ctxt, page);
    match page {
      doc::CratePage(doc) => {
        write_crate(ctxt, doc);
      }
      doc::ItemPage(doc) => {
        // We don't write a header for item's pages because their
        // header in the html output is created by the page title
        write_item_no_header(ctxt, doc);
      }
    }
    ctxt.w.write_done();
}

#[test]
fn should_request_new_writer_for_each_page() {
    // This port will send us a (page, str) pair for every writer
    // that was created
    let (writer_factory, po) = markdown_writer::future_writer_factory();
    let (srv, doc) = test::create_doc_srv(~"mod a { }");
    // Split the document up into pages
    let doc = page_pass::mk_pass(config::DocPerMod).f(srv, doc);
    write_markdown(doc, writer_factory);
    // We expect two pages to have been written
    for iter::repeat(2u) {
        comm::recv(po);
    }
}

fn write_title(ctxt: Ctxt, page: doc::Page) {
    ctxt.w.write_line(fmt!("%% %s", make_title(page)));
    ctxt.w.write_line(~"");
}

fn make_title(page: doc::Page) -> ~str {
    let item = match page {
      doc::CratePage(CrateDoc) => {
        doc::ModTag(CrateDoc.topmod)
      }
      doc::ItemPage(ItemTag) => {
        ItemTag
      }
    };
    let title = markdown_pass::header_text(item);
    let title = str::replace(title, ~"`", ~"");
    return title;
}

#[test]
fn should_write_title_for_each_page() {
    let (writer_factory, po) = markdown_writer::future_writer_factory();
    let (srv, doc) = test::create_doc_srv(
        ~"#[link(name = \"core\")]; mod a { }");
    let doc = page_pass::mk_pass(config::DocPerMod).f(srv, doc);
    write_markdown(doc, writer_factory);
    for iter::repeat(2u) {
        let (page, markdown) = comm::recv(po);
        match page {
          doc::CratePage(_) => {
            assert str::contains(markdown, ~"% Crate core");
          }
          doc::ItemPage(_) => {
            assert str::contains(markdown, ~"% Module a");
          }
        }
    }
}

enum Hlvl {
    H1 = 1,
    H2 = 2,
    H3 = 3,
    H4 = 4
}

fn write_header(ctxt: Ctxt, lvl: Hlvl, doc: doc::ItemTag) {
    let text = header_text(doc);
    write_header_(ctxt, lvl, text);
}

fn write_header_(ctxt: Ctxt, lvl: Hlvl, title: ~str) {
    let hashes = str::from_chars(vec::from_elem(lvl as uint, '#'));
    ctxt.w.write_line(fmt!("%s %s", hashes, title));
    ctxt.w.write_line(~"");
}

fn header_kind(doc: doc::ItemTag) -> ~str {
    match doc {
      doc::ModTag(_) => {
        if doc.id() == syntax::ast::crate_node_id {
            ~"Crate"
        } else {
            ~"Module"
        }
      }
      doc::NmodTag(_) => {
        ~"Foreign module"
      }
      doc::FnTag(_) => {
        ~"Function"
      }
      doc::ConstTag(_) => {
        ~"Const"
      }
      doc::EnumTag(_) => {
        ~"Enum"
      }
      doc::TraitTag(_) => {
        ~"Interface"
      }
      doc::ImplTag(_) => {
        ~"Implementation"
      }
      doc::TyTag(_) => {
        ~"Type"
      }
      doc::StructTag(_) => {
        ~"Struct"
      }
    }
}

fn header_name(doc: doc::ItemTag) -> ~str {
    let fullpath = str::connect(doc.path() + ~[doc.name()], ~"::");
    match doc {
      doc::ModTag(_) if doc.id() != syntax::ast::crate_node_id => {
        fullpath
      }
      doc::NmodTag(_) => {
        fullpath
      }
      doc::ImplTag(doc) => {
        assert option::is_some(doc.self_ty);
        let self_ty = option::get(doc.self_ty);
        let mut trait_part = ~"";
        for doc.trait_types.eachi |i, trait_type| {
            if i == 0 {
                trait_part += ~" of ";
            } else {
                trait_part += ~", ";
            }
            trait_part += trait_type;
        }
        fmt!("%s for %s", trait_part, self_ty)
      }
      _ => {
        doc.name()
      }
    }
}

fn header_text(doc: doc::ItemTag) -> ~str {
    match doc {
      doc::ImplTag(ImplDoc) => {
        let header_kind = header_kind(doc);
        let desc = if ImplDoc.trait_types.is_empty() {
            fmt!("for `%s`", ImplDoc.self_ty.get())
        } else {
            fmt!("of `%s` for `%s`", ImplDoc.trait_types[0],
                 ImplDoc.self_ty.get())
        };
        fmt!("%s %s", header_kind, desc)
      }
      _ => {
        header_text_(header_kind(doc), header_name(doc))
      }
    }
}

fn header_text_(kind: ~str, name: ~str) -> ~str {
    fmt!("%s `%s`", kind, name)
}

fn write_crate(
    ctxt: Ctxt,
    doc: doc::CrateDoc
) {
    write_top_module(ctxt, doc.topmod);
}

fn write_top_module(
    ctxt: Ctxt,
    ModDoc: doc::ModDoc
) {
    write_mod_contents(ctxt, ModDoc);
}

fn write_mod(
    ctxt: Ctxt,
    ModDoc: doc::ModDoc
) {
    write_mod_contents(ctxt, ModDoc);
}

#[test]
fn should_write_full_path_to_mod() {
    let markdown = test::render(~"mod a { mod b { mod c { } } }");
    assert str::contains(markdown, ~"# Module `a::b::c`");
}

fn write_common(
    ctxt: Ctxt,
    desc: Option<~str>,
    sections: ~[doc::Section]
) {
    write_desc(ctxt, desc);
    write_sections(ctxt, sections);
}

fn write_desc(
    ctxt: Ctxt,
    desc: Option<~str>
) {
    match desc {
        Some(desc) => {
            ctxt.w.write_line(desc);
            ctxt.w.write_line(~"");
        }
        None => ()
    }
}

fn write_sections(ctxt: Ctxt, sections: ~[doc::Section]) {
    for vec::each(sections) |section| {
        write_section(ctxt, *section);
    }
}

fn write_section(ctxt: Ctxt, section: doc::Section) {
    write_header_(ctxt, H4, section.header);
    ctxt.w.write_line(section.body);
    ctxt.w.write_line(~"");
}

#[test]
fn should_write_sections() {
    let markdown = test::render(
        ~"#[doc = \"\
         # Header\n\
         Body\"]\
         mod a {
             #[legacy_exports]; }");
    assert str::contains(markdown, ~"#### Header\n\nBody\n\n");
}

fn write_mod_contents(
    ctxt: Ctxt,
    doc: doc::ModDoc
) {
    write_common(ctxt, doc.desc(), doc.sections());
    if option::is_some(doc.index) {
        write_index(ctxt, option::get(doc.index));
    }

    for doc.items.each |itemTag| {
        write_item(ctxt, *itemTag);
    }
}

fn write_item(ctxt: Ctxt, doc: doc::ItemTag) {
    write_item_(ctxt, doc, true);
}

fn write_item_no_header(ctxt: Ctxt, doc: doc::ItemTag) {
    write_item_(ctxt, doc, false);
}

fn write_item_(ctxt: Ctxt, doc: doc::ItemTag, write_header: bool) {
    if write_header {
        write_item_header(ctxt, doc);
    }

    match doc {
      doc::ModTag(ModDoc) => write_mod(ctxt, ModDoc),
      doc::NmodTag(nModDoc) => write_nmod(ctxt, nModDoc),
      doc::FnTag(FnDoc) => write_fn(ctxt, FnDoc),
      doc::ConstTag(ConstDoc) => write_const(ctxt, ConstDoc),
      doc::EnumTag(EnumDoc) => write_enum(ctxt, EnumDoc),
      doc::TraitTag(TraitDoc) => write_trait(ctxt, TraitDoc),
      doc::ImplTag(ImplDoc) => write_impl(ctxt, ImplDoc),
      doc::TyTag(TyDoc) => write_type(ctxt, TyDoc),
      doc::StructTag(StructDoc) => write_struct(ctxt, StructDoc),
    }
}

fn write_item_header(ctxt: Ctxt, doc: doc::ItemTag) {
    write_header(ctxt, item_header_lvl(doc), doc);
}

fn item_header_lvl(doc: doc::ItemTag) -> Hlvl {
    match doc {
      doc::ModTag(_) | doc::NmodTag(_) => H1,
      _ => H2
    }
}

#[test]
fn should_write_crate_description() {
    let markdown = test::render(~"#[doc = \"this is the crate\"];");
    assert str::contains(markdown, ~"this is the crate");
}

fn write_index(ctxt: Ctxt, index: doc::Index) {
    if vec::is_empty(index.entries) {
        return;
    }

    for index.entries.each |entry| {
        let header = header_text_(entry.kind, entry.name);
        let id = entry.link;
        if option::is_some(entry.brief) {
            ctxt.w.write_line(fmt!("* [%s](%s) - %s",
                                   header, id, option::get(entry.brief)));
        } else {
            ctxt.w.write_line(fmt!("* [%s](%s)", header, id));
        }
    }
    ctxt.w.write_line(~"");
}

#[test]
fn should_write_index() {
    let markdown = test::render(~"mod a { } mod b { }");
    assert str::contains(
        markdown,
        ~"\n\n* [Module `a`](#module-a)\n\
         * [Module `b`](#module-b)\n\n"
    );
}

#[test]
fn should_write_index_brief() {
    let markdown = test::render(~"#[doc = \"test\"] mod a { }");
    assert str::contains(markdown, ~"(#module-a) - test\n");
}

#[test]
fn should_not_write_index_if_no_entries() {
    let markdown = test::render(~"");
    assert !str::contains(markdown, ~"\n\n\n");
}

#[test]
fn should_write_index_for_foreign_mods() {
    let markdown = test::render(~"extern mod a { fn a(); }");
    assert str::contains(
        markdown,
        ~"\n\n* [Function `a`](#function-a)\n\n"
    );
}

fn write_nmod(ctxt: Ctxt, doc: doc::NmodDoc) {
    write_common(ctxt, doc.desc(), doc.sections());
    if option::is_some(doc.index) {
        write_index(ctxt, option::get(doc.index));
    }

    for doc.fns.each |FnDoc| {
        write_item_header(ctxt, doc::FnTag(*FnDoc));
        write_fn(ctxt, *FnDoc);
    }
}

#[test]
fn should_write_foreign_mods() {
    let markdown = test::render(~"#[doc = \"test\"] extern mod a { }");
    assert str::contains(markdown, ~"Foreign module `a`");
    assert str::contains(markdown, ~"test");
}

#[test]
fn should_write_foreign_fns() {
    let markdown = test::render(
        ~"extern mod a { #[doc = \"test\"] fn a(); }");
    assert str::contains(markdown, ~"test");
}

#[test]
fn should_write_foreign_fn_headers() {
    let markdown = test::render(
        ~"extern mod a { #[doc = \"test\"] fn a(); }");
    assert str::contains(markdown, ~"## Function `a`");
}

fn write_fn(
    ctxt: Ctxt,
    doc: doc::FnDoc
) {
    write_fnlike(
        ctxt,
        doc.sig,
        doc.desc(),
        doc.sections()
    );
}

fn write_fnlike(
    ctxt: Ctxt,
    sig: Option<~str>,
    desc: Option<~str>,
    sections: ~[doc::Section]
) {
    write_sig(ctxt, sig);
    write_common(ctxt, desc, sections);
}

fn write_sig(ctxt: Ctxt, sig: Option<~str>) {
    match sig {
      Some(sig) => {
        ctxt.w.write_line(code_block_indent(sig));
        ctxt.w.write_line(~"");
      }
      None => fail ~"unimplemented"
    }
}

fn code_block_indent(s: ~str) -> ~str {
    let lines = str::lines_any(s);
    let indented = vec::map(lines, |line| fmt!("    %s", line) );
    str::connect(indented, ~"\n")
}

#[test]
fn write_markdown_should_write_function_header() {
    let markdown = test::render(~"fn func() { }");
    assert str::contains(markdown, ~"## Function `func`");
}

#[test]
fn should_write_the_function_signature() {
    let markdown = test::render(~"#[doc = \"f\"] fn a() { }");
    assert str::contains(markdown, ~"\n    fn a()\n");
}

#[test]
fn should_insert_blank_line_after_fn_signature() {
    let markdown = test::render(~"#[doc = \"f\"] fn a() { }");
    assert str::contains(markdown, ~"fn a()\n\n");
}

#[test]
fn should_correctly_indent_fn_signature() {
    let doc = test::create_doc(~"fn a() { }");
    let doc = doc::Doc_({
        pages: ~[
            doc::CratePage({
                topmod: doc::ModDoc_({
                    items: ~[doc::FnTag({
                        sig: Some(~"line 1\nline 2"),
                        .. doc.cratemod().fns()[0]
                    })],
                    .. *doc.cratemod()
                }),
                .. doc.CrateDoc()
            })
        ]
    });
    let markdown = test::write_markdown_str(doc);
    assert str::contains(markdown, ~"    line 1\n    line 2");
}

#[test]
fn should_leave_blank_line_between_fn_header_and_sig() {
    let markdown = test::render(~"fn a() { }");
    assert str::contains(markdown, ~"Function `a`\n\n    fn a()");
}

fn write_const(
    ctxt: Ctxt,
    doc: doc::ConstDoc
) {
    write_sig(ctxt, doc.sig);
    write_common(ctxt, doc.desc(), doc.sections());
}

#[test]
fn should_write_const_header() {
    let markdown = test::render(~"const a: bool = true;");
    assert str::contains(markdown, ~"## Const `a`\n\n");
}

#[test]
fn should_write_const_description() {
    let markdown = test::render(
        ~"#[doc = \"b\"]\
         const a: bool = true;");
    assert str::contains(markdown, ~"\n\nb\n\n");
}

fn write_enum(
    ctxt: Ctxt,
    doc: doc::EnumDoc
) {
    write_common(ctxt, doc.desc(), doc.sections());
    write_variants(ctxt, doc.variants);
}

#[test]
fn should_write_enum_header() {
    let markdown = test::render(~"enum a { b }");
    assert str::contains(markdown, ~"## Enum `a`\n\n");
}

#[test]
fn should_write_enum_description() {
    let markdown = test::render(
        ~"#[doc = \"b\"] enum a { b }");
    assert str::contains(markdown, ~"\n\nb\n\n");
}

fn write_variants(
    ctxt: Ctxt,
    docs: ~[doc::VariantDoc]
) {
    if vec::is_empty(docs) {
        return;
    }

    write_header_(ctxt, H4, ~"Variants");

    for vec::each(docs) |variant| {
        write_variant(ctxt, *variant);
    }

    ctxt.w.write_line(~"");
}

fn write_variant(ctxt: Ctxt, doc: doc::VariantDoc) {
    assert option::is_some(doc.sig);
    let sig = option::get(doc.sig);
    match doc.desc {
      Some(desc) => {
        ctxt.w.write_line(fmt!("* `%s` - %s", sig, desc));
      }
      None => {
        ctxt.w.write_line(fmt!("* `%s`", sig));
      }
    }
}

#[test]
fn should_write_variant_list() {
    let markdown = test::render(
        ~"enum a { \
         #[doc = \"test\"] b, \
         #[doc = \"test\"] c }");
    assert str::contains(
        markdown,
        ~"\n\n#### Variants\n\
         \n* `b` - test\
         \n* `c` - test\n\n");
}

#[test]
fn should_write_variant_list_without_descs() {
    let markdown = test::render(~"enum a { b, c }");
    assert str::contains(
        markdown,
        ~"\n\n#### Variants\n\
         \n* `b`\
         \n* `c`\n\n");
}

#[test]
fn should_write_variant_list_with_signatures() {
    let markdown = test::render(~"enum a { b(int), #[doc = \"a\"] c(int) }");
    assert str::contains(
        markdown,
        ~"\n\n#### Variants\n\
         \n* `b(int)`\
         \n* `c(int)` - a\n\n");
}

fn write_trait(ctxt: Ctxt, doc: doc::TraitDoc) {
    write_common(ctxt, doc.desc(), doc.sections());
    write_methods(ctxt, doc.methods);
}

fn write_methods(ctxt: Ctxt, docs: ~[doc::MethodDoc]) {
    for vec::each(docs) |doc| {
        write_method(ctxt, *doc);
    }
}

fn write_method(ctxt: Ctxt, doc: doc::MethodDoc) {
    write_header_(ctxt, H3, header_text_(~"Method", doc.name));
    write_fnlike(
        ctxt,
        doc.sig,
        doc.desc,
        doc.sections
    );
}

#[test]
fn should_write_trait_header() {
    let markdown = test::render(~"trait i { fn a(); }");
    assert str::contains(markdown, ~"## Interface `i`");
}

#[test]
fn should_write_trait_desc() {
    let markdown = test::render(
        ~"#[doc = \"desc\"] trait i { fn a(); }");
    assert str::contains(markdown, ~"desc");
}

#[test]
fn should_write_trait_method_header() {
    let markdown = test::render(
        ~"trait i { fn a(); }");
    assert str::contains(markdown, ~"### Method `a`");
}

#[test]
fn should_write_trait_method_signature() {
    let markdown = test::render(
        ~"trait i { fn a(); }");
    assert str::contains(markdown, ~"\n    fn a()");
}

fn write_impl(ctxt: Ctxt, doc: doc::ImplDoc) {
    write_common(ctxt, doc.desc(), doc.sections());
    write_methods(ctxt, doc.methods);
}

#[test]
fn should_write_impl_header() {
    let markdown = test::render(~"impl int { fn a() { } }");
    assert str::contains(markdown, ~"## Implementation for `int`");
}

#[test]
fn should_write_impl_header_with_trait() {
    let markdown = test::render(~"impl int: j { fn a() { } }");
    assert str::contains(markdown, ~"## Implementation of `j` for `int`");
}

#[test]
fn should_write_impl_desc() {
    let markdown = test::render(
        ~"#[doc = \"desc\"] impl int { fn a() { } }");
    assert str::contains(markdown, ~"desc");
}

#[test]
fn should_write_impl_method_header() {
    let markdown = test::render(
        ~"impl int { fn a() { } }");
    assert str::contains(markdown, ~"### Method `a`");
}

#[test]
fn should_write_impl_method_signature() {
    let markdown = test::render(
        ~"impl int { fn a() { } }");
    assert str::contains(markdown, ~"\n    fn a()");
}

fn write_type(
    ctxt: Ctxt,
    doc: doc::TyDoc
) {
    write_sig(ctxt, doc.sig);
    write_common(ctxt, doc.desc(), doc.sections());
}

#[test]
fn should_write_type_header() {
    let markdown = test::render(~"type t = int;");
    assert str::contains(markdown, ~"## Type `t`");
}

#[test]
fn should_write_type_desc() {
    let markdown = test::render(
        ~"#[doc = \"desc\"] type t = int;");
    assert str::contains(markdown, ~"\n\ndesc\n\n");
}

#[test]
fn should_write_type_signature() {
    let markdown = test::render(~"type t = int;");
    assert str::contains(markdown, ~"\n\n    type t = int\n\n");
}

fn write_struct(
    ctxt: Ctxt,
    doc: doc::StructDoc
) {
    write_sig(ctxt, doc.sig);
    write_common(ctxt, doc.desc(), doc.sections());
}

#[test]
fn should_write_struct_header() {
    let markdown = test::render(~"struct S { field: () }");
    assert str::contains(markdown, ~"## Struct `S`\n\n");
}

#[cfg(test)]
mod test {
    #[legacy_exports];
    fn render(source: ~str) -> ~str {
        let (srv, doc) = create_doc_srv(source);
        let markdown = write_markdown_str_srv(srv, doc);
        debug!("markdown: %s", markdown);
        markdown
    }

    fn create_doc_srv(source: ~str) -> (astsrv::Srv, doc::Doc) {
        do astsrv::from_str(source) |srv| {

            let config = {
                output_style: config::DocPerCrate,
                .. config::default_config(&Path("whatever"))
            };

            let doc = extract::from_srv(srv, ~"");
            debug!("doc (extract): %?", doc);
            let doc = tystr_pass::mk_pass().f(srv, doc);
            debug!("doc (tystr): %?", doc);
            let doc = path_pass::mk_pass().f(srv, doc);
            debug!("doc (path): %?", doc);
            let doc = attr_pass::mk_pass().f(srv, doc);
            debug!("doc (attr): %?", doc);
            let doc = desc_to_brief_pass::mk_pass().f(srv, doc);
            debug!("doc (desc_to_brief): %?", doc);
            let doc = unindent_pass::mk_pass().f(srv, doc);
            debug!("doc (unindent): %?", doc);
            let doc = sectionalize_pass::mk_pass().f(srv, doc);
            debug!("doc (trim): %?", doc);
            let doc = trim_pass::mk_pass().f(srv, doc);
            debug!("doc (sectionalize): %?", doc);
            let doc = markdown_index_pass::mk_pass(config).f(srv, doc);
            debug!("doc (index): %?", doc);
            (srv, doc)
        }
    }

    fn create_doc(source: ~str) -> doc::Doc {
        let (_, doc) = create_doc_srv(source);
        doc
    }

    fn write_markdown_str(
        doc: doc::Doc
    ) -> ~str {
        let (writer_factory, po) = markdown_writer::future_writer_factory();
        write_markdown(doc, writer_factory);
        return comm::recv(po).second();
    }

    fn write_markdown_str_srv(
        srv: astsrv::Srv,
        doc: doc::Doc
    ) -> ~str {
        let (writer_factory, po) = markdown_writer::future_writer_factory();
        let pass = mk_pass(writer_factory);
        pass.f(srv, doc);
        return comm::recv(po).second();
    }

    #[test]
    fn write_markdown_should_write_mod_headers() {
        let markdown = render(~"mod moo { }");
        assert str::contains(markdown, ~"# Module `moo`");
    }

    #[test]
    fn should_leave_blank_line_after_header() {
        let markdown = render(~"mod morp { }");
        assert str::contains(markdown, ~"Module `morp`\n\n");
    }
}