Struct move_binary_format::views::ModuleView

pub struct ModuleView<'a, T> { /* private fields */ }

Represents a lazily evaluated abstraction over a module.

T here is any sort of ModuleAccess. See the documentation in access.rs for more.

Implementations

impl<'a, T: ModuleAccess> ModuleView<'a, T>

pub fn new(module: &'a T) -> Self

pub fn self_handle_idx(&self) -> ModuleHandleIndex

pub fn module_handles( &self ) -> impl DoubleEndedIterator<Item = ModuleHandleView<'a, T>> + Send

pub fn struct_handles( &self ) -> impl DoubleEndedIterator<Item = StructHandleView<'a, T>> + Send

pub fn function_handles( &self ) -> impl DoubleEndedIterator<Item = FunctionHandleView<'a, T>> + Send

pub fn field_handles( &self ) -> impl DoubleEndedIterator<Item = FieldHandleView<'a, T>> + Send

pub fn struct_instantiations( &self ) -> impl DoubleEndedIterator<Item = StructInstantiationView<'a, T>> + Send

pub fn function_instantiations( &self ) -> impl DoubleEndedIterator<Item = FunctionInstantiationView<'a, T>> + Send

pub fn field_instantiations( &self ) -> impl DoubleEndedIterator<Item = FieldInstantiationView<'a, T>> + Send

pub fn signatures( &self ) -> impl DoubleEndedIterator<Item = SignatureView<'a, T>> + Send

pub fn structs( &self ) -> impl DoubleEndedIterator<Item = StructDefinitionView<'a, T>> + Send

pub fn functions( &self ) -> impl DoubleEndedIterator<Item = FunctionDefinitionView<'a, T>> + Send

pub fn function_definition( &self, name: &'a IdentStr ) -> Option<&FunctionDefinitionView<'a, T>>

pub fn struct_definition( &self, name: &'a IdentStr ) -> Option<&StructDefinitionView<'a, T>>

pub fn function_acquired_resources( &self, function_handle: &FunctionHandle ) -> BTreeSet<StructDefinitionIndex>

pub fn id(&self) -> ModuleId

Trait Implementations

impl<'a, T: ModuleAccess> ViewInternals for ModuleView<'a, T>

type ModuleType = &'a T

type Inner = &'a T

fn module(&self) -> Self::ModuleType

fn as_inner(&self) -> Self::Inner