alef 0.30.13

Opinionated polyglot binding generator for Rust libraries
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
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162

use alef::core::config::NewAlefConfig;
use alef::e2e::codegen::E2eCodegen;
use alef::e2e::codegen::dart::DartE2eCodegen;
use alef::e2e::codegen::r::RCodegen;
use alef::e2e::codegen::swift::SwiftE2eCodegen;
use alef::e2e::fixture::{Assertion, Fixture, FixtureGroup};

const TOML: &str = r#"
[workspace]
languages = ["dart", "swift", "r"]

[[crates]]
name = "xberg"
sources = ["src/lib.rs"]

[crates.dart]
pubspec_name = "xberg"

[crates.e2e]
fixtures = "fixtures"
output = "e2e"

[crates.e2e.call]
function = "extract"
module = "xberg"
result_var = "result"
async = true
args = [
  { name = "input", field = "input", type = "json_object", owned = true, element_type = "ExtractInput" },
  { name = "config", field = "config", type = "json_object", optional = true },
]

[crates.e2e.call.overrides.dart]
function = "extract"
options_type = "ExtractionConfig"

[crates.e2e.call.overrides.swift]
unnamed_arg_indices = [0, 1]

[crates.e2e.call.overrides.r]
function = "extract"
options_type = "ExtractionConfig"

[crates.e2e.package.swift]
name = "Xberg"

[crates.e2e.package.r]
name = "xberg"
"#;

fn config() -> (alef::e2e::config::E2eConfig, alef::core::config::ResolvedCrateConfig) {
    let cfg: NewAlefConfig = toml::from_str(TOML).expect("config parses");
    let e2e = cfg.crates[0].e2e.clone().expect("e2e config present");
    let resolved = cfg.resolve().expect("config resolves").remove(0);
    (e2e, resolved)
}

fn fixture() -> Fixture {
    Fixture {
        id: "api_extract_uri_async".to_string(),
        category: Some("contract".to_string()),
        description: "unified extract uses fixture input".to_string(),
        call: None,
        input: serde_json::json!({
            "kind": "uri",
            "uri": "pdf/fake_memo.pdf"
        }),
        assertions: vec![Assertion {
            assertion_type: "not_error".to_string(),
            field: None,
            value: None,
            values: None,
            method: None,
            check: None,
            args: None,
            return_type: None,
        }],
        source: "contract/api_extract_uri_async.json".to_string(),
        ..Fixture::default()
    }
}

fn group() -> Vec<FixtureGroup> {
    vec![FixtureGroup {
        category: "contract".to_string(),
        fixtures: vec![fixture()],
    }]
}

#[test]
fn dart_unified_extract_single_fixture_emits_input_arg() {
    let (e2e, resolved) = config();
    let files = DartE2eCodegen
        .generate(&group(), &e2e, &resolved, &[], &[])
        .expect("dart e2e generation succeeds");
    let content = &files
        .iter()
        .find(|file| file.path.to_string_lossy().ends_with("contract_test.dart"))
        .expect("contract_test.dart is emitted")
        .content;

    assert!(
        content.contains("final _input = await createExtractInputFromJson(json:"),
        "Dart must materialize the ExtractInput fixture JSON. Generated:\n{content}"
    );
    assert!(
        content.contains("XbergBridge.extract(_input"),
        "Dart extract call must pass input. Generated:\n{content}"
    );
    assert!(
        !content.contains("XbergBridge.extract(config: _config)"),
        "Dart extract call must not omit input. Generated:\n{content}"
    );
}

#[test]
fn swift_unified_extract_single_fixture_emits_input_json() {
    let (e2e, resolved) = config();
    let files = SwiftE2eCodegen
        .generate(&group(), &e2e, &resolved, &[], &[])
        .expect("swift e2e generation succeeds");
    let content = &files
        .iter()
        .find(|file| file.path.to_string_lossy().ends_with("ContractTests.swift"))
        .expect("ContractTests.swift is emitted")
        .content;

    assert!(
        content.contains("let result = try await Xberg.extract(\"{"),
        "Swift extract call must pass fixture input JSON. Generated:\n{content}"
    );
    assert!(
        content.contains("\\\"kind\\\":\\\"uri\\\"") && content.contains("\\\"uri\\\":\\\"pdf/fake_memo.pdf\\\""),
        "Swift input JSON must contain the fixture ExtractInput fields. Generated:\n{content}"
    );
    assert!(
        !content.contains("Xberg.extract([],"),
        "Swift extract call must not default input to an empty array. Generated:\n{content}"
    );
}

#[test]
fn r_unified_extract_single_fixture_emits_input_arg() {
    let (e2e, resolved) = config();
    let files = RCodegen
        .generate(&group(), &e2e, &resolved, &[], &[])
        .expect("R e2e generation succeeds");
    let content = &files
        .iter()
        .find(|file| file.path.to_string_lossy().ends_with("test_contract.R"))
        .expect("test_contract.R is emitted")
        .content;

    assert!(
        content.contains("extract(input = ExtractInput$from_json("),
        "R extract call must pass fixture input. Generated:\n{content}"
    );
    assert!(
        !content.contains("extract(config = "),
        "R extract call must not omit input. Generated:\n{content}"
    );
}