Enum StmtData

pub enum StmtData {
    WaitStmt {
        on: Option<Spanned<Vec<CompoundName>>>,
        until: Option<Expr>,
        time: Option<Expr>,
    },
    AssertStmt {
        cond: Expr,
        report: Option<Expr>,
        severity: Option<Expr>,
    },
    ReportStmt {
        msg: Expr,
        severity: Option<Expr>,
    },
    IfStmt {
        conds: Vec<(Expr, StmtBody)>,
        alt: Option<StmtBody>,
    },
    CaseStmt {
        qm: bool,
        switch: Expr,
        cases: Vec<(Choices, StmtBody)>,
    },
    LoopStmt {
        scheme: LoopScheme,
        body: StmtBody,
    },
    NexitStmt {
        mode: NexitMode,
        target: Option<Spanned<Name>>,
        cond: Option<Expr>,
    },
    ReturnStmt(Option<Expr>),
    NullStmt,
    IfGenStmt {
        conds: Vec<(Expr, GenBody)>,
        alt: Option<GenBody>,
    },
    CaseGenStmt {
        switch: Expr,
        cases: Vec<(Choices, GenBody)>,
    },
    ForGenStmt {
        param: Spanned<Name>,
        range: Expr,
        body: GenBody,
    },
    BlockStmt {
        guard: Option<Expr>,
        decls: Vec<DeclItem>,
        stmts: Vec<Stmt>,
    },
    ProcStmt {
        sensitivity: Option<Sensitivity>,
        decls: Vec<DeclItem>,
        stmts: Vec<Stmt>,
        postponed: bool,
    },
    AssignStmt {
        target: Spanned<AssignTarget>,
        kind: AssignKind,
        guarded: bool,
        mode: Spanned<AssignMode>,
    },
    SelectAssignStmt {
        select: Expr,
        qm: bool,
        target: Spanned<AssignTarget>,
        kind: AssignKind,
        guarded: bool,
        mode: SelectAssignMode,
        waves: Vec<SelectWave>,
    },
    InstOrCallStmt {
        target: Option<InstTarget>,
        name: CompoundName,
        generics: Option<ParenElems>,
        ports: Option<ParenElems>,
    },
}

Variants

WaitStmt

Fields

on: Option<Spanned<Vec<CompoundName>>>

until: Option<Expr>

time: Option<Expr>

AssertStmt

Fields

cond: Expr

report: Option<Expr>

severity: Option<Expr>

ReportStmt

Fields

msg: Expr

severity: Option<Expr>

IfStmt

Fields

conds: Vec<(Expr, StmtBody)>

alt: Option<StmtBody>

CaseStmt

Fields

qm: bool

switch: Expr

cases: Vec<(Choices, StmtBody)>

LoopStmt

Fields

scheme: LoopScheme

body: StmtBody

NexitStmt

Fields

mode: NexitMode

target: Option<Spanned<Name>>

cond: Option<Expr>

ReturnStmt(Option<Expr>)

NullStmt

IfGenStmt

Fields

conds: Vec<(Expr, GenBody)>

alt: Option<GenBody>

CaseGenStmt

Fields

switch: Expr

cases: Vec<(Choices, GenBody)>

ForGenStmt

Fields

param: Spanned<Name>

range: Expr

body: GenBody

BlockStmt

Fields

guard: Option<Expr>

decls: Vec<DeclItem>

stmts: Vec<Stmt>

ProcStmt

Fields

sensitivity: Option<Sensitivity>

decls: Vec<DeclItem>

stmts: Vec<Stmt>

postponed: bool

AssignStmt

Fields

target: Spanned<AssignTarget>

kind: AssignKind

guarded: bool

mode: Spanned<AssignMode>

SelectAssignStmt

Fields

select: Expr

qm: bool

target: Spanned<AssignTarget>

kind: AssignKind

guarded: bool

mode: SelectAssignMode

waves: Vec<SelectWave>

InstOrCallStmt

Fields

target: Option<InstTarget>

name: CompoundName

generics: Option<ParenElems>

ports: Option<ParenElems>

Trait Implementations

impl Clone for StmtData

fn clone(&self) -> StmtData

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StmtData

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

Formats the value using the given formatter.

impl HasDesc for StmtData

fn desc(&self) -> &'static str

Obtain a human-readable descriptive name for this node.

fn desc_full(&self) -> String

Obtain a human-readable description for this node, possibly containing the node’s name.

impl PartialEq for StmtData

fn eq(&self, other: &StmtData) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for StmtData

impl StructuralPartialEq for StmtData