Enum moore_svlog_syntax::ast::StmtKind
source · [−]pub enum StmtKind<'a> {
Show 26 variants
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),
}
Expand description
The different kinds of statement.
Variants
NullStmt
SequentialBlock(Vec<Stmt<'a>>)
ParallelBlock(Vec<Stmt<'a>>, JoinKind)
IfStmt
BlockingAssignStmt
NonblockingAssignStmt
TimedStmt(TimingControl<'a>, Box<Stmt<'a>>)
CaseStmt
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
sourceimpl<'a> AcceptVisitor<'a> for StmtKind<'a>
impl<'a> AcceptVisitor<'a> for StmtKind<'a>
sourceimpl<'a> ForEachChild<'a> for StmtKind<'a>
impl<'a> ForEachChild<'a> for StmtKind<'a>
sourcefn for_each_child(&'a self, each: &mut dyn FnMut(&'a dyn AnyNode<'a>))
fn for_each_child(&'a self, each: &mut dyn FnMut(&'a dyn AnyNode<'a>))
Apply a function to each child node.
sourceimpl<'a> ForEachNode<'a> for StmtKind<'a>
impl<'a> ForEachNode<'a> for StmtKind<'a>
sourcefn for_each_node(&'a self, each: &mut dyn FnMut(&'a dyn AnyNode<'a>))
fn for_each_node(&'a self, each: &mut dyn FnMut(&'a dyn AnyNode<'a>))
Apply a function to this node.
sourceimpl<'a> WalkVisitor<'a> for StmtKind<'a>
impl<'a> WalkVisitor<'a> for StmtKind<'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
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcepub fn borrow_mut(&mut self) -> &mut T
pub fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcepub fn to_owned(&self) -> T
pub fn to_owned(&self) -> T
Creates owned data from borrowed data, usually by cloning. Read more
sourcepub fn clone_into(&self, target: &mut T)
pub fn clone_into(&self, target: &mut T)
🔬 This is a nightly-only experimental API. (
toowned_clone_into
)Uses borrowed data to replace owned data, usually by cloning. Read more