support that an inverted char class can intersect with itself

This commit is contained in:
Erik Krogh Kristensen
2020-10-31 12:58:19 +01:00
parent 321cf09bd8
commit 64d680e2d3
3 changed files with 6 additions and 2 deletions

View File

@@ -455,11 +455,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 = InvertedCharClass(cc)
//or
//d = Dot() and
//not (result = "\n" or result = "\r")
//or
d = InvertedCharClass(cc)
or
d = Any()
)
or