Struct ExprStub 

pub struct ExprStub { /* private fields */ }

A caller-native expression stub: a named binding over a polydat expression, optionally type-coerced (via the SRD-84 Part 1b as cast) and volatile.

Implementations

impl ExprStub

pub fn new(name: impl Into<String>, expr: Expr) -> Self

Build a stub from an already-constructed expression.

pub fn parse(name: impl Into<String>, source: &str) -> Result<Self, String>

Build a stub by parsing a single expression from source — the boundary parse for user-authored predicate text. Thereafter the stub is grammar-safe (it flows as AST, never re-rendered to a string).

pub fn returning<T: Wire>(self) -> Self

Coerce the stub’s value to T’s polydat type via the SRD-84 Part 1b as <type> cast — alignment-only, a no-op when the expression is already T::PORT. The Rust generic is the polydat target type.

pub fn volatile(self) -> Self

Mark the binding volatile — re-evaluated on every pull (e.g. a stop-condition predicate evaluated per trigger).

pub fn into_statement(self) -> Statement

The binding statement this stub becomes — drop it into a BodyFragment::Statements and the kernel builder consumes it directly, no re-parse.