C#: Adjust the implementation to use the new predicates and Provenance.

Author: michaelnebel

csharp/ql/lib/semmle/code/csharp/dataflow/ExternalFlow.qll

@@ -248,7 +248,7 @@ module ModelValidation {
       not ext.regexpMatch("|Attribute") and
       result = "Unrecognized extra API graph element \"" + ext + "\" in " + pred + " model."
       or
-      not provenance = ["manual", "generated"] and
+      invalidProvenance(provenance) and
       result = "Unrecognized provenance description \"" + provenance + "\" in " + pred + " model."
     )
   }

csharp/ql/lib/semmle/code/csharp/dataflow/FlowSummary.qll

@@ -137,8 +137,6 @@ private class RecordConstructorFlow extends SummarizedCallable {
       preservesValue = true
     )
   }
-
-  override predicate hasProvenance(string provenance) { provenance = "manual" }
 }
 
 class RequiredSummaryComponentStack = Impl::Public::RequiredSummaryComponentStack;

csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowDispatch.qll

@@ -95,7 +95,7 @@ class DataFlowSummarizedCallable instanceof FlowSummary::SummarizedCallable {
   DataFlowSummarizedCallable() {
     not this.fromSource()
     or
-    this.fromSource() and not this.isAutoGenerated()
+    this.fromSource() and not this.applyGeneratedModel()
   }
 
   string toString() { result = super.toString() }

csharp/ql/lib/semmle/code/csharp/frameworks/EntityFramework.qll

@@ -86,8 +86,6 @@ module EntityFramework {
   abstract class EFSummarizedCallable extends SummarizedCallable {
     bindingset[this]
     EFSummarizedCallable() { any() }
-
-    override predicate hasProvenance(string provenance) { provenance = "manual" }
   }
 
   private class DbSetAddOrUpdateRequiredSummaryComponentStack extends RequiredSummaryComponentStack {

csharp/ql/src/utils/modelgenerator/CaptureDiscardedSummaryModels.ql

@@ -11,5 +11,5 @@ import internal.CaptureSummaryFlowQuery
 from DataFlowTargetApi api, string flow
 where
   flow = captureFlow(api) and
-  api.(FlowSummaryImpl::Public::SummarizedCallable).isManual()
+  api.(FlowSummaryImpl::Public::SummarizedCallable).applyManualModel()
 select flow order by flow

csharp/ql/src/utils/modelgenerator/CaptureNeutralModels.ql

@@ -13,5 +13,5 @@ import internal.CaptureSummaryFlowQuery
 from DataFlowTargetApi api, string noflow
 where
   noflow = captureNoFlow(api) and
-  not api.(FlowSummaryImpl::Public::SummarizedCallable).isManual()
+  not api.(FlowSummaryImpl::Public::SummarizedCallable).applyManualModel()
 select noflow order by noflow

csharp/ql/src/utils/modelgenerator/CaptureSummaryModels.ql

@@ -11,5 +11,7 @@ import internal.CaptureModels
 import internal.CaptureSummaryFlowQuery
 
 from DataFlowTargetApi api, string flow
-where flow = captureFlow(api) and not api.(FlowSummaryImpl::Public::SummarizedCallable).isManual()
+where
+  flow = captureFlow(api) and
+  not api.(FlowSummaryImpl::Public::SummarizedCallable).applyManualModel()
 select flow order by flow