Function TEST

crates/c-api/tests/exception.cc:12–49

}

TEST(Exception, ConstructAndExamine) {
  auto engine = make_engine();
  Store store(engine);
  auto cx = store.context();

  // Create a tag type with (i32, i64) payload.
  FuncType ft({ValType::i32(), ValType::i64()}, {});
  TagType tt(ft);

  // Create a tag instance.
  auto tag = Tag::create(cx, tt).unwrap();

  // Create an exception with payload (42, 100).
  std::vector<Val> fields = {Val(int32_t(42)), Val(int64_t(100))};
  auto exn = ExnRef::create(cx, tag, fields).unwrap();

  // Read back the tag and verify identity.
  auto exn_tag = exn.tag(cx).unwrap();
  EXPECT_TRUE(tag.eq(cx, exn_tag));

  // Read field count.
  EXPECT_EQ(exn.field_count(cx), 2u);

  // Read fields.
  auto f0 = exn.field(cx, 0).unwrap();
  EXPECT_EQ(f0.kind(), ValKind::I32);
  EXPECT_EQ(f0.i32(), 42);

  auto f1 = exn.field(cx, 1).unwrap();
  EXPECT_EQ(f1.kind(), ValKind::I64);
  EXPECT_EQ(f1.i64(), 100);

  auto fty = exn.ty(cx).tag_type()->functype();
  EXPECT_EQ(fty->params().size(), 2);
  EXPECT_EQ(*fty->params().begin(), ValType::i32());
  EXPECT_EQ(*(fty->params().begin() + 1), ValType::i64());
  EXPECT_EQ(fty->results().size(), 0);
}

TEST(Exception, TagFromModule) {
  auto engine = make_engine();