fix for issue #4848

madneal · madneal · commit eac83df40b9e · 2020-12-21T08:52:42.000+08:00
diff --git a/docs/codeql/codeql-language-guides/analyzing-data-flow-in-csharp.rst b/docs/codeql/codeql-language-guides/analyzing-data-flow-in-csharp.rst
@@ -439,7 +439,7 @@ Exercise 2
      Configuration() { this="String to System.Uri" }
      
      override predicate isSource(DataFlow::Node src) {
-       src.asExpr().hasValue()
+       src.asExpr().(Expr).hasValue()
      }
      
      override predicate isSink(DataFlow::Node sink) {

Original file line number	Diff line number	Diff line change
`@@ -439,7 +439,7 @@ Exercise 2`
`439`	`439`	`Configuration() { this="String to System.Uri" }`
`440`	`440`
`441`	`441`	`override predicate isSource(DataFlow::Node src) {`
`442`		`- src.asExpr().hasValue()`
	`442`	`+ src.asExpr().(Expr).hasValue()`
`443`	`443`	`}`
`444`	`444`
`445`	`445`	`override predicate isSink(DataFlow::Node sink) {`