Properly escape TLA+ tuples ("<<" and ">>") in SVG output.

[Bug]

Author: lemmy

modules/tlc2/overrides/SVG.java

@@ -133,6 +133,8 @@ public static Value SVGElemToString(Value elem) throws Exception {
 		// explicitly disallow it.
 		StringValue innerTextVal = (StringValue) frv.apply(new StringValue("innerText"), 0);
 		String innerText = innerTextVal.getVal().toString();
+		// Make sure TLA+ tuples such as <<1,2,3>> get properly rendered.
+		innerText = innerText.replaceAll("<<", "&lt;&lt;").replaceAll(">>", "&gt;&gt;");
 
 		// Produce the SVG element string.
 		String svg = String.format("<%s%s>", name, attrStr);

tests/SVGTests.tla

@@ -133,4 +133,10 @@ ASSUME(
               3 :> [x |-> 16, y |-> 9 ] )
 )
 
+ASSUME(LET 
+		elem == Text(0, 0, ToString(<<1,2,3>>), <<>>)
+      IN
+        AssertEq(SVGElemToString(elem), "<text x='0' y='0'>&lt;&lt;1, 2, 3&gt;&gt;</text>"))
+
+
 =============================================================================