1845

Committed 17 Nov 2023 10:56AM UTC coverage: 91.697% (+0.04%) from 91.661%

Build # 1845

Build Type

push

Evergreen

Committed by

web-flow

Commit Message

Merge pull request #7144 from realm/tg/set-fixes

Use typed comparisons for set algebra on strings and binary

Run Details

92280 of 169116 branches covered (0.0%)

256 of 263 new or added lines in 4 files covered. (97.34%)

79 existing lines in 17 files now uncovered.

231307 of 252252 relevant lines covered (91.7%)

6180067.37 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

99.55

/test/test_set.cpp

/*************************************************************************
 *
 * Copyright 2020 Realm Inc.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 * http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 *
 **************************************************************************/

#include "testsettings.hpp"

#include <realm.hpp>
#include <realm/array_mixed.hpp>

#include "test.hpp"
#include "test_types_helper.hpp"

using namespace realm;
using namespace realm::util;
using namespace realm::test_util;

extern unsigned int unit_test_random_seed;

TEST(Set_Basics)
{
    Group g;

    auto t = g.add_table("foo");
    auto col_int = t->add_column_set(type_Int, "ints");
    auto col_str = t->add_column_set(type_String, "strings");
    auto col_any = t->add_column_set(type_Mixed, "any");
    CHECK(col_int.is_set());
    CHECK(col_str.is_set());
    CHECK(col_any.is_set());

    auto obj = t->create_object();
    {
        auto s = obj.get_set<Int>(col_int);
        s.insert(5);
        CHECK_EQUAL(s.size(), 1);
        s.insert(10);
        CHECK_EQUAL(s.size(), 2);
        s.insert(5);
        CHECK_EQUAL(s.size(), 2);
        auto ndx = s.find(5);
        CHECK_NOT_EQUAL(ndx, realm::npos);
        auto [erased_ndx, erased] = s.erase(5);
        CHECK(erased);
        CHECK_EQUAL(erased_ndx, 0);
        CHECK_EQUAL(s.size(), 1);
    }

    {
        auto s = obj.get_set<String>(col_str);
        s.insert("Hello");
        CHECK_EQUAL(s.size(), 1);
        s.insert("World");
        CHECK_EQUAL(s.size(), 2);
        s.insert("Hello");
        CHECK_EQUAL(s.size(), 2);
        CHECK_THROW_ANY(s.insert(StringData{}));
        auto ndx = s.find("Hello");
        CHECK_NOT_EQUAL(ndx, realm::npos);
        auto [erased_ndx, erased] = s.erase("Hello");
        CHECK(erased);
        CHECK_EQUAL(erased_ndx, 0);
        CHECK_EQUAL(s.size(), 1);
    }
    {
        auto s = obj.get_set<Mixed>(col_any);
        s.insert(Mixed("Hello"));
        CHECK_EQUAL(s.size(), 1);
        s.insert(Mixed(10));
        CHECK_EQUAL(s.size(), 2);
        s.insert(Mixed("Hello"));
        CHECK_EQUAL(s.size(), 2);
        s.insert(BinaryData("Hello", 5));
        CHECK_EQUAL(s.size(), 3);
        auto ndx = s.find(Mixed("Hello"));
        auto ndx2 = s.find(Mixed(BinaryData("Hello", 5)));
        CHECK_NOT_EQUAL(ndx, realm::npos);
        CHECK_NOT_EQUAL(ndx2, realm::npos);
        CHECK_NOT_EQUAL(ndx, ndx2);
        auto [erased_ndx, erased] = s.erase(Mixed("Hello"));
        CHECK(erased);
        CHECK_EQUAL(erased_ndx, 1);
        CHECK_EQUAL(s.size(), 2);
    }
}


TEST(Set_Mixed)
{
    Group g;

    Obj bar = g.add_table("bar")->create_object();
    auto t = g.add_table("foo");
    t->add_column_set(type_Mixed, "mixeds");
    auto obj = t->create_object();

    // Check that different typed with same numeric value are treated as the same
    auto set = obj.get_set<Mixed>("mixeds");
    set.insert(123);
    set.insert(123.f);
    set.insert(123.);
    set.insert(Decimal128("123"));
    CHECK_EQUAL(set.size(), 1);
    CHECK_EQUAL(set.get(0), Mixed(123));
    set.clear();

    std::vector<Mixed> ref_values{{},
                                  false,
                                  true,
                                  Decimal128("-123"),
                                  25,
                                  56.f,
                                  88.,
                                  "Hello, World!",
                                  "æbler", // Apples
                                  "ørken", // Dessert
                                  "ådsel", // Carrion
                                  Timestamp(1, 2),
                                  ObjectId::gen(),
                                  UUID("01234567-9abc-4def-9012-3456789abcde"),
                                  bar.get_link()};
    // Sets of Mixed should be ordered by the rules defined for Set<Mixed>. Refer to "realm/set.hpp".
    std::vector<size_t> indices(ref_values.size());
    std::iota(indices.begin(), indices.end(), 0);
    std::shuffle(indices.begin(), indices.end(), std::mt19937(unit_test_random_seed));
    for (auto i : indices) {
        set.insert(ref_values[i]);
    }
    std::vector<Mixed> actuals;
    std::for_each(set.begin(), set.end(), [&actuals](auto v) {
        actuals.push_back(v);
    });
    CHECK(ref_values == actuals);
    actuals.clear();

    // Sets of Mixed can be sorted. Should sort according to the comparison rules defined for Mixed, which
    // currently
    set.sort(indices);
    std::transform(begin(indices), end(indices), std::back_inserter(actuals), [&](size_t index) {
        return set.get(index);
    });
    std::sort(begin(ref_values), end(ref_values), [](auto v1, auto v2) {
        return v1 < v2;
    });
    CHECK(ref_values == actuals);
}

TEST(Set_Mixed_SortStringAndBinary)
{
    Group g;
    auto table = g.add_table("table");
    auto col = table->add_column_set(type_Mixed, "set");
    auto obj = table->create_object();
    auto set = obj.get_set<Mixed>(col);

    std::vector<size_t> indices = {1};

    // Empty set
    set.sort(indices);
    CHECK(indices.empty());

    // Strings only
    set.insert("c");
    set.insert("e");
    set.insert("a");
    set.sort(indices, true);
    CHECK_EQUAL(indices, (std::vector<size_t>{0, 1, 2}));
    set.sort(indices, false);
    CHECK_EQUAL(indices, (std::vector<size_t>{2, 1, 0}));

    // Non-strings surrounding the strings
    set.insert(0);
    set.insert(UUID());
    set.sort(indices, true);
    CHECK_EQUAL(indices, (std::vector<size_t>{0, 1, 2, 3, 4}));
    set.sort(indices, false);
    CHECK_EQUAL(indices, (std::vector<size_t>{4, 3, 2, 1, 0}));

    // Binary values which should be interleaved with the strings
    set.insert(BinaryData("b", 1));
    set.insert(BinaryData("d", 1));
    set.sort(indices, true);
    CHECK_EQUAL(indices, (std::vector<size_t>{0, 1, 4, 2, 5, 3, 6}));
    set.sort(indices, false);
    CHECK_EQUAL(indices, (std::vector<size_t>{6, 3, 5, 2, 4, 1, 0}));

    // Non-empty but no strings
    set.clear();
    set.insert(1);
    set.insert(2);
    set.sort(indices, true);
    CHECK_EQUAL(indices, (std::vector<size_t>{0, 1}));
    set.sort(indices, false);
    CHECK_EQUAL(indices, (std::vector<size_t>{1, 0}));
}

TEST(Set_LinksRemoveBacklinks)
{
    SHARED_GROUP_TEST_PATH(path);
    std::unique_ptr<Replication> hist(make_in_realm_history());
    DBRef sg = DB::create(*hist, path, DBOptions(crypt_key()));

    auto wt = sg->start_write();
    auto persons = wt->add_table_with_primary_key("class_person", type_String, "name");
    auto collections = wt->add_table("class_Collection");
    auto col_set = collections->add_column_set(*persons, "Link");
    wt->commit_and_continue_as_read();

    wt->promote_to_write();
    auto collection = collections->create_object();
    auto person = persons->create_object_with_primary_key("Per");
    wt->commit_and_continue_as_read();

    wt->promote_to_write();
    collection.get_linkset(col_set).insert(person.get_key());
    wt->commit_and_continue_as_read();

    wt->promote_to_write();
    collection.remove();
    wt->commit_and_continue_as_read();

    wt->promote_to_write();
    person.remove();
    wt->commit();
}

TEST(Set_Links)
{
    Group g;
    auto foos = g.add_table("class_Foo");
    auto bars = g.add_table("class_Bar");
    auto cabs = g.add_table("class_Cab");

    ColKey col_links = foos->add_column_set(*bars, "links");
    ColKey col_typed_links = foos->add_column_set(type_TypedLink, "typed_links");
    ColKey col_mixeds = foos->add_column_set(type_Mixed, "mixeds");

    auto foo = foos->create_object();

    auto bar1 = bars->create_object();
    auto bar2 = bars->create_object();
    auto bar3 = bars->create_object();
    auto bar4 = bars->create_object();

    auto cab1 = cabs->create_object();
    auto cab2 = cabs->create_object();
    cabs->create_object();

    auto set_links = foo.get_set<ObjKey>(col_links);
    auto lnkset_links = foo.get_setbase_ptr(col_links);
    auto set_typed_links = foo.get_set<ObjLink>(col_typed_links);
    auto set_mixeds = foo.get_set<Mixed>(col_mixeds);

    set_links.insert(bar1.get_key());
    set_links.insert(bar2.get_key());
    set_links.insert(bar3.get_key());
    set_links.insert(bar1.get_key());
    set_links.insert(bar2.get_key());
    set_links.insert(bar3.get_key());

    CHECK_EQUAL(set_links.size(), 3);
    CHECK_EQUAL(bar1.get_backlink_count(), 1);
    CHECK_NOT_EQUAL(set_links.find(bar1.get_key()), realm::npos);
    CHECK_NOT_EQUAL(set_links.find(bar2.get_key()), realm::npos);
    CHECK_NOT_EQUAL(set_links.find(bar3.get_key()), realm::npos);
    CHECK_EQUAL(set_links.find(bar4.get_key()), realm::npos);
    CHECK_THROW_ANY(set_links.insert({}));
    set_links.erase(bar1.get_key());
    CHECK_EQUAL(bar1.get_backlink_count(), 0);
    set_links.insert(bar1.get_key());

    set_typed_links.insert(bar1.get_link());
    set_typed_links.insert(bar2.get_link());
    set_typed_links.insert(cab1.get_link());
    set_typed_links.insert(cab2.get_link());
    CHECK_EQUAL(set_typed_links.size(), 4);

    set_typed_links.insert(bar1.get_link());
    CHECK_EQUAL(set_typed_links.size(), 4);
    set_typed_links.insert(bar2.get_link());
    CHECK_EQUAL(set_typed_links.size(), 4);
    set_typed_links.insert(cab1.get_link());
    CHECK_EQUAL(set_typed_links.size(), 4);
    set_typed_links.insert(cab2.get_link());
    CHECK_EQUAL(set_typed_links.size(), 4);

    CHECK_EQUAL(bar1.get_backlink_count(), 2);
    CHECK_NOT_EQUAL(set_typed_links.find(bar1.get_link()), realm::npos);
    CHECK_NOT_EQUAL(set_typed_links.find(bar2.get_link()), realm::npos);
    CHECK_NOT_EQUAL(set_typed_links.find(cab1.get_link()), realm::npos);
    CHECK_NOT_EQUAL(set_typed_links.find(cab2.get_link()), realm::npos);
    CHECK_EQUAL(set_typed_links.find(bar3.get_link()), realm::npos);

    set_mixeds.insert(bar1.get_link());
    set_mixeds.insert(bar2.get_link());
    set_mixeds.insert(cab1.get_link());
    set_mixeds.insert(cab2.get_link());
    set_mixeds.insert(bar1.get_link());
    set_mixeds.insert(bar2.get_link());
    set_mixeds.insert(cab1.get_link());
    set_mixeds.insert(cab2.get_link());

    CHECK_EQUAL(set_mixeds.size(), 4);
    CHECK_EQUAL(bar1.get_backlink_count(), 3);
    CHECK_NOT_EQUAL(set_mixeds.find(bar1.get_link()), realm::npos);
    CHECK_NOT_EQUAL(set_mixeds.find(bar2.get_link()), realm::npos);
    CHECK_NOT_EQUAL(set_mixeds.find(cab1.get_link()), realm::npos);
    CHECK_NOT_EQUAL(set_mixeds.find(cab2.get_link()), realm::npos);
    CHECK_EQUAL(set_mixeds.find(bar3.get_link()), realm::npos);

    bar1.remove();
    set_links.insert(bar4.get_key());

    CHECK_EQUAL(set_links.size(), 3);
    CHECK_EQUAL(set_typed_links.size(), 3);
    CHECK_EQUAL(set_mixeds.size(), 3);

    CHECK_EQUAL(set_links.find(bar1.get_key()), realm::npos);
    CHECK_EQUAL(set_typed_links.find(bar1.get_link()), realm::npos);
    CHECK_EQUAL(set_mixeds.find(bar1.get_link()), realm::npos);

    auto bar2_key = bar2.get_key();
    auto bar2_link = bar2.get_link();
    bar2.invalidate();

    CHECK_EQUAL(set_links.size(), 3);
    CHECK_EQUAL(lnkset_links->size(), 2); // Unresolved link was hidden from LnkSet
    CHECK_EQUAL(set_typed_links.size(), 3);
    CHECK_EQUAL(set_mixeds.size(), 3);

    CHECK_EQUAL(set_links.find(bar2_key), realm::npos);               // The original bar2 key is no longer in the set
    CHECK_NOT_EQUAL(set_links.find(bar2.get_key()), realm::npos);     // The unresolved bar2 key is in the set
    CHECK_EQUAL(lnkset_links->find_any(bar2.get_key()), realm::npos); // The unresolved bar2 key is hidden by LnkSet
    CHECK_EQUAL(lnkset_links->find_any(bar3.get_key()), 0);
    CHECK_EQUAL(lnkset_links->find_any(bar4.get_key()), 1);
    CHECK_EQUAL(set_typed_links.find(bar2_link), realm::npos);
    CHECK_EQUAL(set_mixeds.find(bar2_link), realm::npos);

    // g.to_json(std::cout);
    foos->clear();
    g.verify();
}

TEST_TYPES(Set_Types, Prop<Int>, Prop<String>, Prop<Float>, Prop<Double>, Prop<Timestamp>, Prop<UUID>, Prop<ObjectId>,
           Prop<Decimal128>, Prop<BinaryData>, Prop<Mixed>, Nullable<Int>, Nullable<String>, Nullable<Float>,
           Nullable<Double>, Nullable<Timestamp>, Nullable<UUID>, Nullable<ObjectId>, Nullable<Decimal128>,
           Nullable<BinaryData>)
{
    using type = typename TEST_TYPE::type;
    TestValueGenerator gen;
    Group g;

    auto t = g.add_table("foo");
    auto col = t->add_column_set(TEST_TYPE::data_type, "values", TEST_TYPE::is_nullable);
    auto col_list = t->add_column_list(TEST_TYPE::data_type, "list", TEST_TYPE::is_nullable);
    CHECK(col.is_set());

    auto obj = t->create_object();
    auto values = gen.values_from_int<type>({0, 1, 2, 3});

    auto l = obj.get_list<type>(col_list);
    for (auto&& v : values) {
        l.add(v);
    }

    auto s = obj.get_set<type>(col);
    auto populate_set = [&] {
        s.clear();
        for (auto&& v : values) {
            s.insert(v);
        }
    };

    populate_set();
    auto sz = values.size();
    CHECK_EQUAL(s.size(), sz);
    auto s1 = s;
    CHECK_EQUAL(s1.size(), sz);
    CHECK(s.set_equals(l));
    for (auto v : values) {
        auto ndx = s.find(v);
        CHECK_NOT_EQUAL(ndx, realm::npos);
    }

    auto [erased_ndx, erased] = s.erase(values[0]);
    CHECK(erased);
    CHECK_EQUAL(erased_ndx, 0);
    CHECK_EQUAL(s.size(), values.size() - 1);
    CHECK(s.is_subset_of(l));

    s.clear();
    CHECK_EQUAL(s.size(), 0);

    // Union and intersection with self is a no-op
    populate_set();
    s.assign_union(s);
    CHECK_EQUAL(s.size(), sz);
    s.assign_intersection(s);
    CHECK_EQUAL(s.size(), sz);

    // Difference with self is clear()
    populate_set();
    s.assign_difference(s);
    CHECK_EQUAL(s.size(), 0);

    populate_set();
    s.assign_symmetric_difference(s);
    CHECK_EQUAL(s.size(), 0);

    if (TEST_TYPE::is_nullable) {
        s.insert_null();
        CHECK_EQUAL(s.size(), 1);
        auto null_value = TEST_TYPE::default_value();
        CHECK(value_is_null(null_value));
        auto ndx = s.find(null_value);
        CHECK_NOT_EQUAL(ndx, realm::npos);
        s.erase_null();
        CHECK_EQUAL(s.size(), 0);
        ndx = s.find(null_value);
        CHECK_EQUAL(ndx, realm::npos);
    }
}

TEST(Set_BinarySets)
{
    SHARED_GROUP_TEST_PATH(path);
    DBRef sg = DB::create(path);

    {
        WriteTransaction wt{sg};
        TableRef foo = wt.add_table("class_foo");
        auto set1 = foo->add_column_set(type_Binary, "bin1");
        auto set2 = foo->add_column_set(type_Binary, "bin2");

        auto obj = foo->create_object();
        auto s1 = obj.get_set<Binary>(set1);
        auto s2 = obj.get_set<Binary>(set2);
        wt.commit();
    }
    {
        WriteTransaction wt{sg};
        TableRef foo = wt.get_or_add_table("class_foo");
        auto set1 = foo->get_column_key("bin1");
        auto set2 = foo->get_column_key("bin2");

        auto s1 = foo->begin()->get_set<Binary>(set1);
        auto s2 = foo->begin()->get_set<Binary>(set2);

        std::string str1(1024, 'a');
        std::string str2(256, 'b');
        std::string str3(64, 'c');
        std::string str4(256, 'd');
        std::string str5(1024, 'e');

        s1.insert(BinaryData(str1.data(), str1.size()));
        s1.insert(BinaryData(str2.data(), str2.size()));
        s1.insert(BinaryData(str3.data(), str3.size()));

        s2.insert(BinaryData(str3.data(), str3.size()));
        s2.insert(BinaryData(str4.data(), str4.size()));
        s2.insert(BinaryData(str5.data(), str5.size()));
        wt.commit();
    }
    {
        WriteTransaction wt{sg};
        TableRef foo = wt.get_or_add_table("class_foo");
        auto set1 = foo->get_column_key("bin1");
        auto set2 = foo->get_column_key("bin2");

        auto s1 = foo->begin()->get_set<Binary>(set1);
        auto s2 = foo->begin()->get_set<Binary>(set2);

        s1.assign_intersection(s2);
        wt.commit();
    }

    sg->start_read()->verify();
}

TEST(Set_TableClear)
{
    SHARED_GROUP_TEST_PATH(path);
    DBRef sg = DB::create(path);

    {
        WriteTransaction wt{sg};
        TableRef foo = wt.add_table("class_foo");
        TableRef origin = wt.add_table("class_origin");
        auto set = origin->add_column_set(*foo, "set");

        auto obj = foo->create_object();
        auto s1 = origin->create_object().get_linkset(set);
        s1.insert(obj.get_key());
        wt.commit();
    }
    {
        WriteTransaction wt{sg};
        TableRef origin = wt.get_or_add_table("class_origin");
        auto set = origin->get_column_key("set");
        auto s1 = origin->begin()->get_linkset(set);
        s1.clear();
        wt.commit();
    }
    {
        WriteTransaction wt{sg};
        TableRef foo = wt.get_or_add_table("class_foo");
        foo->clear();
        wt.commit();
    }

    sg->start_read()->verify();
}

TEST(Set_LnkSetUnresolved)
{
    Group g;
    auto foos = g.add_table("class_Foo");
    auto bars = g.add_table("class_Bar");

    ColKey col_links = foos->add_column_set(*bars, "links");
    auto foo = foos->create_object();
    auto bar1 = bars->create_object();
    auto bar2 = bars->create_object();
    auto bar3 = bars->create_object();

    auto key_set = foo.get_set<ObjKey>(col_links);
    auto link_set = foo.get_linkset(col_links);

    link_set.insert(bar1.get_key());
    link_set.insert(bar2.get_key());
    link_set.insert(bar1.get_key());
    link_set.insert(bar2.get_key());

    CHECK_EQUAL(key_set.size(), 2);
    CHECK_EQUAL(link_set.size(), 2);
    CHECK_EQUAL(key_set.find(bar1.get_key()), 0);
    CHECK_EQUAL(key_set.find(bar2.get_key()), 1);
    CHECK_EQUAL(link_set.find(bar1.get_key()), 0);
    CHECK_EQUAL(link_set.find(bar2.get_key()), 1);

    bar2.invalidate();

    CHECK_EQUAL(key_set.size(), 2);
    CHECK_EQUAL(link_set.size(), 1);
    CHECK_EQUAL(key_set.find(bar2.get_key()), 0);
    CHECK_EQUAL(key_set.find(bar1.get_key()), 1);
    CHECK_EQUAL(link_set.find(bar1.get_key()), 0);
    CHECK_EQUAL(link_set.find(bar2.get_key()), not_found);

    link_set.insert(bar3.get_key());

    CHECK_EQUAL(key_set.size(), 3);
    CHECK_EQUAL(link_set.size(), 2);

    CHECK_EQUAL(key_set.find(bar2.get_key()), 0);
    CHECK_EQUAL(key_set.find(bar1.get_key()), 1);
    CHECK_EQUAL(key_set.find(bar3.get_key()), 2);

    CHECK_EQUAL(link_set.find(bar1.get_key()), 0);
    CHECK_EQUAL(link_set.find(bar2.get_key()), not_found);
    CHECK_EQUAL(link_set.find(bar3.get_key()), 1);

    CHECK_EQUAL(link_set.get(0), bar1.get_key());
    CHECK_EQUAL(link_set.get(1), bar3.get_key());

    std::vector<size_t> found;
    link_set.find_all(bar3.get_key(), [&](size_t ndx) {
        found.push_back(ndx);
    });
    CHECK_EQUAL(found.size(), 1);
    CHECK_EQUAL(found[0], 1);
}

TEST(Set_Union)
{
    Group g;
    auto foos = g.add_table("class_Foo");
    ColKey col_set = foos->add_column_set(type_Int, "int_set");
    ColKey col_list = foos->add_column_list(type_Int, "int_list");

    auto obj1 = foos->create_object();
    auto obj2 = foos->create_object();

    auto set1 = obj1.get_set<int64_t>(col_set);
    auto set2 = obj2.get_set<int64_t>(col_set);

    for (int64_t x : {1, 2, 4, 5}) {
        set1.insert(x);
    }

    for (int64_t x : {3, 4, 5}) {
        set2.insert(x);
    }

    auto list = obj1.get_list<int64_t>(col_list);

    for (int64_t x : {11, 3, 7, 5, 14, 7}) {
        list.add(x);
    }

    set1.assign_union(set2);
    CHECK_EQUAL(set1.size(), 5);
    CHECK_EQUAL(set1.get(0), 1);
    CHECK_EQUAL(set1.get(1), 2);
    CHECK_EQUAL(set1.get(2), 3);
    CHECK_EQUAL(set1.get(3), 4);
    CHECK_EQUAL(set1.get(4), 5);
    set2.assign_union(list);
    CHECK_EQUAL(set2.size(), 6);
    CHECK_EQUAL(set2.get(0), 3);
    CHECK_EQUAL(set2.get(5), 14);
}

TEST(Set_UnionString)
{
    Group g;
    auto foos = g.add_table("class_Foo");
    ColKey col_set = foos->add_column_set(type_String, "string set", true);
    ColKey col_list = foos->add_column_list(type_String, "string list", true);

    auto obj1 = foos->create_object();
    auto obj2 = foos->create_object();

    auto set1 = obj1.get_set<String>(col_set);
    auto set2 = obj2.get_set<String>(col_set);

    set1.insert("FooBar");
    set1.insert("A");
    set1.insert("The fox jumps over the lazy dog");

    set2.insert("FooBar");
    set2.insert("World");
    set2.insert("Atomic");

    auto list1 = obj1.get_list<String>(col_list);
    list1.add("FooBar");
    list1.add("World");
    list1.add({});
    list1.add("Atomic");

    set1.assign_union(set2);
    CHECK_EQUAL(set1.size(), 5);
    CHECK_EQUAL(set1.get(0), "A");
    CHECK_EQUAL(set1.get(1), "Atomic");
    CHECK_EQUAL(set1.get(2), "FooBar");
    CHECK_EQUAL(set1.get(3), "The fox jumps over the lazy dog");
    CHECK_EQUAL(set1.get(4), "World");

    set1.assign_union(list1);
    CHECK_EQUAL(set1.size(), 6);
    CHECK_EQUAL(set1.get(0), StringData());
    CHECK_EQUAL(set1.get(1), "A");
    CHECK_EQUAL(set1.get(2), "Atomic");
    CHECK_EQUAL(set1.get(3), "FooBar");
    CHECK_EQUAL(set1.get(4), "The fox jumps over the lazy dog");
    CHECK_EQUAL(set1.get(5), "World");
}

TEST(Set_Intersection)
{
    Group g;
    auto foos = g.add_table("class_Foo");
    ColKey col_set = foos->add_column_set(type_Int, "int set", true);
    ColKey col_list = foos->add_column_list(type_Int, "int list", true);

    auto obj1 = foos->create_object();
    auto obj2 = foos->create_object();
    auto obj3 = foos->create_object();

    auto set1 = obj1.get_set<util::Optional<int64_t>>(col_set);
    auto set2 = obj2.get_set<util::Optional<int64_t>>(col_set);

    for (int64_t x : {1, 2, 4, 5}) {
        set1.insert(x);
    }

    for (int64_t x : {3, 4, 5}) {
        set2.insert(x);
    }

    auto superset = obj1.get_list<util::Optional<int64_t>>(col_list);
    auto subset = obj2.get_list<util::Optional<int64_t>>(col_list);
    auto same_set = obj3.get_list<util::Optional<int64_t>>(col_list);

    for (int64_t x : {3, 4, 5, 1, 2}) {
        superset.add(x);
    }

    for (int64_t x : {1, 2}) {
        subset.add(x);
    }

    for (int64_t x : {1, 4, 2, 5}) {
        same_set.add(x);
    }

    CHECK(set1.intersects(set2));
    CHECK(set2.intersects(set1));
    CHECK(!set1.is_subset_of(set2));
    CHECK(!set2.is_subset_of(set1));
    CHECK(!set1.is_superset_of(set2));
    CHECK(!set2.is_superset_of(set1));
    CHECK(!set1.is_strict_superset_of(set1));
    CHECK(!set1.is_strict_subset_of(set1));
    CHECK(set1.is_subset_of(superset));
    CHECK(set1.is_superset_of(subset));
    CHECK(set1.is_strict_superset_of(subset));
    CHECK(set1.is_strict_subset_of(superset));
    CHECK(set1.is_subset_of(same_set));
    CHECK(set1.is_superset_of(same_set));
    CHECK(!set1.is_strict_superset_of(same_set));
    CHECK(!set1.is_strict_subset_of(same_set));
    CHECK(set1.set_equals(set1));
    CHECK(set1.set_equals(same_set));
    CHECK(!set1.set_equals(superset));
    CHECK(!set1.set_equals(superset));
    CHECK(!set1.set_equals(subset));
    CHECK(!set1.set_equals(subset));

    set1.assign_intersection(set2);
    CHECK_EQUAL(set1.size(), 2);
    CHECK_EQUAL(set1.get(0), 4);
    CHECK_EQUAL(set1.get(1), 5);
}

TEST(Set_IntersectionString)
{
    Group g;
    auto foos = g.add_table("class_Foo");
    ColKey col_strings = foos->add_column_set(type_String, "strings");

    auto obj1 = foos->create_object();
    auto obj2 = foos->create_object();

    auto set1 = obj1.get_set<String>(col_strings);
    auto set2 = obj2.get_set<String>(col_strings);

    set1.insert("FooBar");
    set1.insert("A");
    set1.insert("Hello");
    set1.insert("The fox jumps over the lazy dog");

    set2.insert("FooBar");
    set2.insert("World");
    set2.insert("The fox jumps over the lazy dog");

    CHECK(set1.intersects(set2));
    CHECK(set2.intersects(set1));
    CHECK(!set1.is_subset_of(set2));
    CHECK(!set2.is_subset_of(set1));
    CHECK(!set1.is_superset_of(set2));
    CHECK(!set2.is_superset_of(set1));

    set1.assign_intersection(set2);
    CHECK_EQUAL(set1.size(), 2);
    CHECK_EQUAL(set1.get(0), "FooBar");
    CHECK_EQUAL(set1.get(1), "The fox jumps over the lazy dog");
}

TEST(Set_Difference)
{
    Group g;
    auto foos = g.add_table("class_Foo");
    ColKey col_set = foos->add_column_set(type_Int, "int set");
    ColKey col_set_bin = foos->add_column_set(type_Binary, "bin set");
    ColKey col_set_str = foos->add_column_set(type_String, "str set");
    ColKey col_list = foos->add_column_list(type_Int, "int list");

    auto obj1 = foos->create_object();
    auto obj2 = foos->create_object();

    auto set1 = obj1.get_set<int64_t>(col_set);
    auto set2 = obj2.get_set<int64_t>(col_set);

    for (int64_t x : {1, 2, 4, 5}) {
        set1.insert(x);
    }

    for (int64_t x : {3, 4, 5}) {
        set2.insert(x);
    }

    set1.assign_difference(set2);
    CHECK_EQUAL(set1.size(), 2);
    CHECK_EQUAL(set1.get(0), 1);
    CHECK_EQUAL(set1.get(1), 2);

    set1.assign_union(set2);
    auto list = obj2.get_list<int64_t>(col_list);
    for (int64_t x : {4, 5, 1, 27}) {
        list.add(x);
    }
    set1.assign_difference(list);
    CHECK_EQUAL(set1.size(), 2);
    CHECK_EQUAL(set1.get(0), 2);
    CHECK_EQUAL(set1.get(1), 3);

    auto set3 = obj1.get_set<BinaryData>(col_set_bin);
    auto set4 = obj2.get_set<BinaryData>(col_set_bin);

    char buffer[5];
    auto gen_bin = [&](char c) {
        for (auto& b : buffer) {
            b = c;
        }
        return BinaryData(buffer, 5);
    };
    for (char x : {1, 2}) {
        set3.insert(gen_bin(x));
    }
    for (char x : {255, 1, 2, 3, 2}) {
        set4.insert(gen_bin(x));
    }
    set3.assign_difference(set4);
    CHECK_EQUAL(set3.size(), 0);

    auto set5 = obj1.get_set<StringData>(col_set_str);
    auto set6 = obj2.get_set<StringData>(col_set_str);

    for (const char* x : {"Apple", "Banana"}) {
        set5.insert(x);
    }
    for (const char* x : {"Æbler", "Apple", "Banana", "Citrus", "Dade"}) {
        set6.insert(x);
    }
    set5.assign_difference(set6);
    CHECK_EQUAL(set5.size(), 0);
}

TEST(Set_SymmetricDifference)
{
    Group g;
    auto foos = g.add_table("class_Foo");
    ColKey col_set = foos->add_column_set(type_Int, "int set");
    ColKey col_list = foos->add_column_list(type_Int, "int list");

    auto obj1 = foos->create_object();
    auto obj2 = foos->create_object();

    auto set1 = obj1.get_set<int64_t>(col_set);
    auto set2 = obj2.get_set<int64_t>(col_set);

    for (int64_t x : {1, 2, 4, 5}) {
        set1.insert(x);
    }

    for (int64_t x : {3, 4, 5}) {
        set2.insert(x);
    }

    set1.assign_symmetric_difference(set2);
    CHECK_EQUAL(set1.size(), 3);
    CHECK_EQUAL(set1.get(0), 1);
    CHECK_EQUAL(set1.get(1), 2);
    CHECK_EQUAL(set1.get(2), 3);

    set1.assign_union(set2);
    auto list = obj2.get_list<int64_t>(col_list);
    for (int64_t x : {4, 5, 1, 27}) {
        list.add(x);
    }
    set1.assign_symmetric_difference(list);
    CHECK_EQUAL(set1.size(), 3);
    CHECK_EQUAL(set1.get(0), 2);
    CHECK_EQUAL(set1.get(1), 3);
    CHECK_EQUAL(set1.get(2), 27);
}

TEST(Set_SymmetricDifferenceString)
{
    Group g;
    auto foos = g.add_table("class_Foo");
    ColKey col_strings = foos->add_column_set(type_String, "strings");

    auto obj1 = foos->create_object();
    auto obj2 = foos->create_object();

    auto set1 = obj1.get_set<String>(col_strings);
    auto set2 = obj2.get_set<String>(col_strings);

    set1.insert("FooBar");
    set1.insert("A");
    set1.insert("The fox jumps over the lazy dog");

    set2.insert("FooBar");
    set2.insert("World");
    set2.insert("Cosmic love");

    set1.assign_symmetric_difference(set2);
    CHECK_EQUAL(set1.size(), 4);
    CHECK_EQUAL(set1.get(0), "A");
    CHECK_EQUAL(set1.get(1), "Cosmic love");
    CHECK_EQUAL(set1.get(2), "The fox jumps over the lazy dog");
    CHECK_EQUAL(set1.get(3), "World");
}

namespace realm {
template <typename T>
static std::ostream& operator<<(std::ostream& os, const Set<T>& set)
{
    os << "Set(" << set.get_table()->get_key() << ", " << set.get_obj().get_key() << ", " << set.get_col_key() << ")";
    return os;
}
} // namespace realm

TEST(Set_Equality)
{
    // Table tries to avoid ColKey collisions, but we specifically want to trigger
    // them to test that operator== handles them correctly
    auto set_next_col_key = [](Table& table, int64_t value) {
        table.set_col_key_sequence_number(value ^ table.get_key().value);
    };

    Group g_1;
    auto table_1 = g_1.add_table("table 1");
    set_next_col_key(*table_1, 5);
    table_1->add_column_set(type_Int, "set 1");
    set_next_col_key(*table_1, 10);
    table_1->add_column_set(type_Int, "set 2");
    auto table_2 = g_1.add_table("table 2");
    set_next_col_key(*table_2, 5);
    table_2->add_column_set(type_Int, "set 1");
    Group g_2;
    auto table_3 = g_2.add_table("table 1");
    set_next_col_key(*table_3, 5);
    table_3->add_column_set(type_Int, "set 1");

    auto obj_1 = table_1->create_object();
    auto obj_2 = table_1->create_object();
    auto obj_3 = table_2->create_object();
    auto obj_4 = table_3->create_object();

    // Validate our assumptions that we actually do have key overlaps
    CHECK_EQUAL(table_1->get_key(), table_3->get_key());
    CHECK_EQUAL(table_1->get_column_key("set 1"), table_2->get_column_key("set 1"));
    CHECK_EQUAL(obj_1.get_key(), obj_3.get_key());
    CHECK_EQUAL(obj_1.get_key(), obj_4.get_key());

    CHECK_EQUAL(obj_1.get_set<Int>("set 1"), obj_1.get_set<Int>("set 1"));
    // Same obj, different col
    CHECK_NOT_EQUAL(obj_1.get_set<Int>("set 1"), obj_1.get_set<Int>("set 2"));
    // Same col, different obj
    CHECK_NOT_EQUAL(obj_1.get_set<Int>("set 1"), obj_2.get_set<Int>("set 1"));
    // Same col, same obj, different table
    CHECK_NOT_EQUAL(obj_1.get_set<Int>("set 1"), obj_3.get_set<Int>("set 1"));
    // Same col, same obj, same table, different group
    CHECK_NOT_EQUAL(obj_1.get_set<Int>("set 1"), obj_4.get_set<Int>("set 1"));
}

realm / realm-core / 1845

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous