diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-01-13 13:38:44 +0100 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2017-01-31 14:31:08 +0100 |
commit | eeeada2083dead6ef15c2c45e4158fa677b8ec02 (patch) | |
tree | 0e5e634c3a5e5c69f17e1d4953a444ca766fbe09 /doc-tool/src/dotty/tools/dottydoc/api/java/Dottydoc.java | |
parent | 2c08c956d39d9a06b3c5aa7eddc3b8c903f807df (diff) | |
download | dotty-eeeada2083dead6ef15c2c45e4158fa677b8ec02.tar.gz dotty-eeeada2083dead6ef15c2c45e4158fa677b8ec02.tar.bz2 dotty-eeeada2083dead6ef15c2c45e4158fa677b8ec02.zip |
Fix dotty docs gen, scroll
Diffstat (limited to 'doc-tool/src/dotty/tools/dottydoc/api/java/Dottydoc.java')
-rw-r--r-- | doc-tool/src/dotty/tools/dottydoc/api/java/Dottydoc.java | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/doc-tool/src/dotty/tools/dottydoc/api/java/Dottydoc.java b/doc-tool/src/dotty/tools/dottydoc/api/java/Dottydoc.java index d10e145a8..a44413c75 100644 --- a/doc-tool/src/dotty/tools/dottydoc/api/java/Dottydoc.java +++ b/doc-tool/src/dotty/tools/dottydoc/api/java/Dottydoc.java @@ -2,7 +2,6 @@ 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; @@ -46,19 +45,4 @@ public class Dottydoc { public String toJson(Map<String, Package> index) { return driver.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); - } } |