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_undef(context: &Context, ty: Type) -> Self

pub fn new_unit() -> Self

pub fn new_bool(b: bool) -> Self

pub fn new_uint(nbits: u8, n: u64) -> Self

pub fn new_b256(bytes: [u8; 32]) -> Self

pub fn new_string(string: String) -> Self

pub fn new_array(aggregate: &Aggregate, elems: Vec<Constant>) -> Self

pub fn new_struct(aggregate: &Aggregate, fields: Vec<Constant>) -> Self

pub fn get_undef(
    context: &mut Context,
    ty: Type,
    span_md_idx: Option<MetadataIndex>
) -> Value

pub fn get_unit(
    context: &mut Context,
    span_md_idx: Option<MetadataIndex>
) -> Value

pub fn get_bool(
    context: &mut Context,
    value: bool,
    span_md_idx: Option<MetadataIndex>
) -> Value

pub fn get_uint(
    context: &mut Context,
    nbits: u8,
    value: u64,
    span_md_idx: Option<MetadataIndex>
) -> Value

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

pub fn get_string(
    context: &mut Context,
    value: String,
    span_md_idx: Option<MetadataIndex>
) -> Value

pub fn get_array(
    context: &mut Context,
    value: Constant,
    span_md_idx: Option<MetadataIndex>
) -> Value

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

pub fn get_struct(
    context: &mut Context,
    value: Constant,
    span_md_idx: Option<MetadataIndex>
) -> Value

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

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.