core.Map<core.String, core.dynamic> toJson() => { if (finalState != null) 'finalState': finalState!, };