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

pub enum StmtKind<'a> {
Show 26 variants    NullStmt,
    SequentialBlock(Vec<Node<'a, StmtData<'a>>, Global>),
    ParallelBlock(Vec<Node<'a, StmtData<'a>>, Global>, JoinKind),
    IfStmt {
        up: Option<UniquePriority>,
        cond: Node<'a, ExprData<'a>>,
        main_stmt: Box<Node<'a, StmtData<'a>>, Global>,
        else_stmt: Option<Box<Node<'a, StmtData<'a>>, Global>>,
    },
    BlockingAssignStmt {
        lhs: Node<'a, ExprData<'a>>,
        rhs: Node<'a, ExprData<'a>>,
        op: AssignOp,
    },
    NonblockingAssignStmt {
        lhs: Node<'a, ExprData<'a>>,
        rhs: Node<'a, ExprData<'a>>,
        delay: Option<DelayControl<'a>>,
        event: Option<()>,
    },
    TimedStmt(TimingControl<'a>, Box<Node<'a, StmtData<'a>>, Global>),
    CaseStmt {
        up: Option<UniquePriority>,
        kind: CaseKind,
        expr: Node<'a, ExprData<'a>>,
        mode: CaseMode,
        items: Vec<CaseItem<'a>, Global>,
    },
    ForeverStmt(Box<Node<'a, StmtData<'a>>, Global>),
    RepeatStmt(Node<'a, ExprData<'a>>, Box<Node<'a, StmtData<'a>>, Global>),
    WhileStmt(Node<'a, ExprData<'a>>, Box<Node<'a, StmtData<'a>>, Global>),
    DoStmt(Box<Node<'a, StmtData<'a>>, Global>, Node<'a, ExprData<'a>>),
    ForStmt(Box<Node<'a, StmtData<'a>>, Global>, Node<'a, ExprData<'a>>, Node<'a, ExprData<'a>>, Box<Node<'a, StmtData<'a>>, Global>),
    ForeachStmt(Node<'a, ExprData<'a>>, Vec<Node<'a, ForeachIndexData>, Global>, Box<Node<'a, StmtData<'a>>, Global>),
    ExprStmt(Node<'a, ExprData<'a>>),
    VarDeclStmt(Node<'a, VarDeclData<'a>>),
    GenvarDeclStmt(Vec<Node<'a, GenvarDeclData<'a>>, Global>),
    ContinueStmt,
    BreakStmt,
    ReturnStmt(Option<Node<'a, ExprData<'a>>>),
    ImportStmt(Node<'a, ImportDeclData<'a>>),
    AssertionStmt(Box<Assertion<'a>, Global>),
    WaitExprStmt(Node<'a, ExprData<'a>>, Box<Node<'a, StmtData<'a>>, Global>),
    WaitForkStmt,
    DisableForkStmt,
    DisableStmt(Name),
}

Expand description

The different kinds of statement.

Variants

NullStmt

SequentialBlock(Vec<Node<'a, StmtData<'a>>, Global>)

Tuple Fields of SequentialBlock

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

ParallelBlock(Vec<Node<'a, StmtData<'a>>, Global>, JoinKind)

Tuple Fields of ParallelBlock

0: Vec<Node<'a, StmtData<'a>>, Global>1: JoinKind

IfStmt

Fields of IfStmt

up: Option<UniquePriority>cond: Node<'a, ExprData<'a>>main_stmt: Box<Node<'a, StmtData<'a>>, Global>else_stmt: Option<Box<Node<'a, StmtData<'a>>, Global>>

BlockingAssignStmt

Fields of BlockingAssignStmt

lhs: Node<'a, ExprData<'a>>rhs: Node<'a, ExprData<'a>>op: AssignOp

NonblockingAssignStmt

Fields of NonblockingAssignStmt

lhs: Node<'a, ExprData<'a>>rhs: Node<'a, ExprData<'a>>delay: Option<DelayControl<'a>>event: Option<()>

TimedStmt(TimingControl<'a>, Box<Node<'a, StmtData<'a>>, Global>)

Tuple Fields of TimedStmt

0: TimingControl<'a>1: Box<Node<'a, StmtData<'a>>, Global>

CaseStmt

Fields of CaseStmt

up: Option<UniquePriority>kind: CaseKindexpr: Node<'a, ExprData<'a>>mode: CaseModeitems: Vec<CaseItem<'a>, Global>

ForeverStmt(Box<Node<'a, StmtData<'a>>, Global>)

Tuple Fields of ForeverStmt

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

RepeatStmt(Node<'a, ExprData<'a>>, Box<Node<'a, StmtData<'a>>, Global>)

Tuple Fields of RepeatStmt

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

WhileStmt(Node<'a, ExprData<'a>>, Box<Node<'a, StmtData<'a>>, Global>)

Tuple Fields of WhileStmt

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

DoStmt(Box<Node<'a, StmtData<'a>>, Global>, Node<'a, ExprData<'a>>)

Tuple Fields of DoStmt

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

ForStmt(Box<Node<'a, StmtData<'a>>, Global>, Node<'a, ExprData<'a>>, Node<'a, ExprData<'a>>, Box<Node<'a, StmtData<'a>>, Global>)

Tuple Fields of ForStmt

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

ForeachStmt(Node<'a, ExprData<'a>>, Vec<Node<'a, ForeachIndexData>, Global>, Box<Node<'a, StmtData<'a>>, Global>)

Tuple Fields of ForeachStmt

0: Node<'a, ExprData<'a>>1: Vec<Node<'a, ForeachIndexData>, Global>2: Box<Node<'a, StmtData<'a>>, Global>

ExprStmt(Node<'a, ExprData<'a>>)

Tuple Fields of ExprStmt

0: Node<'a, ExprData<'a>>

VarDeclStmt(Node<'a, VarDeclData<'a>>)

Tuple Fields of VarDeclStmt

0: Node<'a, VarDeclData<'a>>

GenvarDeclStmt(Vec<Node<'a, GenvarDeclData<'a>>, Global>)

Tuple Fields of GenvarDeclStmt

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

ContinueStmt

BreakStmt

ReturnStmt(Option<Node<'a, ExprData<'a>>>)

Tuple Fields of ReturnStmt

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

ImportStmt(Node<'a, ImportDeclData<'a>>)

Tuple Fields of ImportStmt

0: Node<'a, ImportDeclData<'a>>

AssertionStmt(Box<Assertion<'a>, Global>)

Tuple Fields of AssertionStmt

0: Box<Assertion<'a>, Global>

WaitExprStmt(Node<'a, ExprData<'a>>, Box<Node<'a, StmtData<'a>>, Global>)

Tuple Fields of WaitExprStmt

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

WaitForkStmt

DisableForkStmt

DisableStmt(Name)

Tuple Fields of DisableStmt

0: Name

Trait Implementations

[src]

impl<'a> AcceptVisitor<'a> for StmtKind<'a>

[src]

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

Walk a visitor over the contents of self.

[src]

impl<'a> Clone for StmtKind<'a>

[src]

pub fn clone(&self) -> StmtKind<'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 StmtKind<'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 StmtKind<'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 StmtKind<'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<StmtKind<'a>> for StmtKind<'a>

[src]

pub fn eq(&self, other: &StmtKind<'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: &StmtKind<'a>) -> bool

This method tests for !=.

[src]

impl<'a> WalkVisitor<'a> for StmtKind<'a>

[src]

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_stmt_kind(self)
self.accept(visitor)
visitor.post_visit_stmt_kind(self);

[src]

impl<'a> Eq for StmtKind<'a>

[src]

impl<'a> StructuralEq for StmtKind<'a>

[src]

impl<'a> StructuralPartialEq for StmtKind<'a>

Auto Trait Implementations

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

impl<'a> Send for StmtKind<'a>

impl<'a> Sync for StmtKind<'a>

impl<'a> Unpin for StmtKind<'a>

impl<'a> !UnwindSafe for StmtKind<'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::StmtKind[−][src]

Variants

Tuple Fields of SequentialBlock

Tuple Fields of ParallelBlock

Fields of IfStmt

Fields of BlockingAssignStmt

Fields of NonblockingAssignStmt

Tuple Fields of TimedStmt

Fields of CaseStmt

Tuple Fields of ForeverStmt

Tuple Fields of RepeatStmt

Tuple Fields of WhileStmt

Tuple Fields of DoStmt

Tuple Fields of ForStmt

Tuple Fields of ForeachStmt

Tuple Fields of ExprStmt

Tuple Fields of VarDeclStmt

Tuple Fields of GenvarDeclStmt

Tuple Fields of ReturnStmt

Tuple Fields of ImportStmt

Tuple Fields of AssertionStmt

Tuple Fields of WaitExprStmt

Tuple Fields of DisableStmt

Trait Implementations

impl<'a> AcceptVisitor<'a> for StmtKind<'a>

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

impl<'a> Clone for StmtKind<'a>

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

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

impl<'a> Debug for StmtKind<'a>

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

impl<'a> ForEachChild<'a> for StmtKind<'a>

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

impl<'a> ForEachNode<'a> for StmtKind<'a>

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

impl<'a> PartialEq<StmtKind<'a>> for StmtKind<'a>

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

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

impl<'a> WalkVisitor<'a> for StmtKind<'a>

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

impl<'a> Eq for StmtKind<'a>

impl<'a> StructuralEq for StmtKind<'a>

impl<'a> StructuralPartialEq for StmtKind<'a>

Auto Trait Implementations

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

impl<'a> Send for StmtKind<'a>

impl<'a> Sync for StmtKind<'a>

impl<'a> Unpin for StmtKind<'a>

impl<'a> !UnwindSafe for StmtKind<'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 to_owned(&self) -> T

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

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

type Error = Infallible

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

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

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

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

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>,