Enum BlockItemKind 

pub enum BlockItemKind {
    Clause {
        keyword: String,
        value: Expr,
    },
    Assignment {
        name: Ident,
        value: Expr,
    },
    ParamAssignment {
        name: Ident,
        params: Vec<Ident>,
        value: Expr,
    },
    Let {
        name: Ident,
        value: Expr,
    },
    EnumVariant {
        name: Ident,
        backtick_quoted: bool,
    },
    ForBlock {
        binding: ForBinding,
        collection: Expr,
        filter: Option<Expr>,
        items: Vec<BlockItem>,
    },
    IfBlock {
        branches: Vec<CondBlockBranch>,
        else_items: Option<Vec<BlockItem>>,
    },
    PathAssignment {
        path: Expr,
        value: Expr,
    },
    OpenQuestion {
        text: StringLiteral,
    },
    ContractsClause {
        entries: Vec<ContractBinding>,
    },
    Annotation(Annotation),
    InvariantBlock {
        name: Ident,
        body: Expr,
    },
    TransitionsBlock(TransitionGraph),
    FieldWithWhen {
        name: Ident,
        value: Expr,
        when_clause: WhenClause,
    },
}

Variants

Clause

keyword: value — when:, requires:, ensures:, facing:, etc.

Fields

keyword: String

value: Expr

Assignment

name: value — field, relationship, projection, derived value.

Fields

name: Ident

value: Expr

ParamAssignment

name(params): value — parameterised derived value.

Fields

name: Ident

params: Vec<Ident>

value: Expr

Let

let name = value

Fields

name: Ident

value: Expr

EnumVariant

Bare name inside an enum body — pending, shipped, `de-CH-1996`, etc.

Fields

name: Ident

backtick_quoted: bool

ForBlock

for binding in collection [where filter]: ... at block level (rule iteration)

Fields

binding: ForBinding

collection: Expr

filter: Option<Expr>

items: Vec<BlockItem>

IfBlock

if condition: ... else if ...: ... else: ... at block level

Fields

branches: Vec<CondBlockBranch>

else_items: Option<Vec<BlockItem>>

PathAssignment

Shard.shard_cache: value — dot-path reverse relationship

Fields

path: Expr

value: Expr

OpenQuestion

open question "text" (nested within a block)

Fields

text: StringLiteral

ContractsClause

contracts: clause in a surface body

Fields

entries: Vec<ContractBinding>

Annotation(Annotation)

@invariant, @guidance, @guarantee prose annotation

InvariantBlock

invariant Name { expr } inside an entity/value block

Fields

name: Ident

body: Expr

TransitionsBlock(TransitionGraph)

transitions field { ... } — transition graph declaration inside an entity

FieldWithWhen

name: Type when status_field = state1 | state2 — field with lifecycle-dependent presence

Fields

name: Ident

value: Expr

when_clause: WhenClause

Trait Implementations

impl Clone for BlockItemKind

fn clone(&self) -> BlockItemKind

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for BlockItemKind

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

Formats the value using the given formatter.

impl Serialize for BlockItemKind

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.