tree 0a00423416fc67f671ff4656589e8c8e0c96c7a2
parent 2bdd88de3d6ccd5d5cf7c773b2a47d6b788069f8
author David Ostrovsky <david@ostrovsky.org> 1788013627 +0200
committer David Ostrovsky <david@ostrovsky.org> 1788069135 +0200

Format Mermaid SVG numbers with Locale.ROOT

SimpleMermaidRenderer built SVG coordinates with
String.format("%.1f", ...) under the default locale, so on a JVM whose
region uses a comma decimal separator (e.g. de_DE) it emitted "28,0"
instead of "28.0". SVG requires '.' as the decimal separator, so that
markup is invalid; the renderer tests, which reparse coordinates with
Double.parseDouble, throw NumberFormatException for the same reason.

Pass Locale.ROOT to every String.format call so numeric output is
always '.'-separated and independent of the machine locale.

Alternative considered: forcing an en-US locale from .bazelrc or
overriding the JVM/system default locale. That does not make the
renderer correct on its own, and it still leaves production output
dependent on process-wide locale configuration. The formatting point
that emits SVG numbers should declare its locale explicitly instead.

Change-Id: Ia493dd426d3a1dffb5b7059df69c5a0001b1dab1