Enum moore_svlog::ast::ExprData[−][src]

pub enum ExprData<'a> {
Show 30 variants    DummyExpr,
    LiteralExpr(Lit),
    IdentExpr(Spanned<Name>),
    SysIdentExpr(Spanned<Name>),
    ThisExpr,
    DollarExpr,
    NullExpr,
    ScopeExpr(Box<Node<'a, ExprData<'a>>, Global>, Spanned<Name>),
    IndexExpr {
        indexee: Box<Node<'a, ExprData<'a>>, Global>,
        index: Box<Node<'a, ExprData<'a>>, Global>,
    },
    UnaryExpr {
        op: Op,
        expr: Box<Node<'a, ExprData<'a>>, Global>,
        postfix: bool,
    },
    BinaryExpr {
        op: Op,
        lhs: Box<Node<'a, ExprData<'a>>, Global>,
        rhs: Box<Node<'a, ExprData<'a>>, Global>,
    },
    TernaryExpr {
        cond: Box<Node<'a, ExprData<'a>>, Global>,
        true_expr: Box<Node<'a, ExprData<'a>>, Global>,
        false_expr: Box<Node<'a, ExprData<'a>>, Global>,
    },
    AssignExpr {
        op: AssignOp,
        lhs: Box<Node<'a, ExprData<'a>>, Global>,
        rhs: Box<Node<'a, ExprData<'a>>, Global>,
    },
    CallExpr(Box<Node<'a, ExprData<'a>>, Global>, Vec<CallArg<'a>, Global>),
    TypeExpr(Box<Node<'a, TypeData<'a>>, Global>),
    ConstructorCallExpr(Vec<CallArg<'a>, Global>),
    ClassNewExpr(Option<Box<Node<'a, ExprData<'a>>, Global>>),
    ArrayNewExpr(Box<Node<'a, ExprData<'a>>, Global>, Option<Box<Node<'a, ExprData<'a>>, Global>>),
    EmptyQueueExpr,
    StreamConcatExpr {
        slice: Option<StreamConcatSlice<'a>>,
        exprs: Vec<StreamExpr<'a>, Global>,
    },
    ConcatExpr {
        repeat: Option<Box<Node<'a, ExprData<'a>>, Global>>,
        exprs: Vec<Node<'a, ExprData<'a>>, Global>,
    },
    MinTypMaxExpr {
        min: Box<Node<'a, ExprData<'a>>, Global>,
        typ: Box<Node<'a, ExprData<'a>>, Global>,
        max: Box<Node<'a, ExprData<'a>>, Global>,
    },
    RangeExpr {
        mode: RangeMode,
        lhs: Box<Node<'a, ExprData<'a>>, Global>,
        rhs: Box<Node<'a, ExprData<'a>>, Global>,
    },
    MemberExpr {
        expr: Box<Node<'a, ExprData<'a>>, Global>,
        name: Spanned<Name>,
    },
    PatternExpr(Vec<Node<'a, PatternFieldData<'a>>, Global>),
    InsideExpr(Box<Node<'a, ExprData<'a>>, Global>, Vec<ValueRange<'a>, Global>),
    CastExpr(Node<'a, TypeData<'a>>, Box<Node<'a, ExprData<'a>>, Global>),
    CastSizeExpr(Box<Node<'a, ExprData<'a>>, Global>, Box<Node<'a, ExprData<'a>>, Global>),
    CastSignExpr(Spanned<TypeSign>, Box<Node<'a, ExprData<'a>>, Global>),
    BitsExpr {
        name: Spanned<Name>,
        arg: TypeOrExpr<'a>,
    },
}

Expand description

An expression.

Variants

DummyExpr

LiteralExpr(Lit)

Tuple Fields of LiteralExpr

0: Lit

IdentExpr(Spanned<Name>)

An identifier, like foo.

Tuple Fields of IdentExpr

0: Spanned<Name>

SysIdentExpr(Spanned<Name>)

A system identifier, like $foo.

Tuple Fields of SysIdentExpr

0: Spanned<Name>

ThisExpr

DollarExpr

NullExpr

ScopeExpr(Box<Node<'a, ExprData<'a>>, Global>, Spanned<Name>)

Tuple Fields of ScopeExpr

0: Box<Node<'a, ExprData<'a>>, Global>1: Spanned<Name>

IndexExpr

Fields of IndexExpr

indexee: Box<Node<'a, ExprData<'a>>, Global>index: Box<Node<'a, ExprData<'a>>, Global>

UnaryExpr

Fields of UnaryExpr

op: Opexpr: Box<Node<'a, ExprData<'a>>, Global>postfix: bool

BinaryExpr

Fields of BinaryExpr

op: Oplhs: Box<Node<'a, ExprData<'a>>, Global>rhs: Box<Node<'a, ExprData<'a>>, Global>

TernaryExpr

Fields of TernaryExpr

cond: Box<Node<'a, ExprData<'a>>, Global>true_expr: Box<Node<'a, ExprData<'a>>, Global>false_expr: Box<Node<'a, ExprData<'a>>, Global>

AssignExpr

Fields of AssignExpr

op: AssignOplhs: Box<Node<'a, ExprData<'a>>, Global>rhs: Box<Node<'a, ExprData<'a>>, Global>

CallExpr(Box<Node<'a, ExprData<'a>>, Global>, Vec<CallArg<'a>, Global>)

Tuple Fields of CallExpr

0: Box<Node<'a, ExprData<'a>>, Global>1: Vec<CallArg<'a>, Global>

TypeExpr(Box<Node<'a, TypeData<'a>>, Global>)

Tuple Fields of TypeExpr

0: Box<Node<'a, TypeData<'a>>, Global>

ConstructorCallExpr(Vec<CallArg<'a>, Global>)

Tuple Fields of ConstructorCallExpr

0: Vec<CallArg<'a>, Global>

ClassNewExpr(Option<Box<Node<'a, ExprData<'a>>, Global>>)

Tuple Fields of ClassNewExpr

0: Option<Box<Node<'a, ExprData<'a>>, Global>>

ArrayNewExpr(Box<Node<'a, ExprData<'a>>, Global>, Option<Box<Node<'a, ExprData<'a>>, Global>>)

Tuple Fields of ArrayNewExpr

0: Box<Node<'a, ExprData<'a>>, Global>1: Option<Box<Node<'a, ExprData<'a>>, Global>>

EmptyQueueExpr

StreamConcatExpr

Fields of StreamConcatExpr

slice: Option<StreamConcatSlice<'a>>exprs: Vec<StreamExpr<'a>, Global>

ConcatExpr

Fields of ConcatExpr

repeat: Option<Box<Node<'a, ExprData<'a>>, Global>>exprs: Vec<Node<'a, ExprData<'a>>, Global>

MinTypMaxExpr

Fields of MinTypMaxExpr

min: Box<Node<'a, ExprData<'a>>, Global>typ: Box<Node<'a, ExprData<'a>>, Global>max: Box<Node<'a, ExprData<'a>>, Global>

RangeExpr

Fields of RangeExpr

mode: RangeModelhs: Box<Node<'a, ExprData<'a>>, Global>rhs: Box<Node<'a, ExprData<'a>>, Global>

MemberExpr

A member expression, like a.b.

Fields of MemberExpr

expr: Box<Node<'a, ExprData<'a>>, Global>name: Spanned<Name>

PatternExpr(Vec<Node<'a, PatternFieldData<'a>>, Global>)

Tuple Fields of PatternExpr

0: Vec<Node<'a, PatternFieldData<'a>>, Global>

InsideExpr(Box<Node<'a, ExprData<'a>>, Global>, Vec<ValueRange<'a>, Global>)

Tuple Fields of InsideExpr

0: Box<Node<'a, ExprData<'a>>, Global>1: Vec<ValueRange<'a>, Global>

CastExpr(Node<'a, TypeData<'a>>, Box<Node<'a, ExprData<'a>>, Global>)

Tuple Fields of CastExpr

0: Node<'a, TypeData<'a>>1: Box<Node<'a, ExprData<'a>>, Global>

CastSizeExpr(Box<Node<'a, ExprData<'a>>, Global>, Box<Node<'a, ExprData<'a>>, Global>)

Tuple Fields of CastSizeExpr

0: Box<Node<'a, ExprData<'a>>, Global>1: Box<Node<'a, ExprData<'a>>, Global>

CastSignExpr(Spanned<TypeSign>, Box<Node<'a, ExprData<'a>>, Global>)

Tuple Fields of CastSignExpr

0: Spanned<TypeSign>1: Box<Node<'a, ExprData<'a>>, Global>

BitsExpr

A $bits call.

Fields of BitsExpr

name: Spanned<Name>arg: TypeOrExpr<'a>

Trait Implementations

[src]

impl<'a> AcceptVisitor<'a> for ExprData<'a>

[src]

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

Walk a visitor over the contents of self.

[src]

impl<'a> AnyNodeData for ExprData<'a>

[src]

pub fn get_name(&self) -> Option<Spanned<Name>>

Get this node’s name, or None if it does not have one.

[src]

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

Describe this node for diagnostics in indefinite form, e.g. “entity”. Read more

[src]

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

Describe this node for diagnostics in definite form, e.g. “entity ‘top’”. Read more

[src]

fn as_data(&self) -> &dyn AnyNodeData

[src]

fn format_indefinite(&self) -> FormatNodeIndefinite<'_>

Describe this node for diagnostics in indefinite form, e.g. “entity”.

[src]

fn format_definite(&self) -> FormatNodeDefinite<'_>

Describe this node for diagnostics in definite form, e.g. “entity ‘top’”. Read more

[src]

fn to_indefinite_string(&self) -> String

Describe this node for diagnostics in indefinite form, e.g. “entity”.

[src]

fn to_definite_string(&self) -> String

Describe this node for diagnostics in definite form, e.g. “entity ‘top’”. Read more

[src]

impl<'a> Clone for ExprData<'a>

[src]

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

Returns a copy of the value. Read more

1.0.0[src]

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

Performs copy-assignment from source. Read more

[src]

impl<'a> Debug for ExprData<'a>

[src]

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

Formats the value using the given formatter. Read more

[src]

impl<'a> ForEachChild<'a> for ExprData<'a>

[src]

pub fn for_each_child(
&'a self,
each: &mut dyn FnMut(&'a (dyn AnyNode<'a> + 'a))
)

Apply a function to each child node.

[src]

impl<'a> ForEachNode<'a> for ExprData<'a>

[src]

pub fn for_each_node(&'a self, each: &mut dyn FnMut(&'a (dyn AnyNode<'a> + 'a)))

Apply a function to this node.

[src]

impl<'a> PartialEq<ExprData<'a>> for ExprData<'a>

[src]

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

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

[src]

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

This method tests for !=.

[src]

impl<'a> Eq for ExprData<'a>

[src]

impl<'a> StructuralEq for ExprData<'a>

[src]

impl<'a> StructuralPartialEq for ExprData<'a>

Auto Trait Implementations

impl<'a> !RefUnwindSafe for ExprData<'a>

impl<'a> Send for ExprData<'a>

impl<'a> Sync for ExprData<'a>

impl<'a> Unpin for ExprData<'a>

impl<'a> !UnwindSafe for ExprData<'a>

Blanket Implementations

[src]

impl<T> Any for T where
T: 'static + ?Sized,

[src]

pub fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

[src]

impl<T> Borrow<T> for T where
T: ?Sized,

[src]

pub fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

[src]

impl<T> BorrowMut<T> for T where
T: ?Sized,

[src]

pub fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

[src]

impl<T> From<T> for T

[src]

pub fn from(t: T) -> T

Performs the conversion.

[src]

impl<T, U> Into for T where
U: From<T>,

[src]

pub fn into(self) -> U

Performs the conversion.

impl<T> Pointable for T

pub const ALIGN: usize

The alignment of pointer.

type Init = T

The type for initializers.

pub unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more

pub unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more

pub unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more

pub unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more

[src]

impl<T> ToOwned for T where
T: Clone,

type Owned = T

The resulting type after obtaining ownership.

[src]

pub fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

[src]

pub fn clone_into(&self, target: &mut T)

🔬 This is a nightly-only experimental API. (toowned_clone_into)

recently added

Uses borrowed data to replace owned data, usually by cloning. Read more

[src]

impl<T, U> TryFrom for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

[src]

pub fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

[src]

impl<T, U> TryInto for T where
U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

[src]

pub fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

Enum moore_svlog::ast::ExprData[−][src]

Variants

Tuple Fields of LiteralExpr

Tuple Fields of IdentExpr

Tuple Fields of SysIdentExpr

Tuple Fields of ScopeExpr

Fields of IndexExpr

Fields of UnaryExpr

Fields of BinaryExpr

Fields of TernaryExpr

Fields of AssignExpr

Tuple Fields of CallExpr

Tuple Fields of TypeExpr

Tuple Fields of ConstructorCallExpr

Tuple Fields of ClassNewExpr

Tuple Fields of ArrayNewExpr

Fields of StreamConcatExpr

Fields of ConcatExpr

Fields of MinTypMaxExpr

Fields of RangeExpr

Fields of MemberExpr

Tuple Fields of PatternExpr

Tuple Fields of InsideExpr

Tuple Fields of CastExpr

Tuple Fields of CastSizeExpr

Tuple Fields of CastSignExpr

Fields of BitsExpr

Trait Implementations

impl<'a> AcceptVisitor<'a> for ExprData<'a>

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

impl<'a> AnyNodeData for ExprData<'a>

pub fn get_name(&self) -> Option<Spanned<Name>>

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

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

fn as_data(&self) -> &dyn AnyNodeData

fn format_indefinite(&self) -> FormatNodeIndefinite<'_>

fn format_definite(&self) -> FormatNodeDefinite<'_>

fn to_indefinite_string(&self) -> String

fn to_definite_string(&self) -> String

impl<'a> Clone for ExprData<'a>

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

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

impl<'a> Debug for ExprData<'a>

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

impl<'a> ForEachChild<'a> for ExprData<'a>

pub fn for_each_child( &'a self, each: &mut dyn FnMut(&'a (dyn AnyNode<'a> + 'a)))

impl<'a> ForEachNode<'a> for ExprData<'a>

pub fn for_each_node(&'a self, each: &mut dyn FnMut(&'a (dyn AnyNode<'a> + 'a)))

impl<'a> PartialEq<ExprData<'a>> for ExprData<'a>

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

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

impl<'a> Eq for ExprData<'a>

impl<'a> StructuralEq for ExprData<'a>

impl<'a> StructuralPartialEq for ExprData<'a>

Auto Trait Implementations

impl<'a> !RefUnwindSafe for ExprData<'a>

impl<'a> Send for ExprData<'a>

impl<'a> Sync for ExprData<'a>

impl<'a> Unpin for ExprData<'a>

impl<'a> !UnwindSafe for ExprData<'a>

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized,

pub fn type_id(&self) -> TypeId

impl<T> Borrow<T> for T where T: ?Sized,

pub fn borrow(&self) -> &T

impl<T> BorrowMut<T> for T where T: ?Sized,

pub fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

pub fn from(t: T) -> T

impl<T, U> Into<U> for T where U: From<T>,

pub fn into(self) -> U

impl<T> Pointable for T

pub const ALIGN: usize

type Init = T

pub unsafe fn init(init: <T as Pointable>::Init) -> usize

pub unsafe fn deref<'a>(ptr: usize) -> &'a T

pub unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

pub unsafe fn drop(ptr: usize)

impl<T> ToOwned for T where T: Clone,

type Owned = T

pub fn for_each_child(
&'a self,
each: &mut dyn FnMut(&'a (dyn AnyNode<'a> + 'a))
)

impl<T> Any for T where
T: 'static + ?Sized,

impl<T> Borrow<T> for T where
T: ?Sized,

impl<T> BorrowMut<T> for T where
T: ?Sized,

impl<T, U> Into<U> for T where
U: From<T>,

impl<T> ToOwned for T where
T: Clone,

impl<T, U> TryFrom<U> for T where
U: Into<T>,

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,