slang::ast::AbortAssertionExpr class

#include </home/runner/work/slang/slang/include/slang/ast/expressions/AssertionExpr.h>

Represents an abort (accept_on / reject_on) property expression.

Base classes

class AssertionExpr

The base class for assertion expressions (sequences and properties).

Public types

enum Action { Accept, Reject }

The action to take upon condition success (accept or reject).

Public variables

const Expression& condition

The condition of the abort.

const AssertionExpr& expr

The expression being controlled.

bool isSync

True if this is a "synchronized" variant of the operator.