Apply suggestions from code review

Co-authored-by: yoff <lerchedahl@gmail.com>
This commit is contained in:
Arthur Baars
2022-03-21 18:25:18 +01:00
parent 5f787144c0
commit 1a9aaf4543
2 changed files with 2 additions and 2 deletions

View File

@@ -317,7 +317,7 @@ abstract class RegexString extends Expr {
/** Gets the `i`th character of this regex */
string getChar(int i) { result = this.getText().charAt(i) }
/** Gets the `i`th character of this regex, unless it is part of an character escape sequence. */
/** Gets the `i`th character of this regex, unless it is part of a character escape sequence. */
string nonEscapedCharAt(int i) {
result = this.getText().charAt(i) and
not exists(int x, int y | this.escapedCharacter(x, y) and i in [x .. y - 1])