ASTContext.h file

AST creation context.

Namespaces

namespace slang: Root namespace.
namespace slang::ast: The SystemVerilog AST.

Classes

struct slang::ast::EvaluatedDimension: The result of evaluating dimension syntax nodes.
struct slang::ast::AssertionInstanceDetails: Information required to instantiate a sequence, property, or checker instance.
class slang::ast::ASTContext: Contains required context for binding syntax nodes with symbols to form an AST.
struct slang::ast::ASTContext::RandomizeDetails: A collection of information needed to bind names inside inline constraint blocks for class and scope randomize function calls.

Enums

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