Ticket #857: andnot-boolweight.cc

File andnot-boolweight.cc, 1.0 KB (added by Adrian Ratiu, 8 hours ago)

bug reproducer

Line 
1// With BoolWeight, ((A AND_NOT B) OR C) AND D returns a document that has
2// A, B and D, which the AND_NOT should exclude.
3//
4// Build: c++ andnot-boolweight.cc $(xapian-config --cxxflags --libs)
5// Run: ./a.out
6//
7// Xapian 2.1.0 prints "1 matches (expected 0)"; 1.4 prints "0 matches".
8#include <xapian.h>
9#include <iostream>
10
11int main() {
12 Xapian::WritableDatabase db("/tmp/andnot-db", Xapian::DB_CREATE_OR_OVERWRITE);
13 Xapian::Document doc1;
14 doc1.add_term("A");
15 doc1.add_term("B");
16 doc1.add_term("D");
17 db.add_document(doc1);
18 Xapian::Document doc2;
19 doc2.add_term("C");
20 db.add_document(doc2);
21 db.commit();
22
23 Xapian::Query q = ((Xapian::Query("A") &~ Xapian::Query("B")) |
24 Xapian::Query("C")) & Xapian::Query("D");
25 Xapian::Enquire enq(db);
26 enq.set_weighting_scheme(Xapian::BoolWeight());
27 enq.set_query(q);
28 std::cout << "Xapian " << Xapian::version_string() << ": "
29 << enq.get_mset(0, 10).size() << " matches (expected 0)\n";
30}