pub enum Event {
Started,
BuildingFull,
BuildSucceeded,
BuildFailed(String),
ClientConnected,
ClientDisconnected,
PatchBuilding,
PatchSent,
DeviceLog {
stream: String,
line: String,
ts_micros: u128,
},
}Expand description
Observable events that bubble out of the dev loop. whisker-cli uses
these to render terminal UI; an editor plugin would use them to
drive its own UX.
Variants§
Started
BuildingFull
BuildSucceeded
BuildFailed(String)
ClientConnected
ClientDisconnected
PatchBuilding
A Tier 1 hot patch build kicked off. Fires before the
Patcher::build_patch call so consumers (the cli TUI) can
flip into “patching” state while the patch is still being
compiled — without this paired event, PatchSent is the
only signal and arrives so close to its own completion that
any UI keying off it never shows a patch-in-flight indicator.
PatchSent
DeviceLog
A line captured from the device-side app’s stdout / stderr (via
the whisker-dev-runtime::log_capture dup2 hook), forwarded
over the WS connection. whisker-cli surfaces these in the
dev-loop UI so users don’t need a separate adb logcat /
simctl log stream terminal to read their own println!s.