SessionLease class final
One ownership lease: who drives a session, since when, last seen when.
Constructors
-
SessionLease({required String host, required String sessionId, required int pid, required String bootId, required String heartbeatAt, required String acquiredAt, String? sessionName, List<
String> unknownFieldNotes = const []}) -
Parses strictness: fromJson throws FormatException on a missing
or mistyped required field (the sidecar is then treated as no lease
— E4 fail-open — by the store); unknown fields are tolerated and
reported in
unknownFieldNotes. -
SessionLease.fromJson(Map<
String, dynamic> json) -
factory
Properties
- acquiredAt → String
-
When the lease was taken (UTC ISO 8601; the banner's "since").
final
- bootId → String
-
Random per-process-start id: a recycled PID from a previous boot
never matches (E3).
final
- hashCode → int
-
The hash code for this object.
no setterinherited
- heartbeatAt → String
-
When the owner last proved liveness (UTC ISO 8601).
final
- host → String
-
The owning surface kind:
cli,macos,ios,extension.final - pid → int
-
The owning process id (diagnostics + banner).
final
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
- sessionId → String
-
The leased session id (the sidecar's key content — the file name is
derived from the session file, the identity from here).
final
- sessionName → String?
-
The session's display name, when known (banner friendliness).
final
-
unknownFieldNotes
→ List<
String> -
One note per JSON field the parser did not know (tolerated with a
note, never a refusal — older/newer writers interoperate).
final
Methods
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toJson(
) → Map< String, dynamic> -
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited