C#: Update flow summaries test code.

Author: michaelnebel

csharp/ql/test/library-tests/dataflow/library/FlowSummaries.ql

@@ -1,5 +1,6 @@
 import shared.FlowSummaries
+private import semmle.code.csharp.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
 
 private class IncludeAllSummarizedCallable extends IncludeSummarizedCallable {
-  IncludeAllSummarizedCallable() { this instanceof SummarizedCallable }
+  IncludeAllSummarizedCallable() { this instanceof FlowSummaryImpl::Public::SummarizedCallable }
 }

csharp/ql/test/library-tests/dataflow/library/FlowSummariesFiltered.ql

@@ -1,9 +1,12 @@
 import shared.FlowSummaries
+private import semmle.code.csharp.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
 private import semmle.code.csharp.dataflow.internal.DataFlowPrivate::Csv
 private import semmle.code.csharp.dataflow.ExternalFlow
 
 class IncludeFilteredSummarizedCallable extends IncludeSummarizedCallable {
-  IncludeFilteredSummarizedCallable() { this instanceof SummarizedCallable }
+  IncludeFilteredSummarizedCallable() {
+    this instanceof FlowSummaryImpl::Public::SummarizedCallable
+  }
 
   /**
    * Holds if flow is propagated between `input` and `output` and
@@ -15,9 +18,9 @@ class IncludeFilteredSummarizedCallable extends IncludeSummarizedCallable {
   ) {
     this.propagatesFlow(input, output, preservesValue) and
     not exists(IncludeSummarizedCallable rsc |
-      isBaseCallableOrPrototype(rsc) and
+      isBaseCallableOrPrototype(rsc.asCallable()) and
       rsc.propagatesFlow(input, output, preservesValue) and
-      this.(UnboundCallable).overridesOrImplementsUnbound(rsc)
+      this.asCallable().(UnboundCallable).overridesOrImplementsUnbound(rsc.asCallable())
     )
   }
 }

csharp/ql/test/shared/FlowSummaries.qll

@@ -4,9 +4,10 @@ private import semmle.code.csharp.dataflow.internal.DataFlowPrivate
 
 abstract class IncludeSummarizedCallable extends RelevantSummarizedCallable {
   IncludeSummarizedCallable() {
-    [this.(Modifiable), this.(Accessor).getDeclaration()].isEffectivelyPublic()
+    [this.asCallable().(Modifiable), this.asCallable().(Accessor).getDeclaration()]
+        .isEffectivelyPublic()
   }
 
   /** Gets a string representing the callable in semi-colon separated format for use in flow summaries. */
-  final override string getCallableCsv() { result = Csv::asPartialModel(this) }
+  final override string getCallableCsv() { result = Csv::asPartialModel(this.asCallable()) }
 }