slang::ast::ValueDriver class
#include </home/runner/work/slang/slang/include/slang/ast/symbols/ValueSymbol.h>

Represents an expression that drives a value by assigning to some range of its type.

Public static functions

static auto getBounds(const Expression& prefixExpression, EvalContext& evalContext, const Type& rootType) -> std::optional<DriverBitRange>: Computes bounds for a driver given its longest static prefix expression.

ValueDriver(DriverKind kind, const Expression& longestStaticPrefix, const Symbol& containingSymbol, bitmask<AssignFlags> flags): Constructs a new ValueDriver instance.

auto isInputPort() const -> bool: Indicates whether the driver is for an input port.
auto isUnidirectionalPort() const -> bool: Indicates whether the driver is for a unidirectional port (i.e. not an inout or ref port).
auto isClockVar() const -> bool: Indicates whether the driver is for a clocking variable.
auto isLocalVarFormalArg() const -> bool: Indicates whether the driver is for an assertion local variable formal argument.
auto isInProcedure() const -> bool: Indicates whether the driver is inside a procedural block.
auto isInSingleDriverProcedure() const -> bool: Indicates whether the driver is inside a single-driver procedure (such as always_comb).
auto getSourceRange() const -> SourceRange: Gets the source range describing the driver as written in the source code.

not_null<const Expression*> prefixExpression: The expression that drives the value.
not_null<const Symbol*> containingSymbol: The symbol that contains the driver expression.
const Expression* procCallExpression: If the driver is implied inside a procedure by a subroutine, this is the call expression for that subroutine.
bitmask<AssignFlags> flags: Flags that control how the driver operates.
DriverKind kind: The kind of driver (procedural or continuous).
DriverSource source: The source of the driver (procedural block, subroutine, etc).
bool isFromSideEffect: Indicates whether the driver is from a side effect of applying a cached instance body.