From d66fe086610b052ed757776a1c989b83b5b4cb3d Mon Sep 17 00:00:00 2001 From: Michael Nebel Date: Wed, 14 Jun 2023 14:43:53 +0200 Subject: [PATCH] Add QLDoc for the getKind predicate. --- .../semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll | 3 +++ go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll | 3 +++ .../lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll | 3 +++ .../semmle/python/dataflow/new/internal/FlowSummaryImpl.qll | 3 +++ ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImpl.qll | 3 +++ .../ql/lib/codeql/swift/dataflow/internal/FlowSummaryImpl.qll | 3 +++ 6 files changed, 18 insertions(+) diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll index 6429e4b8cf0..b36945b26f1 100644 --- a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll +++ b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll @@ -1333,6 +1333,9 @@ module Private { /** Gets the string representation of this callable used by `neutral/1`. */ abstract string getCallableCsv(); + /** + * Gets the kind of the neutral. + */ string getKind() { result = super.getKind() } string toString() { result = super.toString() } diff --git a/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll b/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll index 6429e4b8cf0..b36945b26f1 100644 --- a/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll +++ b/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll @@ -1333,6 +1333,9 @@ module Private { /** Gets the string representation of this callable used by `neutral/1`. */ abstract string getCallableCsv(); + /** + * Gets the kind of the neutral. + */ string getKind() { result = super.getKind() } string toString() { result = super.toString() } diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll b/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll index 6429e4b8cf0..b36945b26f1 100644 --- a/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll +++ b/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll @@ -1333,6 +1333,9 @@ module Private { /** Gets the string representation of this callable used by `neutral/1`. */ abstract string getCallableCsv(); + /** + * Gets the kind of the neutral. + */ string getKind() { result = super.getKind() } string toString() { result = super.toString() } diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/FlowSummaryImpl.qll b/python/ql/lib/semmle/python/dataflow/new/internal/FlowSummaryImpl.qll index 6429e4b8cf0..b36945b26f1 100644 --- a/python/ql/lib/semmle/python/dataflow/new/internal/FlowSummaryImpl.qll +++ b/python/ql/lib/semmle/python/dataflow/new/internal/FlowSummaryImpl.qll @@ -1333,6 +1333,9 @@ module Private { /** Gets the string representation of this callable used by `neutral/1`. */ abstract string getCallableCsv(); + /** + * Gets the kind of the neutral. + */ string getKind() { result = super.getKind() } string toString() { result = super.toString() } diff --git a/ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImpl.qll b/ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImpl.qll index 6429e4b8cf0..b36945b26f1 100644 --- a/ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImpl.qll +++ b/ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImpl.qll @@ -1333,6 +1333,9 @@ module Private { /** Gets the string representation of this callable used by `neutral/1`. */ abstract string getCallableCsv(); + /** + * Gets the kind of the neutral. + */ string getKind() { result = super.getKind() } string toString() { result = super.toString() } diff --git a/swift/ql/lib/codeql/swift/dataflow/internal/FlowSummaryImpl.qll b/swift/ql/lib/codeql/swift/dataflow/internal/FlowSummaryImpl.qll index 6429e4b8cf0..b36945b26f1 100644 --- a/swift/ql/lib/codeql/swift/dataflow/internal/FlowSummaryImpl.qll +++ b/swift/ql/lib/codeql/swift/dataflow/internal/FlowSummaryImpl.qll @@ -1333,6 +1333,9 @@ module Private { /** Gets the string representation of this callable used by `neutral/1`. */ abstract string getCallableCsv(); + /** + * Gets the kind of the neutral. + */ string getKind() { result = super.getKind() } string toString() { result = super.toString() }