Struct sway_ir::context::Context

pub struct Context {
    pub modules: Arena<ModuleContent>,
    pub functions: Arena<FunctionContent>,
    pub blocks: Arena<BlockContent>,
    pub values: Arena<ValueContent>,
    pub pointers: Arena<PointerContent>,
    pub aggregates: Arena<AggregateContent>,
    pub asm_blocks: Arena<AsmBlockContent>,
    pub metadata: Arena<Metadatum>,
    /* private fields */
}

The main IR context handle.

Every module, function, block and value is stored here. Some aggregate metadata is also managed by the context.

Fields

modules: Arena<ModuleContent>

functions: Arena<FunctionContent>

blocks: Arena<BlockContent>

values: Arena<ValueContent>

pointers: Arena<PointerContent>

aggregates: Arena<AggregateContent>

asm_blocks: Arena<AsmBlockContent>

metadata: Arena<Metadatum>

Implementations

impl Context

pub fn module_iter(&self) -> ModuleIterator

Return an interator for every module in this context.

pub fn get_unique_name(&mut self) -> String

Get a globally unique symbol.

The name will be in the form "anon_N", where N is an incrementing decimal.

pub fn get_unique_id(&mut self) -> u64

Get a globally unique symbol id.

impl Context

pub fn verify(self) -> Result<Self, IrError>

Verify the contents of this Context is valid.

Trait Implementations

impl Default for Context

fn default() -> Context

Returns the “default value” for a type.

impl Display for Context

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

Formats the value using the given formatter.

impl From<Context> for String

fn from(context: Context) -> Self

Converts to this type from the input type.