Struct sway_ir::constant::Constant

pub struct Constant {
    pub ty: Type,
    pub value: ConstantValue,
}

A Type and constant value, including ConstantValue::Undef for uninitialized constants.

Fields

ty: Type

value: ConstantValue

Implementations

impl Constant

pub fn new_unit(context: &Context<'_>) -> Self

pub fn new_bool(context: &Context<'_>, b: bool) -> Self

pub fn new_uint(context: &mut Context<'_>, nbits: u16, n: u64) -> Self

For numbers bigger than u64 see new_uint256.

pub fn new_uint256(context: &mut Context<'_>, n: U256) -> Self

pub fn new_b256(context: &Context<'_>, bytes: [u8; 32]) -> Self

pub fn new_string(context: &mut Context<'_>, string: Vec<u8>) -> Self

pub fn new_array( context: &mut Context<'_>, elm_ty: Type, elems: Vec<Constant> ) -> Self

pub fn new_struct( context: &mut Context<'_>, field_tys: Vec<Type>, fields: Vec<Constant> ) -> Self

pub fn get_undef(ty: Type) -> Self

pub fn get_unit(context: &mut Context<'_>) -> Value

pub fn get_bool(context: &mut Context<'_>, value: bool) -> Value

pub fn get_uint(context: &mut Context<'_>, nbits: u16, value: u64) -> Value

pub fn get_uint256(context: &mut Context<'_>, value: U256) -> Value

pub fn get_b256(context: &mut Context<'_>, value: [u8; 32]) -> Value

pub fn get_string(context: &mut Context<'_>, value: Vec<u8>) -> Value

pub fn get_array(context: &mut Context<'_>, value: Constant) -> Value

value must be created as an array constant first, using Constant::new_array().

pub fn get_struct(context: &mut Context<'_>, value: Constant) -> Value

value must be created as a struct constant first, using Constant::new_struct().

pub fn eq(&self, context: &Context<'_>, other: &Self) -> bool

Compare two Constant values. Can’t impl PartialOrder because of context.

Trait Implementations

impl Clone for Constant

fn clone(&self) -> Constant

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Constant

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

Formats the value using the given formatter.

impl DebugWithContext for Constant

fn fmt_with_context<'a, 'c>( &'a self, formatter: &mut Formatter<'_>, context: &'c Context<'_> ) -> Result

fn with_context<'a, 'c, 'eng>( &'a self, context: &'c Context<'eng> ) -> WithContext<'a, 'c, 'eng, Self>