Struct ProgramLowering 

pub struct ProgramLowering {
    pub program: Option<SpatialProgram>,
    pub statements: usize,
    pub lowered: usize,
    pub sections: usize,
    pub missing: Vec<MissingStage>,
    pub state: Vec<String>,
    pub carried: Vec<String>,
}

What the whole-program front end made of a source.

statements is every top-level statement the walk considered a tensor op — the recognized ones plus the ones no recognizer lifted. lowered is how many became sections. program is Some only when those two agree AND the composer joined the sections, so program.is_some() IS the honest verdict.

Fields

program: Option<SpatialProgram>

statements: usize

lowered: usize

sections: usize

missing: Vec<MissingStage>

state: Vec<String>

The state the walk found, by tensor name (first-appearance order) — every table a section updates in place.

carried: Vec<String>

The part of Self::state a step carries to the next: without the tables the step assembles whole (carried_state).

Implementations

impl ProgramLowering

pub fn whole(&self) -> Option<&SpatialProgram>

The composed program, or None when the lowering is partial — there is deliberately no way to reach a program without passing this check.

pub fn into_whole(self) -> Result<SpatialProgram, String>

Self::whole, by value: the composed program, or the Self::refusal a partial lowering earns.

pub fn refusal(&self) -> String

The refusal a partial lowering earns: the fraction, then what is missing, by name.

Trait Implementations

impl Clone for ProgramLowering

fn clone(&self) -> ProgramLowering

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProgramLowering

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

Formats the value using the given formatter.