Struct Presentation 

pub struct Presentation {
    pub pin_accents: PinAccents,
    pub text_extents: TextExtents,
    pub routes: RouteGeometries,
    routes_stamp: Option<DocStamp>,
    previewed: HashSet<RouteId>,
    previewed_in: Option<BlockPath>,
}

Fields

pin_accents: PinAccents

text_extents: TextExtents

routes: RouteGeometries

A missing entry is a route that has not been reconstructed — nothing to draw or hit-test yet.

routes_stamp: Option<DocStamp>

The document value Self::routes was reconstructed from.

previewed: HashSet<RouteId>

Wires a preview drew geometry for that the document does not hold. The next borrow re-derives exactly these, and no others.

previewed_in: Option<BlockPath>

The scope those previews happened in, since taking them back means reconstructing them where they live.

Implementations

impl Presentation

pub(crate) fn keep_routes(&mut self, live: impl Fn(RouteId) -> bool)

Forget the geometry of every wire live does not hold: a deleted wire has none.

pub fn refresh_accents(&mut self, indexed: &IndexedDocument<'_>)

Bring the accent propagation up to date with the document behind indexed. Gated on the document’s stamp, so the once-per-borrow call sites stay cheap.

pub fn refresh_routes(&mut self, indexed: &IndexedDocument<'_>)

Rebuild every scope’s wire geometry from the authored waypoints behind indexed. Gated on the document’s stamp like Self::refresh_accents, so a borrow that changed nothing costs a comparison — and a commit that landed anywhere, local or foreign, re-derives the wires without anyone asking.

The stamp is claimed before the pass runs: the reconstruction builds its own scoped Drawings, whose constructor calls back in here.

fn take_previews_back(&mut self, indexed: &IndexedDocument<'_>)

Re-derive the wires a preview drew for, and only those. The document never moved — a preview supposes, it does not write — so every other wire is already showing what the document implies.

pub fn reconstruct_within( &mut self, indexed: &IndexedDocument<'_>, path: &BlockPath, disturbed: Rect, )

Bring the wires disturbed reaches up to date against indexed, and claim its stamp — what a commit does when it knows what it touched.

The gate in Self::refresh_routes is all-or-nothing: a moved stamp re-derives every wire in the document. That is right for an open, an undo or a commit from elsewhere, and wrong for a nudge, which knows the rectangle it disturbed and leaves 7,549 wires drawn exactly as they were.

Correctness rests on disturbed covering everything the commit wrote — the same superset rule the foreground is tested against (a_move_writes_nothing_outside_the_foreground).

pub fn scratch(&self, indexed: &IndexedDocument<'_>) -> Self

A throwaway presentation for a solve against a document that does not exist yet: the geometry the editor is showing, held as already reconstructed so the pass compares against what the user can see rather than re-deriving it. Measurement caches start empty — the solve reads neither.

pub fn routes_previewed( &mut self, routes: impl IntoIterator<Item = RouteId>, in_scope: &BlockPath, )

A preview drew geometry the document does not hold for these wires, so the next borrow must take it back. Previews never move the document, hence never its stamp — this is how an abandoned drag’s preview is undone.

Named wire by wire rather than by dropping the stamp: a drag previews a handful and blanking the stamp had the next borrow re-derive the whole document, every frame.

Trait Implementations

impl Default for Presentation

fn default() -> Presentation

Returns the “default value” for a type.