Swift: Fix typo in a comment.

This commit is contained in:
Geoffrey White
2023-06-23 13:01:26 +01:00
parent 8f69b2afa8
commit 987ca61ef5

View File

@@ -98,7 +98,7 @@ abstract class RegExp extends Expr {
pos =
rank[index](int p |
(this.nonEscapedCharAt(p) = "[" or this.nonEscapedCharAt(p) = "]") and
// Brackets that art part of POSIX expressions should not count as
// Brackets that are part of POSIX expressions should not count as
// char-set delimiters.
not exists(int x, int y |
this.posixStyleNamedCharacterProperty(x, y, _) and pos >= x and pos < y
@@ -121,7 +121,9 @@ abstract class RegExp extends Expr {
)
}
/** Whether there is a character class, between start (inclusive) and end (exclusive). */
/**
* Whether there is a character class, between start (inclusive) and end (exclusive).
*/
predicate charSet(int start, int end) {
exists(int innerStart, int innerEnd |
this.charSetStart(start, innerStart) and