markdown: warn when inline html is ignored

- print warnings when block or inline html is ignored
- better support for reporting location using FileLoc

Author: mgiannini

src/markdown/fan/ast/Block.fan

@@ -6,6 +6,8 @@
 //   08 Oct 2024  Matthew Giannini  Creation
 //
 
+using util
+
 **
 ** A block node.
 **
@@ -38,10 +40,10 @@ final class Document : Block
   new make() { }
 
   ** Get the file this document was generated from, or null if not known
-  File? file { private set }
+  internal FileLoc? locRef { private set }
 
   ** Set the file that was used to generate this document
-  This withFile(File file) { this.file = file; return this }
+  This withFileLoc(FileLoc? loc) { this.locRef = loc; return this }
 }
 
 **************************************************************************

src/markdown/fan/ast/Node.fan

@@ -57,10 +57,10 @@ abstract class Node
   ** Get the file location for this node from the original parsed source.
   ** If the location is not known or source spans were not enabled during
   ** parsing, then return `util::FileLoc.unknown`.
-  FileLoc loc()
+  virtual FileLoc loc()
   {
     if (sourceSpans.isEmpty) return FileLoc.unknown
-    file := doc?.file?.name ?: "inputs"
+    file := doc?.locRef?.file ?: "inputs"
     span := sourceSpans.first
     // I think if the best way to report the location is using the first source span
     return FileLoc(file, span.lineIndex+1, span.columnIndex+1)

src/markdown/fan/ext/xetodoc/Xetodoc.fan

@@ -6,6 +6,8 @@
 //   01 Nov 2024  Matthew Giannini  Creation
 //
 
+using util
+
 **
 ** Xetodoc is a curated set of features and extensions to the CommonMark syntax.
 **
@@ -66,9 +68,9 @@
   }
 
   ** Convenience to render the given Xetodoc to HTML
-  static Str toHtml(Str source, LinkResolver? linkResolver := null)
+  static Str toHtml(Str source, LinkResolver? linkResolver := null, FileLoc? loc := null)
   {
-    htmlRenderer.render(parser(linkResolver).parse(source))
+    htmlRenderer.render(parser(linkResolver).parse(source).withFileLoc(loc))
   }
 
   ** Convenience to render the given node to HTML

src/markdown/fan/parser/Parser.fan

@@ -6,6 +6,8 @@
 //   08 Oct 2024  Matthew Giannini  Creation
 //
 
+using util
+
 **
 ** Parse input text into a tree of nodes.
 **
@@ -64,7 +66,7 @@ const class Parser
 
   ** Convenience to parse a file into a `Document`. If source span parsing
   ** is enabled the nodes will have access to the file location using `Node.loc`.
-  Document parseFile(File file) { parseStream(file.in).withFile(file) }
+  Document parseFile(File file) { parseStream(file.in).withFileLoc(FileLoc(file.pathStr)) }
 
   ** Convenience for 'parseStream(text.in)'
   Document parse(Str text) { parseStream(text.in) }

src/markdown/fan/render/html/CoreHtmlNodeRenderer.fan

@@ -129,7 +129,11 @@
 
   override Void visitHtmlBlock(HtmlBlock block)
   {
-    if (cx.disableHtml) return
+    if (cx.disableHtml)
+    {
+      echo("WARN: ignore block html ${block.loc}")
+      return
+    }
 
     html.line
     if (cx.escapeHtml)
@@ -228,7 +232,11 @@
 
   override Void visitHtmlInline(HtmlInline inline)
   {
-    if (cx.disableHtml) return
+    if (cx.disableHtml)
+    {
+      echo("WARN: ignore inline html ${inline.loc}: ${inline.literal}")
+      return
+    }
 
     if (cx.escapeHtml)
       html.text(inline.literal)