slang::ast::ImmediateAssertionStatement class

Represents an immediate assertion statement.

Base classes

class Statement
The base class for all statements in SystemVerilog.

Public variables

const Expression& cond
The assertion condition.
const Statement* ifTrue
An optional action to take if the assertion passes.
const Statement* ifFalse
An optional action to take if the assertion fails.
AssertionKind assertionKind
The kind of assertion.
bool isDeferred
True if the assertion is a "deferred" immediate assertion.
bool isFinal
True if the assertion is declared "final".