slicec 0.4.0

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

// 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::from_error(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::from_error(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);
            }
        }
    }
}