pub struct RuntimeInput { /* private fields */ }Expand description
Runtime input admitted after validation.
Runtime input is a separate byte domain from program source. It may contain
ASCII whitespace, control bytes, and reserved syntax bytes, but it cannot
contain non-ASCII bytes. This value owns validated bytes only; execution
budgets are admitted later by RunSeed. Reusing equivalent bytes for
another run means validating another RuntimeInputSource, not cloning a
previously admitted execution state.
Implementations§
Source§impl RuntimeInput
impl RuntimeInput
Sourcepub fn validate(
input: RuntimeInputSource<'_>,
limits: RuntimeInputLimits,
) -> Result<Self, RuntimeInputError>
pub fn validate( input: RuntimeInputSource<'_>, limits: RuntimeInputLimits, ) -> Result<Self, RuntimeInputError>
Validates a runtime input source for one run.
Runtime input accepts all ASCII bytes, including bytes that would be
reserved syntax in program source. Non-ASCII bytes are rejected with a
structured input column before execution starts. Owned storage is
reserved only after the full validation pass succeeds, so
RuntimeInputLimits bounds raw input classification before allocation
grows runtime-domain bytes.
§Errors
Returns RuntimeInputError if the input exceeds limits, if any input byte
is non-ASCII, if its one-based column cannot be represented, or if owned
storage cannot be allocated.
Sourcepub fn byte_count(&self) -> RuntimeInputByteCount
pub fn byte_count(&self) -> RuntimeInputByteCount
Runtime input length in bytes.
Trait Implementations§
Source§impl Debug for RuntimeInput
impl Debug for RuntimeInput
Source§impl PartialEq for RuntimeInput
impl PartialEq for RuntimeInput
Source§fn eq(&self, other: &RuntimeInput) -> bool
fn eq(&self, other: &RuntimeInput) -> bool
self and other values to be equal, and is used by ==.