RobotPartHistoryEntry constructor
RobotPartHistoryEntry({
- String? part,
- String? robot,
- Timestamp? when,
- RobotPart? old,
- AuthenticatorInfo? editedBy,
Implementation
factory RobotPartHistoryEntry({
$core.String? part,
$core.String? robot,
$44.Timestamp? when,
RobotPart? old,
AuthenticatorInfo? editedBy,
}) {
final $result = create();
if (part != null) {
$result.part = part;
}
if (robot != null) {
$result.robot = robot;
}
if (when != null) {
$result.when = when;
}
if (old != null) {
$result.old = old;
}
if (editedBy != null) {
$result.editedBy = editedBy;
}
return $result;
}