Struct 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 enum_tag_and_value_with_paddings( &self, context: &Context<'_>, ) -> Option<((&'_ Constant, Option<Padding>), (&'_ Constant, Option<Padding>))>

Returns enum tag and value as Constants, together with their Paddings, if self is an enum Constant, otherwise None.

pub fn array_elements_with_padding( &self, context: &Context<'_>, ) -> Option<Vec<(&'_ Constant, Option<Padding>)>>

Returns elements of an array with the expected padding for each array element if self is an array Constant, otherwise None.

pub fn struct_fields_with_padding( &self, context: &Context<'_>, ) -> Option<Vec<(&'_ Constant, Option<Padding>)>>

Returns fields of a struct with the expected padding for each field if self is a struct Constant, otherwise None.

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

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

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

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>

impl Hash for Constant

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.