hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 09:15:12 +02:00
Code Issues Packages Projects Releases Wiki Activity

Swift: Minor corrections.

Browse Source
This commit is contained in:
Geoffrey White
2023-07-10 19:33:30 +01:00
parent 07bbc0f537
commit 2d7166b903
1 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
swift/ql/lib/codeql/swift/regex/internal/ParseRegex.qll
View File

@@ -24,7 +24,7 @@ abstract class RegExp extends Expr {
predicate isIgnoreCase() { this.getAMode() = "IGNORECASE" }
/**
* Gets a string repreenting the flags for this `RegExp`, or the empty string if it has no flags.
* Gets a string representing the flags for this `RegExp`, or the empty string if it has no flags.
*/
string getFlags() { result = concat(string mode | mode = this.getAMode() | mode, " | ") }
@@ -275,10 +275,7 @@ abstract class RegExp extends Expr {
private predicate isGroupStart(int i) { this.nonEscapedCharAt(i) = "(" and not this.inCharSet(i) }
/**
* Holds if a parse mode prefix starts between `start` and `end`. For example:
* ```
* (?i)
* ```
* Holds if a parse mode starts between `start` and `end`.
*/
private predicate flagGroupStart(int start, int end) {
this.isGroupStart(start) and
@@ -288,8 +285,11 @@ abstract class RegExp extends Expr {
}
/**
* Holds if a parse mode prefix group is between `start` and `end`, and includes the
* mode flag `c`.
* Holds if a parse mode group is between `start` and `end`, and includes the
* mode flag `c`. For example the following span, with mode flag `i`:
* ```
* (?i)
* ```
*/
private predicate flagGroup(int start, int end, string c) {
exists(int inStart, int inEnd |