aboutsummaryrefslogtreecommitdiff
path: root/dottydoc/src/dotty/tools/dottydoc/api/java/Dottydoc.java
blob: 1bdfe0488e3425d253fad6d6b6885fd67354e4ac (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
package dotty.tools.dottydoc.api.java;

import dotty.tools.dottydoc.DocDriver;
import dotty.tools.dottydoc.model.Package;
import dotty.tools.dottydoc.util.OutputWriter;
import java.util.Map;
import java.util.List;
import java.net.URL;

/**
 * The Dottydoc API is fairly simple. The tool creates an index by calling:
 * "createIndex" with the same argument list as you would the compiler - e.g:
 *
 * {{{
 * String[] array = {
 *     "-language:Scala2"
 * };
 *
 * Map<String, Package> index = createIndex(array);
 * }}}
 *
 * Once the index has been generated, the tool can also build a documentation
 * API given a Mustache template and a flat resources structure (i.e. absolute
 * paths to each resource, which will be put in the same directory).
 *
 * {{{
 * buildDocs("path/to/output/dir", templateURL, resources, index);
 * }}}
 *
 * The tool can also generate JSON from the created index using "toJson(index)"
 * or directly using "createJsonIndex"
 */
public class Dottydoc extends DocDriver {

    /** Creates index from compiler arguments */
    public Map<String, Package> createIndex(String[] args) {
        return compiledDocsJava(args);
    }

    /** Creates JSON from compiler arguments */
    public String createJsonIndex(String[] args) {
        return indexToJsonJava(createIndex(args));
    }

    public String toJson(Map<String, Package> index) {
        return indexToJsonJava(index);
    }

    /** Creates a documentation from the given parameters */
    public void buildDocs(
        String outputDir,
        URL template,
        List<URL> resources,
        Map<String, Package> index
    ) {
        new OutputWriter().writeJava(index, outputDir, template, resources);
    }

    /** Writes JSON to an output directory as "index.json" */
    public void writeJson(Map<String, Package> index, String outputDir) {
        new OutputWriter().writeJsonJava(index, outputDir);
    }
}