dynamic-test.c++ 14 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48
// Copyright (c) 2013, Kenton Varda <temporal@gmail.com>
// All rights reserved.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are met:
//
// 1. Redistributions of source code must retain the above copyright notice, this
//    list of conditions and the following disclaimer.
// 2. Redistributions in binary form must reproduce the above copyright notice,
//    this list of conditions and the following disclaimer in the documentation
//    and/or other materials provided with the distribution.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
// ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
// WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
// DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR
// ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
// (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
// LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
// ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
// SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

// Copyright (c) 2013, Kenton Varda <temporal@gmail.com>
// All rights reserved.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are met:
//
// 1. Redistributions of source code must retain the above copyright notice, this
//    list of conditions and the following disclaimer.
// 2. Redistributions in binary form must reproduce the above copyright notice,
//    this list of conditions and the following disclaimer in the documentation
//    and/or other materials provided with the distribution.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
// ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
// WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
// DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR
// ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
// (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
// LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
// ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
// SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

#include "dynamic.h"
#include "message.h"
Kenton Varda's avatar
Kenton Varda committed
49
#include <kj/debug.h>
50 51 52
#include <gtest/gtest.h>
#include "test-util.h"

53
namespace capnp {
54
namespace _ {  // private
55 56
namespace {

Kenton Varda's avatar
Kenton Varda committed
57 58
template <typename Element, typename T>
void checkList(T reader, std::initializer_list<ReaderFor<Element>> expected) {
59
  auto list = reader.template as<DynamicList>();
Kenton Varda's avatar
Kenton Varda committed
60 61
  ASSERT_EQ(expected.size(), list.size());
  for (uint i = 0; i < expected.size(); i++) {
62
    EXPECT_EQ(expected.begin()[i], list[i].template as<Element>());
Kenton Varda's avatar
Kenton Varda committed
63 64
  }

65
  auto typed = reader.template as<List<Element>>();
Kenton Varda's avatar
Kenton Varda committed
66 67
  ASSERT_EQ(expected.size(), typed.size());
  for (uint i = 0; i < expected.size(); i++) {
68
    EXPECT_EQ(expected.begin()[i], typed[i]);
Kenton Varda's avatar
Kenton Varda committed
69 70 71 72 73 74 75
  }
}

TEST(DynamicApi, Build) {
  MallocMessageBuilder builder;
  auto root = builder.initRoot<DynamicStruct>(Schema::from<TestAllTypes>());

76
  initDynamicTestMessage(root);
Kenton Varda's avatar
Kenton Varda committed
77 78
  checkTestMessage(root.asReader().as<TestAllTypes>());

79 80
  checkDynamicTestMessage(root.asReader());
  checkDynamicTestMessage(root);
Kenton Varda's avatar
Kenton Varda committed
81 82 83
}

TEST(DynamicApi, Read) {
84 85 86
  MallocMessageBuilder builder;
  auto root = builder.initRoot<TestAllTypes>();

Kenton Varda's avatar
Kenton Varda committed
87 88
  initTestMessage(root);

89 90 91
  checkDynamicTestMessage(toDynamic(root.asReader()));
  checkDynamicTestMessage(toDynamic(root).asReader());
  checkDynamicTestMessage(toDynamic(root));
Kenton Varda's avatar
Kenton Varda committed
92 93 94 95
}

TEST(DynamicApi, Defaults) {
  AlignedData<1> nullRoot = {{0, 0, 0, 0, 0, 0, 0, 0}};
96 97
  kj::ArrayPtr<const word> segments[1] = {kj::arrayPtr(nullRoot.words, 1)};
  SegmentArrayMessageReader reader(kj::arrayPtr(segments, 1));
Kenton Varda's avatar
Kenton Varda committed
98
  auto root = reader.getRoot<DynamicStruct>(Schema::from<TestDefaults>());
99
  checkDynamicTestMessage(root);
Kenton Varda's avatar
Kenton Varda committed
100 101 102 103 104 105 106
}

TEST(DynamicApi, DefaultsBuilder) {
  MallocMessageBuilder builder;
  auto root = builder.initRoot<DynamicStruct>(Schema::from<TestDefaults>());

  checkTestMessage(root.asReader().as<TestDefaults>());
107
  checkDynamicTestMessage(root.asReader());
Kenton Varda's avatar
Kenton Varda committed
108 109

  // This will initialize the whole message, replacing null pointers with copies of defaults.
110
  checkDynamicTestMessage(root);
Kenton Varda's avatar
Kenton Varda committed
111 112 113

  // Check again now that the message is initialized.
  checkTestMessage(root.asReader().as<TestDefaults>());
114 115
  checkDynamicTestMessage(root.asReader());
  checkDynamicTestMessage(root);
Kenton Varda's avatar
Kenton Varda committed
116 117 118 119 120 121
}

TEST(DynamicApi, Zero) {
  MallocMessageBuilder builder;
  auto root = builder.initRoot<DynamicStruct>(Schema::from<TestAllTypes>());

122
  checkDynamicTestMessageAllZero(root.asReader());
Kenton Varda's avatar
Kenton Varda committed
123
  checkTestMessageAllZero(root.asReader().as<TestAllTypes>());
124
  checkDynamicTestMessageAllZero(root);
Kenton Varda's avatar
Kenton Varda committed
125 126 127 128 129 130 131
  checkTestMessageAllZero(root.asReader().as<TestAllTypes>());
}

TEST(DynamicApi, ListListsBuild) {
  MallocMessageBuilder builder;
  auto root = builder.initRoot<DynamicStruct>(Schema::from<TestListDefaults>());

132
  initDynamicTestLists(root);
Kenton Varda's avatar
Kenton Varda committed
133 134
  checkTestMessage(root.asReader().as<TestListDefaults>());

135 136
  checkDynamicTestLists(root.asReader());
  checkDynamicTestLists(root);
Kenton Varda's avatar
Kenton Varda committed
137 138 139 140 141 142 143 144
}

TEST(DynamicApi, ListListsRead) {
  MallocMessageBuilder builder;
  auto root = builder.initRoot<TestListDefaults>();

  initTestMessage(root);

145 146 147
  checkDynamicTestLists(toDynamic(root.asReader()));
  checkDynamicTestLists(toDynamic(root).asReader());
  checkDynamicTestLists(toDynamic(root));
Kenton Varda's avatar
Kenton Varda committed
148 149 150 151 152 153
}

TEST(DynamicApi, GenericObjects) {
  MallocMessageBuilder builder;
  auto root = builder.getRoot<test::TestObject>();

154
  initDynamicTestMessage(root.initObjectField<DynamicStruct>(Schema::from<TestAllTypes>()));
Kenton Varda's avatar
Kenton Varda committed
155 156
  checkTestMessage(root.asReader().getObjectField<TestAllTypes>());

157
  checkDynamicTestMessage(
Kenton Varda's avatar
Kenton Varda committed
158
      root.asReader().getObjectField<DynamicStruct>(Schema::from<TestAllTypes>()));
159
  checkDynamicTestMessage(root.getObjectField<DynamicStruct>(Schema::from<TestAllTypes>()));
Kenton Varda's avatar
Kenton Varda committed
160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189

  {
    {
      auto list = root.initObjectField<DynamicList>(Schema::from<List<uint32_t>>(), 4);
      list.set(0, 123);
      list.set(1, 456);
      list.set(2, 789);
      list.set(3, 123456789);
    }

    {
      auto list = root.asReader().getObjectField<List<uint32_t>>();
      ASSERT_EQ(4u, list.size());
      EXPECT_EQ(123u, list[0]);
      EXPECT_EQ(456u, list[1]);
      EXPECT_EQ(789u, list[2]);
      EXPECT_EQ(123456789u, list[3]);
    }

    checkList<uint32_t>(root.asReader().getObjectField<DynamicList>(Schema::from<List<uint32_t>>()),
                        {123u, 456u, 789u, 123456789u});
    checkList<uint32_t>(root.getObjectField<DynamicList>(Schema::from<List<uint32_t>>()),
                        {123u, 456u, 789u, 123456789u});
  }
}

TEST(DynamicApi, DynamicGenericObjects) {
  MallocMessageBuilder builder;
  auto root = builder.getRoot<DynamicStruct>(Schema::from<test::TestObject>());

190
  initDynamicTestMessage(root.initObject("objectField", Schema::from<TestAllTypes>()));
Kenton Varda's avatar
Kenton Varda committed
191 192
  checkTestMessage(root.asReader().as<test::TestObject>().getObjectField<TestAllTypes>());

193
  checkDynamicTestMessage(
Kenton Varda's avatar
Kenton Varda committed
194
      root.asReader().get("objectField").as<DynamicObject>().as(Schema::from<TestAllTypes>()));
195
  checkDynamicTestMessage(
Kenton Varda's avatar
Kenton Varda committed
196
      root.get("objectField").as<DynamicObject>().as(Schema::from<TestAllTypes>()));
197
  checkDynamicTestMessage(
Kenton Varda's avatar
Kenton Varda committed
198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229
      root.getObject("objectField", Schema::from<TestAllTypes>()));

  {
    {
      auto list = root.initObject("objectField", Schema::from<List<uint32_t>>(), 4);
      list.set(0, 123);
      list.set(1, 456);
      list.set(2, 789);
      list.set(3, 123456789);
    }

    {
      auto list = root.asReader().as<test::TestObject>().getObjectField<List<uint32_t>>();
      ASSERT_EQ(4u, list.size());
      EXPECT_EQ(123u, list[0]);
      EXPECT_EQ(456u, list[1]);
      EXPECT_EQ(789u, list[2]);
      EXPECT_EQ(123456789u, list[3]);
    }

    checkList<uint32_t>(
        root.asReader().get("objectField").as<DynamicObject>().as(Schema::from<List<uint32_t>>()),
        {123u, 456u, 789u, 123456789u});
    checkList<uint32_t>(
        root.get("objectField").as<DynamicObject>().as(Schema::from<List<uint32_t>>()),
        {123u, 456u, 789u, 123456789u});
    checkList<uint32_t>(
        root.getObject("objectField", Schema::from<List<uint32_t>>()),
        {123u, 456u, 789u, 123456789u});
  }
}

230 231 232 233 234 235 236
#define EXPECT_MAYBE_EQ(name, exp, expected, actual) \
  KJ_IF_MAYBE(name, exp) { \
    EXPECT_EQ(expected, actual); \
  } else { \
    FAIL() << "Maybe was empty."; \
  }

Kenton Varda's avatar
Kenton Varda committed
237 238 239 240 241 242 243 244 245 246 247 248 249
TEST(DynamicApi, UnionsRead) {
  MallocMessageBuilder builder;
  auto root = builder.initRoot<TestUnion>();

  root.getUnion0().setU0f1s32(1234567);
  root.getUnion1().setU1f1sp("foo");
  root.getUnion2().setU2f0s1(true);
  root.getUnion3().setU3f0s64(1234567890123456789ll);

  {
    auto dynamic = toDynamic(root.asReader());
    {
      auto u = dynamic.get("union0").as<DynamicUnion>();
250
      EXPECT_MAYBE_EQ(w, u.which(), "u0f1s32", w->getProto().getName());
Kenton Varda's avatar
Kenton Varda committed
251 252 253 254
      EXPECT_EQ(1234567, u.get().as<int32_t>());
    }
    {
      auto u = dynamic.get("union1").as<DynamicUnion>();
255
      EXPECT_MAYBE_EQ(w, u.which(), "u1f1sp", w->getProto().getName());
Kenton Varda's avatar
Kenton Varda committed
256 257 258 259
      EXPECT_EQ("foo", u.get().as<Text>());
    }
    {
      auto u = dynamic.get("union2").as<DynamicUnion>();
260
      EXPECT_MAYBE_EQ(w, u.which(), "u2f0s1", w->getProto().getName());
Kenton Varda's avatar
Kenton Varda committed
261 262 263 264
      EXPECT_TRUE(u.get().as<bool>());
    }
    {
      auto u = dynamic.get("union3").as<DynamicUnion>();
265
      EXPECT_MAYBE_EQ(w, u.which(), "u3f0s64", w->getProto().getName());
Kenton Varda's avatar
Kenton Varda committed
266 267 268 269 270 271 272 273 274
      EXPECT_EQ(1234567890123456789ll, u.get().as<int64_t>());
    }
  }

  {
    // Again as a builder.
    auto dynamic = toDynamic(root);
    {
      auto u = dynamic.get("union0").as<DynamicUnion>();
275
      EXPECT_MAYBE_EQ(w, u.which(), "u0f1s32", w->getProto().getName());
Kenton Varda's avatar
Kenton Varda committed
276 277 278 279
      EXPECT_EQ(1234567, u.get().as<int32_t>());
    }
    {
      auto u = dynamic.get("union1").as<DynamicUnion>();
280
      EXPECT_MAYBE_EQ(w, u.which(), "u1f1sp", w->getProto().getName());
Kenton Varda's avatar
Kenton Varda committed
281 282 283 284
      EXPECT_EQ("foo", u.get().as<Text>());
    }
    {
      auto u = dynamic.get("union2").as<DynamicUnion>();
285
      EXPECT_MAYBE_EQ(w, u.which(), "u2f0s1", w->getProto().getName());
Kenton Varda's avatar
Kenton Varda committed
286 287 288 289
      EXPECT_TRUE(u.get().as<bool>());
    }
    {
      auto u = dynamic.get("union3").as<DynamicUnion>();
290
      EXPECT_MAYBE_EQ(w, u.which(), "u3f0s64", w->getProto().getName());
Kenton Varda's avatar
Kenton Varda committed
291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316
      EXPECT_EQ(1234567890123456789ll, u.get().as<int64_t>());
    }
  }
}

TEST(DynamicApi, UnionsWrite) {
  MallocMessageBuilder builder;
  auto root = builder.initRoot<DynamicStruct>(Schema::from<TestUnion>());

  root.get("union0").as<DynamicUnion>().set("u0f1s32", 1234567);
  root.get("union1").as<DynamicUnion>().set("u1f1sp", "foo");
  root.get("union2").as<DynamicUnion>().set("u2f0s1", true);
  root.get("union3").as<DynamicUnion>().set("u3f0s64", 1234567890123456789ll);

  auto reader = root.asReader().as<TestUnion>();
  ASSERT_EQ(TestUnion::Union0::U0F1S32, reader.getUnion0().which());
  EXPECT_EQ(1234567, reader.getUnion0().getU0f1s32());

  ASSERT_EQ(TestUnion::Union1::U1F1SP, reader.getUnion1().which());
  EXPECT_EQ("foo", reader.getUnion1().getU1f1sp());

  ASSERT_EQ(TestUnion::Union2::U2F0S1, reader.getUnion2().which());
  EXPECT_TRUE(reader.getUnion2().getU2f0s1());

  ASSERT_EQ(TestUnion::Union3::U3F0S64, reader.getUnion3().which());
  EXPECT_EQ(1234567890123456789ll, reader.getUnion3().getU3f0s64());
317 318
}

319 320 321 322 323 324
#if KJ_NO_EXCEPTIONS
#undef EXPECT_ANY_THROW
// All exceptions should be non-fatal, so when exceptions are disabled the code should return.
#define EXPECT_ANY_THROW(code) code
#endif

Kenton Varda's avatar
Kenton Varda committed
325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341
TEST(DynamicApi, ConversionFailures) {
  MallocMessageBuilder builder;
  auto root = builder.initRoot<DynamicStruct>(Schema::from<TestAllTypes>());

  root.set("int8Field", 123);
  EXPECT_ANY_THROW(root.set("int8Field", 1234));

  root.set("uInt32Field", 1);
  EXPECT_ANY_THROW(root.set("uInt32Field", -1));

  root.set("int16Field", 5);
  EXPECT_ANY_THROW(root.set("int16Field", 0.5));

  root.set("boolField", true);
  EXPECT_ANY_THROW(root.set("boolField", 1));
}

342 343 344 345 346 347 348 349
TEST(DynamicApi, LateUnion) {
  MallocMessageBuilder builder;
  auto root = builder.initRoot<DynamicStruct>(Schema::from<test::TestLateUnion>());

  root.get("theUnion").as<DynamicUnion>().set("qux", "hello");
  EXPECT_EQ("hello", root.as<test::TestLateUnion>().getTheUnion().getQux());
}

350 351
TEST(DynamicApi, Has) {
  MallocMessageBuilder builder;
352
  auto root = builder.initRoot<DynamicStruct>(Schema::from<TestDefaults>());
353 354 355 356 357 358 359 360 361 362 363 364

  EXPECT_FALSE(root.has("int32Field"));
  root.set("int32Field", 123);
  EXPECT_TRUE(root.has("int32Field"));
  root.set("int32Field", -12345678);
  EXPECT_FALSE(root.has("int32Field"));

  EXPECT_FALSE(root.has("structField"));
  root.init("structField");
  EXPECT_TRUE(root.has("structField"));
}

365 366
TEST(DynamicApi, HasWhenEmpty) {
  AlignedData<1> nullRoot = {{0, 0, 0, 0, 0, 0, 0, 0}};
367 368
  kj::ArrayPtr<const word> segments[1] = {kj::arrayPtr(nullRoot.words, 1)};
  SegmentArrayMessageReader reader(kj::arrayPtr(segments, 1));
369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386
  auto root = reader.getRoot<DynamicStruct>(Schema::from<TestDefaults>());

  EXPECT_FALSE(root.has("voidField"));
  EXPECT_FALSE(root.has("int32Field"));
  EXPECT_FALSE(root.has("structField"));
  EXPECT_FALSE(root.has("int32List"));
}

TEST(DynamicApi, SetEnumFromNative) {
  MallocMessageBuilder builder;
  auto root = builder.initRoot<DynamicStruct>(Schema::from<TestAllTypes>());

  root.set("enumField", TestEnum::BAZ);
  root.set("enumList", {TestEnum::BAR, TestEnum::FOO});
  EXPECT_EQ(TestEnum::BAZ, root.get("enumField").as<TestEnum>());
  checkList<TestEnum>(root.get("enumList"), {TestEnum::BAR, TestEnum::FOO});
}

387 388 389 390 391 392 393 394
TEST(DynamicApi, SetDataFromText) {
  MallocMessageBuilder builder;
  auto root = builder.initRoot<DynamicStruct>(Schema::from<TestAllTypes>());

  root.set("dataField", "foo");
  EXPECT_EQ(data("foo"), root.get("dataField").as<Data>());
}

395
}  // namespace
396
}  // namespace _ (private)
397
}  // namespace capnp