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

//! The generated fault arms shared by direct descriptor projections.

/// The shared name-refusal arm.
const NAME_REFUSAL: (&str, &[&str], &str) = (
    "Name",
    &["descriptor", "NameRefusal"],
    "A declared name was refused by the name vocabulary.",
);

/// Every fault arm emitted for a concurrency declaration.
pub(crate) const CONCURRENCY_FAULT_ARMS: [(&str, &[&str], &str); 3] = [
    NAME_REFUSAL,
    (
        "Bound",
        &["interleave", "ExplorationBoundRefusal"],
        "The declared bound was refused by its own guard.",
    ),
    (
        "Exploration",
        &["interleave", "ExplorationRefusal"],
        "The exploration itself refused to run.",
    ),
];

/// Every fault arm emitted for a network declaration.
pub(crate) const NETWORK_FAULT_ARMS: [(&str, &[&str], &str); 4] = [
    NAME_REFUSAL,
    (
        "Topology",
        &["network", "TopologyRefusal"],
        "The declared topology was refused by its own guard.",
    ),
    (
        "Span",
        &["network", "TickSpanRefusal"],
        "A declared delay span was refused by its own guard.",
    ),
    (
        "Schedule",
        &["network", "NetworkScheduleRefusal"],
        "A declared schedule was refused by its own guard.",
    ),
];