Struct sway_ir::irtype::Aggregate

pub struct Aggregate(pub Index);

A collection of Types.

XXX I’ve added Array as using Aggregate in the hope ExtractValue could be used just like with struct aggregates, but it turns out we need ExtractElement (which takes an index Value). So Aggregate can be a ‘struct’ or ‘array’ but you only ever use them with Struct and Array types and with ExtractValue and ExtractElement… so they’re orthogonal and we can simplify aggregate again to be only for structs.

But also to keep Type as Copy we need to put the Array meta into another copy type (rather than recursing with Box, effectively a different Aggregate. This could be OK though, still simpler that what we have here.

Tuple Fields

0: Index

Implementations

impl Aggregate

pub fn new_struct(
    context: &mut Context,
    name: Option<String>,
    field_types: Vec<Type>
) -> Self

Return a new struct specific aggregate.

pub fn new_array(context: &mut Context, element_type: Type, count: u64) -> Self

Returna new array specific aggregate.

pub fn get_field_type(&self, context: &Context, indices: &[u64]) -> Option<Type>

Get the type of (nested) aggregate fields, if found.

pub fn get_elem_type(&self, context: &Context) -> Option<Type>

Get the type of the array element, if applicable.

Trait Implementations

impl Clone for Aggregate

fn clone(&self) -> Aggregate

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Aggregate

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

Formats the value using the given formatter.

impl Hash for Aggregate

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, 

Feeds a slice of this type into the given Hasher.

impl PartialEq<Aggregate> for Aggregate

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl Copy for Aggregate

impl Eq for Aggregate

impl StructuralEq for Aggregate

impl StructuralPartialEq for Aggregate