Python: Adjust XMLParent.getName to match other languages.

2026-04-29 18:55:14 +02:00 · 2019-12-17 07:33:39 +00:00
parent 3068a89ab2
commit ef453db225
1 changed files with 1 additions and 1 deletions
--- a/python/ql/src/semmle/python/xml/XML.qll
+++ b/python/ql/src/semmle/python/xml/XML.qll
@@ -44,7 +44,7 @@ class XMLParent extends @xmlparent {
   * Gets a printable representation of this XML parent.
   * (Intended to be overridden in subclasses.)
   */
-  /*abstract*/ string getName() { result = "parent" }
+  abstract string getName();

  /** Gets the file to which this XML parent belongs. */
  XMLFile getFile() { result = this or xmlElements(this, _, _, _, result) }