llmcc-rust 0.2.21

llmcc: llm context compiler
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

use llmcc_rust::{
    build_llmcc_ir, collect_symbols, CompileCtxt, EnumDescriptor, EnumVariantKind, FnVisibility,
    LangRust,
};

fn collect_enums(source: &str) -> Vec<EnumDescriptor> {
    let sources = vec![source.as_bytes().to_vec()];
    let cc = CompileCtxt::from_sources::<LangRust>(&sources);
    let unit = cc.compile_unit(0);
    build_llmcc_ir::<LangRust>(&cc).unwrap();

    let globals = cc.create_globals();
    collect_symbols(unit, globals).enums
}

#[test]
fn captures_enum_metadata_and_variants() {
    let source = r#"
        pub enum Message<T> {
            Quit,
            Write(String),
            Move { x: i32, y: i32 },
            ChangeColor(T, T, T),
        }
    "#;
    let enums = collect_enums(source);
    assert_eq!(enums.len(), 1);
    let desc = &enums[0];
    assert_eq!(desc.name, "Message");
    assert_eq!(desc.visibility, FnVisibility::Public);
    assert_eq!(desc.generics.as_deref(), Some("<T>"));
    assert_eq!(desc.variants.len(), 4);

    let quit = &desc.variants[0];
    assert_eq!(quit.name, "Quit");
    assert_eq!(quit.kind, EnumVariantKind::Unit);
    assert!(quit.fields.is_empty());
    assert!(quit.discriminant.is_none());

    let write = &desc.variants[1];
    assert_eq!(write.name, "Write");
    assert_eq!(write.kind, EnumVariantKind::Tuple);
    assert_eq!(write.fields.len(), 1);
    let write_ty = write.fields[0]
        .ty
        .as_ref()
        .and_then(|ty| ty.path_segments())
        .map(|segs| segs.join("::"));
    assert_eq!(write_ty.as_deref(), Some("String"));

    let mv = &desc.variants[2];
    assert_eq!(mv.name, "Move");
    assert_eq!(mv.kind, EnumVariantKind::Struct);
    assert_eq!(mv.fields.len(), 2);
    assert_eq!(mv.fields[0].name.as_deref(), Some("x"));
    assert_eq!(mv.fields[1].name.as_deref(), Some("y"));

    let change = &desc.variants[3];
    assert_eq!(change.name, "ChangeColor");
    assert_eq!(change.kind, EnumVariantKind::Tuple);
    assert_eq!(change.fields.len(), 3);
}

#[test]
fn captures_enum_variant_discriminant() {
    let source = r#"
        enum Status {
            Ok = 200,
            NotFound = 404,
        }
    "#;

    let enums = collect_enums(source);
    assert_eq!(enums.len(), 1);
    let status = &enums[0];
    assert_eq!(status.variants.len(), 2);
    assert_eq!(status.variants[0].discriminant.as_deref(), Some("200"));
    assert_eq!(status.variants[1].discriminant.as_deref(), Some("404"));
}