xidl-parser 0.105.0

A IDL codegen.
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
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129

use super::{lower_error, parse};

fn err(text: &str) -> String {
    lower_error(text).to_string()
}

#[test]
fn overlapping_wire_names_are_rejected_per_version() {
    let error = err("
@version
enum ApiVersions {
    @rename(\"2025-01\") v1,
    @rename(\"2025-06\") v2,
};

struct Pet {
    long tag;

    @rename(\"tag\")
    long label;
};
");
    assert!(
        error.contains("both serialize as \"tag\""),
        "unexpected error: {error}"
    );
    assert!(
        error.contains("in version 2025-01"),
        "the diagnostic names the first version where they coexist: {error}"
    );
    assert!(error.contains("inside Pet"), "{error}");
}

#[test]
fn disjoint_rename_intervals_are_accepted() {
    parse(
        "
@version
enum ApiVersions {
    @rename(\"2025-01\") v1,
    @rename(\"2025-06\") v2,
};

struct Pet {
    @added(ApiVersions::v1)
    @removed(ApiVersions::v2)
    long tag;

    @added(ApiVersions::v2)
    @rename(\"tag\")
    long tag2_;
};
",
    );
}

#[test]
fn unversioned_contracts_reject_duplicate_wire_names() {
    let error = err("
struct Pet {
    long size;

    @rename(\"size\")
    long size_;
};
");
    assert!(
        error.contains("both serialize as \"size\""),
        "unexpected error: {error}"
    );
    assert!(
        !error.contains("in version"),
        "an unversioned contract has no version to name: {error}"
    );
}

#[test]
fn unversioned_repeated_members_are_rejected() {
    let error = err("struct Pet { long size; long size; };");
    assert!(error.contains("serialize as"), "{error}");
}

#[test]
fn skipped_members_claim_no_wire_name() {
    // The skipped declaration never serializes, so its name stays free for a
    // later interval without tripping the overlap check.
    parse(
        "
@version
enum ApiVersions {
    @rename(\"2025-01\") v1,
    @rename(\"2025-06\") v2,
};

struct Pet {
    @skip
    @added(ApiVersions::v1)
    long note;

    @added(ApiVersions::v2)
    string note;
};
",
    );
}

#[test]
fn enum_and_union_members_are_validated() {
    let error = err("
enum Color {
    RED,

    @rename(\"RED\")
    CRIMSON,
};
");
    assert!(error.contains("both serialize as \"RED\""), "{error}");
    assert!(error.contains("inside Color"), "{error}");

    let error = err("
union Shape switch (long) {
    case 0: long area;

    case 1: @rename(\"area\") string label;
};
");
    assert!(error.contains("both serialize as \"area\""), "{error}");
    assert!(error.contains("inside Shape"), "{error}");
}