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

//! The lawful attribute declaration bodies shared by every compiler lane that drives the trial, mutation, and benchmark roads.

/// One lawful trial declaration body.
pub(crate) const TRIAL_BODY: &str = r#"
    support = greet_support,
    module = greet_trials,
    table = named("lane", "greet-table"),
    suite checks = named("lane", "unit") {
        greet_answers {
            claim = named("lane", "greet-answers"),
            subject = named("lane", "greet"),
            check = named("lane", "exact"),
            population = named("lane", "smalls"),
        },
    },
"#;

/// One lawful mutation declaration body.
pub(crate) const MUTATION_BODY: &str = r#"
    module = pressed,
    refusal = PressRefusal,
    support = press_support,
    family = named("lane", "refusals"),
    point = named("lane", "press-point"),
    fact = named("lane", "cause-order"),
    map named("lane", "cause-order") = named("lane", "order-held"),
    permit named("lane", "order-held") = ["declared-order-permutation"],
"#;

/// The item a mutation declaration sits on: three variants, so two adjacent transpositions exist.
pub(crate) const MUTATION_ITEM: &str = "pub enum Cause { First, Second, Third }";

/// One lawful bench declaration body.
pub(crate) const BENCH_BODY: &str = r#"
    support = pace_support,
    table_function = pace_table,
    table = named("lane", "pace-table"),
    reporter = pace_reporter,
    encode_pace {
        workload = named("lane", "encode"),
        preflight = named("lane", "encode-correct"),
        planted_worse = named("lane", "encode-worse"),
        complexity = named("lane", "linear"),
        axis = [2, 4, 8],
        samples = 16,
        warmups = 4,
        ratio_numerator = 3,
        ratio_denominator = 1,
        observe = [named("lane", "bytes-touched")],
    },
"#;