From 28ab4c083bf1d7442d817c44a573e89068c255ea Mon Sep 17 00:00:00 2001 From: Chris Smowton Date: Mon, 28 Jun 2021 10:41:31 +0100 Subject: [PATCH] Make interpretSpec/3 private again --- .../semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll | 2 +- .../src/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/csharp/ql/src/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll b/csharp/ql/src/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll index 723c466042b..c94425d261e 100644 --- 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 index 723c466042b..c94425d261e 100644 --- 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