Struct DocumentDefinition 

pub struct DocumentDefinition {
    pub name: String,
    pub payload: String,
    pub shield_ref: String,
    pub target: String,
    pub template: String,
    pub provenance: String,
    pub effects: Option<EffectRow>,
    pub blocks: Vec<DocBlock>,
    pub loc: Loc,
    pub leading_trivia: Vec<Trivia>,
    pub trailing_trivia: Vec<Trivia>,
}

v2.53.0 — a declarative document. target: picks the serializer (docx|pptx|xlsx); provenance: picks how the provenance part is emitted (none|embedded|signed); template: names an enterprise template; effects: carries the propagated sensitive:/legal: basis. blocks is the body — a closed-catalog tree of DocBlocks whose vocabulary the checker validates against target (a slide in a docx is axon-T9xx, the design decision).

Fields

name: String

payload: String

v4.4.0 — payload: <Type>: the DECLARED TYPE this document renders. κ is read from it: a regulated type reaching a document needs a shield: covering its classes.

Empty when the declaration names no payload, which stays legal: the rule bites on a payload that CARRIES a class, not on its absence.

shield_ref: String

v4.4.0 — the shield that covers the payload’s κ (axon-T1222).

target: String

docx | pptx | xlsx — closed catalog (axon-T910).

template: String

Optional enterprise template reference (.dotx/.potx/.xltx, v2.53.0).

provenance: String

none | embedded | signed — how the provenance part is emitted . Empty ⇒ none. Closed catalog (axon-T911).

effects: Option<EffectRow>

The propagated effect row — io, storage (blob sink), and any sensitive:<cat>/legal:<basis> the bound data carries.

blocks: Vec<DocBlock>

The document body — the closed-catalog block tree.

loc: Loc

leading_trivia: Vec<Trivia>

trailing_trivia: Vec<Trivia>

Trait Implementations

impl Debug for DocumentDefinition

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Default for DocumentDefinition

fn default() -> DocumentDefinition

Returns the “default value” for a type.