Python: Give up on providing values for form feeds

This commit is contained in:
Rasmus Lerchedahl Petersen
2021-06-29 11:14:27 +02:00
parent ffb8938e52
commit 6f2cdbf59e

View File

@@ -445,8 +445,9 @@ class RegExpEscape extends RegExpNormalChar {
or
this.getUnescaped() = "t" and result = "\t"
or
this.getUnescaped() = "f" and result = " "
or
// TODO: Find a way to include a formfeed character
// this.getUnescaped() = "f" and result = " "
// or
isUnicode() and
result = getUnicode()
}