Enum ItemByVal

pub enum ItemByVal {
    Type(TypeDecl),
    Fun(FunDecl),
    Global(GlobalDecl),
    TraitDecl(TraitDecl),
    TraitImpl(TraitImpl),
}

A translated item.

Variants

Type(TypeDecl)

Fun(FunDecl)

Global(GlobalDecl)

TraitDecl(TraitDecl)

TraitImpl(TraitImpl)

Implementations

impl ItemByVal

pub fn is_type(&self) -> bool

pub fn is_fun(&self) -> bool

pub fn is_global(&self) -> bool

pub fn is_trait_decl(&self) -> bool

pub fn is_trait_impl(&self) -> bool

impl ItemByVal

pub fn as_type(&self) -> Option<&TypeDecl>

pub fn as_fun(&self) -> Option<&FunDecl>

pub fn as_global(&self) -> Option<&GlobalDecl>

pub fn as_trait_decl(&self) -> Option<&TraitDecl>

pub fn as_trait_impl(&self) -> Option<&TraitImpl>

impl ItemByVal

pub fn as_type_mut(&mut self) -> Option<&mut TypeDecl>

pub fn as_fun_mut(&mut self) -> Option<&mut FunDecl>

pub fn as_global_mut(&mut self) -> Option<&mut GlobalDecl>

pub fn as_trait_decl_mut(&mut self) -> Option<&mut TraitDecl>

pub fn as_trait_impl_mut(&mut self) -> Option<&mut TraitImpl>

impl ItemByVal

pub fn variant_name(&self) -> &'static str

impl ItemByVal

pub fn variant_index_arity(&self) -> (u32, usize)

impl ItemByVal

pub fn as_ref(&self) -> ItemRef<'_>

pub fn as_mut(&mut self) -> ItemRefMut<'_>

Trait Implementations

impl AstVisitable for ItemByVal

fn drive<V: VisitAst>(&self, v: &mut V) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn drive_mut<V: VisitAstMut>(&mut self, v: &mut V) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn name(&self) -> &'static str

The name of the type, used for debug logging.

fn dyn_visit<T: AstVisitable>(&self, f: impl FnMut(&T))

Visit all occurrences of that type inside self, in pre-order traversal.

fn dyn_visit_mut<T: AstVisitable>(&mut self, f: impl FnMut(&mut T))

Visit all occurrences of that type inside self, in pre-order traversal.

impl Debug for ItemByVal

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

Formats the value using the given formatter.

impl<'s, V> Drive<'s, V> for ItemByVal

where V: Visitor + Visit<'s, TypeDecl> + Visit<'s, FunDecl> + Visit<'s, GlobalDecl> + Visit<'s, TraitDecl> + Visit<'s, TraitImpl>,

fn drive_inner(&'s self, visitor: &mut V) -> ControlFlow<V::Break>

Call v.visit() on the immediate contents of self.

impl<'s, V> DriveMut<'s, V> for ItemByVal

where V: Visitor + VisitMut<'s, TypeDecl> + VisitMut<'s, FunDecl> + VisitMut<'s, GlobalDecl> + VisitMut<'s, TraitDecl> + VisitMut<'s, TraitImpl>,

fn drive_inner_mut(&'s mut self, visitor: &mut V) -> ControlFlow<V::Break>

Call v.visit() on the immediate contents of self.