macroonz-compiler 0.2.0

Deterministic Rust code generation for procedural macros: plan, render, close, explain, and bind one sealed expansion from declared input.
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

//! Authored-item diagnostics retain independently specified family names, refusal wording, and source-site attribution.

use core::error::Error;
use macroonz_compiler::{AuthoredItemKind, AuthoredItemReadIssue, TextCapture};

/// Public structural families render as their documented Rust item names.
#[test]
fn structural_family_names_are_not_debug_variant_spellings() {
    for (kind, expected) in [
        (AuthoredItemKind::Module, "module"),
        (AuthoredItemKind::Structure, "structure"),
        (AuthoredItemKind::Enumeration, "enumeration"),
        (AuthoredItemKind::Union, "union"),
        (AuthoredItemKind::Trait, "trait"),
        (AuthoredItemKind::Function, "function"),
        (AuthoredItemKind::Implementation, "implementation"),
        (AuthoredItemKind::TypeAlias, "type alias"),
        (AuthoredItemKind::Constant, "constant"),
        (AuthoredItemKind::Static, "static"),
        (AuthoredItemKind::Use, "use item"),
        (AuthoredItemKind::ExternalCrate, "external-crate item"),
    ] {
        assert_eq!(kind.to_string(), expected);
    }
}

/// Malformed source supplies each reachable refusal and distinguishes absent from available source positions.
#[test]
fn item_refusals_preserve_their_sentence_and_source_boundary() -> Result<(), ()> {
    for (source, expected) in [
        (
            "",
            "the declared item boundary carries no token at the declaration boundary",
        ),
        (
            "pub mystery;",
            "the declared item boundary carries no supported structural item-family keyword at captured span 1",
        ),
        (
            "pub struct ;",
            "the declared structure carries no identifier in its name seat at captured span 2",
        ),
        (
            "pub fn read()",
            "the declared function boundary ends without a braced body or semicolon at captured span 3",
        ),
    ] {
        let capture = TextCapture::read(source).map_err(|_| ())?;
        let refusal = capture.input().authored_item().err().ok_or(())?;
        assert_eq!(refusal.to_string(), expected);
        assert!(refusal.source().is_none());
    }
    // The issue is public; this observes its rendering without manufacturing a private refused lens.
    assert_eq!(
        AuthoredItemReadIssue::LensRangeContradiction.to_string(),
        "an authored-item structural coordinate does not belong to its captured boundary"
    );
    Ok(())
}