Make interpretSpec/3 private again

smowton · smowton · commit 28ab4c083bf1 · 2021-06-29T15:59:43.000+01:00
diff --git a/csharp/ql/src/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll b/csharp/ql/src/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll
@@ -650,7 +650,7 @@ module Private {
       interpretSpec(spec, 0, stack)
     }
 
-    predicate interpretSpec(string spec, int idx, SummaryComponentStack stack) {
+    private predicate interpretSpec(string spec, int idx, SummaryComponentStack stack) {
       exists(string c |
         relevantSpec(spec) and
         specLength(spec, idx + 1) and
diff --git a/java/ql/src/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll b/java/ql/src/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll
@@ -650,7 +650,7 @@ module Private {
       interpretSpec(spec, 0, stack)
     }
 
-    predicate interpretSpec(string spec, int idx, SummaryComponentStack stack) {
+    private predicate interpretSpec(string spec, int idx, SummaryComponentStack stack) {
       exists(string c |
         relevantSpec(spec) and
         specLength(spec, idx + 1) and

Original file line number	Diff line number	Diff line change
`@@ -650,7 +650,7 @@ module Private {`
`650`	`650`	`interpretSpec(spec, 0, stack)`
`651`	`651`	`}`
`652`	`652`
`653`		`- predicate interpretSpec(string spec, int idx, SummaryComponentStack stack) {`
	`653`	`+ private predicate interpretSpec(string spec, int idx, SummaryComponentStack stack) {`
`654`	`654`	`exists(string c \|`
`655`	`655`	`relevantSpec(spec) and`
`656`	`656`	`specLength(spec, idx + 1) and`