Python: format

This commit is contained in:
Rasmus Lerchedahl Petersen
2020-06-24 10:48:51 +02:00
parent b5703cd3f6
commit 226c295b4c

View File

@@ -622,10 +622,13 @@ abstract class RegexString extends Expr {
start = 0 and end = this.getText().length()
or
exists(int y | this.lastPart(start, y) |
this.emptyMatchAtEndGroup(end, y) or
this.qualifiedItem(end, y, true) or
this.specialCharacter(end, y, "$") or
y = end+2 and this.escapingChar(end) and this.getChar(end+1) = "Z"
this.emptyMatchAtEndGroup(end, y)
or
this.qualifiedItem(end, y, true)
or
this.specialCharacter(end, y, "$")
or
y = end + 2 and this.escapingChar(end) and this.getChar(end + 1) = "Z"
)
or
exists(int x |