Add missing override annotations.

taus-semmle · taus-semmle · commit 116e262c620b · 2019-03-08T13:59:52.000+01:00
diff --git a/python/ql/src/semmle/python/Exprs.qll b/python/ql/src/semmle/python/Exprs.qll
@@ -502,7 +502,7 @@ class Dict extends Dict_ {
         result = this.getAValue() or result = this.getAKey()
     }
 
-    AstNode getAChildNode() {
+    override AstNode getAChildNode() {
         result = this.getAnItem()
     }
 
diff --git a/python/ql/src/semmle/python/types/ClassObject.qll b/python/ql/src/semmle/python/types/ClassObject.qll
@@ -385,7 +385,7 @@ class ClassObject extends Object {
         result.getFunction().refersTo(this)
     }
 
-    predicate notClass() {
+    override predicate notClass() {
         none()
     }
 

Original file line number	Diff line number	Diff line change
`@@ -502,7 +502,7 @@ class Dict extends Dict_ {`
`502`	`502`	`result = this.getAValue() or result = this.getAKey()`
`503`	`503`	`}`
`504`	`504`
`505`		`- AstNode getAChildNode() {`
	`505`	`+ override AstNode getAChildNode() {`
`506`	`506`	`result = this.getAnItem()`
`507`	`507`	`}`
`508`	`508`
Original file line number	Diff line number	Diff line change
`@@ -385,7 +385,7 @@ class ClassObject extends Object {`
`385`	`385`	`result.getFunction().refersTo(this)`
`386`	`386`	`}`
`387`	`387`
`388`		`- predicate notClass() {`
	`388`	`+ override predicate notClass() {`
`389`	`389`	`none()`
`390`	`390`	`}`
`391`	`391`