diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-02-01 19:37:39 +0100 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2017-02-01 19:37:39 +0100 |
commit | e64c2e2d01cf30fe843fa3d4eff977c8b1ecccc4 (patch) | |
tree | 666cddc172ff213008e5841ace6dc62acf7e26b0 /doc-tool/src/dotty/tools/dottydoc/staticsite/BlogPost.scala | |
parent | dbbb7a3d9a668bbb8b62bec38f065f2444dacb91 (diff) | |
download | dotty-e64c2e2d01cf30fe843fa3d4eff977c8b1ecccc4.tar.gz dotty-e64c2e2d01cf30fe843fa3d4eff977c8b1ecccc4.tar.bz2 dotty-e64c2e2d01cf30fe843fa3d4eff977c8b1ecccc4.zip |
Add position based error reporting to dottydoc
Diffstat (limited to 'doc-tool/src/dotty/tools/dottydoc/staticsite/BlogPost.scala')
-rw-r--r-- | doc-tool/src/dotty/tools/dottydoc/staticsite/BlogPost.scala | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/doc-tool/src/dotty/tools/dottydoc/staticsite/BlogPost.scala b/doc-tool/src/dotty/tools/dottydoc/staticsite/BlogPost.scala index f68157e40..9268199ca 100644 --- a/doc-tool/src/dotty/tools/dottydoc/staticsite/BlogPost.scala +++ b/doc-tool/src/dotty/tools/dottydoc/staticsite/BlogPost.scala @@ -5,7 +5,8 @@ package staticsite import java.io.{ File => JFile } import java.util.{ List => JList, Map => JMap } -import dotc.config.Printers.dottydoc +import dotc.core.Contexts.Context +import util.syntax._ import MapOperations._ @@ -42,9 +43,9 @@ class BlogPost( object BlogPost { val extract = """(\d\d\d\d)-(\d\d)-(\d\d)-(.*)\.(md|html)""".r - def apply(file: JFile, page: Page): BlogPost = { + def apply(file: JFile, page: Page)(implicit ctx: Context): Option[BlogPost] = { def report(key: String, fallback: String = "") = { - /*dottydoc.*/println(s"couldn't find page.$key in ${file.getName}") + ctx.docbase.error(s"couldn't find page.$key in ${file.getName}") fallback } @@ -56,6 +57,8 @@ object BlogPost { val excerptSep = page.yaml.getString("excerpt_separator") val categories = page.yaml.list("categories") - new BlogPost(title, url, date, page.html, page.firstParagraph, excerptSep, categories) + page.html.map { html => + new BlogPost(title, url, date, html, page.firstParagraph, excerptSep, categories) + } } } |