Struct moore_svlog::hir::Expr

pub struct Expr<'a> {
    pub ast: &'a Expr<'a>,
    pub kind: ExprKind<'a>,
}

An expression.

Fields

ast: &'a Expr<'a>

The AST node.

kind: ExprKind<'a>

The specific expression data.

Methods from Deref<Target = &'a Expr<'a>>

pub fn is_implicit(&self) -> bool

Check if this is an implicit type.

pub fn is_implicit(&self) -> bool

Check if this is an implicit type.

pub fn inst(&self) -> &'a Node<'a, InstData<'a>>

Get the parent instantiation.

Trait Implementations

impl<'a, 'hir> Alloc<'a, 'a, Expr<'hir>> for Arena<'hir> where
    'hir: 'a, 

fn alloc(&'a self, value: Expr<'hir>) -> &'a mut Expr<'hir>

Allocate a value of type T.

impl<'a> Clone for Expr<'a>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for Expr<'a>

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

Formats the value using the given formatter.

impl<'a> Deref for Expr<'a>

type Target = &'a Expr<'a>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<'a> Eq for Expr<'a>

impl<'_> HasDesc for Expr<'_>

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

Obtain a human-readable descriptive name for this node.

fn desc_full(&self) -> String

Obtain a human-readable description for this node, possibly containing the node's name.

impl<'_> HasSpan for Expr<'_>

fn span(&self) -> Span

Obtain the full span of the input file that this node covers.

fn human_span(&self) -> Span

Obtain a span which can be used to refer to this node in error messages presented to humans. This will generally be the name for things like entities, processes, and variables. Defaults to return whatever span() returns.

impl<'a> PartialEq<Expr<'a>> for Expr<'a>

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

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

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

This method tests for !=.

impl<'a> StructuralEq for Expr<'a>

impl<'a> StructuralPartialEq for Expr<'a>