Map<String, dynamic> toJson() { final result = <String, dynamic>{ 'name': name, }; if (options.isNotEmpty) { result['options'] = options; } return result; }