Struct sway_ir::context::Context

pub struct Context<'eng> {
    pub source_engine: &'eng SourceEngine,
    pub program_kind: Kind,
    /* 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

source_engine: &'eng SourceEngine

program_kind: Kind

Implementations

impl<'eng> Context<'eng>

pub fn new(source_engine: &'eng SourceEngine) -> Self

pub fn source_engine(&self) -> &'eng SourceEngine

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<'eng> Context<'eng>

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

Verify the contents of this Context is valid.

Trait Implementations

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.