slang::ast::ImmediateAssertionStatement class

#include <slang/ast/statements/MiscStatements.h>

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".