Merge pull request github#5064 from RasmusWL/fix-missing-override

tausbn · web-flow · commit b8b42eaea31c · 2021-02-01T12:37:38.000+01:00
Python: Add missing override annotation
diff --git a/python/ql/src/semmle/python/security/injection/Xml.qll b/python/ql/src/semmle/python/security/injection/Xml.qll
@@ -32,7 +32,7 @@ private class ExpatCreateParser extends TaintSource {
 
   override predicate isSourceOf(TaintKind kind) { kind instanceof ExpatParser }
 
-  string toString() { result = "expat.create.parser" }
+  override string toString() { result = "expat.create.parser" }
 }
 
 private FunctionObject xmlFromString() {

Original file line number	Diff line number	Diff line change
`@@ -32,7 +32,7 @@ private class ExpatCreateParser extends TaintSource {`
`32`	`32`
`33`	`33`	`override predicate isSourceOf(TaintKind kind) { kind instanceof ExpatParser }`
`34`	`34`
`35`		`- string toString() { result = "expat.create.parser" }`
	`35`	`+ override string toString() { result = "expat.create.parser" }`
`36`	`36`	`}`
`37`	`37`
`38`	`38`	`private FunctionObject xmlFromString() {`