ZT_VALUE(3)

🎀 zt_value(3) 🎀

okay bestie, welcome to the local manual for zt_value and zt_value_kind — the variant type that carries data into claim verifiers. it's a LOCAL page, it's untitled in the fancy header sense, and it is so much more fun than it sounds. let's go 💅

---

✨ NAME ✨

zt_value, zt_value_kind — variant type for passing data into claim verifiers

---

🦋 SYNOPSIS 🦋

#include <zt.h>

typedef struct zt_value { ... } zt_value;

so the struct is giving little container energy, and here's every single thing inside it:

• zt_value_kind — kind — the discriminator for the union. she decides which member is the main character 👑
• const char * — source — the source code used to compute the value
• union { ... } — as — the union containing the actual value
  • bool — as.boolean — value when used as ZT_BOOLEAN
  • int — as.integer — value when used as ZT_INTEGER
  • unsigned — as.unsigned_integer — value when used as ZT_UNSIGNED
  • int — as.rune — value when used as ZT_RUNE
  • const char * — as.string — value when used as ZT_STRING
  • const void * — as.pointer — value when used as ZT_POINTER
  • intmax_t — as.intmax — value when used as ZT_INTMAX
  • uintmax_t — as.uintmax — value when used as ZT_UINTMAX

and then the enum, which is literally the vibe check for the union:

typedef enum zt_value_kind { ... } zt_value_kind;

• ZT_NOTHING — placeholder for unused values
• ZT_BOOLEAN — zt_value.as.boolean is valid
• ZT_INTEGER — zt_value.as.integer is valid (deprecated)
• ZT_UNSIGNED — zt_value.as.unsigned_integer is valid (deprecated)
• ZT_RUNE — zt_value.as.rune is valid
• ZT_STRING — zt_value.as.string is valid
• ZT_POINTER — zt_value.as.pointer is valid
• ZT_INTMAX — zt_value.as.intmax is valid
• ZT_UINTMAX — zt_value.as.uintmax is valid

---

💖 DESCRIPTION 💖

zt_value is a variant-like type that gets used to pass values around libzt internals. she's built from three things and you're gonna remember all three, fr fr: the kind enumeration, the as union, and the source string. that's the whole girl. ✨

zt_value_kind describes the type of verification function arguments.

---

🧚 IMPLEMENTATION NOTES 🧚

zt_value exists to pass packed values of several types from the test source code, through the zt_claim type, and into private verification functions that determine test outcome. yes bestie, she's a little courier 🫶

Tests using binary relations encode the operator as an argument of kind ZT_STRING.

---

💀 BUGS 💀

On some architectures ZT_INTEGER and ZT_UNSIGNED are too short to handle size_t and ssize_t values correctly.

not me finding out they're too tiny 😭 they are now deprecated and automatically promoted to ZT_INTMAX and ZT_UINTMAX respectively.

---

🌈 SEE ALSO 🌈

• zt_visit_test_case(3)
• zt_visit_test_suite(3)

---

📜 HISTORY 📜

zt_value and zt_value_kind first appeared in libzt 0.1

ZT_INTMAX, ZT_UINTMAX and the corresponding union members first appeared in libzt 0.3. glow-up era, honestly.

---

👑 AUTHORS 👑

Zygmunt Krynicki <me@zygoon.pl>

---

and that's the whole page, bestie 🎀 this one is from libzt 0.3.1, dated January 12, 2020 — slay, periodt 💖