ShardSessionRecord constructor
ShardSessionRecord({
- ShardIndex? index,
- Timestamp? whenLastPicked,
- WorkerId? worker,
Implementation
factory ShardSessionRecord({
ShardIndex? index,
$4.Timestamp? whenLastPicked,
WorkerId? worker,
}) {
final _result = create();
if (index != null) {
_result.index = index;
}
if (whenLastPicked != null) {
_result.whenLastPicked = whenLastPicked;
}
if (worker != null) {
_result.worker = worker;
}
return _result;
}