Struct Session 

pub struct Session { /* private fields */ }

Implementations

impl Session

pub fn new(executor: Box<dyn Executor>, store: Box<dyn Store>) -> Session

Build a session over an executor and a store, restoring any persisted macro history from the store.

pub fn seed_defs(&mut self, text: &str) -> Result<()>

Seed the macro table from a --defs file (validated first).

pub fn add_def(&mut self, line: &str) -> Result<()>

Add a def/macro line to the table (validated first). Unlike a query line, a definition is not run.

pub fn eval(&self, line: &str) -> Result<Vec<Cell>>

Evaluate a line against the standing arbor (&N). Pure — history is not touched (a failed line commits nothing).

pub fn eval_fresh(&self, line: &str) -> Result<Vec<Cell>>

Evaluate a line against a freshly re-materialized source — the &N! live reading, which sees current data.

pub fn commit(&mut self, line: &str, snapshot: Vec<Cell>) -> bool

Register an accepted line as &N and capture its output as the frozen footprint for &N#. Returns whether the line’s shape could be a macro body (so &N will resolve); either way the line number advances so labels track what the user saw.

pub fn frozen(&self, n: usize) -> Option<&Vec<Cell>>

The frozen output of line n, if captured — what a &N# recall replays.

pub fn record_frozen(&mut self, snapshot: Vec<Cell>)

Record a frozen-recall line: it takes the next number and keeps its own snapshot, but is not itself a referenceable macro body.

pub fn line_no(&self) -> usize

The &N a fresh line will claim.

pub fn history(&self) -> &str

The macro history text, for a :history command.

pub fn restore(&mut self, defs_text: String, line_no: usize)

Replace the macro history and line counter — restoring a persisted session (e.g. from the browser’s localStorage). Frozen snapshots are not restored; they regenerate on re-run.

pub fn reset(&mut self)

Clear the macro history and restart line numbering.