Stateflow Observatory

Current state: Loading

Transitions: 0

Ignored: 0

Coverage: 0 / 14

Playback: paused

Request diagnostics

Request diagnostics state graphSelect a state to highlight related events. Tab reaches states and transitions; Enter or Space selects. Each transition is labelled with the message that fires it.Loading → Cancelling on ClickedReload (unguarded), taken 0 timesClickedReloadLoading → Cancelling on Navigated (when #0), taken 0 timesNavigatedLoading → Ready on LoadedMetrics (unguarded), taken 0 timesLoadedMetricsLoading → Failed on FailedLoad (unguarded), taken 0 timesFailedLoadReady → Cancelling on ClickedReload (unguarded), taken 0 timesClickedReloadReady → Selecting on StartedSelection (unguarded), taken 0 timesStartedSelectionReady → Filtered on ChangedSelection (when #0), taken 0 timesChangedSelectionSelecting → Filtered on ChangedSelection (when #0), taken 0 timesChangedSelectionSelecting → Ready on ClearedSelection (unguarded), taken 0 timesClearedSelectionFiltered → Ready on ClearedSelection (unguarded), taken 0 timesClearedSelectionFiltered → Cancelling on ClickedReload (unguarded), taken 0 timesClickedReloadFailed → Cancelling on ClickedReload (unguarded), taken 0 timesClickedReloadCancelling → Loading on CompletedCancelFetchMetrics (when #0), taken 0 timesCompletedCancelFetchMetricsCancelling → Idle on CompletedCancelFetchMetrics (otherwise #1), taken 0 timesCompletedCancelFetchMetricsIdlenormalLoadingactiveCancellingtransientReadynormalSelectingnormalFilterednormalFailederror state
  • Active / latest
  • Taken (fades with age)
  • Guarded route
  • Failure state
  • ↩ ignored messages

Event inspector

Select an event to inspect its recorded facts.

Swimlane

Each event as an arrow between state lanes, the Commands it started on the right. Pick one to replay to it.

LoadingReadyFailedSelectingFilteredCancellingIdle01 LoadedMetrics02 StartedSelection03 ChangedSelection04 ClearedSelection05 ClickedReload⇒ FetchMetrics.Interrupt06 CompletedCancelFetchMetrics⇒ FetchMetrics07 Navigated⇒ FetchMetrics.Interrupt08 CompletedCancelFetchMetrics

Coverage

0 of 14 transitions taken in this trace · 14 reachable from the examples · 0 dead

Copy test writes a Vitest case: the shortest run of the machine’s named examples that takes the edge, from its initial state.

  • ○Loading → Cancelling on ClickedReload
  • ○Loading → Cancelling on Navigated (when #0)
  • ○Loading → Ready on LoadedMetrics
  • ○Loading → Failed on FailedLoad
  • ○Ready → Cancelling on ClickedReload
  • ○Ready → Selecting on StartedSelection
  • ○Ready → Filtered on ChangedSelection (when #0)
  • ○Selecting → Filtered on ChangedSelection (when #0)
  • ○Selecting → Ready on ClearedSelection
  • ○Filtered → Ready on ClearedSelection
  • ○Filtered → Cancelling on ClickedReload
  • ○Failed → Cancelling on ClickedReload
  • ○Cancelling → Loading on CompletedCancelFetchMetrics (when #0)
  • ○Cancelling → Idle on CompletedCancelFetchMetrics (otherwise #1)

Recorded events

Select a state to highlight related events.

SequenceEventFromOutcomeTargetReasonCommands

No events replayed yet. Step, play or scrub the session.