remove "</>" from the end when printing HTML

erik-krogh · erik-krogh · commit 2bb8b78a295c · 2020-10-15T11:56:00.000+02:00
diff --git a/javascript/ql/src/semmle/javascript/PrintAst.qll b/javascript/ql/src/semmle/javascript/PrintAst.qll
@@ -662,7 +662,7 @@ module PrintHTML {
 
     HTMLElementNode() { this = THTMLElementNode(element) }
 
-    override string toString() { result = getQlClass(element) + element.toString() }
+    override string toString() { result = getQlClass(element) + "<" + element.getName() + " ..." }
 
     override Location getLocation() { result = element.getLocation() }
 
