From e4276f7adbf3548def11d2844d7912144e4cd72e Mon Sep 17 00:00:00 2001 From: Michael Nebel Date: Fri, 27 Oct 2023 10:34:20 +0200 Subject: [PATCH] Java: Apply suggestions from code review Co-authored-by: Anders Schack-Mulligen --- shared/threat-models/codeql/threatmodels/ThreatModels.qll | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/shared/threat-models/codeql/threatmodels/ThreatModels.qll b/shared/threat-models/codeql/threatmodels/ThreatModels.qll index 7b0762273683..d12139ef28ea 100644 --- a/shared/threat-models/codeql/threatmodels/ThreatModels.qll +++ b/shared/threat-models/codeql/threatmodels/ThreatModels.qll @@ -50,7 +50,7 @@ private string getParentThreatModel(string child) { * whose `kind` column includes the specified threat model kind. */ private predicate threatModelEnabled(string kind) { - // Find the highest-oriority configuration row whose `kind` column includes the specified threat + // Find the highest-priority configuration row whose `kind` column includes the specified threat // model kind. If such a row exists and its `enabled` column is `true`, then the threat model is // enabled. knownThreatModel(kind) and @@ -69,7 +69,7 @@ private predicate threatModelEnabled(string kind) { */ bindingset[kind] predicate currentThreatModel(string kind) { - knownThreatModel(kind) and threatModelEnabled(kind) + threatModelEnabled(kind) or // For any threat model kind not mentioned in the configuration or grouping tables, its state of // enablement is controlled only by the entries that specifiy the "all" kind.