Enum moore_svlog_syntax::ast::StmtKind

pub enum StmtKind<'a> {
    NullStmt,
    SequentialBlock(Vec<Stmt<'a>>),
    ParallelBlock(Vec<Stmt<'a>>, JoinKind),
    IfStmt {
        up: Option<UniquePriority>,
        cond: Expr<'a>,
        main_stmt: Box<Stmt<'a>>,
        else_stmt: Option<Box<Stmt<'a>>>,
    },
    BlockingAssignStmt {
        lhs: Expr<'a>,
        rhs: Expr<'a>,
        op: AssignOp,
    },
    NonblockingAssignStmt {
        lhs: Expr<'a>,
        rhs: Expr<'a>,
        delay: Option<DelayControl<'a>>,
        event: Option<()>,
    },
    TimedStmt(TimingControl<'a>, Box<Stmt<'a>>),
    CaseStmt {
        up: Option<UniquePriority>,
        kind: CaseKind,
        expr: Expr<'a>,
        mode: CaseMode,
        items: Vec<CaseItem<'a>>,
    },
    ForeverStmt(Box<Stmt<'a>>),
    RepeatStmt(Expr<'a>, Box<Stmt<'a>>),
    WhileStmt(Expr<'a>, Box<Stmt<'a>>),
    DoStmt(Box<Stmt<'a>>, Expr<'a>),
    ForStmt(Box<Stmt<'a>>, Expr<'a>, Expr<'a>, Box<Stmt<'a>>),
    ForeachStmt(Expr<'a>, Vec<ForeachIndex<'a>>, Box<Stmt<'a>>),
    ExprStmt(Expr<'a>),
    VarDeclStmt(VarDecl<'a>),
    GenvarDeclStmt(Vec<GenvarDecl<'a>>),
    ContinueStmt,
    BreakStmt,
    ReturnStmt(Option<Expr<'a>>),
    ImportStmt(ImportDecl<'a>),
    AssertionStmt(Box<Assertion<'a>>),
    WaitExprStmt(Expr<'a>, Box<Stmt<'a>>),
    WaitForkStmt,
    DisableForkStmt,
    DisableStmt(Name),
}

The different kinds of statement.

Variants

NullStmt

SequentialBlock(Vec<Stmt<'a>>)

ParallelBlock(Vec<Stmt<'a>>, JoinKind)

IfStmt

Fields of IfStmt

up: Option<UniquePriority>cond: Expr<'a>main_stmt: Box<Stmt<'a>>else_stmt: Option<Box<Stmt<'a>>>

BlockingAssignStmt

Fields of BlockingAssignStmt

lhs: Expr<'a>rhs: Expr<'a>op: AssignOp

NonblockingAssignStmt

Fields of NonblockingAssignStmt

lhs: Expr<'a>rhs: Expr<'a>delay: Option<DelayControl<'a>>event: Option<()>

TimedStmt(TimingControl<'a>, Box<Stmt<'a>>)

CaseStmt

Fields of CaseStmt

up: Option<UniquePriority>kind: CaseKindexpr: Expr<'a>mode: CaseModeitems: Vec<CaseItem<'a>>

ForeverStmt(Box<Stmt<'a>>)

RepeatStmt(Expr<'a>, Box<Stmt<'a>>)

WhileStmt(Expr<'a>, Box<Stmt<'a>>)

DoStmt(Box<Stmt<'a>>, Expr<'a>)

ForStmt(Box<Stmt<'a>>, Expr<'a>, Expr<'a>, Box<Stmt<'a>>)

ForeachStmt(Expr<'a>, Vec<ForeachIndex<'a>>, Box<Stmt<'a>>)

ExprStmt(Expr<'a>)

VarDeclStmt(VarDecl<'a>)

GenvarDeclStmt(Vec<GenvarDecl<'a>>)

ContinueStmt

BreakStmt

ReturnStmt(Option<Expr<'a>>)

ImportStmt(ImportDecl<'a>)

AssertionStmt(Box<Assertion<'a>>)

WaitExprStmt(Expr<'a>, Box<Stmt<'a>>)

WaitForkStmt

DisableForkStmt

DisableStmt(Name)

Trait Implementations

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

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

Walk a visitor over the contents of self.

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

Formats the value using the given formatter.

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

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

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

Apply a function to each child node.

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

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

Apply a function to this node.

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

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

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

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

This method tests for !=.

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

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

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

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);