omena-semantic 0.1.2

Semantic boundary crate for Omena style analysis
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

use engine_style_parser::ParserLosslessCstFactsV0;
use serde::Serialize;

#[derive(Debug, Clone, PartialEq, Eq, Serialize)]
#[serde(rename_all = "camelCase")]
pub struct LosslessCstContractV0 {
    pub schema_version: &'static str,
    pub product: &'static str,
    pub source_byte_len: usize,
    pub token_count: usize,
    pub root_node_count: usize,
    pub diagnostic_count: usize,
    pub span_invariants: LosslessCstSpanInvariantsV0,
    pub consumer_readiness: LosslessCstConsumerReadinessV0,
}

#[derive(Debug, Clone, PartialEq, Eq, Serialize)]
#[serde(rename_all = "camelCase")]
pub struct LosslessCstSpanInvariantsV0 {
    pub token_spans_within_source: bool,
    pub node_spans_within_source: bool,
    pub byte_span_contract_ready: bool,
}

#[derive(Debug, Clone, PartialEq, Eq, Serialize)]
#[serde(rename_all = "camelCase")]
pub struct LosslessCstConsumerReadinessV0 {
    pub precise_rename_base_ready: bool,
    pub formatter_base_ready: bool,
    pub recovery_diagnostics_observed: bool,
}

pub fn summarize_lossless_cst_contract(facts: &ParserLosslessCstFactsV0) -> LosslessCstContractV0 {
    let byte_span_contract_ready =
        facts.all_token_spans_within_source && facts.all_node_spans_within_source;

    LosslessCstContractV0 {
        schema_version: "0",
        product: "omena-semantic.lossless-cst-contract",
        source_byte_len: facts.source_byte_len,
        token_count: facts.token_count,
        root_node_count: facts.root_node_count,
        diagnostic_count: facts.diagnostic_count,
        span_invariants: LosslessCstSpanInvariantsV0 {
            token_spans_within_source: facts.all_token_spans_within_source,
            node_spans_within_source: facts.all_node_spans_within_source,
            byte_span_contract_ready,
        },
        consumer_readiness: LosslessCstConsumerReadinessV0 {
            precise_rename_base_ready: byte_span_contract_ready,
            formatter_base_ready: byte_span_contract_ready,
            recovery_diagnostics_observed: facts.diagnostic_count > 0,
        },
    }
}