slang::ast namespace

Classes

class AbortAssertionExpr

Represents an abort (accept_on / reject_on) property expression.

class ArbitrarySymbolExpression

Adapts an arbitrary symbol reference for use in an expression tree.

struct AssertionInstanceDetails

Information required to instantiate a sequence, property, or checker instance.

class AssertionInstanceExpression

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

class AssertionPortSymbol

Represents a formal argument / port of an assertion construct, such as a sequence, property, or let construct.

class AssignmentExpression

Represents an assignment expression.

class AssignmentPatternExpressionBase

Base class for assignment pattern expressions.

class AssociativeArrayType

Represents an unpacked array that provides associative lookup.

class ASTContext

Contains required context for binding syntax nodes with symbols to form an AST.

class ASTSerializer

A class that serializes AST nodes to JSON.

template<typename TDerived, bool VisitStatements, bool VisitExpressions>

class ASTVisitor

A base class for AST visitors.

class BinaryAssertionExpr

Represents a binary operator in a sequence or property expression.

class BinaryExpression

Represents a binary operator expression.

class Bitstream

Provides utility methods for working with bitstream operations.

class BlockStatement

Represents a sequential or parallel block statement.

class CallExpression

Represents a subroutine call.

class CaseAssertionExpr

Represents a case operator in a property expression.

class CHandleType

Represents storage for pointers passed using the DPI (a "C" compatible handle).

class CheckerSymbol

Represents a checker declaration.

class ClassBuilder

A helper class for constructing class types programmatically.

class ClassType

Represents a class definition type.

class ClockingAssertionExpr

Represents an assertion expression with attached clocking control.

class ClockingBlockSymbol

Represents a clocking block.

class ClockingEventExpression

Represents a clocking event expression.

class ClockingSkew

Represents a skew value that is applied to clocking block signals.

class ClockVarSymbol

Represents a clocking block signal.

class Compilation

A centralized location for creating and caching symbols.

struct CompilationOptions

Contains various options that can control compilation behavior.

class CompilationUnitSymbol

The root of a single compilation unit.

class ConcatenationExpression

Represents a concatenation expression.

class ConditionalAssertionExpr

Represents a conditional operator in a property expression.

class ConditionalConstraint

Represents a constraint defined by an if-else condition.

class ConditionalExpression

Represents a conditional operator expression.

class ConfigBlockSymbol

Represents a config block declaration.

class ConstraintBlockSymbol

Represents a named constraint block declaration within a class.

class ConstraintList

Represents a list of constraints.

class ContinuousAssignSymbol

Represents a continuous assignment statement.

class ConversionExpression

Represents a type conversion expression (implicit or explicit).

class CopyClassExpression

Represents a new expression that copies a class instance.

class CoverCrossBodySymbol

Represents the body of a cover cross type, separated out because the members of the cross body can't be accessed outside of the cross itself.

class CovergroupBodySymbol

Represents the body of a covergroup type, separated out because the arguments of a covergroup need to live in their own scope so that they can be shadowed by body members.

class CovergroupType

Represents a covergroup definition type.

class DataTypeExpression

Adapts a data type for use in an expression tree.

class DeclaredType

Ties together various syntax nodes that declare the type of some parent symbol along with the logic necessary to resolve that type.

class Definition

Represents a module, interface, or program definition.

class DefParamSymbol

Represents a defparam directive.

class DisableIffAssertionExpr

Represents a disable iff condition in a property spec.

class DisableSoftConstraint

Represents a constraint that disables a soft random variable.

class DistExpression

Denotes an expression along with a distribution of probabilities for that expression.

class DPIOpenArrayType

A special case for DPI imports that have "open array" typed arguments.

class DynamicArrayType

Represents a dynamically sized unpacked array.

class ElabSystemTaskSymbol

Represents an elaboration system task, such as $error or $warning.

class ElementSelectExpression

Represents a single element selection expression.

class EmptyArgumentExpression

Represents an empty argument.

class EmptyMemberSymbol

Represents an empty member, i.e.

class EmptyStatement

Represents an empty statement, used as a placeholder or an anchor for attributes.

class EnumType

Represents an enumerated type.

class EnumValueSymbol

Represents an enumerated value / member.

class ErrorType

An empty type symbol that indicates an error occurred while trying to resolve the type of some expression or declaration.

class EvalContext

A container for all context required to evaluate a statement or expression.

struct EvaluatedDimension

The result of evaluating dimension syntax nodes.

class EventType

Represents a SystemVerilog event handle, which is used for synchronization between asynchronous processes.

class ExplicitImportSymbol

Represents an explicit import from a package.

class Expression

The base class for all expressions in SystemVerilog.

class ExpressionConstraint

Represents a constraint defined by a logical expression.

class FieldSymbol

Represents a field member of a struct or union.

class FirstMatchAssertionExpr

Represents a first_match operator in a sequence expression.

class FixedSizeUnpackedArrayType

Represents a fixed size unpacked array (as opposed to a dynamically sized unpacked array, associative array, or queue).

class FloatingType

Represents one of the predefined floating point types, which are used for representing real numbers.

class ForeachConstraint

Represents a constraint that iterates over the elements of an array.

class FormalArgumentSymbol

Represents a formal argument in subroutine (task or function).

class ForwardingTypedefSymbol

A forward declaration of a user-defined type name.

class GenerateBlockArraySymbol

Represents an array of generate blocks, as generated by a loop generate construct.

class GenerateBlockSymbol

Represents blocks that are instantiated by a loop generate or conditional generate construct.

class GenericClassDefSymbol

Represents a generic class definition, which is a parameterized class that has not yet had its parameter values specified.

class GenvarSymbol

Represents a genvar declaration.

class HierarchicalValueExpression

Represents an expression that references a named value via hierarchical path.

struct HierarchyOverrideNode

A node in a tree representing an instance in the design hierarchy where parameters should be overriden and/or bind directives should be applied.

class ImplicationConstraint

Represents a constraint defined by an implication.

class InsideExpression

Represents a set membership operator expression.

class InstanceSymbolBase

Common functionality for module, interface, program, and primitive instances.

class IntegerLiteral

Represents an integer literal.

class IntegralType

A base class for integral types, which include all scalar types, predefined integer types, packed arrays, packed structures, packed unions, and enum types.

class InterfacePortSymbol

Represents the public-facing side of a module / program / interface port that is also a connection to an interface instance (optionally with a modport restriction).

class InvalidExpression

Represents an invalid expression, which is usually generated and inserted into an expression tree due to violation of language semantics or type checking.

class InvalidStatement

Represents an invalid statement, which is usually generated and inserted into a statement list due to violation of language semantics or type checking.

class IteratorSymbol

Represents an iterator variable created for array manipulation methods.

class LetDeclSymbol

Represents a let declaration.

class LocalAssertionVarSymbol

Represents a local variable declared inside an assertion item, such as a sequence or property.

class Lookup

Centralized functionality for looking up symbols by name in the AST.

class LookupLocation

This type denotes the ordering of symbols within a particular scope, for the purposes of determining whether a found symbol is visible compared to the given location.

struct LookupResult

A structure that contains the results of a name lookup operation.

class LValue

An lvalue is anything that can appear on the left hand side of an assignment expression.

class LValueReferenceExpression

A placeholder expression that is generated to take the place of one side of a compound assignment expression's binary operator.

class MemberAccessExpression

Represents an access of a structure variable's members.

class MethodBuilder

A helper class for constructing method symbols programmatically.

class MinTypMaxExpression

Represents a min:typ:max expression.

class ModportClockingSymbol

Represents a clocking block port.

class ModportPortSymbol

Represents a single port specifier in a modport declaration.

class ModportSymbol

Represents a modport within an interface definition.

class MultiPortSymbol

Represents a multi-port, which is a port symbol that externally appears as a single connection but internally connects to multiple names, potentially with varying directions.

class NamedValueExpression

Represents an expression that references a named value.

class NetSymbol

Represents a net declaration.

class NetType

Base class for all net types in SystemVerilog.

class NewArrayExpression

Represents a new[] expression that creates a dynamic array.

class NewClassExpression

Represents a new expression that creates a class instance.

class NewCovergroupExpression

Represents a new expression that creates a covergroup instance.

class NullLiteral

Represents a null literal.

class NullType

Represents the Null type.

class OpenRangeExpression

Denotes a range of values by providing expressions for the lower and upper bounds of the range.

class PackageSymbol

A SystemVerilog package construct.

class PackedArrayType

Represents a packed array of some simple element type (vectors, packed structures, other packed arrays).

class PackedStructType

Represents a packed structure of members.

class PackedUnionType

Represents a packed union of members.

class ParameterSymbol

Represents a parameter value.

class Pattern

Base class for "patterns", as used in pattern matching conditional statements and expressions.

class PatternVarSymbol

Represents a pattern variable materialized for a pattern matching expression.

class PortSymbol

Represents the public-facing side of a module / program / interface port.

class PredefinedIntegerType

Represents the predefined integer types, which are essentially predefined vector types.

class PropertySymbol

Represents a named property object.

class PropertyType

Represents the type of property instances and arguments.

class QueueType

Represents an unpacked array that provides queue semantics.

class RangeSelectExpression

Represents a range selection expression.

class RealLiteral

Represents a real number literal.

class ReplicatedAssignmentPatternExpression

Represents a replicated assignment pattern expression.

class ReplicationExpression

Represents a replication expression.

class RootSymbol

Represents the entirety of a design, along with all contained compilation units.

class ScalarType

Represents the single-bit scalar types.

class Scope

Base class for symbols that represent a name scope; that is, they contain children and can participate in name lookup.

class ScriptSession

A helper class that allows evaluating arbitrary snippets of SystemVerilog source code and maintaining state across multiple eval calls.

class SequenceConcatExpr

Represents an assertion expression defined as a delayed concatenation of other expressions.

struct SequenceRange

Represents a range of potential sequence matches.

struct SequenceRepetition

Encodes a repetition of some sub-sequence.

class SequenceSymbol

Represents a named sequence object.

class SequenceType

Represents the type of sequence instances and arguments.

class SequenceWithMatchExpr

Represents a sequence expression along with a list of actions to perform upon matching and/or instructions for repetition.

class SimpleAssertionExpr

Represents an assertion expression defined as a simple regular expression.

class SimpleAssignmentPatternExpression

Represents an assignment pattern expression.

class SimpleSystemSubroutine

An implementation of the SystemSubroutine interface that has basic argument types and a well-defined return type.

class SolveBeforeConstraint

Represents a constraint that enforces ordering of solving variables.

class SpecparamSymbol

Represents a specify parameter.

class Statement

The base class for all statements in SystemVerilog.

class StatementList

Represents a list of statements.

class StreamingConcatenationExpression

Represents a streaming concatenation.

class StringLiteral

Represents a string literal.

class StringType

Represents an ASCII string type.

class StrongWeakAssertionExpr

Represents a strong or weak operator in a property expression.

class StructBuilder

A helper class for constructing struct types programmatically.

class StructuredAssignmentPatternExpression

Represents an assignment pattern expression.

class SubroutineSymbol

Represents a subroutine (task or function).

class Symbol

Base class for all symbols (logical code constructs) such as modules, types, functions, variables, etc.

class TaggedUnionExpression

Represents a tagged union member setter expression.

class TempVarSymbol

Represents a temporary variable materialized within a limited scope such as a single expression.

class TimeLiteral

Represents a time literal.

class TransparentMemberSymbol

A class that wraps a hoisted transparent type member, such as an enum value or a symbol inherited from a base class, into a scope.

class Type

Base class for all data types in SystemVerilog.

class TypeAliasType

Represents a type alias, which is introduced via a typedef or type parameter.

class TypeReferenceExpression

An expression that gets the type of a nested expression using the type() operator.

class TypeRefType

Represents the result of a type reference expression, i.e. the type() operator.

class UnaryAssertionExpr

Represents a unary operator in a property expression.

class UnaryExpression

Represents a unary operator expression.

class UnbasedUnsizedIntegerLiteral

Represents an unbased unsized integer literal, which fills all bits in an expression.

class UnboundedLiteral

Represents the unboudned queue or range literal.

class UnboundedType

Represents the '$' special token that is a standin for the unbounded end of a queue or range selection.

class UninstantiatedDefSymbol

Represents an instance of a definition (module / interface / program / checker) that is not actually instantiated in the design.

class UniquenessConstraint

Represents a constraint that enforces uniqueness of variables.

class UnpackedStructType

Represents an unpacked structure of members.

class UnpackedUnionType

Represents an unpacked union of members.

class UntypedType

Represents an 'untyped' type, which is used for e.g. arguments of sequences.

class ValueDriver

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

class ValueExpressionBase

Common base class for both NamedValueExpression and HierarchicalValueExpression.

class ValueSymbol

A base class for symbols that represent a value (for example a variable or a parameter).

class VariableSymbol

Represents a variable declaration.

class VirtualInterfaceType

Represents a virtual interface type.

class VoidType

Represents the Void (or lack of a) type.

class WildcardImportSymbol

Represents a wildcard import declaration.

Enums

enum class ASTFlags: uint64_t { None = 0, InsideConcatenation = 1ull << 0, UnevaluatedBranch = 1ull << 1, AllowDataType = 1ull << 2, EnumInitializer = 1ull << 3, NoAttributes = 1ull << 4, AssignmentAllowed = 1ull << 5, AssignmentDisallowed = 1ull << 6, NonProcedural = 1ull << 7, StaticInitializer = 1ull << 8, StreamingAllowed = 1ull << 9, TopLevelStatement = 1ull << 10, AllowUnboundedLiteral = 1ull << 11, AllowUnboundedLiteralArithmetic = 1ull << 12, Function = 1ull << 13, Final = 1ull << 14, NonBlockingTimingControl = 1ull << 15, EventExpression = 1ull << 16, AllowTypeReferences = 1ull << 17, AssertionExpr = 1ull << 18, AllowClockingBlock = 1ull << 19, AssertionInstanceArgCheck = 1ull << 20, AssertionDelayOrRepetition = 1ull << 21, LValue = 1ull << 22, PropertyNegation = 1ull << 23, PropertyTimeAdvance = 1ull << 24, RecursivePropertyArg = 1ull << 25, ConcurrentAssertActionBlock = 1ull << 26, AllowCoverageSampleFormal = 1ull << 27, AllowCoverpoint = 1ull << 28, AllowNetType = 1ull << 29, OutputArg = 1ull << 30, ProceduralAssign = 1ull << 31, ProceduralForceRelease = 1ull << 32, AllowInterconnect = 1ull << 33, NotADriver = 1ull << 34, StreamingWithRange = 1ull << 35, SpecifyBlock = 1ull << 36, DPIArg = 1ull << 37, AssertionDefaultArg = 1ull << 38, LAndRValue = 1ull << 39, NoReference = 1ull << 40 }

Specifies flags that control expression and statement creation.

enum class EvalFlags: uint8_t { None = 0, IsScript = 1 << 0, CacheResults = 1 << 1, SpecparamsAllowed = 1 << 2, CovergroupExpr = 1 << 3, AllowUnboundedPlaceholder = 1 << 4 }

Various flags that can be applied to a constant expression evaluation.

enum class MinTypMax { Min, Typ, Max }

Specifies which set of min:typ:max expressions should be used during compilation.

enum class CompilationFlags { None = 0, AllowHierarchicalConst = 1 << 0, RelaxEnumConversions = 1 << 1, AllowUseBeforeDeclare = 1 << 2, AllowDupInitialDrivers = 1 << 3, AllowTopLevelIfacePorts = 1 << 4, StrictDriverChecking = 1 << 5, LintMode = 1 << 6, SuppressUnused = 1 << 7, IgnoreUnknownModules = 1 << 8, RelaxStringConversions = 1 << 9 }

Defines flags that control compilation behavior.

enum class LookupFlags { None = 0, Type = 1 << 0, AllowDeclaredAfter = 1 << 1, DisallowWildcardImport = 1 << 2, NoUndeclaredError = 1 << 3, NoUndeclaredErrorIfUninstantiated = 1 << 4, TypedefTarget = 1 << 5, NoParentScope = 1 << 6, NoSelectors = 1 << 7, AllowRoot = 1 << 8, ForceHierarchical = AllowDeclaredAfter | NoUndeclaredErrorIfUninstantiated }

Additional modifiers for a lookup operation.

enum class AssignFlags: uint8_t { None = 0, NonBlocking = 1 << 0, InConcat = 1 << 1, InputPort = 1 << 2, OutputPort = 1 << 3, InOutPort = 1 << 4, ClockVar = 1 << 5, AssertionLocalVarFormalArg = 1 << 6, SlicedPort = 1 << 7 }

A set of flags that control how assignments are checked.

enum class SymbolIndex: uint32_t { }

A numeric index that can be used to compare the relative ordering of symbols within a single lexical scope.

enum class MethodFlags: uint16_t { None = 0, Virtual = 1 << 0, Pure = 1 << 1, Static = 1 << 2, Constructor = 1 << 3, InterfaceExtern = 1 << 4, ModportImport = 1 << 5, ModportExport = 1 << 6, DPIImport = 1 << 7, DPIContext = 1 << 8, BuiltIn = 1 << 9, Randomize = 1 << 10, ForkJoin = 1 << 11 }

Specifies various flags that can apply to subroutines.

enum class VariableFlags: uint16_t { None = 0, Const = 1 << 0, CompilerGenerated = 1 << 1, ImmutableCoverageOption = 1 << 2, CoverageSampleFormal = 1 << 3, CheckerFreeVariable = 1 << 4 }

Specifies various flags that can apply to variables.

enum class DeclaredTypeFlags { None = 0, InferImplicit = 1 << 0, InitializerCantSeeParent = 1 << 1, InitializerOverridden = 1 << 2, TypeOverridden = 1 << 3, AutomaticInitializer = 1 << 4, TypedefTarget = 1 << 5, NetType = 1 << 6, UserDefinedNetType = 1 << 7, FormalArgMergeVar = 1 << 8, Rand = 1 << 9, DPIReturnType = 1 << 10, DPIArg = 1 << 11, AllowUnboundedLiteral = 1 << 12, RequireSequenceType = 1 << 13, CoverageType = 1 << 14, InterconnectNet = 1 << 15, InterfaceVariable = 1 << 16, NeedsTypeCheck = NetType | UserDefinedNetType | FormalArgMergeVar | Rand | DPIReturnType | DPIArg | RequireSequenceType | CoverageType | InterfaceVariable }

Various flags that control declared type resolution.

enum class IntegralFlags: uint8_t { Unsigned = 0, TwoState = 0, Signed = 1, FourState = 2, Reg = 4 }

Specifies possible traits for integral types.

Functions

template<typename... Functions>

auto makeVisitor(Functions... funcs) -> auto

Creates an ASTVisitor out of the provided handler functions.

Enum documentation

Function documentation

int count = 0;
makeVisitor([&](auto& visitor, const BinaryExpression& expr) {
    count++;
    visitor.visitDefault(expr);
})