postcard-bindgen-core 0.7.1

A crate to generate bindings for the postcard binary format for other languages than Rust - Core Crate
Documentation 
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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113

---
source: postcard-bindgen-core/tests/javascript.rs
expression: runtime_checks_file
---
function check_bounds(v, n_bytes, signed, zero_able) {
    if (!zero_able && v === 0) {
        throw new Error("Value must not be zero")
    }
    const max = BigInt(2 ** (n_bytes * BITS_PER_BYTE)), value_b = BigInt(v);
    if (signed) {
        const bounds = max / 2n;
        if (value_b < -bounds || value_b >= bounds) {
            throw new Error("Value " + value_b + " is out of bounds (" + -bounds + ".." + bounds + ")")
        }
    } else {
        if (value_b >= max || value_b < 0) {
            throw new Error("Value " + value_b + " is out of bounds (0.." + max + ")")
        }
    }

    return true
}

function check_integer_type(v, n_bytes, signed, zero_able) {
    return (
        typeof v === "number" &&
        Number.isInteger(v) ||
        typeof v === "bigint"
    ) && check_bounds(v, n_bytes, signed, zero_able)
}

function is_STRUCT_TYPE(v) {
    return typeof v === "object" &&
         check_integer_type(v.field_1, U32_BYTES, false, true) &&
         typeof v.field_2 === "string" &&
         Array.isArray(v.field_3) &&
         v.field_3.every((v) => check_integer_type(v, U32_BYTES, false, true)) &&
         Array.isArray(v.field_4) &&
         v.field_4.every((v) => is_STRUCT_TYPE(v)) &&
         typeof v.field_5 === "object" &&
         "start" in v.field_5 &&
         "end" in v.field_5 &&
         typeof v.field_6 === "object" &&
         Object.values(v.field_6).map((v) => check_integer_type(v, U32_BYTES, false, true)).every((v) => v) &&
         v.field_7 instanceof Map &&
         (("field_8" in v &&
         (v.field_8 !== undefined &&
         check_integer_type(v.field_8, U32_BYTES, false, true)) ||
         v.field_8 === undefined) ||
         !("field_8" in v)) &&
         typeof v.field_9 === "boolean" &&
         Array.isArray(v.field_10) &&
         v.field_10.length === 2 &&
         check_integer_type(v.field_10[0], U32_BYTES, false, true) &&
         typeof v.field_10[1] === "string" &&
         Array.isArray(v.field_11) &&
         v.field_11.every((v) => typeof v === "string") &&
         v.field_11.length === 3 &&
         Array.isArray(v.field_12) &&
         v.field_12.every((v) => check_integer_type(v, U32_BYTES, false, true)) &&
         typeof v.field_13 === "number" &&
         Number.isFinite(v.field_13);
}

function is_UNIT_STRUCT_TYPE(v) {
    return typeof v === "object" &&
         Object.keys(v).length === 0
}

function is_TUPLE_STRUCT_TYPE(v) {
    return Array.isArray(v) &&
         v.length === 2 &&
         check_integer_type(v[0], U32_BYTES, false, true) &&
         typeof v[1] === "string";
}

function is_ENUM_TYPE(v) {
    return (typeof v === "object" &&
         "tag" in v &&
         v.tag === "AVariant") ||
         (typeof v === "object" &&
         "tag" in v &&
         "value" in v &&
         (v.tag === "BVariant" &&
         Array.isArray(v.value) &&
         v.value.length === 2 &&
         check_integer_type(v.value[0], U32_BYTES, false, true) &&
         typeof v.value[1] === "string") ||
         (v.tag === "CVariant" &&
         typeof v.value === "object" &&
         check_integer_type(v.value.field_1, U32_BYTES, false, true) &&
         typeof v.value.field_2 === "string" &&
         is_STRUCT_TYPE(v.value.struct_type)))
}

function is_sub_module_ENUM_TYPE(v) {
    return (typeof v === "object" &&
         "tag" in v &&
         v.tag === "AVariant") ||
         (typeof v === "object" &&
         "tag" in v &&
         "value" in v &&
         (v.tag === "BVariant" &&
         Array.isArray(v.value) &&
         v.value.length === 2 &&
         check_integer_type(v.value[0], U32_BYTES, false, true) &&
         typeof v.value[1] === "string") ||
         (v.tag === "CVariant" &&
         typeof v.value === "object" &&
         check_integer_type(v.value.field_1, U32_BYTES, false, true) &&
         typeof v.value.field_2 === "string" &&
         is_STRUCT_TYPE(v.value.struct_type)))
}