C#/Java: Fix some QL doc spelling typos.

This commit is contained in:
Michael Nebel
2022-08-12 10:25:55 +02:00
parent 592b60d6ab
commit 30d554503a
4 changed files with 4 additions and 4 deletions

View File

@@ -247,7 +247,7 @@ predicate summaryModel(
)
}
/** Holds is a summary model exists indicating there is no flow for the given parameters. */
/** Holds if a summary model exists indicating there is no flow for the given parameters. */
predicate negativeSummaryModel(
string namespace, string type, string name, string signature, string provenance
) {

View File

@@ -173,7 +173,7 @@ module Ssa {
}
/**
* Holds is this SSA definition is live at the end of basic block `bb`.
* Holds if this SSA definition is live at the end of basic block `bb`.
* That is, this definition reaches the end of basic block `bb`, at which
* point it is still live, without crossing another SSA definition of the
* same source variable.

View File

@@ -507,7 +507,7 @@ predicate summaryModel(
row.splitAt(";", 9) = provenance
}
/** Holds is a summary model exists indicating there is no flow for the given parameters. */
/** Holds if a summary model exists indicating there is no flow for the given parameters. */
predicate negativeSummaryModel(
string namespace, string type, string name, string signature, string provenance
) {

View File

@@ -63,7 +63,7 @@ class GlobalVariable extends Variable instanceof GlobalVariableImpl {
/** An instance variable. */
class InstanceVariable extends Variable instanceof InstanceVariableImpl {
/** Holds is this variable is a class instance variable. */
/** Holds if this variable is a class instance variable. */
final predicate isClassInstanceVariable() { super.isClassInstanceVariable() }
final override InstanceVariableAccess getAnAccess() { result.getVariable() = this }