Enum ScalarValue

pub enum ScalarValue {
    Isize(i64),
    I8(i8),
    I16(i16),
    I32(i32),
    I64(i64),
    I128(i128),
    Usize(u64),
    U8(u8),
    U16(u16),
    U32(u32),
    U64(u64),
    U128(u128),
}

A scalar value.

Variants

Isize(i64)

Using i64 to be safe

I8(i8)

I16(i16)

I32(i32)

I64(i64)

I128(i128)

Usize(u64)

Using u64 to be safe

U8(u8)

U16(u16)

U32(u32)

U64(u64)

U128(u128)

Implementations

impl ScalarValue

pub fn is_isize(&self) -> bool

pub fn is_i8(&self) -> bool

pub fn is_i16(&self) -> bool

pub fn is_i32(&self) -> bool

pub fn is_i64(&self) -> bool

pub fn is_i128(&self) -> bool

pub fn is_usize(&self) -> bool

pub fn is_u8(&self) -> bool

pub fn is_u16(&self) -> bool

pub fn is_u32(&self) -> bool

pub fn is_u64(&self) -> bool

pub fn is_u128(&self) -> bool

impl ScalarValue

pub fn as_isize(&self) -> Option<&i64>

pub fn as_i8(&self) -> Option<&i8>

pub fn as_i16(&self) -> Option<&i16>

pub fn as_i32(&self) -> Option<&i32>

pub fn as_i64(&self) -> Option<&i64>

pub fn as_i128(&self) -> Option<&i128>

pub fn as_usize(&self) -> Option<&u64>

pub fn as_u8(&self) -> Option<&u8>

pub fn as_u16(&self) -> Option<&u16>

pub fn as_u32(&self) -> Option<&u32>

pub fn as_u64(&self) -> Option<&u64>

pub fn as_u128(&self) -> Option<&u128>

impl ScalarValue

pub fn as_isize_mut(&mut self) -> Option<&mut i64>

pub fn as_i8_mut(&mut self) -> Option<&mut i8>

pub fn as_i16_mut(&mut self) -> Option<&mut i16>

pub fn as_i32_mut(&mut self) -> Option<&mut i32>

pub fn as_i64_mut(&mut self) -> Option<&mut i64>

pub fn as_i128_mut(&mut self) -> Option<&mut i128>

pub fn as_usize_mut(&mut self) -> Option<&mut u64>

pub fn as_u8_mut(&mut self) -> Option<&mut u8>

pub fn as_u16_mut(&mut self) -> Option<&mut u16>

pub fn as_u32_mut(&mut self) -> Option<&mut u32>

pub fn as_u64_mut(&mut self) -> Option<&mut u64>

pub fn as_u128_mut(&mut self) -> Option<&mut u128>

impl ScalarValue

pub fn variant_name(&self) -> &'static str

impl ScalarValue

pub fn variant_index_arity(&self) -> (u32, usize)

impl ScalarValue

pub fn get_integer_ty(&self) -> IntegerTy

pub fn is_int(&self) -> bool

pub fn is_uint(&self) -> bool

pub fn as_uint(&self) -> ScalarResult<u128>

When computing the result of binary operations, we convert the values to u128 then back to the target type (while performing dynamic checks of course).

pub fn uint_is_in_bounds(ty: IntegerTy, v: u128) -> bool

pub fn from_unchecked_uint(ty: IntegerTy, v: u128) -> ScalarValue

pub fn from_uint(ty: IntegerTy, v: u128) -> ScalarResult<ScalarValue>

pub fn as_int(&self) -> ScalarResult<i128>

When computing the result of binary operations, we convert the values to i128 then back to the target type (while performing dynamic checks of course).

pub fn int_is_in_bounds(ty: IntegerTy, v: i128) -> bool

pub fn from_unchecked_int(ty: IntegerTy, v: i128) -> ScalarValue

pub fn from_le_bytes(ty: IntegerTy, b: [u8; 16]) -> ScalarValue

pub fn to_bits(&self) -> u128

Most integers are represented as u128 by rustc. We must be careful not to sign-extend.

pub fn from_bits(ty: IntegerTy, bits: u128) -> Self

pub fn from_int(ty: IntegerTy, v: i128) -> ScalarResult<ScalarValue>

Warning: most constants are stored as u128 by rustc. When converting to i128, it is not correct to do v as i128, we must reinterpret the bits (see ScalarValue::from_le_bytes).

pub fn to_constant(self) -> ConstantExpr

Trait Implementations

impl Clone for ScalarValue

fn clone(&self) -> ScalarValue

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ScalarValue

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ScalarValue

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for ScalarValue

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Drive for ScalarValue

fn drive<V: Visitor>(&self, visitor: &mut V)

impl DriveMut for ScalarValue

fn drive_mut<V: VisitorMut>(&mut self, visitor: &mut V)

impl Hash for ScalarValue

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for ScalarValue

fn cmp(&self, other: &ScalarValue) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for ScalarValue

fn eq(&self, other: &ScalarValue) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for ScalarValue

fn partial_cmp(&self, other: &ScalarValue) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for ScalarValue

Custom serializer that stores integers as strings to avoid overflow.

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>

where S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for ScalarValue

impl Eq for ScalarValue

impl StructuralPartialEq for ScalarValue