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

// Copyright (c) ZeroC, Inc.

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

pub fn validate_struct(struct_def: &Struct, diagnostics: &mut Diagnostics) {
    validate_compact_struct_not_empty(struct_def, diagnostics);
    compact_structs_cannot_contain_tags(struct_def, diagnostics);
}
fn validate_compact_struct_not_empty(struct_def: &Struct, diagnostics: &mut Diagnostics) {
    // Compact structs must be non-empty.
    if struct_def.is_compact && struct_def.fields().is_empty() {
        Diagnostic::new(Error::CompactStructCannotBeEmpty)
            .set_span(struct_def.span())
            .push_into(diagnostics);
    }
}

/// Validate that tags cannot be used in compact structs.
fn compact_structs_cannot_contain_tags(struct_def: &Struct, diagnostics: &mut Diagnostics) {
    if struct_def.is_compact {
        for field in struct_def.fields() {
            if field.is_tagged() {
                Diagnostic::new(Error::CompactTypeCannotContainTaggedFields {
                    kind: struct_def.kind(),
                })
                .set_span(field.span())
                .add_note(
                    format!("struct '{}' is declared compact here", struct_def.identifier()),
                    Some(struct_def.span()),
                )
                .push_into(diagnostics);
            }
        }
    }
}