slang::ast::AssertionInstanceExpression class

Represents an instance of an assertion item, either a sequence, a property, or a formal argument that is being referenced and expanded.

Base classes

class Expression
The base class for all expressions in SystemVerilog.

Public variables

const Symbol& symbol
The assertion symbol.
const AssertionExpr& body
The expanded body of the assertion item.
std::span<std::tuple<const Symbol*, ActualArg> const > arguments
Arguments to the assertion item.
std::span<const Symbol*const > localVars
Local variables materialized in the body of the assertion item.
bool isRecursiveProperty
True if this is a recursive property instantiation.