slicec 0.3.2

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
110
111
112

// Copyright (c) ZeroC, Inc.

mod structs {

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

    /// Verifies that structs can contain fields.
    #[test]
    fn can_contain_fields() {
        // Arrange
        let slice = "
            module Test

            struct S {
                i: int32
                s: string
                b: bool
            }
        ";

        // Act
        let ast = parse_for_ast(slice);

        // Assert
        let fields = ast.find_element::<Struct>("Test::S").unwrap().fields();

        assert_eq!(fields.len(), 3);
        assert_eq!(fields[0].identifier(), "i");
        assert_eq!(fields[1].identifier(), "s");
        assert_eq!(fields[2].identifier(), "b");
        assert!(matches!(
            fields[0].data_type.concrete_type(),
            Types::Primitive(Primitive::Int32),
        ));
        assert!(matches!(
            fields[1].data_type.concrete_type(),
            Types::Primitive(Primitive::String),
        ));
        assert!(matches!(
            fields[2].data_type.concrete_type(),
            Types::Primitive(Primitive::Bool),
        ));
    }

    /// Verifies that structs can be empty
    #[test]
    fn can_be_empty() {
        // Arrange
        let slice = "
            module Test

            struct S {}
        ";

        // Act
        let ast = parse_for_ast(slice);

        // Assert
        let fields = ast.find_element::<Struct>("Test::S").unwrap().fields();
        assert_eq!(fields.len(), 0);
    }

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

            struct S {
                a: int32
                a: string
            }
        ";

        // Act
        let diagnostics = parse_for_diagnostics(slice);

        // Assert
        let expected = Diagnostic::new(Error::Redefinition {
            identifier: "a".to_owned(),
        })
        .add_note("'a' was previously defined here", None);

        check_diagnostics(diagnostics, [expected]);
    }
}

mod compact_structs {

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

    /// Verifies that compact structs must contain at least one field.
    #[test]
    fn must_not_be_empty() {
        // Arrange
        let slice = "
            module Test

            compact struct S {}
        ";

        // Act
        let diagnostics = parse_for_diagnostics(slice);

        // Assert
        let expected = Diagnostic::new(Error::CompactStructCannotBeEmpty);
        check_diagnostics(diagnostics, [expected]);
    }
}