@graphty/graphty-element / session / RunChange

Interface: RunChange

Defined in: graphty-element/src/session/runs/types.ts:125

What a run notification carries.

The record rather than the run: this crosses a DOM event and a worker boundary, where a live object with a cancel() on it cannot go. A consumer that wants to cancel looks the run up by record.id.

Properties

cause

readonly cause: "restore" | "command" | "undo" | "redo" | "rollback"

Defined in: graphty-element/src/session/runs/types.ts:131

What moved it: a command for the run's own life, or an undo, a redo or a restore.

---

generation

readonly generation: number

Defined in: graphty-element/src/session/runs/types.ts:136

How many times this run id has been executed, so a watcher keyed on the id can tell an old execution's end from a new one's.

---

phase

readonly phase: "progress" | "start" | "end" | "removed" | "queued" | "restored"

Defined in: graphty-element/src/session/runs/types.ts:129

Which moment this is.

---

run

readonly run: RunRecord

Defined in: graphty-element/src/session/runs/types.ts:127

The run, as a frozen snapshot.