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: u8, n: u64) -> 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: u8, value: u64) -> 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>(
&'a self,
context: &'c Context
) -> WithContext<'a, 'c, Self>