witx 0.8.7

Parse and validate witx file format
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

use witx;

fn is_anonymous_struct_err(r: Result<witx::Document, witx::WitxError>) -> bool {
    match r {
        Err(witx::WitxError::Validation(witx::ValidationError::AnonymousStructure { .. })) => true,
        _ => false,
    }
}

#[test]
fn anonymous_types() {
    let pointer_to_struct = witx::parse("(typename $a (@witx pointer (struct (field $b u8))))");
    assert!(is_anonymous_struct_err(pointer_to_struct));

    let pointer_to_union = witx::parse(
        "(typename $tag (enum u8 $b)) (typename $a (@witx pointer (union $tag (field $b u8))))",
    );
    assert!(is_anonymous_struct_err(pointer_to_union));

    let pointer_to_enum = witx::parse("(typename $a (@witx pointer (enum u32 $b)))");
    assert!(is_anonymous_struct_err(pointer_to_enum));

    let pointer_to_flags = witx::parse("(typename $a (@witx pointer (flags u32 $b)))");
    assert!(is_anonymous_struct_err(pointer_to_flags));

    let pointer_to_handle = witx::parse("(typename $a (@witx pointer (handle)))");
    assert!(is_anonymous_struct_err(pointer_to_handle));

    let pointer_to_builtin = witx::parse("(typename $a (@witx pointer u8))");
    assert!(pointer_to_builtin.is_ok());

    let pointer_to_pointer = witx::parse("(typename $a (@witx pointer (@witx const_pointer u8)))");
    assert!(pointer_to_pointer.is_ok());

    let struct_in_struct = witx::parse("(typename $a (struct (field $b (struct (field $c u8)))))");
    assert!(is_anonymous_struct_err(struct_in_struct));

    let union_in_struct = witx::parse(
        "(typename $tag (enum u8 $c)) (typename $a (struct (field $b (union $tag (field $c u8)))))",
    );
    assert!(is_anonymous_struct_err(union_in_struct));

    let pointer_in_struct = witx::parse("(typename $a (struct (field $b (@witx pointer u8))))");
    assert!(pointer_in_struct.is_ok())
}