Interface LauncherEvent

All Known Implementing Classes:

LauncherEvent.AgentUpdated, LauncherEvent.ClientExited, LauncherEvent.ClientStarted, LauncherEvent.ClientStateChanged, LauncherEvent.DataUpdateApplied, LauncherEvent.DataUpdateAvailable, LauncherEvent.EventsDropped, LauncherEvent.LicenceChanged, LauncherEvent.ServiceLost, LauncherEvent.ServiceRestored, LauncherEvent.ServiceShuttingDown

public sealed interface LauncherEvent
permits LauncherEvent.ClientStarted, LauncherEvent.ClientStateChanged, LauncherEvent.ClientExited, LauncherEvent.AgentUpdated, LauncherEvent.DataUpdateAvailable, LauncherEvent.DataUpdateApplied, LauncherEvent.LicenceChanged, LauncherEvent.ServiceShuttingDown, LauncherEvent.ServiceLost, LauncherEvent.ServiceRestored, LauncherEvent.EventsDropped

Something the launcher service reported, or a change in the host's link to it. Delivered through ClientLauncher.onEvent(java.util.function.Consumer).

The first eight mirror the service's events. The last three are the host's own: LauncherEvent.ServiceLost once per loss of the service, LauncherEvent.ServiceRestored when it is back (never for the first connection), and LauncherEvent.EventsDropped when events were missed. After either of the last two, call ClientLauncher.clients() to see where things stand: missed events are not replayed.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final record	LauncherEvent.AgentUpdated	The launcher has a new agent; clients injected before it are now stale.
static final record	LauncherEvent.ClientExited	A client's process exited.
static final record	LauncherEvent.ClientStarted	A client started: a launch reached its first record, or auto-restart replaced the process (then LaunchedClient.restartOf() is set).
static final record	LauncherEvent.ClientStateChanged	A client's launch moved on.
static enum	LauncherEvent.DataPhase	Where a data update is.
static final record	LauncherEvent.DataUpdateApplied	A data update was applied.
static final record	LauncherEvent.DataUpdateAvailable	The state of a data update changed.
static final record	LauncherEvent.EventsDropped	Events were missed: the service's sequence skipped, or this listener fell too far behind.
static enum	LauncherEvent.ExitReason	Why a client exited.
static final record	LauncherEvent.LicenceChanged	The licence link, or one client's licence, changed.
static final record	LauncherEvent.ServiceLost	The host lost the service.
static final record	LauncherEvent.ServiceRestored	The host has the service again after a LauncherEvent.ServiceLost.
static final record	LauncherEvent.ServiceShuttingDown	The service is shutting down.