memgraph/tests/unit/storage_v2_property_store.cpp

#include <gmock/gmock.h>
#include <gtest/gtest.h>

#include <limits>

#include "storage/v2/property_store.hpp"

using testing::UnorderedElementsAre;

TEST(PropertyStore, Simple) {
  storage::PropertyStore props;
  auto prop = storage::PropertyId::FromInt(42);
  auto value = storage::PropertyValue(42);
  ASSERT_TRUE(props.SetProperty(prop, value));
  ASSERT_EQ(props.GetProperty(prop), value);
  ASSERT_TRUE(props.HasProperty(prop));
  ASSERT_THAT(props.Properties(), UnorderedElementsAre(std::pair(prop, value)));
}

TEST(PropertyStore, EmptySetToNull) {
  storage::PropertyStore props;
  auto prop = storage::PropertyId::FromInt(42);
  ASSERT_TRUE(props.SetProperty(prop, storage::PropertyValue()));
  ASSERT_TRUE(props.GetProperty(prop).IsNull());
  ASSERT_FALSE(props.HasProperty(prop));
  ASSERT_EQ(props.Properties().size(), 0);
}

TEST(PropertyStore, MoveConstruct) {
  storage::PropertyStore props1;
  auto prop = storage::PropertyId::FromInt(42);
  auto value = storage::PropertyValue(42);
  ASSERT_TRUE(props1.SetProperty(prop, value));
  ASSERT_EQ(props1.GetProperty(prop), value);
  ASSERT_TRUE(props1.HasProperty(prop));
  ASSERT_THAT(props1.Properties(),
              UnorderedElementsAre(std::pair(prop, value)));
  {
    storage::PropertyStore props2(std::move(props1));
    ASSERT_EQ(props2.GetProperty(prop), value);
    ASSERT_TRUE(props2.HasProperty(prop));
    ASSERT_THAT(props2.Properties(),
                UnorderedElementsAre(std::pair(prop, value)));
  }
  // NOLINTNEXTLINE(bugprone-use-after-move,clang-analyzer-cplusplus.Move,hicpp-invalid-access-moved)
  ASSERT_TRUE(props1.GetProperty(prop).IsNull());
  ASSERT_FALSE(props1.HasProperty(prop));
  ASSERT_EQ(props1.Properties().size(), 0);
}

TEST(PropertyStore, MoveAssign) {
  storage::PropertyStore props1;
  auto prop = storage::PropertyId::FromInt(42);
  auto value = storage::PropertyValue(42);
  ASSERT_TRUE(props1.SetProperty(prop, value));
  ASSERT_EQ(props1.GetProperty(prop), value);
  ASSERT_TRUE(props1.HasProperty(prop));
  ASSERT_THAT(props1.Properties(),
              UnorderedElementsAre(std::pair(prop, value)));
  {
    auto value2 = storage::PropertyValue(68);
    storage::PropertyStore props2;
    ASSERT_TRUE(props2.SetProperty(prop, value2));
    ASSERT_EQ(props2.GetProperty(prop), value2);
    ASSERT_TRUE(props2.HasProperty(prop));
    ASSERT_THAT(props2.Properties(),
                UnorderedElementsAre(std::pair(prop, value2)));
    props2 = std::move(props1);
    ASSERT_EQ(props2.GetProperty(prop), value);
    ASSERT_TRUE(props2.HasProperty(prop));
    ASSERT_THAT(props2.Properties(),
                UnorderedElementsAre(std::pair(prop, value)));
  }
  // NOLINTNEXTLINE(bugprone-use-after-move,clang-analyzer-cplusplus.Move,hicpp-invalid-access-moved)
  ASSERT_TRUE(props1.GetProperty(prop).IsNull());
  ASSERT_FALSE(props1.HasProperty(prop));
  ASSERT_EQ(props1.Properties().size(), 0);
}

TEST(PropertyStore, EmptySet) {
  std::vector<storage::PropertyValue> vec{storage::PropertyValue(true),
                                          storage::PropertyValue(123),
                                          storage::PropertyValue()};
  std::map<std::string, storage::PropertyValue> map{
      {"nandare", storage::PropertyValue(false)}};
  std::vector<storage::PropertyValue> data{
      storage::PropertyValue(true),  storage::PropertyValue(123),
      storage::PropertyValue(123.5), storage::PropertyValue("nandare"),
      storage::PropertyValue(vec),   storage::PropertyValue(map)};

  auto prop = storage::PropertyId::FromInt(42);
  for (const auto &value : data) {
    storage::PropertyStore props;

    ASSERT_TRUE(props.SetProperty(prop, value));
    ASSERT_EQ(props.GetProperty(prop), value);
    ASSERT_TRUE(props.HasProperty(prop));
    ASSERT_THAT(props.Properties(),
                UnorderedElementsAre(std::pair(prop, value)));
    ASSERT_FALSE(props.SetProperty(prop, value));
    ASSERT_EQ(props.GetProperty(prop), value);
    ASSERT_TRUE(props.HasProperty(prop));
    ASSERT_THAT(props.Properties(),
                UnorderedElementsAre(std::pair(prop, value)));
    ASSERT_FALSE(props.SetProperty(prop, storage::PropertyValue()));
    ASSERT_TRUE(props.GetProperty(prop).IsNull());
    ASSERT_FALSE(props.HasProperty(prop));
    ASSERT_EQ(props.Properties().size(), 0);
    ASSERT_TRUE(props.SetProperty(prop, storage::PropertyValue()));
    ASSERT_TRUE(props.GetProperty(prop).IsNull());
    ASSERT_FALSE(props.HasProperty(prop));
    ASSERT_EQ(props.Properties().size(), 0);
  }
}

TEST(PropertyStore, FullSet) {
  std::vector<storage::PropertyValue> vec{storage::PropertyValue(true),
                                          storage::PropertyValue(123),
                                          storage::PropertyValue()};
  std::map<std::string, storage::PropertyValue> map{
      {"nandare", storage::PropertyValue(false)}};
  std::map<storage::PropertyId, storage::PropertyValue> data{
      {storage::PropertyId::FromInt(1), storage::PropertyValue(true)},
      {storage::PropertyId::FromInt(2), storage::PropertyValue(123)},
      {storage::PropertyId::FromInt(3), storage::PropertyValue(123.5)},
      {storage::PropertyId::FromInt(4), storage::PropertyValue("nandare")},
      {storage::PropertyId::FromInt(5), storage::PropertyValue(vec)},
      {storage::PropertyId::FromInt(6), storage::PropertyValue(map)}};

  std::vector<storage::PropertyValue> alt{
      storage::PropertyValue(),
      storage::PropertyValue(std::string()),
      storage::PropertyValue(std::string(10, 'a')),
      storage::PropertyValue(std::string(100, 'a')),
      storage::PropertyValue(std::string(1000, 'a')),
      storage::PropertyValue(std::string(10000, 'a')),
      storage::PropertyValue(std::string(100000, 'a'))};

  storage::PropertyStore props;
  for (const auto &target : data) {
    for (const auto &item : data) {
      ASSERT_TRUE(props.SetProperty(item.first, item.second));
    }

    for (size_t i = 0; i < alt.size(); ++i) {
      if (i == 1) {
        ASSERT_TRUE(props.SetProperty(target.first, alt[i]));
      } else {
        ASSERT_FALSE(props.SetProperty(target.first, alt[i]));
      }
      for (const auto &item : data) {
        if (item.first == target.first) {
          ASSERT_EQ(props.GetProperty(item.first), alt[i]);
          if (alt[i].IsNull()) {
            ASSERT_FALSE(props.HasProperty(item.first));
          } else {
            ASSERT_TRUE(props.HasProperty(item.first));
          }
        } else {
          ASSERT_EQ(props.GetProperty(item.first), item.second);
          ASSERT_TRUE(props.HasProperty(item.first));
        }
      }
      auto current = data;
      if (alt[i].IsNull()) {
        current.erase(target.first);
      } else {
        current[target.first] = alt[i];
      }
      ASSERT_EQ(props.Properties(), current);
    }

    for (ssize_t i = alt.size() - 1; i >= 0; --i) {
      ASSERT_FALSE(props.SetProperty(target.first, alt[i]));
      for (const auto &item : data) {
        if (item.first == target.first) {
          ASSERT_EQ(props.GetProperty(item.first), alt[i]);
          if (alt[i].IsNull()) {
            ASSERT_FALSE(props.HasProperty(item.first));
          } else {
            ASSERT_TRUE(props.HasProperty(item.first));
          }
        } else {
          ASSERT_EQ(props.GetProperty(item.first), item.second);
          ASSERT_TRUE(props.HasProperty(item.first));
        }
      }
      auto current = data;
      if (alt[i].IsNull()) {
        current.erase(target.first);
      } else {
        current[target.first] = alt[i];
      }
      ASSERT_EQ(props.Properties(), current);
    }

    ASSERT_TRUE(props.SetProperty(target.first, target.second));
    ASSERT_EQ(props.GetProperty(target.first), target.second);
    ASSERT_TRUE(props.HasProperty(target.first));

    props.ClearProperties();
    ASSERT_EQ(props.Properties().size(), 0);
    for (const auto &item : data) {
      ASSERT_TRUE(props.GetProperty(item.first).IsNull());
      ASSERT_FALSE(props.HasProperty(item.first));
    }
  }
}

TEST(PropertyStore, IntEncoding) {
  std::map<storage::PropertyId, storage::PropertyValue> data{
      {storage::PropertyId::FromUint(0UL),
       storage::PropertyValue(std::numeric_limits<int64_t>::min())},
      {storage::PropertyId::FromUint(10UL),
       storage::PropertyValue(-137438953472L)},
      {storage::PropertyId::FromUint(std::numeric_limits<uint8_t>::max()),
       storage::PropertyValue(-4294967297L)},
      {storage::PropertyId::FromUint(256UL),
       storage::PropertyValue(std::numeric_limits<int32_t>::min())},
      {storage::PropertyId::FromUint(1024UL),
       storage::PropertyValue(-1048576L)},
      {storage::PropertyId::FromUint(1025UL), storage::PropertyValue(-65537L)},
      {storage::PropertyId::FromUint(1026UL),
       storage::PropertyValue(std::numeric_limits<int16_t>::min())},
      {storage::PropertyId::FromUint(1027UL), storage::PropertyValue(-1024L)},
      {storage::PropertyId::FromUint(2000UL), storage::PropertyValue(-257L)},
      {storage::PropertyId::FromUint(3000UL),
       storage::PropertyValue(std::numeric_limits<int8_t>::min())},
      {storage::PropertyId::FromUint(4000UL), storage::PropertyValue(-1L)},
      {storage::PropertyId::FromUint(10000UL), storage::PropertyValue(0L)},
      {storage::PropertyId::FromUint(20000UL), storage::PropertyValue(1L)},
      {storage::PropertyId::FromUint(30000UL),
       storage::PropertyValue(std::numeric_limits<int8_t>::max())},
      {storage::PropertyId::FromUint(40000UL), storage::PropertyValue(256L)},
      {storage::PropertyId::FromUint(50000UL), storage::PropertyValue(1024L)},
      {storage::PropertyId::FromUint(std::numeric_limits<uint16_t>::max()),
       storage::PropertyValue(std::numeric_limits<int16_t>::max())},
      {storage::PropertyId::FromUint(65536UL), storage::PropertyValue(65536L)},
      {storage::PropertyId::FromUint(1048576UL),
       storage::PropertyValue(1048576L)},
      {storage::PropertyId::FromUint(std::numeric_limits<uint32_t>::max()),
       storage::PropertyValue(std::numeric_limits<int32_t>::max())},
      {storage::PropertyId::FromUint(4294967296UL),
       storage::PropertyValue(4294967296L)},
      {storage::PropertyId::FromUint(137438953472UL),
       storage::PropertyValue(137438953472L)},
      {storage::PropertyId::FromUint(std::numeric_limits<uint64_t>::max()),
       storage::PropertyValue(std::numeric_limits<int64_t>::max())}};

  storage::PropertyStore props;
  for (const auto &item : data) {
    ASSERT_TRUE(props.SetProperty(item.first, item.second));
    ASSERT_EQ(props.GetProperty(item.first), item.second);
    ASSERT_TRUE(props.HasProperty(item.first));
  }
  for (auto it = data.rbegin(); it != data.rend(); ++it) {
    const auto &item = *it;
    ASSERT_FALSE(props.SetProperty(item.first, item.second));
    ASSERT_EQ(props.GetProperty(item.first), item.second);
    ASSERT_TRUE(props.HasProperty(item.first));
  }

  ASSERT_EQ(props.Properties(), data);

  props.ClearProperties();
  ASSERT_EQ(props.Properties().size(), 0);
  for (const auto &item : data) {
    ASSERT_TRUE(props.GetProperty(item.first).IsNull());
    ASSERT_FALSE(props.HasProperty(item.first));
  }
}