Annotate predicate with override

rvermeulen · rvermeulen · commit 879bbb4f6f3d · 2021-10-21T16:22:09.000+02:00
diff --git a/customizations/javascript/CustomSources.qll b/customizations/javascript/CustomSources.qll
@@ -3,5 +3,5 @@ import javascript
 class CustomSource extends RemoteFlowSource, DataFlow::CallNode {
   CustomSource() { this.getCalleeName() = "source" }
 
-  string getSourceType() { result = "a call to source" }
+  override string getSourceType() { result = "a call to source" }
 }

Original file line number	Diff line number	Diff line change
`@@ -3,5 +3,5 @@ import javascript`
`3`	`3`	`class CustomSource extends RemoteFlowSource, DataFlow::CallNode {`
`4`	`4`	`CustomSource() { this.getCalleeName() = "source" }`
`5`	`5`
`6`		`- string getSourceType() { result = "a call to source" }`
	`6`	`+ override string getSourceType() { result = "a call to source" }`
`7`	`7`	`}`