Struct moore_svlog::mir::Assignment

pub struct Assignment<'a> {
    pub id: NodeId,
    pub env: ParamEnv,
    pub span: Span,
    pub ty: &'a UnpackedType<'a>,
    pub lhs: &'a Lvalue<'a>,
    pub rhs: &'a Rvalue<'a>,
}

An assignment of an Rvalue to an Lvalue.

Fields

id: NodeId

The expression or statement which spawned this assignment.

env: ParamEnv

The environment within which the assignment lives.

span: Span

The span in the source file where the assignment originates from.

ty: &'a UnpackedType<'a>

The type of the assignment.

lhs: &'a Lvalue<'a>

The left-hand side.

rhs: &'a Rvalue<'a>

The right-hand side.

Implementations

impl<'a> Assignment<'a>

pub fn is_error(&self) -> bool

Check whether the assignment represents a lowering error tombstone.

Trait Implementations

impl<'a> AcceptVisitor<'a> for Assignment<'a>

pub fn accept(&'a self, visitor: &mut dyn Visitor<'a>)

Walk a visitor over the contents of self.

impl<'a> Clone for Assignment<'a>

pub fn clone(&self) -> Assignment<'a>

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a> Debug for Assignment<'a>

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

Formats the value using the given formatter.

impl<'a> Eq for Assignment<'a>

impl<'a> PartialEq<Assignment<'a>> for Assignment<'a>

pub fn eq(&self, other: &Assignment<'a>) -> bool

This method tests for self and other values to be equal, and is used by ==.

pub fn ne(&self, other: &Assignment<'a>) -> bool

This method tests for !=.

impl<'a> StructuralEq for Assignment<'a>

impl<'a> StructuralPartialEq for Assignment<'a>

impl<'a> WalkVisitor<'a> for Assignment<'a>

pub fn walk(&'a self, visitor: &mut dyn Visitor<'a>)

Walk a visitor over self.

Calling this function is equivalent to calling:

• visitor.pre_visit_assignment(self)
• self.accept(visitor)
• visitor.post_visit_assignment(self);