Struct IrFileStore 

pub struct IrFileStore {
    pub name: String,
    pub root: String,
    pub read_globs: Vec<String>,
    pub write_globs: Vec<String>,
    pub provider: Option<String>,
}

A lowered file store declaration (std.files): the store identity + its literal local root directory, consumed by the runtime file provider.

Fields

name: String

root: String

read_globs: Vec<String>

Path globs (relative to root) a read may touch; empty = any path inside the root (mounting the root is the read consent). Enforced at runtime in addition to root-containment.

write_globs: Vec<String>

Path globs a write may touch. S4: stores are READ-ONLY by default — empty means writes are DENIED (checked at compile time and enforced fail-closed at runtime); declaring allow write [...] permits and bounds them.

provider: Option<String>

Declared provider <name> clause; None = the default local provider (spec/std-files.md “Providers”). Serialized to the snapshot only when declared, so provider-less stores keep their prior .ir.

Trait Implementations

impl Clone for IrFileStore

fn clone(&self) -> IrFileStore

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IrFileStore

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

Formats the value using the given formatter.

impl Eq for IrFileStore

impl PartialEq for IrFileStore

fn eq(&self, other: &IrFileStore) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for IrFileStore