slang::ast::AssertionInstanceExpression class

#include <slang/ast/expressions/MiscExpressions.h>

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.