[−][src]Enum moore_svlog::hir::StmtKind

pub enum StmtKind {
    Null,
    Block(Vec<NodeId>),
    Assign {
        lhs: NodeId,
        rhs: NodeId,
        kind: AssignKind,
    },
    Timed {
        control: TimingControl,
        stmt: NodeId,
    },
    Expr(NodeId),
    If {
        cond: NodeId,
        main_stmt: NodeId,
        else_stmt: Option<NodeId>,
    },
    Loop {
        kind: LoopKind,
        body: NodeId,
    },
    InlineGroup {
        stmts: Vec<NodeId>,
        rib: NodeId,
    },
    Case {
        expr: NodeId,
        ways: Vec<(Vec<NodeId>, NodeId)>,
        default: Option<NodeId>,
        kind: CaseKind,
    },
}

The different forms a statement can take.

Variants

Null

A null statement.

Block(Vec<NodeId>)

A sequential block.

Assign

An assign statement (blocking or non-blocking).

Fields of Assign

lhs: NodeIdrhs: NodeIdkind: AssignKind

Timed

A statement with timing control.

Fields of Timed

control: TimingControlstmt: NodeId

Expr(NodeId)

An expression statement.

If

An if statement.

if (<cond>) <main_stmt> [else <else_stmt>]

Fields of If

cond: NodeIdmain_stmt: NodeIdelse_stmt: Option<NodeId>

Loop

A loop statement.

Fields of Loop

kind: LoopKindbody: NodeId

InlineGroup

An inline group of statements.

This is a special node that is used for example with variable declarations, where one statement can generate multiple nodes referrable by name. An inline group differs from a block in that its ribs are made visible, whereas a block keeps them local.

Fields of InlineGroup

stmts: Vec<NodeId>rib: NodeId

Case

A case statement.

Fields of Case

expr: NodeIdways: Vec<(Vec<NodeId>, NodeId)>default: Option<NodeId>kind: CaseKind

Trait Implementations

`impl Clone for StmtKind`[src]

`pub fn clone(&self) -> StmtKind`[src]

`pub fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl Debug for StmtKind`[src]

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

`impl Eq for StmtKind`[src]

`impl PartialEq<StmtKind> for StmtKind`[src]

`pub fn eq(&self, other: &StmtKind) -> bool`[src]

`pub fn ne(&self, other: &StmtKind) -> bool`[src]

`impl StructuralEq for StmtKind`[src]

`impl StructuralPartialEq for StmtKind`[src]

Auto Trait Implementations

`impl RefUnwindSafe for StmtKind`[src]

`impl Send for StmtKind`[src]

`impl Sync for StmtKind`[src]

`impl Unpin for StmtKind`[src]

`impl UnwindSafe for StmtKind`[src]

Blanket Implementations

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`pub fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`pub fn borrow(&self) -> &TⓘNotable traits for &'_ mut R impl<'_, R> Read for &'_ mut R where R: Read + ?Sized, impl<'_, W> Write for &'_ mut W where W: Write + ?Sized, impl<'_, I> Iterator for &'_ mut I where I: Iterator + ?Sized, type Item = ::Item;impl<'_, F> Future for &'_ mut F where F: Unpin + Future + ?Sized, type Output = <F as Future>::Output;`[src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`pub fn borrow_mut(&mut self) -> &mut TⓘNotable traits for &'_ mut R impl<'_, R> Read for &'_ mut R where R: Read + ?Sized, impl<'_, W> Write for &'_ mut W where W: Write + ?Sized, impl<'_, I> Iterator for &'_ mut I where I: Iterator + ?Sized, type Item = ::Item;impl<'_, F> Future for &'_ mut F where F: Unpin + Future + ?Sized, type Output = <F as Future>::Output;`[src]

`impl<T> From<T> for T`[src]

`pub fn from(t: T) -> T`[src]

`impl<T, U> Into for T where U: From<T>,` [src]

`pub fn into(self) -> U`[src]

`impl<T> Pointable for T`

`pub const ALIGN: usize`

`type Init = T`

The type for initializers.

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

`pub unsafe fn deref<'a>(ptr: usize) -> &'a TⓘNotable traits for &'_ mut R impl<'_, R> Read for &'_ mut R where R: Read + ?Sized, impl<'_, W> Write for &'_ mut W where W: Write + ?Sized, impl<'_, I> Iterator for &'_ mut I where I: Iterator + ?Sized, type Item = ::Item;impl<'_, F> Future for &'_ mut F where F: Unpin + Future + ?Sized, type Output = <F as Future>::Output;`

`pub unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut TⓘNotable traits for &'_ mut R impl<'_, R> Read for &'_ mut R where R: Read + ?Sized, impl<'_, W> Write for &'_ mut W where W: Write + ?Sized, impl<'_, I> Iterator for &'_ mut I where I: Iterator + ?Sized, type Item = ::Item;impl<'_, F> Future for &'_ mut F where F: Unpin + Future + ?Sized, type Output = <F as Future>::Output;`

`pub unsafe fn drop(ptr: usize)`

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

The resulting type after obtaining ownership.

`pub fn to_owned(&self) -> T`[src]

`pub fn clone_into(&self, target: &mut T)`[src]

`impl<T, U> TryFrom for T where U: Into<T>,` [src]

`type Error = Infallible`

The type returned in the event of a conversion error.

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

`impl<T, U> TryInto for T where U: TryFrom<T>,` [src]

`type Error = >::Error`

The type returned in the event of a conversion error.

[−][src]Enum moore_svlog::hir::StmtKind

Variants

Fields of Assign

Fields of Timed

Fields of If

Fields of Loop

Fields of InlineGroup

Fields of Case

Trait Implementations

impl Clone for StmtKind[src]

pub fn clone(&self) -> StmtKind[src]

pub fn clone_from(&mut self, source: &Self)1.0.0[src]

impl Debug for StmtKind[src]

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

impl Eq for StmtKind[src]

impl PartialEq<StmtKind> for StmtKind[src]

pub fn eq(&self, other: &StmtKind) -> bool[src]

pub fn ne(&self, other: &StmtKind) -> bool[src]

impl StructuralEq for StmtKind[src]

impl StructuralPartialEq for StmtKind[src]

Auto Trait Implementations

impl RefUnwindSafe for StmtKind[src]

impl Send for StmtKind[src]

impl Sync for StmtKind[src]

impl Unpin for StmtKind[src]

impl UnwindSafe for StmtKind[src]

Blanket Implementations

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

pub fn type_id(&self) -> TypeId[src]

impl<T> Borrow<T> for T where T: ?Sized, [src]

Notable traits for &'_ mut R

impl<T> BorrowMut<T> for T where T: ?Sized, [src]

Notable traits for &'_ mut R

impl<T> From<T> for T[src]

pub fn from(t: T) -> T[src]

impl<T, U> Into<U> for T where U: From<T>, [src]

pub fn into(self) -> U[src]

impl<T> Pointable for T

pub const ALIGN: usize

type Init = T

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

Notable traits for &'_ mut R

Notable traits for &'_ mut R

pub unsafe fn drop(ptr: usize)

impl<T> ToOwned for T where T: Clone, [src]

type Owned = T

pub fn to_owned(&self) -> T[src]

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

impl<T, U> TryFrom<U> for T where U: Into<T>, [src]

type Error = Infallible

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

impl<T, U> TryInto<U> for T where U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

`impl Clone for StmtKind`[src]

`pub fn clone(&self) -> StmtKind`[src]

`pub fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl Debug for StmtKind`[src]

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

`impl Eq for StmtKind`[src]

`impl PartialEq<StmtKind> for StmtKind`[src]

`pub fn eq(&self, other: &StmtKind) -> bool`[src]

`pub fn ne(&self, other: &StmtKind) -> bool`[src]

`impl StructuralEq for StmtKind`[src]

`impl StructuralPartialEq for StmtKind`[src]

`impl RefUnwindSafe for StmtKind`[src]

`impl Send for StmtKind`[src]

`impl Sync for StmtKind`[src]

`impl Unpin for StmtKind`[src]

`impl UnwindSafe for StmtKind`[src]

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`pub fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`impl<T> From<T> for T`[src]

`pub fn from(t: T) -> T`[src]

`impl<T, U> Into<U> for T where U: From<T>,` [src]

`pub fn into(self) -> U`[src]

`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 drop(ptr: usize)`

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

`pub fn to_owned(&self) -> T`[src]

`pub fn clone_into(&self, target: &mut T)`[src]

`impl<T, U> TryFrom<U> for T where U: Into<T>,` [src]

`type Error = Infallible`

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

`impl<T, U> TryInto<U> for T where U: TryFrom<T>,` [src]

`type Error = <U as TryFrom<T>>::Error`

`pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>`[src]