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
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90

#![doc = include_str!("README.md")]

use super::types::{
    PROJECTION_LIMIT, ProjectionStanding, RecipeCodec, RecipeError, RecipeIssue, RecipeParts,
    RecipeRelationParts, RecipeVocabularyParts,
};
use super::{
    EVIDENCE_LIMIT, EffectiveProjection, EvidenceTarget, HarnessPosture, LoweringSource,
    RELATION_TABLE_LIMIT, Recipe, RecipeEvidence, RecipeMember, RecipeRelationRequirements,
    RecipeRelationRow, RecipeRole, RelationTableProjection,
};
use crate::support::SupportName;
use crate::token::{
    AuthoredItemKind, CapturedDelimiter, CapturedInput, CapturedTokenTree, preserved_tree,
};

mod bake;
mod codec;
mod dispatch;
mod evidence;
mod module;
mod projection;
mod read;
mod relation;

use read::{fragment_refusal, grammar, identifier_token};

/// The private suffix that declares one recipe inside its authored module.
const BAKE: &str = "bake";

/// The mechanically read bake declaration before structural informing.
struct BakeRead {
    vocabularies: Vec<CapturedName>,
    relations: Vec<CapturedRelation>,
    transition_relation: Option<String>,
    codecs: Vec<RecipeCodec>,
    projections: [ProjectionStanding; PROJECTION_LIMIT],
    evidence: [Option<RecipeEvidence>; EVIDENCE_LIMIT],
    support: Option<SupportName>,
}

/// One mechanically read named relation before its endpoint references are informed.
#[derive(Clone)]
struct CapturedRelation {
    name: CapturedName,
    left: CapturedName,
    right: CapturedName,
    rows: Vec<RecipeRelationRow>,
    requirements: RecipeRelationRequirements,
}

/// One exact identifier read from recipe syntax before its structural role is informed.
#[derive(Clone)]
struct CapturedName {
    spelling: String,
    token: crate::token::GeneratedToken,
    at: crate::token::SpanHandle,
}

/// One requested role with its mechanical configuration.
#[derive(Clone)]
struct RequestedProjection {
    role: RecipeRole,
    name: Option<String>,
    subject: Option<String>,
    source: LoweringSource,
    exact: Option<CapturedInput>,
    dispatch_bindings: Option<[String; 2]>,
    relation_tables: Option<Vec<RequestedRelationTable>>,
    at: crate::token::SpanHandle,
}

/// One mechanically requested relation-table surface before its relation is informed.
#[derive(Clone)]
struct RequestedRelationTable {
    relation: String,
    function: Option<String>,
    source: LoweringSource,
    exact: Option<CapturedInput>,
    at: crate::token::SpanHandle,
}

/// One descriptor-native evidence role and its generated or target-unavailable standing.
#[derive(Clone)]
struct RequestedEvidence {
    role: RecipeRole,
    target: Option<String>,
    body: Option<CapturedInput>,
    at: crate::token::SpanHandle,
}