support inverted char class and dot

This commit is contained in:
Erik Krogh Kristensen
2020-10-31 18:11:14 +01:00
parent 64d680e2d3
commit 804aaf36f0
3 changed files with 7 additions and 4 deletions

View File

@@ -454,12 +454,11 @@ string intersect(InputSymbol c, InputSymbol d) {
)
or
exists(RegExpCharacterClass cc | c = InvertedCharClass(cc) and result = chooseFromInverted(cc) |
// TODO: Not done here - later commits will add more
//d = Dot() and
//not (result = "\n" or result = "\r")
//or
d = InvertedCharClass(cc)
or
d = Dot() and
not (result = "\n" or result = "\r")
or
d = Any()
)
or