C#: Exclude stubs in GetAnOutNode.ql test

hvitved · michaelnebel · commit 069cf9d17fe2 · 2021-12-09T13:33:14.000+01:00
diff --git a/csharp/ql/test/library-tests/dataflow/global/GetAnOutNode.ql b/csharp/ql/test/library-tests/dataflow/global/GetAnOutNode.ql
@@ -13,17 +13,10 @@ private class DataFlowCallAdjusted extends TDataFlowCall {
   }
 }
 
-private class NodeAdjusted extends TNode {
-  string toString() { result = this.(DataFlow::Node).toString() }
-
-  Location getLocation() {
-    exists(Location l |
-      l = this.(DataFlow::Node).getLocation() and
-      if l instanceof SourceLocation then result = l else result instanceof EmptyLocation
-    )
-  }
+private class SourceNode extends DataFlow::Node {
+  SourceNode() { this.getLocation().getFile().fromSource() }
 }
 
-from DataFlowCallAdjusted call, NodeAdjusted n, ReturnKind kind
+from DataFlowCallAdjusted call, SourceNode n, ReturnKind kind
 where n = getAnOutNode(call, kind)
 select call, kind, n

Original file line number	Diff line number	Diff line change
`@@ -13,17 +13,10 @@ private class DataFlowCallAdjusted extends TDataFlowCall {`
`13`	`13`	`}`
`14`	`14`	`}`
`15`	`15`
`16`		`-private class NodeAdjusted extends TNode {`
`17`		`- string toString() { result = this.(DataFlow::Node).toString() }`
`18`		`-`
`19`		`- Location getLocation() {`
`20`		`- exists(Location l \|`
`21`		`- l = this.(DataFlow::Node).getLocation() and`
`22`		`- if l instanceof SourceLocation then result = l else result instanceof EmptyLocation`
`23`		`- )`
`24`		`- }`
	`16`	`+private class SourceNode extends DataFlow::Node {`
	`17`	`+ SourceNode() { this.getLocation().getFile().fromSource() }`
`25`	`18`	`}`
`26`	`19`
`27`		`-from DataFlowCallAdjusted call, NodeAdjusted n, ReturnKind kind`
	`20`	`+from DataFlowCallAdjusted call, SourceNode n, ReturnKind kind`
`28`	`21`	`where n = getAnOutNode(call, kind)`
`29`	`22`	`select call, kind, n`