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.

NOTE: Aggregate derives Eq (and PartialEq) so that it can also derive Hash. But we must be careful not to use == or != to compare Aggregate for equivalency – i.e., to check that they represent the same collection of types. Instead the is_equivalent() method is provided. XXX Perhaps Hash should be impl’d directly without Eq if possible?

Tuple Fields

0: Index

Implementations

impl Aggregate

pub fn new_struct(context: &mut Context, 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 is_equivalent(&self, context: &Context, other: &Aggregate) -> bool

Tests whether an aggregate has the same sub-types.

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

Get the type of (nested) aggregate fields, if found. If an index is into a Union then it will get the type of the indexed variant.

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: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Aggregate

impl Eq for Aggregate

impl StructuralEq for Aggregate

impl StructuralPartialEq for Aggregate