slang::analysis::AnalysisContext class

Holds various bits of state needed to perform analysis.

Constructors, destructors, conversion operators

AnalysisContext(AnalysisManager& manager) explicit
Constructs a new AnalysisContext object.

Public functions

Diagnostic& addDiag(const ast::Symbol& symbol, DiagCode code, SourceLocation location)
Issues a new diagnostic.
Diagnostic& addDiag(const ast::Symbol& symbol, DiagCode code, SourceRange sourceRange)
Issues a new diagnostic.
Diagnostic& addDiag(const ast::Symbol& symbol, DiagCode code)
Issues a new diagnostic.
bool isFromMacroBody(SourceLocation location) const
Returns true if the given location comes from the body of a macro (as opposed to a macro argument or not being part of a macro expansion at all).

Public variables

not_null<AnalysisManager*> manager
The analysis manager that owns this context.
BumpAllocator alloc
An allocator used for analysis-specific data structures.
Diagnostics diagnostics
Diagnostics collected during analysis.