| 506 | } |
| 507 | |
| 508 | pub fn max_value_int(&self) -> Integer { |
| 509 | use self::ExpressionType::*; |
| 510 | match self { |
| 511 | Bool => Integer::from(1), |
| 512 | I8 => Integer::from(std::i8::MAX), |
| 513 | I16 => Integer::from(std::i16::MAX), |
| 514 | I32 => Integer::from(std::i32::MAX), |
| 515 | I64 => Integer::from(std::i64::MAX), |
| 516 | I128 => Integer::from(std::i128::MAX), |
| 517 | Isize => Integer::from(std::isize::MAX), |
| 518 | U8 => Integer::from(std::u8::MAX), |
| 519 | U16 => Integer::from(std::u16::MAX), |
| 520 | U32 => Integer::from(std::u32::MAX), |
| 521 | U64 => Integer::from(std::u64::MAX), |
| 522 | U128 => Integer::from(std::u128::MAX), |
| 523 | Usize => Integer::from(std::usize::MAX), |
| 524 | _ => unreachable!(), |
| 525 | } |
| 526 | } |
| 527 | |
| 528 | /// Returns the minimum value for this type, as a ConstantValue element. |
| 529 | /// If the type is not a primitive value, the result is Bottom. |