midgard/MapComplete
1
0
Fork 0
forked from MapComplete/MapComplete
Code Pull requests Activity

Fix: correctly optimize 'key=A&key!=B' into 'key=A'

Browse source
This commit is contained in:
Pieter Vander Vennet 2023-05-16 01:33:58 +02:00
parent 201f5446f8
commit d8a5f3c2be
2 changed files with 36 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

22
Logic/Tags/And.ts
View file

@ -243,7 +243,9 @@ export class And extends TagsFilter {
properties[opt.key] = opt.value
}
}
for (const opt of optimized) {
for (let i = 0; i < optimized.length; i++){
const opt = optimized[i];
if (opt instanceof Tag) {
const k = opt.key
const v = properties[k]
@ -264,7 +266,23 @@ export class And extends TagsFilter {
if (v === undefined) {
continue
}
if (v !== opt.value) {
if(opt.invert){
// We should _not_ match this value
// If 'v' is given, we already know what value it should be
// If 'v' is the not-expected value, we have a conflict and return false
// Otherwise, we can safely drop this value
const doesMatch = (typeof opt.value === "string" && v === opt.value) ||
(v.match(<RegExp> opt.value) !== null)
if(doesMatch){
// We have a conflict as 'opt' is inverted
return false
}else{
optimized.splice(i, 1)
i--
}
}else if (v !== opt.value) {
// detected an internal conflict
return false
}

8
test/Logic/Tags/OptimizeTags.spec.ts
View file

@ -71,6 +71,14 @@ describe("Tag optimalization", () => {
expect(TagUtils.toString(opt)).toBe("amenity=binoculars&bicycle=yes")
})
it("should correctly optimize key=A&key!=B into key=A", () => {
const t = new And([new Tag("shop", "sports"), new RegexTag("shop", "mall", true)])
const opt = t.optimize()
expect(typeof opt !== "boolean").true
expect(TagUtils.toString(<TagsFilter>opt)).toBe("shop=sports")
})
it("should optimize nested ORs", () => {
const filter = TagUtils.Tag({
or: [