| 1 | // GENERATED CODE - DO NOT MODIFY BY HAND |
| 2 | |
| 3 | part of 'create_flight_booking_dto.dart'; |
| 4 | |
| 5 | // ************************************************************************** |
| 6 | // BuiltValueGenerator |
| 7 | // ************************************************************************** |
| 8 | |
| 9 | const CreateFlightBookingDTOSeatTypeEnum |
| 10 | _$createFlightBookingDTOSeatTypeEnum_window = |
| 11 | const CreateFlightBookingDTOSeatTypeEnum._('window' |
| 12 | const CreateFlightBookingDTOSeatTypeEnum |
| 13 | _$createFlightBookingDTOSeatTypeEnum_middle = |
| 14 | const CreateFlightBookingDTOSeatTypeEnum._('middle' |
| 15 | const CreateFlightBookingDTOSeatTypeEnum |
| 16 | _$createFlightBookingDTOSeatTypeEnum_aisle = |
| 17 | const CreateFlightBookingDTOSeatTypeEnum._('aisle' |
| 18 | const CreateFlightBookingDTOSeatTypeEnum |
| 19 | _$createFlightBookingDTOSeatTypeEnum_jumpseat = |
| 20 | const CreateFlightBookingDTOSeatTypeEnum._('jumpseat' |
| 21 | const CreateFlightBookingDTOSeatTypeEnum |
| 22 | _$createFlightBookingDTOSeatTypeEnum_captain = |
| 23 | const CreateFlightBookingDTOSeatTypeEnum._('captain' |
| 24 | const CreateFlightBookingDTOSeatTypeEnum |
| 25 | _$createFlightBookingDTOSeatTypeEnum_pilot = |
| 26 | const CreateFlightBookingDTOSeatTypeEnum._('pilot' |
| 27 | const CreateFlightBookingDTOSeatTypeEnum |
| 28 | _$createFlightBookingDTOSeatTypeEnum_copilot = |
| 29 | const CreateFlightBookingDTOSeatTypeEnum._('copilot' |
| 30 | const CreateFlightBookingDTOSeatTypeEnum |
| 31 | _$createFlightBookingDTOSeatTypeEnum_flightEngineer = |
| 32 | const CreateFlightBookingDTOSeatTypeEnum._('flightEngineer' |
| 33 | const CreateFlightBookingDTOSeatTypeEnum |
| 34 | _$createFlightBookingDTOSeatTypeEnum_flightAttendant = |
| 35 | const CreateFlightBookingDTOSeatTypeEnum._('flightAttendant' |
| 36 | const CreateFlightBookingDTOSeatTypeEnum |
| 37 | _$createFlightBookingDTOSeatTypeEnum_observer = |
| 38 | const CreateFlightBookingDTOSeatTypeEnum._('observer' |
| 39 | const CreateFlightBookingDTOSeatTypeEnum |
| 40 | _$createFlightBookingDTOSeatTypeEnum_other = |
| 41 | const CreateFlightBookingDTOSeatTypeEnum._('other' |
| 42 | |
| 43 | CreateFlightBookingDTOSeatTypeEnum _$createFlightBookingDTOSeatTypeEnumValueOf( |
| 44 | String name) { |
| 45 | switch (name) { |
| 46 | case 'window': |
| 47 | return _$createFlightBookingDTOSeatTypeEnum_window; |
| 48 | case 'middle': |
| 49 | return _$createFlightBookingDTOSeatTypeEnum_middle; |
| 50 | case 'aisle': |
| 51 | return _$createFlightBookingDTOSeatTypeEnum_aisle; |
| 52 | case 'jumpseat': |
| 53 | return _$createFlightBookingDTOSeatTypeEnum_jumpseat; |
| 54 | case 'captain': |
| 55 | return _$createFlightBookingDTOSeatTypeEnum_captain; |
| 56 | case 'pilot': |
| 57 | return _$createFlightBookingDTOSeatTypeEnum_pilot; |
| 58 | case 'copilot': |
| 59 | return _$createFlightBookingDTOSeatTypeEnum_copilot; |
| 60 | case 'flightEngineer': |
| 61 | return _$createFlightBookingDTOSeatTypeEnum_flightEngineer; |
| 62 | case 'flightAttendant': |
| 63 | return _$createFlightBookingDTOSeatTypeEnum_flightAttendant; |
| 64 | case 'observer': |
| 65 | return _$createFlightBookingDTOSeatTypeEnum_observer; |
| 66 | case 'other': |
| 67 | return _$createFlightBookingDTOSeatTypeEnum_other; |
| 68 | default: |
| 69 | throw ArgumentError(name); |
| 70 | } |
| 71 | } |
| 72 | |
| 73 | final BuiltSet<CreateFlightBookingDTOSeatTypeEnum |
| 74 | _$createFlightBookingDTOSeatTypeEnumValues = BuiltSet< |
| 75 | CreateFlightBookingDTOSeatTypeEnum>(const <CreateFlightBookingDTOSeatTypeEnum |
| 76 | _$createFlightBookingDTOSeatTypeEnum_window, |
| 77 | _$createFlightBookingDTOSeatTypeEnum_middle, |
| 78 | _$createFlightBookingDTOSeatTypeEnum_aisle, |
| 79 | _$createFlightBookingDTOSeatTypeEnum_jumpseat, |
| 80 | _$createFlightBookingDTOSeatTypeEnum_captain, |
| 81 | _$createFlightBookingDTOSeatTypeEnum_pilot, |
| 82 | _$createFlightBookingDTOSeatTypeEnum_copilot, |
| 83 | _$createFlightBookingDTOSeatTypeEnum_flightEngineer, |
| 84 | _$createFlightBookingDTOSeatTypeEnum_flightAttendant, |
| 85 | _$createFlightBookingDTOSeatTypeEnum_observer, |
| 86 | _$createFlightBookingDTOSeatTypeEnum_other, |
| 87 | ]); |
| 88 | |
| 89 | const CreateFlightBookingDTOSeatingClassEnum |
| 90 | _$createFlightBookingDTOSeatingClassEnum_economy = |
| 91 | const CreateFlightBookingDTOSeatingClassEnum._('economy' |
| 92 | const CreateFlightBookingDTOSeatingClassEnum |
| 93 | _$createFlightBookingDTOSeatingClassEnum_premiumEconomy = |
| 94 | const CreateFlightBookingDTOSeatingClassEnum._('premiumEconomy' |
| 95 | const CreateFlightBookingDTOSeatingClassEnum |
| 96 | _$createFlightBookingDTOSeatingClassEnum_business = |
| 97 | const CreateFlightBookingDTOSeatingClassEnum._('business' |
| 98 | const CreateFlightBookingDTOSeatingClassEnum |
| 99 | _$createFlightBookingDTOSeatingClassEnum_first = |
| 100 | const CreateFlightBookingDTOSeatingClassEnum._('first' |
| 101 | const CreateFlightBookingDTOSeatingClassEnum |
| 102 | _$createFlightBookingDTOSeatingClassEnum_private = |
| 103 | const CreateFlightBookingDTOSeatingClassEnum._('private' |
| 104 | const CreateFlightBookingDTOSeatingClassEnum |
| 105 | _$createFlightBookingDTOSeatingClassEnum_other = |
| 106 | const CreateFlightBookingDTOSeatingClassEnum._('other' |
| 107 | |
| 108 | CreateFlightBookingDTOSeatingClassEnum |
| 109 | _$createFlightBookingDTOSeatingClassEnumValueOf(String name) { |
| 110 | switch (name) { |
| 111 | case 'economy': |
| 112 | return _$createFlightBookingDTOSeatingClassEnum_economy; |
| 113 | case 'premiumEconomy': |
| 114 | return _$createFlightBookingDTOSeatingClassEnum_premiumEconomy; |
| 115 | case 'business': |
| 116 | return _$createFlightBookingDTOSeatingClassEnum_business; |
| 117 | case 'first': |
| 118 | return _$createFlightBookingDTOSeatingClassEnum_first; |
| 119 | case 'private': |
| 120 | return _$createFlightBookingDTOSeatingClassEnum_private; |
| 121 | case 'other': |
| 122 | return _$createFlightBookingDTOSeatingClassEnum_other; |
| 123 | default: |
| 124 | throw ArgumentError(name); |
| 125 | } |
| 126 | } |
| 127 | |
| 128 | final BuiltSet<CreateFlightBookingDTOSeatingClassEnum |
| 129 | _$createFlightBookingDTOSeatingClassEnumValues = BuiltSet< |
| 130 | CreateFlightBookingDTOSeatingClassEnum>(const <CreateFlightBookingDTOSeatingClassEnum |
| 131 | _$createFlightBookingDTOSeatingClassEnum_economy, |
| 132 | _$createFlightBookingDTOSeatingClassEnum_premiumEconomy, |
| 133 | _$createFlightBookingDTOSeatingClassEnum_business, |
| 134 | _$createFlightBookingDTOSeatingClassEnum_first, |
| 135 | _$createFlightBookingDTOSeatingClassEnum_private, |
| 136 | _$createFlightBookingDTOSeatingClassEnum_other, |
| 137 | ]); |
| 138 | |
| 139 | const CreateFlightBookingDTOReasonEnum |
| 140 | _$createFlightBookingDTOReasonEnum_personal = |
| 141 | const CreateFlightBookingDTOReasonEnum._('personal' |
| 142 | const CreateFlightBookingDTOReasonEnum |
| 143 | _$createFlightBookingDTOReasonEnum_business = |
| 144 | const CreateFlightBookingDTOReasonEnum._('business' |
| 145 | const CreateFlightBookingDTOReasonEnum _$createFlightBookingDTOReasonEnum_crew = |
| 146 | const CreateFlightBookingDTOReasonEnum._('crew' |
| 147 | const CreateFlightBookingDTOReasonEnum |
| 148 | _$createFlightBookingDTOReasonEnum_training = |
| 149 | const CreateFlightBookingDTOReasonEnum._('training' |
| 150 | const CreateFlightBookingDTOReasonEnum |
| 151 | _$createFlightBookingDTOReasonEnum_repositioning = |
| 152 | const CreateFlightBookingDTOReasonEnum._('repositioning' |
| 153 | const CreateFlightBookingDTOReasonEnum |
| 154 | _$createFlightBookingDTOReasonEnum_other = |
| 155 | const CreateFlightBookingDTOReasonEnum._('other' |
| 156 | |
| 157 | CreateFlightBookingDTOReasonEnum _$createFlightBookingDTOReasonEnumValueOf( |
| 158 | String name) { |
| 159 | switch (name) { |
| 160 | case 'personal': |
| 161 | return _$createFlightBookingDTOReasonEnum_personal; |
| 162 | case 'business': |
| 163 | return _$createFlightBookingDTOReasonEnum_business; |
| 164 | case 'crew': |
| 165 | return _$createFlightBookingDTOReasonEnum_crew; |
| 166 | case 'training': |
| 167 | return _$createFlightBookingDTOReasonEnum_training; |
| 168 | case 'repositioning': |
| 169 | return _$createFlightBookingDTOReasonEnum_repositioning; |
| 170 | case 'other': |
| 171 | return _$createFlightBookingDTOReasonEnum_other; |
| 172 | default: |
| 173 | throw ArgumentError(name); |
| 174 | } |
| 175 | } |
| 176 | |
| 177 | final BuiltSet<CreateFlightBookingDTOReasonEnum |
| 178 | _$createFlightBookingDTOReasonEnumValues = BuiltSet< |
| 179 | CreateFlightBookingDTOReasonEnum>(const <CreateFlightBookingDTOReasonEnum |
| 180 | _$createFlightBookingDTOReasonEnum_personal, |
| 181 | _$createFlightBookingDTOReasonEnum_business, |
| 182 | _$createFlightBookingDTOReasonEnum_crew, |
| 183 | _$createFlightBookingDTOReasonEnum_training, |
| 184 | _$createFlightBookingDTOReasonEnum_repositioning, |
| 185 | _$createFlightBookingDTOReasonEnum_other, |
| 186 | ]); |
| 187 | |
| 188 | Serializer<CreateFlightBookingDTOSeatTypeEnum> |
| 189 | _$createFlightBookingDTOSeatTypeEnumSerializer = |
| 190 | _$CreateFlightBookingDTOSeatTypeEnumSerializer(); |
| 191 | Serializer<CreateFlightBookingDTOSeatingClassEnum> |
| 192 | _$createFlightBookingDTOSeatingClassEnumSerializer = |
| 193 | _$CreateFlightBookingDTOSeatingClassEnumSerializer(); |
| 194 | Serializer<CreateFlightBookingDTOReasonEnum> |
| 195 | _$createFlightBookingDTOReasonEnumSerializer = |
| 196 | _$CreateFlightBookingDTOReasonEnumSerializer(); |
| 197 | |
| 198 | class _$CreateFlightBookingDTOSeatTypeEnumSerializer |
| 199 | implements PrimitiveSerializer<CreateFlightBookingDTOSeatTypeEnum> { |
| 200 | static const Map |
| 201 | 'window': 'window', |
| 202 | 'middle': 'middle', |
| 203 | 'aisle': 'aisle', |
| 204 | 'jumpseat': 'jumpseat', |
| 205 | 'captain': 'captain', |
| 206 | 'pilot': 'pilot', |
| 207 | 'copilot': 'copilot', |
| 208 | 'flightEngineer': 'flight_engineer', |
| 209 | 'flightAttendant': 'flight_attendant', |
| 210 | 'observer': 'observer', |
| 211 | 'other': 'other', |
| 212 | }; |
| 213 | static const Map |
| 214 | 'window': 'window', |
| 215 | 'middle': 'middle', |
| 216 | 'aisle': 'aisle', |
| 217 | 'jumpseat': 'jumpseat', |
| 218 | 'captain': 'captain', |
| 219 | 'pilot': 'pilot', |
| 220 | 'copilot': 'copilot', |
| 221 | 'flight_engineer': 'flightEngineer', |
| 222 | 'flight_attendant': 'flightAttendant', |
| 223 | 'observer': 'observer', |
| 224 | 'other': 'other', |
| 225 | }; |
| 226 | |
| 227 | @override |
| 228 | final Iterable<Type |
| 229 | @override |
| 230 | final String wireName = |
| 231 | |
| 232 | @override |
| 233 | Object serialize( |
| 234 | Serializers serializers, CreateFlightBookingDTOSeatTypeEnum object |
| 235 | {FullType specifiedType = FullType. |
| 236 | _toWire[object.name] ?? object.name; |
| 237 | |
| 238 | @override |
| 239 | CreateFlightBookingDTOSeatTypeEnum deserialize( |
| 240 | Serializers serializers, Object serialized |
| 241 | {FullType specifiedType = FullType. |
| 242 | CreateFlightBookingDTOSeatTypeEnum.valueOf( |
| 243 | _fromWire[serialized] ?? (serialized is String ? |
| 244 | } |
| 245 | |
| 246 | class _$CreateFlightBookingDTOSeatingClassEnumSerializer |
| 247 | implements PrimitiveSerializer<CreateFlightBookingDTOSeatingClassEnum> { |
| 248 | static const Map |
| 249 | 'economy': 'economy', |
| 250 | 'premiumEconomy': 'premium_economy', |
| 251 | 'business': 'business', |
| 252 | 'first': 'first', |
| 253 | 'private': 'private', |
| 254 | 'other': 'other', |
| 255 | }; |
| 256 | static const Map |
| 257 | 'economy': 'economy', |
| 258 | 'premium_economy': 'premiumEconomy', |
| 259 | 'business': 'business', |
| 260 | 'first': 'first', |
| 261 | 'private': 'private', |
| 262 | 'other': 'other', |
| 263 | }; |
| 264 | |
| 265 | @override |
| 266 | final Iterable<Type |
| 267 | CreateFlightBookingDTOSeatingClassEnum |
| 268 | ]; |
| 269 | @override |
| 270 | final String wireName = |
| 271 | |
| 272 | @override |
| 273 | Object serialize(Serializers |
| 274 | CreateFlightBookingDTOSeatingClassEnum object, |
| 275 | {FullType specifiedType = FullType. |
| 276 | _toWire[object.name] ?? object.name; |
| 277 | |
| 278 | @override |
| 279 | CreateFlightBookingDTOSeatingClassEnum deserialize( |
| 280 | Serializers serializers, Object serialized |
| 281 | {FullType specifiedType = FullType. |
| 282 | CreateFlightBookingDTOSeatingClassEnum.valueOf( |
| 283 | _fromWire[serialized] ?? (serialized is String ? |
| 284 | } |
| 285 | |
| 286 | class _$CreateFlightBookingDTOReasonEnumSerializer |
| 287 | implements PrimitiveSerializer<CreateFlightBookingDTOReasonEnum> { |
| 288 | static const Map |
| 289 | 'personal': 'personal', |
| 290 | 'business': 'business', |
| 291 | 'crew': 'crew', |
| 292 | 'training': 'training', |
| 293 | 'repositioning': 'repositioning', |
| 294 | 'other': 'other', |
| 295 | }; |
| 296 | static const Map |
| 297 | 'personal': 'personal', |
| 298 | 'business': 'business', |
| 299 | 'crew': 'crew', |
| 300 | 'training': 'training', |
| 301 | 'repositioning': 'repositioning', |
| 302 | 'other': 'other', |
| 303 | }; |
| 304 | |
| 305 | @override |
| 306 | final Iterable<Type |
| 307 | @override |
| 308 | final String wireName = |
| 309 | |
| 310 | @override |
| 311 | Object serialize( |
| 312 | Serializers serializers, CreateFlightBookingDTOReasonEnum object |
| 313 | {FullType specifiedType = FullType. |
| 314 | _toWire[object.name] ?? object.name; |
| 315 | |
| 316 | @override |
| 317 | CreateFlightBookingDTOReasonEnum deserialize( |
| 318 | Serializers serializers, Object serialized |
| 319 | {FullType specifiedType = FullType. |
| 320 | CreateFlightBookingDTOReasonEnum.valueOf( |
| 321 | _fromWire[serialized] ?? (serialized is String ? |
| 322 | } |
| 323 | |
| 324 | class _$CreateFlightBookingDTO extends CreateFlightBookingDTO |
| 325 | @override |
| 326 | final String flightId; |
| 327 | @override |
| 328 | final String? bookingCode; |
| 329 | @override |
| 330 | final String? seatNumber; |
| 331 | @override |
| 332 | final CreateFlightBookingDTOSeatTypeEnum? seatType; |
| 333 | @override |
| 334 | final CreateFlightBookingDTOSeatingClassEnum? seatingClass; |
| 335 | @override |
| 336 | final CreateFlightBookingDTOReasonEnum? reason; |
| 337 | @override |
| 338 | final String? notes; |
| 339 | |
| 340 | factory _$CreateFlightBookingDTO( |
| 341 | [void Function(CreateFlightBookingDTOBuilder |
| 342 | (CreateFlightBookingDTOBuilder()..update(updates)). |
| 343 | |
| 344 | _$CreateFlightBookingDTO._( |
| 345 | {required this.flightId, |
| 346 | this.bookingCode, |
| 347 | this.seatNumber, |
| 348 | this.seatType, |
| 349 | this.seatingClass, |
| 350 | this.reason, |
| 351 | this.notes}) |
| 352 | : super._(); |
| 353 | @override |
| 354 | CreateFlightBookingDTO rebuild( |
| 355 | void Function(CreateFlightBookingDTOBuilder |
| 356 | (toBuilder()..update(updates)). |
| 357 | |
| 358 | @override |
| 359 | CreateFlightBookingDTOBuilder toBuilder() => |
| 360 | CreateFlightBookingDTOBuilder()..replace(this |
| 361 | |
| 362 | @override |
| 363 | bool operator ==(Object |
| 364 | if (identical(other, this |
| 365 | return other is CreateFlightBookingDTO |
| 366 | flightId == other.flightId && |
| 367 | bookingCode == other.bookingCode && |
| 368 | seatNumber == other.seatNumber && |
| 369 | seatType == other.seatType && |
| 370 | seatingClass == other.seatingClass && |
| 371 | reason == other.reason && |
| 372 | notes == other.notes; |
| 373 | } |
| 374 | |
| 375 | @override |
| 376 | int get hashCode { |
| 377 | var _$hash = 0; |
| 378 | _$hash = $jc(_$hash, flightId. |
| 379 | _$hash = $jc(_$hash, bookingCode. |
| 380 | _$hash = $jc(_$hash, seatNumber. |
| 381 | _$hash = $jc(_$hash, seatType. |
| 382 | _$hash = $jc(_$hash, seatingClass. |
| 383 | _$hash = $jc(_$hash, reason. |
| 384 | _$hash = $jc(_$hash, notes. |
| 385 | _$hash = $jf(_$hash); |
| 386 | return _$hash; |
| 387 | } |
| 388 | |
| 389 | @override |
| 390 | String toString() { |
| 391 | return (newBuiltValueToStringHelper(r'CreateFlightBookingDTO') |
| 392 | ..add('flightId', flightId) |
| 393 | ..add('bookingCode', bookingCode) |
| 394 | ..add('seatNumber', seatNumber) |
| 395 | ..add('seatType', seatType) |
| 396 | ..add('seatingClass', seatingClass) |
| 397 | ..add('reason', reason) |
| 398 | ..add('notes', notes)) |
| 399 | .toString(); |
| 400 | } |
| 401 | } |
| 402 | |
| 403 | class CreateFlightBookingDTOBuilder |
| 404 | implements Builder<CreateFlightBookingDTO, |
| 405 | _$CreateFlightBookingDTO? _$v; |
| 406 | |
| 407 | String? _flightId; |
| 408 | String? get flightId => _$this |
| 409 | set flightId(String? |
| 410 | |
| 411 | String? _bookingCode; |
| 412 | String? get bookingCode => _$this |
| 413 | set bookingCode(String? |
| 414 | |
| 415 | String? _seatNumber; |
| 416 | String? get seatNumber => _$this |
| 417 | set seatNumber(String? |
| 418 | |
| 419 | CreateFlightBookingDTOSeatTypeEnum? _seatType; |
| 420 | CreateFlightBookingDTOSeatTypeEnum? get seatType => _$this |
| 421 | set seatType(CreateFlightBookingDTOSeatTypeEnum? |
| 422 | _$this._seatType = seatType; |
| 423 | |
| 424 | CreateFlightBookingDTOSeatingClassEnum? _seatingClass; |
| 425 | CreateFlightBookingDTOSeatingClassEnum? get seatingClass => |
| 426 | _$this._seatingClass; |
| 427 | set seatingClass(CreateFlightBookingDTOSeatingClassEnum? |
| 428 | _$this._seatingClass = seatingClass; |
| 429 | |
| 430 | CreateFlightBookingDTOReasonEnum? _reason; |
| 431 | CreateFlightBookingDTOReasonEnum? get reason => _$this |
| 432 | set reason(CreateFlightBookingDTOReasonEnum? |
| 433 | _$this._reason = reason; |
| 434 | |
| 435 | String? _notes; |
| 436 | String? get notes => _$this |
| 437 | set notes(String? |
| 438 | |
| 439 | CreateFlightBookingDTOBuilder() { |
| 440 | CreateFlightBookingDTO._defaults(this |
| 441 | } |
| 442 | |
| 443 | CreateFlightBookingDTOBuilder get _$this { |
| 444 | final $v = _$v; |
| 445 | if ($v != null) { |
| 446 | _flightId = $v.flightId; |
| 447 | _bookingCode = $v.bookingCode; |
| 448 | _seatNumber = $v.seatNumber; |
| 449 | _seatType = $v.seatType; |
| 450 | _seatingClass = $v.seatingClass; |
| 451 | _reason = $v.reason; |
| 452 | _notes = $v.notes; |
| 453 | _$v = null; |
| 454 | } |
| 455 | return this; |
| 456 | } |
| 457 | |
| 458 | @override |
| 459 | void replace(CreateFlightBookingDTO |
| 460 | _$v = other as _$CreateFlightBookingDTO; |
| 461 | } |
| 462 | |
| 463 | @override |
| 464 | void update(void |
| 465 | if (updates != null) updates |
| 466 | } |
| 467 | |
| 468 | @override |
| 469 | CreateFlightBookingDTO build() => |
| 470 | |
| 471 | _$CreateFlightBookingDTO _build() { |
| 472 | final _$result = _$v ?? |
| 473 | _$CreateFlightBookingDTO._( |
| 474 | flightId: BuiltValueNullFieldError.checkNotNull( |
| 475 | flightId, r'CreateFlightBookingDTO', 'flightId'), |
| 476 | bookingCode: bookingCode, |
| 477 | seatNumber: seatNumber, |
| 478 | seatType: seatType, |
| 479 | seatingClass: seatingClass, |
| 480 | reason: reason, |
| 481 | notes: notes, |
| 482 | ); |
| 483 | replace(_$result); |
| 484 | return _$result; |
| 485 | } |
| 486 | } |
| 487 | |
| 488 | // ignore_for_file: deprecated_member_use_from_same_package,type=lint |