slicec 0.3.3

The Slice parser and other core components for Slice compilers.
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

// Copyright (c) ZeroC, Inc.

mod test_helpers;

mod results {

    use crate::test_helpers::*;
    use slicec::diagnostics::{Diagnostic, Error};
    use slicec::grammar::*;
    use slicec::slice_file::Span;

    #[test]
    fn are_parsed_correctly() {
        // Arrange
        let slice = "
            module Test
            interface I {
                op() -> Result<Sequence<uint8>, Error>
            }

            unchecked enum Error {}
        ";

        // Act
        let ast = parse_for_ast(slice);

        // Assert
        let operation = ast.find_element::<Operation>("Test::I::op").unwrap();
        let returns = operation.return_members();

        assert_eq!(returns.len(), 1);
        let return_type = returns[0].data_type();
        assert_eq!(
            *return_type.span(),
            Span::new((4, 25).into(), (4, 55).into(), "string-0"),
        );

        let Types::ResultType(result_type) = return_type.concrete_type() else { panic!() };

        assert_eq!(result_type.success_type.type_string(), "Sequence<uint8>");
        assert_eq!(
            *result_type.success_type.span(),
            Span::new((4, 32).into(), (4, 47).into(), "string-0"),
        );

        assert_eq!(result_type.failure_type.type_string(), "Error");
        assert_eq!(
            *result_type.failure_type.span(),
            Span::new((4, 49).into(), (4, 54).into(), "string-0"),
        );
    }

    #[test]
    fn can_be_nested() {
        // Arrange
        let slice = "
            module Test
            interface I {
                op() -> Result<Result<bool, string>, string>
            }
        ";

        // Act
        let ast = parse_for_ast(slice);

        // Assert
        let operation = ast.find_element::<Operation>("Test::I::op").unwrap();
        let returns = operation.return_members();
        assert_eq!(returns.len(), 1);
        let Types::ResultType(result_type) = returns[0].data_type().concrete_type() else { panic!() };

        let Types::ResultType(inner_result_type) = result_type.success_type.concrete_type() else { panic!() };
        assert!(matches!(
            result_type.failure_type.concrete_type(),
            Types::Primitive(Primitive::String),
        ));

        assert!(matches!(
            inner_result_type.success_type.concrete_type(),
            Types::Primitive(Primitive::Bool),
        ));
        assert!(matches!(
            inner_result_type.failure_type.concrete_type(),
            Types::Primitive(Primitive::String),
        ));
    }

    #[test]
    fn are_disallowed_in_slice1_mode() {
        // Arrange
        let slice = "
            mode = Slice1
            module Test

            typealias R = Result<string, bool>
        ";

        // Act
        let diagnostics = parse_for_diagnostics(slice);

        // Assert
        let expected = Diagnostic::new(Error::UnsupportedType {
            kind: "Result<string, bool>".to_owned(),
            mode: Encoding::Slice1,
        })
        .add_note("'Result' can only be used in Slice2 mode", None);
        check_diagnostics(diagnostics, [expected]);
    }
}