Struct sway_ir::context::Context

source · [−]

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 abi_instances: Arena<AbiInstanceContent>,
    pub asm_blocks: Arena<AsmBlockContent>,
    /* private fields */
}

Expand description

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>abi_instances: Arena<AbiInstanceContent>asm_blocks: Arena<AsmBlockContent>

Struct sway_ir::context::Context

Fields

Implementations

impl Context

pub fn module_iter(&self) -> ModuleIteratorⓘNotable traits for ModuleIteratorimpl Iterator for ModuleIterator type Item = Module;

pub fn add_aggregate_symbols( &mut self, aggregate: Aggregate, symbols: HashMap<String, u64>) -> Result<(), String>

pub fn get_aggregate_by_name(&self, name: &str) -> Option<Aggregate>

pub fn get_aggregate_index( &self, aggregate: &Aggregate, field_name: &str) -> Option<u64>

pub fn get_unique_name(&mut self) -> String

impl Context

pub fn verify(&self) -> Result<(), String>

Trait Implementations

impl Default for Context

fn default() -> Context

impl Display for Context

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

impl From<Context> for String

fn from(context: Context) -> Self

Auto Trait Implementations

impl RefUnwindSafe for Context

impl Send for Context

impl Sync for Context

impl Unpin for Context

impl UnwindSafe for Context

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized,

pub fn type_id(&self) -> TypeId

impl<T> Borrow<T> for T where T: ?Sized,

pub fn borrow(&self) -> &T

impl<T> BorrowMut<T> for T where T: ?Sized,

pub fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

pub fn from(t: T) -> T

impl<T, U> Into<U> for T where U: From<T>,

pub fn into(self) -> U

impl<T> Same<T> for T

type Output = T

impl<T> ToString for T where T: Display + ?Sized,

pub default fn to_string(&self) -> String

impl<T, U> TryFrom<U> for T where U: Into<T>,

type Error = Infallible

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for T where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

pub fn module_iter(&self) -> ModuleIteratorⓘ
Notable traits for ModuleIterator
`impl Iterator for ModuleIterator type Item = Module;`

pub fn add_aggregate_symbols(
&mut self,
aggregate: Aggregate,
symbols: HashMap<String, u64>
) -> Result<(), String>

pub fn get_aggregate_index(
&self,
aggregate: &Aggregate,
field_name: &str
) -> Option<u64>

impl<T> Any for T where
T: 'static + ?Sized,

impl<T> Borrow<T> for T where
T: ?Sized,

impl<T> BorrowMut<T> for T where
T: ?Sized,

impl<T, U> Into<U> for T where
U: From<T>,

impl<T> ToString for T where
T: Display + ?Sized,

impl<T, U> TryFrom<U> for T where
U: Into<T>,

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,