ShardSessionRecord constructor

ShardSessionRecord({
  1. ShardIndex? index,
  2. Timestamp? whenLastPicked,
  3. 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;
}