Struct moore_svlog::mir::Rvalue

pub struct Rvalue<'a> {
    pub id: NodeId,
    pub origin: NodeId,
    pub env: ParamEnv,
    pub span: Span,
    pub ty: &'a UnpackedType<'a>,
    pub kind: RvalueKind<'a>,
    pub konst: bool,
}

An rvalue expression.

Fields

id: NodeId

A unique id.

origin: NodeId

The expression node which spawned this rvalue.

env: ParamEnv

The environment within which the rvalue lives.

span: Span

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

ty: &'a UnpackedType<'a>

The type of the expression.

kind: RvalueKind<'a>

The expression data.

konst: bool

Whether this expression has a constant value.

Implementations

impl<'a> Rvalue<'a>

pub fn is_error(&self) -> bool

Check whether the rvalue represents a lowering error tombstone.

pub fn is_const(&self) -> bool

Check whether the rvalue is a constant.

pub fn get_intf(&self) -> Option<NodeId>

Get the Intf nested within Index, if one exists.

Methods from Deref<Target = RvalueKind<'a>>

pub fn is_error(&self) -> bool

Check whether the rvalue represents a lowering error tombstone.

pub fn is_const(&self) -> bool

Check whether this rvalue is a constant.

Trait Implementations

impl<'a> AcceptVisitor<'a> for Rvalue<'a>

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

Walk a visitor over the contents of self.

impl<'a> Clone for Rvalue<'a>

fn clone(&self) -> Rvalue<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for Rvalue<'a>

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

Formats the value using the given formatter.

impl<'a> Deref for Rvalue<'a>

type Target = RvalueKind<'a>

The resulting type after dereferencing.

fn deref(&self) -> &RvalueKind<'a>

Dereferences the value.

impl<'a> PartialEq<Rvalue<'a>> for Rvalue<'a>

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

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

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

This method tests for !=.

impl<'a> WalkVisitor<'a> for Rvalue<'a>

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

Walk a visitor over self.

Calling this function is equivalent to calling:

• visitor.pre_visit_rvalue(self)
• self.accept(visitor)
• visitor.post_visit_rvalue(self);

impl<'a> Eq for Rvalue<'a>

impl<'a> StructuralEq for Rvalue<'a>

impl<'a> StructuralPartialEq for Rvalue<'a>