Python: make toString follow member predicate name

yoff · yoff · commit a11948bea0c6 · 2022-09-28T16:13:04.000+02:00
diff --git a/python/ql/lib/semmle/python/ApiGraphs.qll b/python/ql/lib/semmle/python/ApiGraphs.qll
@@ -1069,7 +1069,7 @@ module API {
 
       /** A label that gets the subscript of a sequence/mapping. */
       class LabelSubscript extends ApiLabel, MkLabelSubscript {
-        override string toString() { result = "getSubscript()" }
+        override string toString() { result = "getASubscript()" }
       }
 
       /** A label for entry points. */

Original file line number	Diff line number	Diff line change
`@@ -1069,7 +1069,7 @@ module API {`
`1069`	`1069`
`1070`	`1070`	`/** A label that gets the subscript of a sequence/mapping. */`
`1071`	`1071`	`class LabelSubscript extends ApiLabel, MkLabelSubscript {`
`1072`		`- override string toString() { result = "getSubscript()" }`
	`1072`	`+ override string toString() { result = "getASubscript()" }`
`1073`	`1073`	`}`
`1074`	`1074`
`1075`	`1075`	`/** A label for entry points. */`